Einloggen

Thematische Bibliographien / Hardware Construction Languages (HCLs) / Zeitschriftenartikel

Um die anderen Arten von Veröffentlichungen zu diesem Thema anzuzeigen, folgen Sie diesem Link: Hardware Construction Languages (HCLs).

Zeitschriftenartikel zum Thema „Hardware Construction Languages (HCLs)“

Autor: Grafiati

Veröffentlicht am 25. Mai 2024

Zuletzt aktualisiert am 31. Juli 2025

Geben Sie eine Quelle nach APA, MLA, Chicago, Harvard und anderen Zitierweisen an

Wählen Sie eine Art der Quelle aus:

Machen Sie sich mit Top-41 Zeitschriftenartikel für die Forschung zum Thema "Hardware Construction Languages (HCLs)" bekannt.

Neben jedem Werk im Literaturverzeichnis ist die Option "Zur Bibliographie hinzufügen" verfügbar. Nutzen Sie sie, wird Ihre bibliographische Angabe des gewählten Werkes nach der nötigen Zitierweise (APA, MLA, Harvard, Chicago, Vancouver usw.) automatisch gestaltet.

Sie können auch den vollen Text der wissenschaftlichen Publikation im PDF-Format herunterladen und eine Online-Annotation der Arbeit lesen, wenn die relevanten Parameter in den Metadaten verfügbar sind.

Sehen Sie die Zeitschriftenartikel für verschiedene Spezialgebieten durch und erstellen Sie Ihre Bibliographie auf korrekte Weise.

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.

Der volle Inhalt der Quelle

Annotation:

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,

APA, Harvard, Vancouver, ISO und andere Zitierweisen

2

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

Der volle Inhalt der Quelle

Annotation:

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,

APA, Harvard, Vancouver, ISO und andere Zitierweisen

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.

Der volle Inhalt der Quelle

Annotation:

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

APA, Harvard, Vancouver, ISO und andere Zitierweisen

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.

Der volle Inhalt der Quelle

Annotation:

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

APA, Harvard, Vancouver, ISO und andere Zitierweisen

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.

Der volle Inhalt der Quelle

Annotation:

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

APA, Harvard, Vancouver, ISO und andere Zitierweisen

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.

Der volle Inhalt der Quelle

Annotation:

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

APA, Harvard, Vancouver, ISO und andere Zitierweisen

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.

Der volle Inhalt der Quelle

Annotation:

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

APA, Harvard, Vancouver, ISO und andere Zitierweisen

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.

Der volle Inhalt der Quelle

Annotation:

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

APA, Harvard, Vancouver, ISO und andere Zitierweisen

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.

Der volle Inhalt der Quelle

Annotation:

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

APA, Harvard, Vancouver, ISO und andere Zitierweisen

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.

Der volle Inhalt der Quelle

Annotation:

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

APA, Harvard, Vancouver, ISO und andere Zitierweisen

11

Wooldridge, Michael, and Nicholas R. Jennings. "Intelligent agents: theory and practice." Knowledge Engineering Review 10, no. 2 (1995): 115–52. http://dx.doi.org/10.1017/s0269888900008122.

Der volle Inhalt der Quelle

Annotation:

AbstractThe concept of anagenthas become important in both artificial intelligence (AT) and mainstream computer science. Our aim in this paper is to point the reader at what we perceive to be the most important theoretical and practical issues associated with the design and construction of intelligent agents. For convenience, we divide these issues into three areas (though as the reader will see, the divisions are at times somewhat arbitrary).Agent theoryis concerned with the question of what an agent is, and the use of mathematical formalisms for representing and reasoning about the propertie

APA, Harvard, Vancouver, ISO und andere Zitierweisen

12

Lin, Shaokai, Yatin A. Manerkar, Marten Lohstroh, et al. "Towards Building Verifiable CPS using Lingua Franca." ACM Transactions on Embedded Computing Systems 22, no. 5s (2023): 1–24. http://dx.doi.org/10.1145/3609134.

Der volle Inhalt der Quelle

Annotation:

Formal verification of cyber-physical systems (CPS) is challenging because it has to consider real-time and concurrency aspects that are often absent in ordinary software. Moreover, the software in CPS is often complex and low-level, making it hard to assure that a formal model of the system used for verification is a faithful representation of the actual implementation, which can undermine the value of a verification result. To address this problem, we propose a methodology for building verifiable CPS based on the principle that a formal model of the software can be derived automatically from

