3814 search results - page 426 / 763 » Operating system support for multimedia systems |
189
click to vote
SAT
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. We continue a study initiated by Kraj´ıˇcek of a Resolutionlike proof system working with clauses of linear inequalities, R(CP). For all proof systems of this kind Kra...
194
click to vote
OSDI
2002
ACM
16 years 7 months ago
2002
ACM
Many system errors do not emerge unless some intricate sequence of events occurs. In practice, this means that most systems have errors that only trigger after days or weeks of ex...
196
click to vote
PLDI
2004
ACM
16 years 4 days ago
2004
ACM
e Synchronization Abstractions “Well, it just so happens that your friend here is only mostly dead. There’s a big difference between mostly dead and all dead.” – Miracle Ma...
186
click to vote
SRDS
1998
IEEE
15 years 11 months ago
1998
IEEE
Dependable distributed systems are difficult to build. This is particularly true if they have dependability requirements that change during the execution of an application, and are...
181
click to vote
WSC
2004
15 years 8 months ago
2004
The Virtual Test Bed (VTB) is a prototype of a virtual engineering environment to study operations of current and future space vehicles, spaceports, and ranges. The HighLevel Arch...