Sciweavers

1658 search results - page 117 / 332
» Implementing Bit-addressing with Specialization
Sort
View
114
Voted
ASIAN
2006
Springer
118views Algorithms» more  ASIAN 2006»
15 years 4 months 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
109
Voted
EMSOFT
2006
Springer
15 years 4 months 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...
105
Voted
SRDS
1998
IEEE
15 years 4 months 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...
113
Voted
HCI
2007
15 years 2 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»
15 years 1 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