Sciweavers

4615 search results - page 5 / 923
» Virtual Classes and Their Implementation
Sort
View
DAGSTUHL
2007
13 years 9 months ago
Implementing RPO and POLO using SAT
Abstract. Well-founded orders are the most basic, but also most important ingredient to virtually all termination analyses. Numerous fully automated search algorithms for these cla...
Peter Schneider-Kamp, Carsten Fuhs, René Th...
JVM
2001
97views Education» more  JVM 2001»
13 years 8 months ago
Deterministic Execution of Java's Primitive Bytecode Operations
For the application of Java in realtime and safety critical domains, an analysis of the worst-case execution times of primitive Java operations is necessary. All primitive operati...
Fridtjof Siebert, Andy Walter
ADBIS
1998
Springer
180views Database» more  ADBIS 1998»
13 years 11 months ago
Designing Persistence for Real-Time Distributed Object Systems
An implementation of persistent object store for real-time systems with strict processing time constraints is a challenging task, because many traditional database techniques, e.g....
Igor Nekrestyanov, Boris Novikov, Ekaterina Pavlov...
SIGADA
2005
Springer
14 years 28 days ago
The implementation of ada 2005 synchronized interfaces in the GNAT compiler
One of the most important object-oriented features of the new revision of the Ada Programming Language is the introof Abstract Interfaces to provide a form of multiple nce. Ada 20...
Javier Miranda, Edmond Schonberg, Hristian Kirtche...
APLAS
2004
ACM
13 years 11 months ago
McJava - A Design and Implementation of Java with Mixin-Types
A programming construct mixin was invented to implement uniform extensions and modifications to classes. Although mixin-based programming has been extensively studied both on the m...
Tetsuo Kamina, Tetsuo Tamai