853 search results - page 68 / 171 » Delimited Continuations in Operating Systems |
HYBRID
2010
Springer
15 years 4 months ago
2010
Springer
In this paper, we present an extension of the synchronous language Quartz by new kinds of variables, actions and statements for modeling the interaction of synchronous systems wit...
RTCSA
2009
IEEE
15 years 4 months ago
2009
IEEE
Distributed real-time embedded systems have stringent requirements for key performance properties, such as endto-end timeliness and reliability, in order to operate properly. In r...
HICSS
2003
IEEE
15 years 3 months ago
2003
IEEE
Civil infrastructure provides the range of essential services generally necessary to support a nation’s economy and quality of life—arguably entire economies rely on the abili...
AVSS
2007
IEEE
15 years 4 months ago
2007
IEEE
Maintenance trains travel in convoy. In Australia, only the first train of the convoy pays attention to the track signalization (the other convoy vehicles simply follow the prece...
SC
2005
ACM
15 years 3 months ago
2005
ACM
For decades, the high-performance computing (HPC) community has focused on performance, where performance is defined as speed. To achieve better performance per compute node, mic...