4044 search results - page 572 / 809 » The Evolution of a Distributed Operating System |
140
Voted
USENIX
2003
15 years 4 months ago
2003
Twisted is a high-level networking framework that is built around event-driven asynchronous I/O. It supports TCP, SSL, UDP and other network transports. Twisted supports a wide va...
131
click to vote
CCR
2004
15 years 3 months ago
2004
Protocol and system designers use verification techniques to analyze a system's correctness properties. Network operators need verification techniques to ensure the "cor...
126
click to vote
SIGMOD
2002
ACM
15 years 3 months ago
2002
ACM
Traditional query processors generate full, accurate query results, either in batch or in pipelined fashion. We argue that this strict model is too rigid for exploratory queries o...
149
click to vote
JFP
2010
15 years 2 months ago
2010
Session types support a type-theoretic formulation of structured patterns of communication, so that the communication behaviour of agents in a distributed system can be verified ...
126
Voted
JSAC
2010
15 years 2 months ago
2010
—Wireless Multimedia Sensor Networks (WMSNs) are distributed systems of wirelessly networked devices that allow retrieving video and audio streams, still images, and scalar senso...