Buscar
Mostrando ítems 1-10 de 2838
An algebraic approach to the design of compilers for object-oriented languages
(2010)
In this paper we describe an algebraic approach to construct provably correct compilers for objectoriented
languages; this is illustrated for programs written in a language similar to a sequential subset of Java. It includes ...
A retargetable VLIW compiler framework for DSPs with instruction-level parallelism
(Ieee-inst Electrical Electronics Engineers IncPiscatawayEUA, 2001)
Modelación, simulación y control de un evaporador de doble efecto como herramienta didáctica para control de procesos
(Escuela Superior Politécnica de Chimborazo, 2021-09-09)
The present research work models, simulates and controls a double effect evaporator as a didactic tool for the chair of process control through software. The mathematical modeling of the behavior of the double effect ...
Co-design of Compiler and Hardware Techniques to Reduce Program Code Size on a VLIW Processor
(Centro Latinoamericano de Estudios en Informática, 2012)
An algebraic approach to the design of compilers for object-oriented languages
(Universidade Federal de Pernambuco, 2014)
Specification and Runtime Verification of Java Card Programs
(Elsevier, 2009)
Java Card is a version of Java developed to run on devices with severe storage and processing restrictions. The applets that run on these devices are frequently intended for use in critical, highly distributed, mobile ...
Towards a java bytecodes compiler for nios II soft-core processor
(2009-11-19)
Reconfigurable computing is one of the most recent research topics in computer science. The Altera - Nios II soft-core processor can be included in a large set of reconfigurable architectures, especially because it is ...
Towards a java bytecodes compiler for nios II soft-core processor
(2009-11-19)
Reconfigurable computing is one of the most recent research topics in computer science. The Altera - Nios II soft-core processor can be included in a large set of reconfigurable architectures, especially because it is ...