1362 search results - page 235 / 273 » Model Checking Large Network Protocol Implementations |
118
click to vote
IPPS
2003
IEEE
15 years 7 months ago
2003
IEEE
With the emergence of grid computing environment, performance measurement, analysis and prediction of non-dedicated distributed systems have become increasingly important. In this...
109
click to vote
PADS
2009
ACM
15 years 8 months ago
2009
ACM
Abstract—In this paper we illustrate scalable parallel performance for the Time Warp synchronization protocol on the L and P variants of the IBM Blue Gene supercomputer. Scalable...
122
click to vote
CBMS
2001
IEEE
15 years 5 months ago
2001
IEEE
Knowledge discovery and data correlation require a unified approach to basic data management. However, achieving such an approach is nearly impossible with hundreds of disparate d...
128
click to vote
ECOOP
2005
Springer
15 years 7 months ago
2005
Springer
In Java 2 and Microsoft .NET Common Language Runtime (CLR), trusted code has often been programmed to perform accessrestricted operations not explicitly requested by its untrusted ...
100
click to vote
USENIX
2008
15 years 4 months ago
2008
We propose an approach to remote display systems in which the client predicts the screen update events that the server will send and applies them to the screen immediately, thus e...