Sciweavers

1746 search results - page 267 / 350
» Architecture for Agent Programming Languages
Sort
View
ECRTS
2000
IEEE
15 years 4 months ago
Towards validated real-time software
We present a tool for the design and validation of embedded real-time applications. The tool integrates two approaches, the use of the synchronous programming language ESTEREL for...
Valérie Bertin, Michel Poize, Jacques Pulou...
110
Voted
IWMM
2000
Springer
78views Hardware» more  IWMM 2000»
15 years 4 months ago
On the Type Accuracy of Garbage Collection
We describe a novel approach to obtaining type-accurate information for garbage collection in a hardware and language independent way. Our approach uses a run-time analysis to pro...
Martin Hirzel, Amer Diwan
FM
2003
Springer
107views Formal Methods» more  FM 2003»
15 years 5 months ago
Verifying Emulation of Legacy Mission Computer Systems
Processor obsolescence is a serious maintenance problem for long-lived embedded control systems. A practical solution is to interpose an emulator program between the ‘legacy’ s...
Colin J. Fidge
PG
2002
IEEE
15 years 5 months ago
Lworld: An Animation System Based on Rewriting
Lworld is a computer graphics animation system based on L-systems, a parallel rewriting technique used primarily in computer graphics for plant modeling. Because rulebased program...
Hansrudi Noser
94
Voted
VLDB
1992
ACM
83views Database» more  VLDB 1992»
15 years 4 months ago
A Performance Study of Alternative Object Faulting and Pointer Swizzling Strategies
This paper presents a portable, efficient method for accessing memory resident persistent objects in virtual memory in the context of the E programming language. Under the approac...
Seth J. White, David J. DeWitt