Sciweavers

3825 search results - page 86 / 765
» The Language of Time: A Reader
Sort
View
PLDI
1993
ACM
15 years 1 months ago
Real-Time Replication Garbage Collection
We have implemented the first copying garbage collector that permits continuous unimpeded mutator access to the original objects during copying. The garbage collector incremental...
Scott Nettles, James O'Toole
FASE
2000
Springer
15 years 1 months ago
A Process Algebra for Real-Time Programs
Abstract. We introduce a generalised notion of a real-time speci cation language (\GPLC-Automata") that can be translated directly into real-time programs. In order to describ...
Henning Dierks
ENTCS
2006
139views more  ENTCS 2006»
14 years 10 months ago
Goto and Concurrency Introducing Safe Jumps in Esterel
Esterel is a design language for the specification of real time embedded systems. Based on the synchronous concurrency paradigm, its semantics describes execution
Olivier Tardieu
FORMATS
2009
Springer
15 years 4 months ago
Analyzing Real-Time Event-Driven Programs
Embedded real-time systems are typically programmed in low-level languages which provide support for event-driven task processing and real-time interrupts. We show that the model c...
Pierre Ganty, Rupak Majumdar
UM
2009
Springer
15 years 4 months ago
Just-in-Time Adaptivity through Dynamic Items
Adaptive course generation becomes more appropriate for realistic usage scenarios and more flexible if it includes mechanisms deciding just-in-time which content, which exercises,...
Carsten Ullrich, Tianxiang Lu, Erica Melis