853 search results - page 118 / 171 » Delimited Continuations in Operating Systems |
EDBT
2008
ACM
14 years 11 months ago
2008
ACM
A large class of applications require real-time processing of continuous stream data resulting in the development of data stream management systems (DSMS). Since many of these app...
DAGSTUHL
2003
14 years 11 months ago
2003
Abstract. The continuing trend towards more sophisticated technical applications results in an increasing demand for high quality software for complex, safety-critical systems. Des...
WORM
2004
14 years 11 months ago
2004
Self-propagating computer worms have been terrorizing the Internet for the last several years. With the increasing density, inter-connectivity and bandwidth of the Internet combin...
105
click to vote
IWCMC
2010
ACM
14 years 10 months ago
2010
ACM
Future wireless networks will experience a continuous growth regarding the number of network elements with increasingly complex interrelations between the configuration of multipl...
CORR
2008
Springer
14 years 10 months ago
2008
Springer
This article introduces a fully automated verification technique that permits to analyze real-time systems described using a continuous notion of time and a mixture of operational...