11374 search results - page 102 / 2275 » A System Demonstration of ST-TCP |
137
click to vote
HICSS
2000
IEEE
15 years 10 months ago
2000
IEEE
Recent improvements in fuel cell technology along with an increasing demand for small generator units have led to renewed interest in dispersed generation units. This work demonst...
175
click to vote
HPDC
2000
IEEE
15 years 10 months ago
2000
IEEE
Split execution is a common model for providing a friendly environment on a foreign machine. In this model, a remotely executing process sends some or all of its system calls back...
143
click to vote
AGENTS
2000
Springer
15 years 10 months ago
2000
Springer
This paper suggests formal frameworks that can be used as the basis for defining, reasoning about, and verifying properties of agent systems. The language, Little-JIL is graphical...
172
Voted
ECBS
1997
IEEE
15 years 10 months ago
1997
IEEE
The report issued by the Inquiry Board in charge of inspecting the Ariane 5 flight 501 failure concludes that causes of the failure are rooted into poor S/W Engineering practice. ...
169
click to vote
FAST
2010
15 years 8 months ago
2010
We present a study of the effects of disk and memory corruption on file system data integrity. Our analysis focuses on Sun's ZFS, a modern commercial offering with numerous r...