نشرت في: November 2006
This article presents a new mechanism that enables applications to run correctly when device drivers fail. Because device drivers are the principal f...
Speculator provides Linux kernel support for speculative execution. It allows multiple processes to share speculative state by tracking causal depend...
This article shows how to use model checking to find serious errors in file systems. Model checking is a formal verification technique tuned for find...
نشرت في: 1991
Le concept de nouvelles technologies sollicite une nouvelle approche du rapport entre l’outil technologique et le système sociale d’appartenance, en p...
نشرت في: March 1969
The first large scale electronic computers were built in connection with university projects sponsored by government military and research organizati...
