1855 search results - page 76 / 371 » Composing model programs for analysis |
102
Voted
IPPS
2005
IEEE
15 years 8 months ago
2005
IEEE
This paper describes an overview of Environment for Memory Performance Studies (EMPS). EMPS is a framework to allow different data gathering and simulation tools to be composed to...
136
Voted
PLDI
2004
ACM
15 years 8 months ago
2004
ACM
The design of concurrent programs is error-prone due to the interaction between concurrently executing threads. Traditional automated techniques for finding errors in concurrent ...
108
Voted
ICDAR
2003
IEEE
15 years 8 months ago
2003
IEEE
This paper describes prototyping of a form processing system employing dot texture for printing input frames of the form. The dot texture is the texture composed of small dots. It...
105
Voted
ENTCS
2008
15 years 2 months ago
2008
Logic meta-programming in Prolog is a powerful way to express program analysis and transformation. However, its use can be difficult and error-prone because it requires programmer...
136
Voted
CASCON
2001
15 years 4 months ago
2001
Automated verification tools vary widely in the types of properties they are able to analyze, the complexity of their algorithms, and the amount of necessary user involvement. In ...