3436 search results - page 394 / 688 » Software Tools for Performance Modeling of Parallel Programs |
137
Voted
DAC
2011
ACM
14 years 2 months ago
2011
ACM
Memory consistency litmus tests are small parallel programs that are designed to illustrate subtle differences between memory consistency models by exhibiting different outcomes...
94
Voted
WWW
2003
ACM
16 years 3 months ago
2003
ACM
Web services allow authorized entities (including individuals, corporations, and automated agents) to employ software components created by other parties scattered across the glob...
123
Voted
APCSAC
2006
IEEE
15 years 8 months ago
2006
IEEE
In the ubiquitous era, it is necessary to research the architectures of multiprocessor system with high performance and low power consumption. A simulator developed in high level l...
109
click to vote
COMPSAC
2009
IEEE
15 years 9 months ago
2009
IEEE
Thread escape analysis, which determines whether and when a variable becomes shared by multiple threads, is a foundation for many other program analyses. Most existing escape anal...
131
Voted
TSE
2010
15 years 28 days ago
2010
We present an algorithm Dash to check if a program P satisfies a safety property ϕ. The unique feature of the algorithm is that it uses only test generation operations, and nes ...