1299 search results - page 151 / 260 » On the Correctness of Operating System Kernels |
159
click to vote
CF
2009
ACM
16 years 1 months ago
2009
ACM
Resource management on accelerator based systems is complicated by the disjoint nature of the main CPU and accelerator, which involves separate memory hierarhcies, different degr...
166
click to vote
OOPSLA
1989
Springer
15 years 10 months ago
1989
Springer
Method inheritance and data abstraction are central features of objectoriented programming that are attained through a hierarchical organization of classes. Recent studies have sh...
204
click to vote
TPDS
2010
15 years 1 months ago
2010
In the past, some research has been done on how to use proactive recovery to build intrusion-tolerant replicated systems that are resilient to any number of faults, as long as reco...
167
click to vote
SIGMETRICS
2003
ACM
15 years 11 months ago
2003
ACM
In this paper we present results from a detailed measurement study of TCP (Transmission Control Protocol) running over a wireless link. Our primary goal was on obtaining a breakdo...
169
click to vote
EDOC
2006
IEEE
16 years 16 days ago
2006
IEEE
The correctness of business process models is of paramount importance for the application on an enterprise level. A severe problem is that several languages for business process m...