Bibliografías temáticas / Hardware Construction Languages (HCLs)

Índice

  1. Artículos de revistas
  2. Tesis
  3. Libros
  4. Capítulos de libros
  5. Actas de conferencias

Literatura académica sobre el tema "Hardware Construction Languages (HCLs)"

Autor: Grafiati
Publicado: 25 de mayo de 2024
Última modificación: 31 de julio de 2025

Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros

Elija tipo de fuente:

Consulte las listas temáticas de artículos, libros, tesis, actas de conferencias y otras fuentes académicas sobre el tema "Hardware Construction Languages (HCLs)".

Junto a cada fuente en la lista de referencias hay un botón "Agregar a la bibliografía". Pulsa este botón, y generaremos automáticamente la referencia bibliográfica para la obra elegida en el estilo de cita que necesites: APA, MLA, Harvard, Vancouver, Chicago, etc.

También puede descargar el texto completo de la publicación académica en formato pdf y leer en línea su resumen siempre que esté disponible en los metadatos.

Artículos de revistas sobre el tema "Hardware Construction Languages (HCLs)"

1

Kamkin, Alexander Sergeevich, Mikhail Mikhaylovich Chupilko, Mikhail Sergeevich Lebedev, Sergey Aleksandrovich Smolov, and Georgi Gaydadjiev. "Comparison of High-Level Synthesis and Hardware Construction Tools." Proceedings of the Institute for System Programming of the RAS 34, no. 5 (2022): 7–22. http://dx.doi.org/10.15514/ispras-2022-34(5)-1.

Texto completo
Resumen
Application-specific systems with FPGA accelerators are often designed using high-level synthesis or hardware construction tools. Nowadays, there are many frameworks available, both open-source and commercial. In this work, we attempt to fairly compare several existing solutions (languages and tools), including Verilog (our baseline), Chisel, Bluespec SystemVerilog (Bluespec Compiler), DSLX (XLS), MaxJ (MaxCompiler), and C (Bambu and Vivado HLS). Our analysis has been carried out using a representative example of 8×8 inverse discrete cosine transform (IDCT), a widely used algorithm engaged in,
Los estilos APA, Harvard, Vancouver, ISO, etc.
2

Заризенко, Инна Николаевна, та Артём Евгеньевич Перепелицын. "АНАЛИЗ СРЕДСТВ И ТЕХНОЛОГИЙ РАЗРАБОТКИ FPGA КАК СЕРВИС". RADIOELECTRONIC AND COMPUTER SYSTEMS, № 4 (25 грудня 2019): 88–93. http://dx.doi.org/10.32620/reks.2019.4.10.

Texto completo
Resumen
This article has analyzed the most effective integrated development environments from leading programmable logical device (PLD) manufacturers. Heterogeneous calculations and the applicability of a general approach to the description of hardware accelerator designs are considered. An analytical review of the use of the OpenCL language in the construction of high-performance FPGA-based solutions is performed. The features of OpenCL language usage for heterogeneous computing for FPGA-based accelerators are discussed. The experience of a unified description of projects for solutions based on CPU,
Los estilos APA, Harvard, Vancouver, ISO, etc.
3

Kohen, Hanan, and Dov Dori. "Improving Conceptual Modeling with Object-Process Methodology Stereotypes." Applied Sciences 11, no. 5 (2021): 2301. http://dx.doi.org/10.3390/app11052301.

Texto completo
Resumen
As system complexity is on the rise, there is a growing need for standardized building blocks to increase the likelihood of systems’ success. Conceptual modeling is the primary activity required for engineering systems to be understood, designed, and managed. Modern modeling languages enable describing the requirements and design of systems in a formal yet understandable way. These languages use stereotypes to standardize, clarify the model semantics, and extend the meaning of model elements. An Internet of things (IoT) system serves as an example to show the significant contributions of stere
Los estilos APA, Harvard, Vancouver, ISO, etc.
4

Keller, Damián, Aman Jagwani, and Victor Lazzarini. "The Ubimus Plugging Framework: Deploying FPGA-Based Prototypes for Ubiquitous Music Hardware Design." Computers 14, no. 4 (2025): 155. https://doi.org/10.3390/computers14040155.

