4722 search results - page 234 / 945 » Encoding Program Executions |
181
Voted
IPPS
2003
IEEE
15 years 11 months ago
2003
IEEE
SBT is portable library and tool for on-line debugging and performance monitoring of shared-memory parallel programs using the single-program-multiple-data (SPMD) model of paralle...
123
Voted
QEST
2007
IEEE
16 years 19 days ago
2007
IEEE
—MOQA is a language specifically designed to facilitate average-case execution time analysis. It incorporates some innovative techniques to make this possible. Following on from...
137
click to vote
UM
2007
Springer
16 years 14 days ago
2007
Springer
Abstract. We present a study exploring the promise of developing computational systems to support the discovery and execution of opportunistic activities in mobile settings. We int...
172
click to vote
SEW
2003
IEEE
15 years 11 months ago
2003
IEEE
Run-time monitoring is a lightweight verification method whereby the correctness of a programs’ execution is verified at run-time using executable specifications. This paper des...
150
click to vote
FASE
2006
Springer
15 years 10 months ago
2006
Springer
Statistical debugging is a powerful technique for identifying bugs that do not violate programming rules or program invariants. Previously known statistical debugging techniques ar...