Acceder

Bibliografías temáticas / Hardware Construction Languages (HCLs) / Artículos de revistas

Siga este enlace para ver otros tipos de publicaciones sobre el tema: Hardware Construction Languages (HCLs).

Artículos de revistas 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 los 41 mejores artículos de revistas para su investigación 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.

Explore artículos de revistas sobre una amplia variedad de disciplinas y organice su bibliografía correctamente.

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.

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.

Texto completo

Resumen

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

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

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

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

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

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

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

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

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

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

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

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

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

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

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

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

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

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

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

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

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

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

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

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

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

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

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

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

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

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

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

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

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

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

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

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

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

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

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

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

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

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

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

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

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

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

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

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

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

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

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

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

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

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

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

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

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

Los estilos APA, Harvard, Vancouver, ISO, etc.

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.

Texto completo

Resumen

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

Los estilos APA, Harvard, Vancouver, ISO, etc.

41

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

Texto completo

Resumen

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

Los estilos APA, Harvard, Vancouver, ISO, etc.

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!