Texto completo
Resumen
The emergent field of embedded computing presents a challenging scenario for ubiquitous music (ubimus) design. Available tools demand specific technical knowledge—as exemplified in the techniques involved in programming integrated circuits of configurable logic units, known as field-programmable gate arrays (FPGAs). Low-level hardware description languages used for handling FPGAs involve a steep learning curve. Hence, FPGA programming offers a unique challenge to probe the boundaries of ubimus frameworks as enablers of fast and versatile prototyping. State-of-the-art hardware-oriented approach
Los estilos APA, Harvard, Vancouver, ISO, etc.
5

Giraldo, Carlos Alberto, Beatriz Florian-Gaviria, Eval Bladimir Bacca-Cortés, Felipe Gómez, and Francisco Muñoz. "A programming environment having three levels of complexity for mobile robotics." Ingeniería e Investigación 32, no. 3 (2012): 76–82. http://dx.doi.org/10.15446/ing.investig.v32n3.35947.

Texto completo
Resumen
This paper presents a programming environment for supporting learning in STEM, particularly mobile robotic learning. It was designed to maintain progressive learning for people with and without previous knowledge of programming and/or robotics. The environment was multi-platform and built with open source tools. Perception, mobility, communication, navigation and collaborative behaviour functionalities can be programmed for different mobile robots. A learner is able to programme robots using different programming languages and editor interfaces: graphic programming interface (basic level), XML
Los estilos APA, Harvard, Vancouver, ISO, etc.
6

Zielenkiewicz, Maciej, and Aleksy Schubert. "Automata theory approach to predicate intuitionistic logic." Journal of Logic and Computation 32, no. 3 (2021): 554–80. http://dx.doi.org/10.1093/logcom/exab069.

Texto completo
Resumen
Abstract Predicate intuitionistic logic is a well-established fragment of dependent types. Proof construction in this logic, as the Curry–Howard isomorphism states, is the process of program synthesis. We present automata that can handle proof construction and program synthesis in full intuitionistic first-order logic. Given a formula, we can construct an automaton such that the formula is provable if and only if the automaton has an accepting run. As further research, this construction makes it possible to discuss formal languages of proofs or programs, the closure properties of the automata
Los estilos APA, Harvard, Vancouver, ISO, etc.
7

Akay, Abdullah E., and John Sessions. "Applying the Decision Support System, TRACER, to Forest Road Design." Western Journal of Applied Forestry 20, no. 3 (2005): 184–91. http://dx.doi.org/10.1093/wjaf/20.3.184.

Texto completo
Resumen
Abstract A three-dimensional forest road alignment model, TRACER, was developed to assist a forest road designer with rapid evaluation of alternative road paths. The objective is to design a route with the lowest total cost considering construction, maintenance, and transportation costs, while conforming to design specifications, environmental requirements, and driver safety. The model integrates two optimization techniques: a linear programming for earthwork allocation and a heuristic approach for vertical alignment selection. The model enhances user efficiency through automated horizontal an
Los estilos APA, Harvard, Vancouver, ISO, etc.
8

Popescu, Natalie, Ziyang Xu, Sotiris Apostolakis, David I. August, and Amit Levy. "Safer at any speed: automatic context-aware safety enhancement for Rust." Proceedings of the ACM on Programming Languages 5, OOPSLA (2021): 1–23. http://dx.doi.org/10.1145/3485480.

Texto completo
Resumen
Type-safe languages improve application safety by eliminating whole classes of vulnerabilities–such as buffer overflows–by construction. However, this safety sometimes comes with a performance cost. As a result, many modern type-safe languages provide escape hatches that allow developers to manually bypass them. The relative value of performance to safety and the degree of performance obtained depends upon the application context, including user goals and the hardware upon which the application is to be executed. Since libraries may be used in many different contexts, library developers cannot
Los estilos APA, Harvard, Vancouver, ISO, etc.
9

Izatri, Dini Idzni, Nofita Idaroka Rohmah, and Renny Sari Dewi. "Identifikasi Risiko pada Perpustakaan Daerah Gresik dengan NIST SP 800-30." JURIKOM (Jurnal Riset Komputer) 7, no. 1 (2020): 50. http://dx.doi.org/10.30865/jurikom.v7i1.1756.

