14 search results - page 2 / 3 » Using EventB to Create a Virtual Machine Instruction Set Arc... |
FCCM
2002
IEEE
13 years 9 months ago
2002
IEEE
Abstract - In this paper, we hypothesize that reconfigurable computing is not more widely used because of the logistical difficulties caused by the close coupling of applications a...
SOSP
2007
ACM
14 years 1 months ago
2007
ACM
This paper describes an efficient and robust approach to provide a safe execution environment for an entire operating system, such as Linux, and all its applications. The approach...
CODES
2009
IEEE
13 years 8 months ago
2009
IEEE
Profilers play an important role in software/hardware design, optimization, and verification. Various approaches have been proposed to implement profilers. The most widespread app...
CODES
1999
IEEE
13 years 9 months ago
1999
IEEE
o much higher levels of abstraction than today's design practices, which are usually at the level of synthesizable RTL for custom hardware or Instruction Set Simulator (ISS) f...
GECCO
2009
Springer
13 years 11 months ago
2009
Springer
We describe a methodology for evolving Java bytecode, enabling the evolution of extant, unrestricted Java programs, or programs in other languages that compile to Java bytecode. B...