163 search results - page 12 / 33 » Safety Guarantees from Explicit Resource Management |
NPC
2005
Springer
15 years 3 months ago
2005
Springer
With the rapid advances in Internet and Grid technique, an increasing number of applications will involve computing systems. These applications in turn create an increasing demand ...
77
Voted
ISLPED
2000
ACM
15 years 1 months ago
2000
ACM
Energy is one of the limited resources for modern systems, especially the battery-operated devices and personal digital assistants. The backlog in new technologies for more powerf...
CADE
2001
Springer
15 years 9 months ago
2001
Springer
The STRIP system is a theorem prover for intuitionistic propositional logic with two main characteristics: it deals with the duplication of formulae during proof-search from a fine...
109
click to vote
POLICY
2004
Springer
15 years 2 months ago
2004
Springer
As a consequence of the current trend towards consolidating computing, storage and networking infrastructures into large centralized data centers, applications compete for shared ...
125
click to vote
DGO
2011
13 years 9 months ago
2011
Social media (i.e., Twitter, Facebook, Flickr, YouTube) and other services with user-generated content have made a staggering amount of information (and misinformation) available....