Texto completo
Resumen
With the rapid development of technology in Indonesia, several companies and government institutions have begun to implement IT in their systems, as well as the Gresik Regency Regional Library. Information Technology is a field of technology management and covers various fields including but not limited to things such as processes, computer software, information systems, computer hardware, programming languages, and data construction. In short, what makes data, information or knowledge felt in any visual format, through any mechanism of multimedia distribution, is considered part of Informatio
Los estilos APA, Harvard, Vancouver, ISO, etc.
10

BANYASAD, OMID, and PHILIP T. COX. "Integrating design synthesis and assembly of structured objects in a visual design language." Theory and Practice of Logic Programming 5, no. 6 (2005): 601–21. http://dx.doi.org/10.1017/s1471068404002285.

Texto completo
Resumen
Computer Aided Design systems provide tools for building and manipulating models of solid objects. Some also provide access to programming languages so that parametrised designs can be expressed. There is a sharp distinction, therefore, between building models, a concrete graphical editing activity, and programming, an abstract, textual, algorithm-construction activity. The recently proposed Language for Structured Design (LSD) was motivated by a desire to combine the design and programming activities in one language. LSD achieves this by extending a visual logic programming language to incorp
Los estilos APA, Harvard, Vancouver, ISO, etc.
Más fuentes

Tesis sobre el tema "Hardware Construction Languages (HCLs)"

1

Ait, Bensaid Samira. "Formal Semantics of Hardware Compilation Framework." Electronic Thesis or Diss., université Paris-Saclay, 2023. http://www.theses.fr/2023UPASG085.

Texto completo
Resumen
Les analyses statiques de pire temps d’exécution sont utilisées pour garantir les délais requis pour les systèmes critiques. Afin d’estimer des bornes précises sur ces temps d’exécution, ces analyses temporelles nécessitent des considérations sur la (micro)- architecture. Habituellement, ces modèles de micro-architecture sont construits à la main à partir des manuels des processeurs. Cependant, les initiatives du matériel libre et les langages de description de matériel de haut niveau (HCLs), permettent de réaborder la problématique de la génération automatique de ces modèles de micro-architec
Los estilos APA, Harvard, Vancouver, ISO, etc.
2

Slipp, Walter Whitfield 1964. "Display of arbitrary subgraphs for HPCOM-generated networks." Thesis, The University of Arizona, 1989. http://hdl.handle.net/10150/277016.

Texto completo
Resumen
Hardware description languages provide digital system designers with a convenient, compact method for describing complex circuits. A Hardware Programming Language (AHPL) is a powerful description language based on the APL programming language. AHPL circuit descriptions can be unambiguously translated into a logic gate network using the HPCOM hardware compiler. The initial discussion section covers the conversion of the VAX version of HPCOM into a version which will run on MS-DOS microcomputers. The major portion of the research focuses on the development, use, and application of a graphics dis
Los estilos APA, Harvard, Vancouver, ISO, etc.
3

Nzekwa, Russel. "Construction flexible des boucles de contrôles autonomes pour les applications à large échelle." Phd thesis, Université des Sciences et Technologie de Lille - Lille I, 2013. http://tel.archives-ouvertes.fr/tel-00843874.

Texto completo
Resumen
Les logiciels modernes sont de plus en plus complexes. Ceci est dû en partie à l'hétérogénéité des solutions misent en oeuvre, au caractère distribué des architectures de déploiement et à la dynamicité requise pour de tels logiciels qui devraient être capable de s'adapter en fonction des variations de leur contexte d'évolution. D'un autre coté, l'importance grandissante des contraintes de productivité dans le but de réduire les coûts de maintenance et de production des systèmes informatiques a favorisé l'émergence de nouveaux paradigmes pour répondre à la complexité des logiciels modernes. L'i
Los estilos APA, Harvard, Vancouver, ISO, etc.
4

Zimmerman, Nicole P. "Time-Variant Load Models of Electric Vehicle Chargers." PDXScholar, 2015. https://pdxscholar.library.pdx.edu/open_access_etds/2297.

