2468 search results - page 480 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
108
click to vote
ICS
2000
Tsinghua U.
15 years 3 months ago
2000
Tsinghua U.
As the performance gap between the CPU and main memory continues to grow, techniques to hide memory latency are essential to deliver a high performance computer system. Prefetchin...
102
click to vote
ISSA
2004
15 years 1 months ago
2004
This paper attempts to address the issue of hardening the internal security of an organisation's network by easing its patch management. Traditionally security has been model...
VLDB
2002
ACM
2002
ACM
Improving Data Access of J2EE Applications by Exploiting Asynchronous Messaging and Caching Services
14 years 11 months ago
The J2EE platform provides a variety of options for making business data persistent using DBMS technology. However, the integration with existing backend database systems has prov...
137
click to vote
SIGMETRICS
2012
ACM
13 years 2 months ago
2012
ACM
Energy efficiency and power capping remain growing concerns in server systems. Online applications continue to evolve with new features and dynamic clientdirected processing, res...
113
click to vote
DRM
2007
Springer
15 years 5 months ago
2007
Springer
In software protection we typically have to deal with the white-box attack model. In this model an attacker is assumed to have full access to the software and full control over it...