APA, Harvard, Vancouver, ISO und andere Zitierweisen

13

JI, JIANMIN, FANGFANG LIU, and JIA-HUAI YOU. "Well-founded operators for normal hybrid MKNF knowledge bases." Theory and Practice of Logic Programming 17, no. 5-6 (2017): 889–905. http://dx.doi.org/10.1017/s1471068417000291.

Der volle Inhalt der Quelle

Annotation:

AbstractHybrid MKNF knowledge bases have been considered one of the dominant approaches to combining open world ontology languages with closed world rule-based languages. Currently, the only known inference methods are based on the approach of guess-and-verify, while most modern SAT/ASP solvers are built under the DPLL architecture. The central impediment here is that it is not clear what constitutes a constraint propagator, a key component employed in any DPLL-based solver. In this paper, we address this problem by formulating the notion of unfounded sets for non-disjunctive hybrid MKNF knowl

APA, Harvard, Vancouver, ISO und andere Zitierweisen

14

Michael, Alexandra E., Anitha Gollamudi, Jay Bosamiya, et al. "MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code." Proceedings of the ACM on Programming Languages 7, POPL (2023): 425–54. http://dx.doi.org/10.1145/3571208.

Der volle Inhalt der Quelle

Annotation:

Most programs compiled to WebAssembly (Wasm) today are written in unsafe languages like C and C++. Unfortunately, memory-unsafe C code remains unsafe when compiled to Wasm—and attackers can exploit buffer overflows and use-after-frees in Wasm almost as easily as they can on native platforms. Memory- Safe WebAssembly (MSWasm) proposes to extend Wasm with language-level memory-safety abstractions to precisely address this problem. In this paper, we build on the original MSWasm position paper to realize this vision. We give a precise and formal semantics of MSWasm, and prove that well-typed MSWas

APA, Harvard, Vancouver, ISO und andere Zitierweisen

15

Battarbee, Markus, Konstantinos Papadakis, Urs Ganse, et al. "Porting the grid-based 3D+3V hybrid-Vlasov kinetic plasma simulation Vlasiator to heterogeneous GPU architectures." Journal of Physics: Conference Series 2997, no. 1 (2025): 012010. https://doi.org/10.1088/1742-6596/2997/1/012010.

Der volle Inhalt der Quelle

Annotation:

Abstract Vlasiator is a space plasma simulation code which models near-Earth ion-kinetic dynamics in three spatial and three velocity dimensions. It is highly parallelized, modeling the Vlasov equation directly through the distribution function, discretized on a Cartesian grid, instead of the more common particle-in-cell approach. Modeling near-Earth space, plasma properties span several orders of magnitude in temperature, density, and magnetic field strength. In order to fit the required six-dimensional grids in memory, Vlasiator utilizes a sparse block-based velocity mesh, where chunks of ve

APA, Harvard, Vancouver, ISO und andere Zitierweisen

16

Perepelitsyn, Artem. "Method of creation of FPGA based implementation of artificial intelligence as a service." Radioelectronic and Computer Systems, no. 3 (September 29, 2023): 27–36. http://dx.doi.org/10.32620/reks.2023.3.03.

Der volle Inhalt der Quelle

Annotation:

The subject of study in this article is the technologies of Field Programmable Gate Array (FPGA), methods, and tools for prototyping of hardware accelerators of Artificial Intelligence (AI) and providing it as a service. The goal is to reduce the efforts of creation and modification of FPGA implementation of Artificial Intelligent projects and provide such solutions as a service. Task: to analyze the possibilities of heterogeneous computing for the implementation of AI projects; analyze advanced FPGA technologies and accelerator cards that allow the organization of a service; analyze the langu

APA, Harvard, Vancouver, ISO und andere Zitierweisen

17

Li, Bin, Yunlong Fan, Miao Gao, Yikemaiti Sataer, and Zhiqiang Gao. "A Joint-Learning-Based Dynamic Graph Learning Framework for Structured Prediction." Electronics 12, no. 11 (2023): 2357. http://dx.doi.org/10.3390/electronics12112357.

Der volle Inhalt der Quelle

Annotation:

