Sciweavers

1658 search results - page 117 / 332
» Implementing Bit-addressing with Specialization
Sort
View
ASIAN
2006
Springer
118views Algorithms» more  ASIAN 2006»
14 years 19 days ago
An Approach to Formal Verification of Arithmetic Functions in Assembly
Abstract. It is customary to write performance-critical parts of arithmetic functions in assembly: this enables finely-tuned algorithms that use specialized processor instructions....
Reynald Affeldt, Nicolas Marti
EMSOFT
2006
Springer
14 years 16 days ago
A hierarchical coordination language for interacting real-time tasks
We designed and implemented a new programming language called Hierarchical Timing Language (HTL) for hard realtime systems. Critical timing constraints are specified within the la...
Arkadeb Ghosal, Alberto L. Sangiovanni-Vincentelli...
SRDS
1998
IEEE
14 years 14 days ago
A Metaobject Protocol for Fault-Tolerant CORBA Applications
Abstract: The use of meta-level architectures for the implementation of faulttolerant systems is today very appealing. Nevertheless, all existing fault-tolerant systems based on th...
Marc-Olivier Killijian, Jean-Charles Fabre, Juan-C...
HCI
2007
13 years 10 months ago
An Agent-Based Framework for Context-Aware Services
Abstract. A major challenge of Ambient Intelligence lies in building middleware that can ease service implementation through allowing the application developer to emphasize only th...
Axel Bürkle, Wilmuth Müller, Uwe Pfirrma...
JVM
2004
106views Education» more  JVM 2004»
13 years 10 months ago
Kernel Plugins: When a VM Is Too Much
This paper presents kernel plugins, a framework for dynamic kernel specialization inspired by ideas borrowed from virtualization research. Plugins can be created and updated inexp...
Ivan B. Ganev, Greg Eisenhauer, Karsten Schwan