Sciweavers

953 search results - page 171 / 191
» On the Emulation of Software Faults by Software Fault Inject...
Sort
View
POS
1992
Springer
13 years 11 months ago
Supporting Large Persistent Stores using Conventional Hardware
Persistent programming systems are generally supported by an object store, a conceptually infinite object repository. Objects in such a repository cannot be directly accessed by u...
Francis Vaughan, Alan Dearle
ERLANG
2004
ACM
13 years 11 months ago
An external short message entity for gambling services
This paper introduces a new platform designed for mobile gambling services. The special characteristics of these services lead us to developed a multiservice platform that easily ...
Enrique Marcote, Daniel I. Iglesia, Carlos J. Escu...
IM
2003
13 years 9 months ago
Using Neural Networks to Identify Control and Management Plane Poison Messages
: Poison message failure propagation is a mechanism that has been responsible for large scale failures in both telecommunications and IP networks: Some or all of the network elemen...
Xiaojiang Du, Mark A. Shayman, Ronald A. Skoog
SOSP
1993
ACM
13 years 9 months ago
Protection Traps and Alternatives for Memory Management of an Object-Oriented Language
Many operating systems allow user programs to specify the protectionlevel (inaccessible, read-only, read-write) of pages in their virtual memory address space, and to handle any p...
Antony L. Hosking, J. Eliot B. Moss
POPL
2006
ACM
14 years 8 months ago
Modular set-based analysis from contracts
In PLT Scheme, programs consist of modules with contracts. The latter describe the inputs and outputs of functions and objects via predicates. A run-time system enforces these pre...
Philippe Meunier, Robert Bruce Findler, Matthias F...