2367 search results - page 53 / 474 » An experimental analysis of self-adjusting computation |
105
click to vote
DAC
1996
ACM
15 years 4 months ago
1996
ACM
-- This paper presents an efficient method for the timing verification of concurrent systems, modeled as labeled Timed Petri nets. The verification problems we consider require us ...
108
click to vote
IPPS
2005
IEEE
15 years 5 months ago
2005
IEEE
Previous studies of application usage show that the performance of collective communications are critical for high-performance computing and are often overlooked when compared to ...
110
click to vote
IPPS
2006
IEEE
15 years 5 months ago
2006
IEEE
Applications on todays massively parallel supercomputers rely on performance analysis tools to guide them toward scalable performance on thousands of processors. However, conventi...
PPDP
2000
Springer
15 years 3 months ago
2000
Springer
an abstract domain developed by D. Jacobs and A. Langen for the analysis of logic programs, derives useful aliasing information. It is well-known that a commonly used core of tech...
IPPS
1998
IEEE
15 years 3 months ago
1998
IEEE
Parallel programming is elusive. The relative performance of di erent parallel implementations varies with machine architecture, system and problem size. How to compare di erent i...