4809 search results - page 356 / 962 » Scalable Analysis of Scalable Systems |
327
click to vote
CISIS
2010
IEEE
14 years 11 months ago
2010
IEEE
Work-stealing is the todays algorithm of choice for dynamic load-balancing of irregular parallel applications on multiprocessor systems. We have evaluated the algorithm’s effic...
241
Voted
ESOP
2011
Springer
14 years 11 months ago
2011
Springer
We present a static analysis by Abstract Interpretation to check for run-time errors in parallel C programs. Following our work on Astr´ee, we focus on embedded critical programs ...
360
Voted
CADE
2011
Springer
14 years 7 months ago
2011
Springer
We describe asasp, a symbolic reachability procedure for the analysis of administrative access control policies. The tool represents access policies and their administrative action...
187
Voted
SIGSOFT
2003
ACM
16 years 8 months ago
2003
ACM
Foundational and scalable techniques for runtime safety analysis of multithreaded programs are explored in this paper. A technique based on vector clocks to extract the causal dep...
189
click to vote
PVM
2001
Springer
15 years 12 months ago
2001
Springer
In order to produce MPI applications that perform well on today’s parallel architectures, programmers need effective tools for collecting and analyzing performance data. Because ...