Graph neural networks (GNNs) have achieved remarkable success in structured prediction, owing to the GNNs’ powerful ability in learning expressive graph representations. However, most of these works learn graph representations based on a static graph constructed by an existing parser, suffering from two drawbacks: (1) the static graph might be error-prone, and the errors introduced in the static graph cannot be corrected and might accumulate in later stages, and (2) the graph construction stage and graph representation learning stage are disjoined, which negatively affects the model’s running

APA, Harvard, Vancouver, ISO und andere Zitierweisen

18

Basel, Halak and Hsien-Chih Chiu. "MODIFIED MICROPIPLINE ARCHITECTURE FOR SYNTHESIZABLE ASYNCHRONOUS FIR FILTER DESIGN." International Journal of VLSI design & Communication Systems (VLSICS) Vol.7, No.1, February 2016 7, no. 1 (2019): 01–08. https://doi.org/10.5281/zenodo.3452071.

Der volle Inhalt der Quelle

Annotation:

The use of asynchronous design approaches to construct digital signal processing (DSP) systems is a rapidly growing research area driven by a wide range of emerging energy constrained applications such as wireless sensor network, portable medical devices and brain implants. The asynchronous design techniques allow the construction of systems which are samples driven, which means they only dissipate dynamic energy when there processing data and idle otherwise. This inherent advantage of asynchronous design over conventional synchronous circuits allows them to be energy efficient. However the im

APA, Harvard, Vancouver, ISO und andere Zitierweisen

19

Perbawa, Laodikia Galih Krisna, Muhammad Hasbi, and Bebas Widada. "Rekomendasi Tempat Wisata Di Kabupaten Grobogan." Jurnal Ilmiah SINUS 19, no. 2 (2021): 57. http://dx.doi.org/10.30646/sinus.v19i2.560.

Der volle Inhalt der Quelle

Annotation:

Geografis Information System (SIG) is a computer system used to manipulate geographic data. The system is implemented with computer hardware and software that serves to init and verify data, data compilation, data storage, data changes and updates, data management and exchange, data manipulation, data calling and presentation and data analysis.In Grobogan Regency itself there are still many tourist locations that are not known to the public, especially tourists outside the area. The number of tourist attractions in Grobogan Regency itself is approximately 21 places, both natural tourism such a

APA, Harvard, Vancouver, ISO und andere Zitierweisen

20

Le Guernic, Paul, Jean-Pierre Talpin, and Jean-Christophe Le Lann. "POLYCHRONY for System Design." Journal of Circuits, Systems and Computers 12, no. 03 (2003): 261–303. http://dx.doi.org/10.1142/s0218126603000763.

Der volle Inhalt der Quelle

Annotation:

Rising complexities and performances of integrated circuits and systems, shortening time-to-market demands for electronic equipments, growing installed bases of intellectual property (IP), requirements for adapting existing IP blocks with new services, all stress high-level design as a prominent research topic and call for the development of appropriate methodological solutions. In this aim, system design based on the so-called "synchronous hypothesis" consists of abstracting the nonfunctional implementation details of a system and lets one benefit from a focused reasoning on the logics behind

APA, Harvard, Vancouver, ISO und andere Zitierweisen

21

Szyszka, Michał, Łukasz Tomczyk, and 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, no. 14 (2022): 8339. http://dx.doi.org/10.3390/su14148339.

Der volle Inhalt der Quelle

Annotation:

The digitalisation of education has become an irreversible process, and Poland is no exception. However, the issue of ICT usage in education raises many concerns and controversies, posing numerous methodological challenges at the same time. In the interpretation of our research, one of the most frequently used and validated models in empirical research—the Unified Theory of Technology Acceptance and Use (UTAUT) model—was used. The aim of the research was to show the frequency of use of popular hardware, software and websites among teachers from Poland (in the Silesia Province) and finding answ

APA, Harvard, Vancouver, ISO und andere Zitierweisen

22

BOGAERTS, BART, TOMI JANHUNEN, and SHAHAB TASHARROFI. "Stable-unstable semantics: Beyond NP with normal logic programs." Theory and Practice of Logic Programming 16, no. 5-6 (2016): 570–86. http://dx.doi.org/10.1017/s1471068416000387.

Der volle Inhalt der Quelle

Annotation:

