4809 search results - page 374 / 962 » Scalable Analysis of Scalable Systems |
228
click to vote
KBSE
2005
IEEE
16 years 1 months ago
2005
IEEE
Concurrent programs are notorious for containing errors that are difficult to reproduce and diagnose. Two common kinds of concurrency errors are data races and atomicity violation...
228
click to vote
CAV
2000
Springer
15 years 12 months ago
2000
Springer
Address: Abstraction, Composition, Symmetry, and a Little Deduction: The Remedies to State Explosion . . . . . . . . . . . . . . . . . . . . . . . . . . 1 A. Pnueli Invited Address...
181
click to vote
CIVR
2004
Springer
16 years 28 days ago
2004
Springer
One of the challenges in image and video retrieval is the content-based retrieval of images and videos in the web. Less work has been done in this area, mainly due to scalability i...
159
click to vote
IPPS
1998
IEEE
15 years 11 months ago
1998
IEEE
We propose a new parallel performance visualization scheme, based on a simple moment analysis of processor utilization data. This method combines the scalability advantages of sta...
153
Voted
SPIN
2000
Springer
15 years 11 months ago
2000
Springer
Multithreaded applications are notoriously difficult to design and build while avoiding defects. Many of Compaq's customers need to employ threads to implement high-performanc...