406 search results - page 17 / 82 » Boosting Using Branching Programs |
JAVA
1999
Springer
13 years 11 months ago
1999
Springer
As Java technology matures, an increasing number of applications that have traditionally been the domain of languages such as C++ are implemented in Java. Many of these applicatio...
CAI
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. GP (for Graph Programs) is a rule-based, nondeterministic programming language for solving graph problems at a high level of abstraction, freeing programmers from handlin...
WCET
2008
13 years 8 months ago
2008
Conditional branches connect the values of program variables with the execution paths and thus with the execution times, including the worstcase execution time (WCET). Flow analys...
ENTCS
2007
13 years 7 months ago
2007
This paper proposes an extension to theorem proving interfaces for use with proofdirected debugging and other disproof-based applications. The extension is based around tracking a...
ICSE
2009
IEEE-ACM
14 years 2 months ago
2009
IEEE-ACM
Lightweight fault-localization techniques use program coverage to isolate the parts of the code that are most suspicious of being faulty. In this paper, we present the results of ...