9210 search results - page 1543 / 1842 » Analyzing Real-Time Systems |
80
Voted
SC
2004
ACM
15 years 6 months ago
2004
ACM
–Application of hardware-parameterized models to distributed systems can result in omission of key bottlenecks such as the full cost of inter- and intra-node communication in a c...
89
Voted
SC
2004
ACM
15 years 6 months ago
2004
ACM
Programmers of message-passing codes for clusters of workstations face a daunting challenge in understanding the performance bottlenecks of their applications. This is largely due...
140
click to vote
SC
2004
ACM
15 years 6 months ago
2004
ACM
The file-bundle caching problem arises frequently in scientific applications where jobs process several files concurrently. Consider a host system in a data-grid that maintains...
91
Voted
ADBIS
2004
Springer
15 years 6 months ago
2004
Springer
Web caching keeps single Web objects ready somewhere in caches in the user-to-server path, whereas database caching uses fullfledged database management systems as caches to adapt...
95
Voted
CAV
2004
Springer
15 years 6 months ago
2004
Springer
SAL 2 augments the specification language and explicit-state model checker of SAL 1 with high-performance symbolic and bounded model checkers, and with novel infinite bounded and...