AbstractStandard answer set programming (ASP) targets at solving search problems from the first level of the polynomial time hierarchy (PH). Tackling search problems beyond NP using ASP is less straightforward. The class of disjunctive logic programs offers the most prominent way of reaching the second level of the PH, but encoding respective hard problems as disjunctive programs typically requires sophisticated techniques such as saturation or meta-interpretation. The application of such techniques easily leads to encodings that are inaccessible to non-experts. Furthermore, while disjunctive

APA, Harvard, Vancouver, ISO und andere Zitierweisen

23

Liubimov, Oleksandr, Ihor Turkin, Oleksandr Leshchenko та Viacheslav Valkovyi. "Експериментальна оцінка продуктивності методу контейнеризації в бортовому програмному забезпеченні наносупутника CubeSat". Aerospace Technic and Technology, № 4 (29 серпня 2024): 87–103. http://dx.doi.org/10.32620/aktt.2024.4.10.

Der volle Inhalt der Quelle

Annotation:

The objective of this research is to investigate the computational efficiency of various system architectures of onboard software for the onboard computers of CubeSat nanosatellites. The subject of this study is the computing overhead associated with using the containerization method in the construction of the onboard software for CubeSat nanosatellites. Purpose: To experimentally investigate the possibility and feasibility of using the containerization method in the onboard software of CubeSat nanosatellites. Objectives: to define the need to find new architectural solutions in the onboard so

APA, Harvard, Vancouver, ISO und andere Zitierweisen

24

Cook, Sebastien, and Paulo Garcia. "Arbitrarily Parallelizable Code: A Model of Computation Evaluated on a Message-Passing Many-Core System." Computers 11, no. 11 (2022): 164. http://dx.doi.org/10.3390/computers11110164.

Der volle Inhalt der Quelle

Annotation:

The number of processing elements per solution is growing. From embedded devices now employing (often heterogeneous) multi-core processors, across many-core scientific computing platforms, to distributed systems comprising thousands of interconnected processors, parallel programming of one form or another is now the norm. Understanding how to efficiently parallelize code, however, is still an open problem, and the difficulties are exacerbated across heterogeneous processing, and especially at run time, when it is sometimes desirable to change the parallelization strategy to meet non-functional

APA, Harvard, Vancouver, ISO und andere Zitierweisen

25

Wrona, Zofia, Maria Ganzha, Marcin Paprzycki, and Stanisław Krzyżanowski. "Dynamic Knowledge Management in an Agent-Based Extended Green Cloud Simulator." Energies 17, no. 4 (2024): 780. http://dx.doi.org/10.3390/en17040780.

Der volle Inhalt der Quelle

Annotation:

