Artykuły w czasopismach na temat „Hardware Construction Languages (HCLs)”
Utwórz poprawne odniesienie w stylach APA, MLA, Chicago, Harvard i wielu innych
Sprawdź 34 najlepszych artykułów w czasopismach naukowych na temat „Hardware Construction Languages (HCLs)”.
Przycisk „Dodaj do bibliografii” jest dostępny obok każdej pracy w bibliografii. Użyj go – a my automatycznie utworzymy odniesienie bibliograficzne do wybranej pracy w stylu cytowania, którego potrzebujesz: APA, MLA, Harvard, Chicago, Vancouver itp.
Możesz również pobrać pełny tekst publikacji naukowej w formacie „.pdf” i przeczytać adnotację do pracy online, jeśli odpowiednie parametry są dostępne w metadanych.
Przeglądaj artykuły w czasopismach z różnych dziedzin i twórz odpowiednie bibliografie.
Kamkin, Alexander Sergeevich, Mikhail Mikhaylovich Chupilko, Mikhail Sergeevich Lebedev, Sergey Aleksandrovich Smolov i Georgi Gaydadjiev. "Comparison of High-Level Synthesis and Hardware Construction Tools". Proceedings of the Institute for System Programming of the RAS 34, nr 5 (2022): 7–22. http://dx.doi.org/10.15514/ispras-2022-34(5)-1.
Pełny tekst źródłaЗаризенко, Инна Николаевна, i Артём Евгеньевич Перепелицын. "АНАЛИЗ СРЕДСТВ И ТЕХНОЛОГИЙ РАЗРАБОТКИ FPGA КАК СЕРВИС". RADIOELECTRONIC AND COMPUTER SYSTEMS, nr 4 (25.12.2019): 88–93. http://dx.doi.org/10.32620/reks.2019.4.10.
Pełny tekst źródłaKohen, Hanan, i Dov Dori. "Improving Conceptual Modeling with Object-Process Methodology Stereotypes". Applied Sciences 11, nr 5 (5.03.2021): 2301. http://dx.doi.org/10.3390/app11052301.
Pełny tekst źródłaGiraldo, Carlos Alberto, Beatriz Florian-Gaviria, Eval Bladimir Bacca-Cortés, Felipe Gómez i Francisco Muñoz. "A programming environment having three levels of complexity for mobile robotics". Ingeniería e Investigación 32, nr 3 (1.09.2012): 76–82. http://dx.doi.org/10.15446/ing.investig.v32n3.35947.
Pełny tekst źródłaZielenkiewicz, Maciej, i Aleksy Schubert. "Automata theory approach to predicate intuitionistic logic". Journal of Logic and Computation 32, nr 3 (16.11.2021): 554–80. http://dx.doi.org/10.1093/logcom/exab069.
Pełny tekst źródłaAkay, Abdullah E., i John Sessions. "Applying the Decision Support System, TRACER, to Forest Road Design". Western Journal of Applied Forestry 20, nr 3 (1.07.2005): 184–91. http://dx.doi.org/10.1093/wjaf/20.3.184.
Pełny tekst źródłaPopescu, Natalie, Ziyang Xu, Sotiris Apostolakis, David I. August i Amit Levy. "Safer at any speed: automatic context-aware safety enhancement for Rust". Proceedings of the ACM on Programming Languages 5, OOPSLA (20.10.2021): 1–23. http://dx.doi.org/10.1145/3485480.
Pełny tekst źródłaBANYASAD, OMID, i PHILIP T. COX. "Integrating design synthesis and assembly of structured objects in a visual design language". Theory and Practice of Logic Programming 5, nr 6 (31.10.2005): 601–21. http://dx.doi.org/10.1017/s1471068404002285.
Pełny tekst źródłaIzatri, Dini Idzni, Nofita Idaroka Rohmah i Renny Sari Dewi. "Identifikasi Risiko pada Perpustakaan Daerah Gresik dengan NIST SP 800-30". JURIKOM (Jurnal Riset Komputer) 7, nr 1 (15.02.2020): 50. http://dx.doi.org/10.30865/jurikom.v7i1.1756.
Pełny tekst źródłaWooldridge, Michael, i Nicholas R. Jennings. "Intelligent agents: theory and practice". Knowledge Engineering Review 10, nr 2 (czerwiec 1995): 115–52. http://dx.doi.org/10.1017/s0269888900008122.
Pełny tekst źródłaLin, Shaokai, Yatin A. Manerkar, Marten Lohstroh, Elizabeth Polgreen, Sheng-Jung Yu, Chadlia Jerad, Edward A. Lee i Sanjit A. Seshia. "Towards Building Verifiable CPS using Lingua Franca". ACM Transactions on Embedded Computing Systems 22, nr 5s (9.09.2023): 1–24. http://dx.doi.org/10.1145/3609134.
Pełny tekst źródłaJI, JIANMIN, FANGFANG LIU i JIA-HUAI YOU. "Well-founded operators for normal hybrid MKNF knowledge bases". Theory and Practice of Logic Programming 17, nr 5-6 (wrzesień 2017): 889–905. http://dx.doi.org/10.1017/s1471068417000291.
Pełny tekst źródłaLi, Bin, Yunlong Fan, Miao Gao, Yikemaiti Sataer i Zhiqiang Gao. "A Joint-Learning-Based Dynamic Graph Learning Framework for Structured Prediction". Electronics 12, nr 11 (23.05.2023): 2357. http://dx.doi.org/10.3390/electronics12112357.
Pełny tekst źródłaMichael, Alexandra E., Anitha Gollamudi, Jay Bosamiya, Evan Johnson, Aidan Denlinger, Craig Disselkoen, Conrad Watt i in. "MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code". Proceedings of the ACM on Programming Languages 7, POPL (9.01.2023): 425–54. http://dx.doi.org/10.1145/3571208.
Pełny tekst źródłaPerepelitsyn, Artem. "Method of creation of FPGA based implementation of artificial intelligence as a service". Radioelectronic and Computer Systems, nr 3 (29.09.2023): 27–36. http://dx.doi.org/10.32620/reks.2023.3.03.
Pełny tekst źródłaPerbawa, Laodikia Galih Krisna, Muhammad Hasbi i Bebas Widada. "Rekomendasi Tempat Wisata Di Kabupaten Grobogan". Jurnal Ilmiah SINUS 19, nr 2 (15.07.2021): 57. http://dx.doi.org/10.30646/sinus.v19i2.560.
Pełny tekst źródłaLe Guernic, Paul, Jean-Pierre Talpin i Jean-Christophe Le Lann. "POLYCHRONY for System Design". Journal of Circuits, Systems and Computers 12, nr 03 (czerwiec 2003): 261–303. http://dx.doi.org/10.1142/s0218126603000763.
Pełny tekst źródłaSzyszka, Michał, Łukasz Tomczyk i Aneta M. Kochanowicz. "Digitalisation of Schools from the Perspective of Teachers’ Opinions and Experiences: The Frequency of ICT Use in Education, Attitudes towards New Media, and Support from Management". Sustainability 14, nr 14 (7.07.2022): 8339. http://dx.doi.org/10.3390/su14148339.
Pełny tekst źródłaBOGAERTS, BART, TOMI JANHUNEN i SHAHAB TASHARROFI. "Stable-unstable semantics: Beyond NP with normal logic programs". Theory and Practice of Logic Programming 16, nr 5-6 (wrzesień 2016): 570–86. http://dx.doi.org/10.1017/s1471068416000387.
Pełny tekst źródłaKalai, Yael Tauman, Ran Raz i Ron D. Rothblum. "How to Delegate Computations: The Power of No-Signaling Proofs". Journal of the ACM 69, nr 1 (28.02.2022): 1–82. http://dx.doi.org/10.1145/3456867.
Pełny tekst źródłaWrona, Zofia, Maria Ganzha, Marcin Paprzycki i Stanisław Krzyżanowski. "Dynamic Knowledge Management in an Agent-Based Extended Green Cloud Simulator". Energies 17, nr 4 (6.02.2024): 780. http://dx.doi.org/10.3390/en17040780.
Pełny tekst źródłaCook, Sebastien, i Paulo Garcia. "Arbitrarily Parallelizable Code: A Model of Computation Evaluated on a Message-Passing Many-Core System". Computers 11, nr 11 (18.11.2022): 164. http://dx.doi.org/10.3390/computers11110164.
Pełny tekst źródłaKravets, Alla, i Vitaly Egunov. "The Software Cache Optimization-Based Method for Decreasing Energy Consumption of Computational Clusters". Energies 15, nr 20 (12.10.2022): 7509. http://dx.doi.org/10.3390/en15207509.
Pełny tekst źródłaPORTO, ANTÓNIO. "A structured alternative to Prolog with simple compositional semantics". Theory and Practice of Logic Programming 11, nr 4-5 (lipiec 2011): 611–27. http://dx.doi.org/10.1017/s1471068411000202.
Pełny tekst źródłaBazydło, Grzegorz. "Designing Reconfigurable Cyber-Physical Systems Using Unified Modeling Language". Energies 16, nr 3 (25.01.2023): 1273. http://dx.doi.org/10.3390/en16031273.
Pełny tekst źródłaRiveiro, Luigi Quintans, Kristine Sheila Schuster, Cristina Cavalli Bertolucci i Leandra Anversa Fioreze. "A Construção de um Estado da Arte Sobre Introdução, Dificuldades e Perspectivas de Conceitos e Simbologias da Álgebra no Ensino Fundamental". Jornal Internacional de Estudos em Educação Matemática 16, nr 3 (26.02.2024): 330–42. http://dx.doi.org/10.17921/2176-5634.2023v16n3p330-342.
Pełny tekst źródłaToliupa, Serhii, Yuri Samokhvalov i Serhii Shtanenko. "Ensuring cyber security of ACS TP by using FPGA technology". Information systems and technologies security, nr 1 (5) (2021): 46–54. http://dx.doi.org/10.17721/ists.2021.1.44-52.
Pełny tekst źródłaDogru, A. H., H. A. Sunaidi, L. S. Fung, W. A. Habiballah, N. Al-Zamel i K. G. Li. "A Parallel Reservoir Simulator for Large-Scale Reservoir Simulation". SPE Reservoir Evaluation & Engineering 5, nr 01 (1.02.2002): 11–23. http://dx.doi.org/10.2118/75805-pa.
Pełny tekst źródłaFerres, Bruno, Olivier Muller i Frédéric Rousseau. "A Chisel Framework for Flexible Design Space Exploration through a Functional Approach". ACM Transactions on Design Automation of Electronic Systems, 5.04.2023. http://dx.doi.org/10.1145/3590769.
Pełny tekst źródłaGuellil, Imane, Antonio Garcia-Dominguez, Peter R. Lewis, Shakeel Hussain i Geoffrey Smith. "Entity linking for English and other languages: a survey". Knowledge and Information Systems, 2.04.2024. http://dx.doi.org/10.1007/s10115-023-02059-2.
Pełny tekst źródłaToliupa, S., S. Shtanenko, T. Poberezhets i V. Lozunov. "Methodology for designing robotic systems based on CAD Intel Quartus Prime." Communication, informatization and cybersecurity systems and technologies 2, nr 2 (2022). http://dx.doi.org/10.58254/viti.2.2022.08.54.
Pełny tekst źródłaVale, Arthur Oliveira, Zhong Shao i Yixuan Chen. "A Compositional Theory of Linearizability". Journal of the ACM, 27.01.2024. http://dx.doi.org/10.1145/3643668.
Pełny tekst źródłaLIU, FANGFANG, i JIA-HUAI YOU. "Alternating Fixpoint Operator for Hybrid MKNF Knowledge Bases as an Approximator of AFT". Theory and Practice of Logic Programming, 1.09.2021, 1–30. http://dx.doi.org/10.1017/s1471068421000168.
Pełny tekst źródłaLillie, Jonathan. "Tackling Identity with Constructionist Concepts". M/C Journal 1, nr 3 (1.10.1998). http://dx.doi.org/10.5204/mcj.1712.
Pełny tekst źródła