1855 search results - page 16 / 371 » Composing model programs for analysis |
TOOLS
1998
IEEE
14 years 2 months ago
1998
IEEE
Program information extracted from source codes is valuable for research in many software engineering fields. Many program analysis tools in these fields usually share some common...
SAS
2001
Springer
14 years 2 months ago
2001
Springer
Abstract. The field of program analysis has focused primarily on sequential programming languages. But multithreading is becoming increasingly important, both as a program structu...
IFIP
1994
Springer
14 years 1 months ago
1994
Springer
ICWS
2009
IEEE
13 years 7 months ago
2009
IEEE
MapReduce has recently gained a lot of attention as a parallel programming model for scalable data-intensive business and scientific analysis. In order to benefit from this powerf...
ICSE
2007
IEEE-ACM
14 years 9 months ago
2007
IEEE-ACM
Model checkers search the space of possible program behaviors to detect errors and to demonstrate their absence. Despite major advances in reduction and optimization techniques, s...