Sciweavers

3507 search results - page 263 / 702
» Specialized execution environments
Sort
View
CC
2008
Springer
127views System Software» more  CC 2008»
15 years 9 months ago
Compiler-Guaranteed Safety in Code-Copying Virtual Machines
1 Virtual Machine authors face a difficult choice between low performance, cheap interpreters, or specialized and costly compilers. A method able to bridge this wide gap is the exi...
Gregory B. Prokopski, Clark Verbrugge
ASPDAC
2005
ACM
72views Hardware» more  ASPDAC 2005»
15 years 9 months ago
TERPS: the embedded reliable processing system
Abstract — TERPS is a fault-tolerant computer design that significantly reduces the threat of electromagnetic interference (EMI), using hardware checkpoint/rollback-recovery. TE...
Hongxia Wang, Samuel Rodríguez, Cagdas Diri...
242
Voted
CC
2008
Springer
240views System Software» more  CC 2008»
15 years 8 months ago
Hardware JIT Compilation for Off-the-Shelf Dynamically Reconfigurable FPGAs
JIT compilation is a model of execution which translates at run time critical parts of the program to a low level representation. Typically a JIT compiler produces machine code fro...
Etienne Bergeron, Marc Feeley, Jean-Pierre David
EPK
2006
95views Management» more  EPK 2006»
15 years 8 months ago
Integration of EPC-related Tools with ProM
: The heterogeneity of different formats for EPCs is a major problem for model interchange between specialized tools in practice. In this paper, we compare three different formats ...
Paul Barborka, Lukas Helm, Georg Köldorfer, J...
RTDB
1997
75views more  RTDB 1997»
15 years 8 months ago
Implementing Hard Real-Time Transactions on Multiprocessors
We present a new approach to implementing real-time transactions on memory-resident data on sharedmemory multiprocessors. This approach allows hard deadlines to be supported witho...
James H. Anderson, Rohit Jain, Srikanth Ramamurthy