12272 search results - page 222 / 2455 » Experimental program analysis |
162
click to vote
APLAS
2008
ACM
15 years 8 months ago
2008
ACM
Abstract. Parallel programming is rapidly gaining importance as a vector to develop high performance applications that exploit the improved capabilities of modern computer architec...
144
click to vote
PVM
2004
Springer
15 years 12 months ago
2004
Springer
We consider a certain class of parallel program segments in which the order of messages sent affects the completion time. We give characterization of these parallel program segmen...
177
click to vote
CAV
2012
Springer
13 years 9 months ago
2012
Springer
Abstract. We develop compositional analysis algorithms for detecting nontermination in multithreaded programs. Our analysis explores fair and ultimatelyperiodic executions—i.e., ...
141
click to vote
KBSE
2009
IEEE
16 years 1 months ago
2009
IEEE
Given a program and an attack pattern (specified as a regular expression), we automatically generate string-based vulnerability signatures, i.e., a characterization that includes...