Cloud infrastructures operate in highly dynamic environments, and today, energy-focused optimization become crucial. Moreover, the concept of extended cloud infrastructure, which, among others, uses green energy, started to gain traction. This introduces a new level of dynamicity to the ecosystem, as “processing components” may “disappear” and “come back”, specifically in scenarios where the lack/return of green energy leads to shutting down/booting back servers at a given location. Considered use cases may involve introducing new types of resources (e.g., adding containers with server racks w

APA, Harvard, Vancouver, ISO und andere Zitierweisen

26

Kalai, Yael Tauman, Ran Raz, and Ron D. Rothblum. "How to Delegate Computations: The Power of No-Signaling Proofs." Journal of the ACM 69, no. 1 (2022): 1–82. http://dx.doi.org/10.1145/3456867.

Der volle Inhalt der Quelle

Annotation:

We construct a 1-round delegation scheme (i.e., argument-system) for every language computable in time t = t ( n ), where the running time of the prover is poly ( t ) and the running time of the verifier is n · polylog ( t ). In particular, for every language in P we obtain a delegation scheme with almost linear time verification. Our construction relies on the existence of a computational sub-exponentially secure private information retrieval ( PIR ) scheme. The proof exploits a curious connection between the problem of computation delegation and the model of multi-prover interactive proofs t

APA, Harvard, Vancouver, ISO und andere Zitierweisen

27

Kravets, Alla, and Vitaly Egunov. "The Software Cache Optimization-Based Method for Decreasing Energy Consumption of Computational Clusters." Energies 15, no. 20 (2022): 7509. http://dx.doi.org/10.3390/en15207509.

Der volle Inhalt der Quelle

Annotation:

Reducing the consumption of electricity by computing devices is currently an urgent task. Moreover, if earlier this problem belonged to the competence of hardware developers and the design of more cost-effective equipment, then more recently there has been an increased interest in this issue on the part of software developers. The issues of these studies are extensive. From energy efficiency issues of various programming languages to the development of energy-saving software for smartphones and other gadgets. However, to the best of our knowledge, no study has reported an analysis of the impac

APA, Harvard, Vancouver, ISO und andere Zitierweisen

28

PORTO, ANTÓNIO. "A structured alternative to Prolog with simple compositional semantics." Theory and Practice of Logic Programming 11, no. 4-5 (2011): 611–27. http://dx.doi.org/10.1017/s1471068411000202.

Der volle Inhalt der Quelle

Annotation:

AbstractProlog's very useful expressive power is not captured by traditional logic programming semantics, due mainly to the cut and goal and clause order. Several alternative semantics have been put forward, exposing operational details of the computation state. We propose instead to redesign Prolog around structured alternatives to the cut and clauses, keeping the expressive power and computation model but with a compositional denotational semantics over much simpler states—just variable bindings. This considerably eases reasoning about programs, by programmers and tools such as a partial eva

APA, Harvard, Vancouver, ISO und andere Zitierweisen

29

Bazydło, Grzegorz. "Designing Reconfigurable Cyber-Physical Systems Using Unified Modeling Language." Energies 16, no. 3 (2023): 1273. http://dx.doi.org/10.3390/en16031273.

Der volle Inhalt der Quelle

Annotation:

Technological progress in recent years in the Cyber-Physical Systems (CPSs) area has given designers unprecedented possibilities and computational power, but as a consequence, the modeled CPSs are becoming increasingly complex, hierarchical, and concurrent. Therefore, new methods of CPSs design (especially using abstract modeling) are needed. The paper presents an approach to the CPS control part modeling using state machine diagrams from Unified Modelling Language (UML). The proposed design method attempts to combine the advantages of graphical notation (intuitiveness, convenience, readabilit

APA, Harvard, Vancouver, ISO und andere Zitierweisen

30

Virchenko, Gennadii, Petro Yablonskyi, and Mariya Hrubych. "SOME ISSUES OF COMPUTER VISUALIZATION OF PHYSICAL PHENOMENA AND PROCESSES BY MEANS OF THE PYTHON PROGRAMMING LANGUAGE." APPLIED GEOMETRY AND ENGINEERING GRAPHICS, no. 108 (July 3, 2025): 53–63. https://doi.org/10.32347/0131-579x.2025.108.53-63.

Der volle Inhalt der Quelle

Annotation:

Nowadays, various computer tools have become rapidly widespread in most areas of human activity. Their productive use depends significantly on the hardware and software. This also includes the knowledge of the relevant languages, among which Python is quite popular these days. The latter is due to its ability to solve a wide range of problems, work in the environment of several operating systems, simplicity of syntax, flexibility and efficiency of the generated code, the ability to use a significant number of powerful specialized libraries, a friendly intuitive interface, etc. In addition to t

APA, Harvard, Vancouver, ISO und andere Zitierweisen

31

Riveiro, Luigi Quintans, Kristine Sheila Schuster, Cristina Cavalli Bertolucci, and 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, no. 3 (2024): 330–42. http://dx.doi.org/10.17921/2176-5634.2023v16n3p330-342.

Der volle Inhalt der Quelle

Annotation:

Conhecer a produção científica sobre a introdução da Álgebra no Ensino Fundamental em processos de ensino e aprendizagem foi o tema de interesse deste Estado da Arte. Nessa direção surgiram questionamentos: como o estudante dos anos finais do Ensino Fundamental lida com a experiência do “mundo” das letras na Matemática? Que dificuldades ele apresenta para identificar e operar com símbolos além de números? Como se dá o processo da construção do pensamento algébrico? A partir de um cuidadoso processo descrito sobre a escolha das obras, construiu-se um corpus de análise com base na Biblioteca Dig

APA, Harvard, Vancouver, ISO und andere Zitierweisen

32

Toliupa, Serhii, Yuri Samokhvalov, and Serhii Shtanenko. "Ensuring cyber security of ACS TP by using FPGA technology." Information systems and technologies security, no. 1 (5) (2021): 46–54. http://dx.doi.org/10.17721/ists.2021.1.44-52.

Der volle Inhalt der Quelle

Annotation:

In modern conditions, cybersecurity issues are moving from the level of information protection at a separate object of computer technology to the level of creating a single cybersecurity system of the state, as part of the information and national security system responsible for protecting not only information in the narrow sense, but also all cyberspace. In the process of forming global cyberspace, military and civilian computer technologies are converging, new means and methods of influencing the information infrastructure of a potential adversary are being developed, and specialized cyber c

APA, Harvard, Vancouver, ISO und andere Zitierweisen

33

Dogru, A. H., H. A. Sunaidi, L. S. Fung, W. A. Habiballah, N. Al-Zamel, and K. G. Li. "A Parallel Reservoir Simulator for Large-Scale Reservoir Simulation." SPE Reservoir Evaluation & Engineering 5, no. 01 (2002): 11–23. http://dx.doi.org/10.2118/75805-pa.

Der volle Inhalt der Quelle

Annotation:

Summary A new parallel, black-oil-production reservoir simulator (Powers**) has been developed and fully integrated into the pre- and post-processing graphical environment. Its primary use is to simulate the giant oil and gas reservoirs of the Middle East using millions of cells. The new simulator has been created for parallelism and scalability, with the aim of making megacell simulation a day-to-day reservoir-management tool. Upon its completion, the parallel simulator was validated against published benchmark problems and other industrial simulators. Several giant oil-reservoir studies have

APA, Harvard, Vancouver, ISO und andere Zitierweisen

34

Ferres, Bruno, Olivier Muller, and Frédéric Rousseau. "A Chisel Framework for Flexible Design Space Exploration through a Functional Approach." ACM Transactions on Design Automation of Electronic Systems, April 5, 2023. http://dx.doi.org/10.1145/3590769.

Der volle Inhalt der Quelle

Annotation:

As the need for efficient digital circuits is ever growing in the industry, the design of such systems remains daunting, requiring both expertise and time. In an attempt to close the gap between software development and hardware design, powerful features such as functional and object-oriented programming have been used to define new languages, known as Hardware Construction Languages. In this article, we investigate the usage of such languages — more precisely, of Chisel — in the context of Design Space Exploration, and propose a novel design methodology to build custom and adaptable design fl

APA, Harvard, Vancouver, ISO und andere Zitierweisen

35

Guellil, Imane, Antonio Garcia-Dominguez, Peter R. Lewis, Shakeel Hussain, and Geoffrey Smith. "Entity linking for English and other languages: a survey." Knowledge and Information Systems, April 2, 2024. http://dx.doi.org/10.1007/s10115-023-02059-2.

Der volle Inhalt der Quelle

Annotation:

AbstractExtracting named entities text forms the basis for many crucial tasks such as information retrieval and extraction, machine translation, opinion mining, sentiment analysis and question answering. This paper presents a survey of the research literature on named entity linking, including named entity recognition and disambiguation. We present 200 works by focusing on 43 papers (5 surveys and 38 research works). We also describe and classify 56 resources, including 25 tools and 31 corpora. We focus on the most recent papers, where more than 95% of the described research works are after 20

APA, Harvard, Vancouver, ISO und andere Zitierweisen

36

Toliupa, S., S. Shtanenko, T. Poberezhets, and V. Lozunov. "Methodology for designing robotic systems based on CAD Intel Quartus Prime." Communication, informatization and cybersecurity systems and technologies 2, no. 2 (2022). http://dx.doi.org/10.58254/viti.2.2022.08.54.

Der volle Inhalt der Quelle

Annotation:

At present, programmable logic integrated circuits (FPGAs) are increasingly used in the development of robotic systems. A significant advantage of FPGAs is their versatility and the ability to quickly program to perform the functions of almost any digital device of a robotic system. FPGA is a semi-finished product, on the basis of which a developer with a personal computer has the ability to design a digital device in record time. This is provided by simple and relatively inexpensive software hardware and special software called computer-aided design (CAD). FPGA is an electronic component used

APA, Harvard, Vancouver, ISO und andere Zitierweisen

37

Vale, Arthur Oliveira, Zhong Shao, and Yixuan Chen. "A Compositional Theory of Linearizability." Journal of the ACM, January 27, 2024. http://dx.doi.org/10.1145/3643668.

Der volle Inhalt der Quelle

Annotation:

Compositionality is at the core of programming languages research and has become an important goal toward scalable verification of large systems. Despite that, there is no compositional account of linearizability , the gold standard of correctness for concurrent objects. In this paper, we develop a compositional semantics for linearizable concurrent objects. We start by showcasing a common issue, which is independent of linearizability, in the construction of compositional models of concurrent computation: interaction with the neutral element for composition can lead to emergent behaviors, a h

APA, Harvard, Vancouver, ISO und andere Zitierweisen

38

Vargas-Monroy, Gabriel, Daissi-Bibiana Gonzalez-Roldan, Carlos Enrique Montenegro-Marín, Alejandro-Paolo Daza-Corredor, and Daniel-David Leal-Lara. "Code generation system based on MDA and convolutional neural networks." Frontiers in Artificial Intelligence 8 (March 11, 2025). https://doi.org/10.3389/frai.2025.1491958.

Der volle Inhalt der Quelle

Annotation:

IntroductionThe software industry has rapidly evolved with high performance. This is owing to the implementation of good programming practices and architectures that make it scalable and adaptable. Therefore, a strong incentive is required to develop the processes that initiate this project.MethodWe aimed to provide a platform that streamlines the development process and connects planning, structuring, and development. Specifically, we developed a system that employs computer vision, deep learning, and MDA to generate source code from the diagrams describing the system and the respective study

APA, Harvard, Vancouver, ISO und andere Zitierweisen

39

LIU, FANGFANG, and JIA-HUAI YOU. "Alternating Fixpoint Operator for Hybrid MKNF Knowledge Bases as an Approximator of AFT." Theory and Practice of Logic Programming, September 1, 2021, 1–30. http://dx.doi.org/10.1017/s1471068421000168.

Der volle Inhalt der Quelle

Annotation:

Abstract Approximation fixpoint theory (AFT) provides an algebraic framework for the study of fixpoints of operators on bilattices and has found its applications in characterizing semantics for various classes of logic programs and nonmonotonic languages. In this paper, we show one more application of this kind: the alternating fixpoint operator by Knorr et al. for the study of the well-founded semantics for hybrid minimal knowledge and negation as failure (MKNF) knowledge bases is in fact an approximator of AFT in disguise, which, thanks to the abstraction power of AFT, characterizes not only

APA, Harvard, Vancouver, ISO und andere Zitierweisen

40

Cardama, F. Javier, Jorge Vázquez-Pérez, César Piñeiro, Juan C. Pichel, Tomás F. Pena, and Andrés Gómez. "Review of intermediate representations for quantum computing." Journal of Supercomputing 81, no. 2 (2025). https://doi.org/10.1007/s11227-024-06892-2.

Der volle Inhalt der Quelle

Annotation:

Abstract Intermediate representations (IRs) are fundamental to classical and quantum computing, bridging high-level quantum programming languages and the hardware-specific instructions required for execution. This paper reviews the development of quantum IRs, focusing on their evolution and the need for abstraction layers that facilitate portability and optimization. Monolithic quantum IRs, such as QIR (Lubinski et al. in Front Phys 10:940293, 2022. https://doi.org/10.3389/fphy.2022.940293), QSSA (Peduri et al. in Proceedings of the 31st ACM SIGPLAN international conference on compiler constru

APA, Harvard, Vancouver, ISO und andere Zitierweisen

41

Lillie, Jonathan. "Tackling Identity with Constructionist Concepts." M/C Journal 1, no. 3 (1998). http://dx.doi.org/10.5204/mcj.1712.

Der volle Inhalt der Quelle

Annotation:

Did you wake up this morning wondering: "What really is my true identity?" Or have you ever seen your favorite television news program do a spot on cultural identity? "Today we ask you the viewer about your cultural identity." Not likely. It is certainly not vital for each of us to be able to expound upon our personal identity issues and definitions (you don't necessarily have to talk about identity to know yourself and to be happy and well-rounded). And yet, with this said, a casual visit to the local "mall" for a dose of people/culture-watching is all that it might take to be reminded of the

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Wir bieten Rabatte auf alle Premium-Pläne für Autoren, deren Werke in thematische Literatursammlungen aufgenommen wurden. Kontaktieren Sie uns, um einen einzigartigen Promo-Code zu erhalten!