4722 search results - page 700 / 945 » Encoding Program Executions |
124
click to vote
RTSS
1995
IEEE
15 years 6 months ago
1995
IEEE
We present a scheme to guarantee that the execution of real-time tasks can tolerate transient and intermittent faults assuming any queue- based scheduling technique. The scheme is...
110
click to vote
SC
1991
ACM
15 years 6 months ago
1991
ACM
We present a new approach that enables compiler optimization of procedure calls and loop nests containing procedure calls. We introduce two interprocedural transformationsthat mov...
143
click to vote
VLDB
1987
ACM
15 years 6 months ago
1987
ACM
FAD is a powerful and simple language designed for a highly parallel database machine. The basic concepts of the language are its data structures (which we call objects) and its p...
119
click to vote
WSC
2008
15 years 5 months ago
2008
This paper proposes a systems engineering process utilizing the conceptual artifacts of the Model Driven Architecture (MDA) describing platform independent views of models to capt...
104
click to vote
ANTSW
2008
Springer
15 years 5 months ago
2008
Springer
Self-assembling multi-robot systems can, in theory, overcome the physical limitations of individual robots by connecting to each other to form particular physical structures (morph...