Texto completo
Resumen
In power distribution system planning, it is essential to understand the impacts that electric vehicles (EVs), and the non-linear, time-variant loading profiles associated with their charging units, may have on power distribution networks. This research presents a design methodology for the creation of both analytical and behavioral models for EV charging units within a VHDL-AMS simulation environment. Voltage and current data collected from Electric Avenue, located on the Portland State University campus, were used to create harmonic profiles of the EV charging units at the site. From these p
Los estilos APA, Harvard, Vancouver, ISO, etc.

Libros sobre el tema "Hardware Construction Languages (HCLs)"

1

Alain, Vachoux, ed. Analog and mixed-signal hardware description languages. Kluwer Academic Publishers, 1997.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
2

IFIP WG10.2 International Symposium on Computer Hardware Description Languages and their Applications (9th 1989 Washington, D. C.). Computer hardware description languages and their applications: Proceedings of theIFIP WG 10.2 Ninth International Symposium on Computer Hardware Description Languages and their Applications : Washington, D. C., U.S.A., 19-21 June, 1989. North-Holland, 1990.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
3

Carlos, Delgado Kloos, and Damm Werner, eds. Practical formal methods for hardware design. Springer, 1997.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
4

1947-, Koomen C. J., Motooka To ru 1929-, IFIP TC-10, and IFIP WG 10 2, eds. Computer hardware description languages and their applications: Proceedings of the IFIP WG 10.2 Seventh International Conference on Computer Hardware Description Languages and Their Applications, Tokyo, Japan, 29-31 August 1985. North-Holland, 1985.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
5

IFIP WG 10.2 International Conference on Computer Hardware Description Languages and their Applications (7th 1985 Tokyo). Computer hardware description languages and their applications: Proceedings of the IFIP WG 10.2 Seventh International Conference on Computer Hardware Description Languages and their Applications : Tokyo, Japan, 29-31 August, 1985. North-Holland, 1985.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
6

(2003), FDL'03. Languages for system specification: Selected contributions on UML, SystemC, System Verilig, mixed-signal systems, and property specification from FDL'03. Kluwer Academic Publishers, 2004.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
7

Anne, Mignotte, Villar Eugenio, and Horobin Lynn, eds. System on chip design languages: Extended papers : best of FDL'01 and HDLCon'01. Kluwer Academic Publishers, 2002.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
8

Hoffmann, Andreas. Architecture exploration for embedded processors with LISA. Kluwer Academic Publishers, 2002.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
9

1956-, Foster Harry, ed. Principles of verifiable RTL design: A functional coding style supporting verification processes in Verilog. Kluwer Academic Publishers, 2000.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
10

Bening, Lionel. Principles of verifiable RTL design: A functional coding style supporting verification processes in Verilog. 2nd ed. Kluwer Academic Publishers, 2001.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
Más fuentes

Capítulos de libros sobre el tema "Hardware Construction Languages (HCLs)"

1

Mycroft, Alan, and Richard Sharp. "Hardware/Software Co-design Using Functional Languages." In Tools and Algorithms for the Construction and Analysis of Systems. Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/3-540-45319-9_17.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
2

Hartmanns, Arnd. "Correct Probabilistic Model Checking with Floating-Point Arithmetic." In Tools and Algorithms for the Construction and Analysis of Systems. Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-030-99527-0_3.

Texto completo
Resumen
AbstractProbabilistic model checking computes probabilities and expected values related to designated behaviours of interest in Markov models. As a formal verification approach, it is applied to critical systems; thus we trust that probabilistic model checkers deliver correct results. To achieve scalability and performance, however, these tools use finite-precision floating-point numbers to represent and calculate probabilities and other values. As a consequence, their results are affected by rounding errors that may accumulate and interact in hard-to-predict ways. In this paper, we show how t
Los estilos APA, Harvard, Vancouver, ISO, etc.
3

de Niz, Dionisio, Gaurav Bhatia, and Raj Rajkumar. "Separation of Concerns in Model-Based Development of Distributed Real-Time Systems." In Behavioral Modeling for Embedded Systems and Technologies. IGI Global, 2010. http://dx.doi.org/10.4018/978-1-60566-750-8.ch006.

Texto completo
Resumen
Software is increasingly being used to enable new features in systems in multiple domains. These domains include automotive, avionics, telecomunication, and industrial automation. Because the user of these systems is not aware of the presence of the software, this type of software is known as embedded software. More importantly, such a software, and the whole system in general, must satisfy not only logical functional requirements but also parafunctional (a.k.a. nonfunctional) properties such as timeliness, security, and reliability. Traditional development languages and tools provide powerful
Los estilos APA, Harvard, Vancouver, ISO, etc.

Actas de conferencias sobre el tema "Hardware Construction Languages (HCLs)"

1

Lukashov, Ivan, and Alexander Antonov. "TRANSACTION-LEVEL DESIGNING OF NEUROMORPHIC PROCESSORS MICROARCHITECTURE." In 24th SGEM International Multidisciplinary Scientific GeoConference 2024. STEF92 Technology, 2024. https://doi.org/10.5593/sgem2024/2.1/s07.11.

Texto completo
Resumen
Spiking neural networks (SNNs) is a promising research direction to their ability to imitate certain functions of brain. Hardware acceleration of SNN can offer orders of magnitude increase in performance and power efficiency. However, traditional hardware description languages have a barrier for rapid development and prototyping of custom internal hardware mechanisms that affect hardware construction throughout the entire processor structure. Mainstream high-level design methods also have disadvantages, e.g. poor focus on transaction streams management description in dynamically scheduled pipe
Los estilos APA, Harvard, Vancouver, ISO, etc.
2

Izraelevitz, Adam, Jack Koenig, Patrick Li, et al. "Reusability is FIRRTL ground: Hardware construction languages, compiler frameworks, and transformations." In 2017 IEEE/ACM International Conference on Computer-Aided Design (ICCAD). IEEE, 2017. http://dx.doi.org/10.1109/iccad.2017.8203780.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
3

Rebello Januário, Leonardo, Gustavo Henrique Müller, Alex Luciano Roesler Rese, Rudimar Luís Scaranto Dazzi, and Thiago Felski Pereira. "Máquina de Turing Analógica para Ensino de Linguagens Formais e Autômatos." In Computer on the Beach. Universidade do Vale do Itajaí, 2021. http://dx.doi.org/10.14210/cotb.v12.p531-533.

Texto completo
Resumen
The article describes the development of a practical device for teachingin the area of Computer Theory. In the study, an adaptationof the Turing Machine is presented, using hardware and softwareintegration to interpret Formal Languages. Simulating an Automaton,sensors and motors are used to move the device head to the leftand right and to read and write the input tape. The developmentof the mechanism is described in two parts, the first includes thehardware that consists of the construction and adaptation of theTuring Machine, the second the implementation of the software andcommunication part
Los estilos APA, Harvard, Vancouver, ISO, etc.
4

Guida, Francesco Ermanno, and Ernesto Voltaggio. "Programming Visual Representations. Evolutions of Visual Identities between Tangible and Intangible." In Systems & Design: Beyond Processes and Thinking. Universitat Politècnica València, 2016. http://dx.doi.org/10.4995/ifdp.2016.3334.

Texto completo
Resumen
The communication design field it's considerably changed in the last 20 years and more as well as the role of the designer. Technology has modified the daily work tools and new possible relations between the designer, the commitment and the final user can be underlined. Observing some of the most experimental practices, new visual languages have draw the attention, affected by innovative approaches and mixed competencies. The area of visual identities is especially of interest, not excluding other areas of experimentations.The phenomenon of the so-called dynamic or post-logo identities underli
Los estilos APA, Harvard, Vancouver, ISO, etc.
También puede estar interesado en las bibliografías ampliadas sobre el tema "Hardware Construction Languages (HCLs)" para tipos de fuentes particulares:
Artículos de revistas Libros
Ofrecemos descuentos en todos los planes premium para autores cuyas obras están incluidas en selecciones literarias temáticas. ¡Contáctenos para obtener un código promocional único!

Pasar a la bibliografía