Sciweavers

635 search results - page 3 / 127
» Path Optimization in Programs and Its Application to Debuggi...
Sort
View
ENTCS
2002
79views more  ENTCS 2002»
13 years 5 months ago
Debugging and Testing Optimizers through Comparison Checking
We present a novel technique called comparison checking that helps optimizer writers debug optimizers by testing, for given inputs, that the semantics of a program are not changed...
Clara Jaramillo, Rajiv Gupta, Mary Lou Soffa
HRI
2006
ACM
13 years 11 months ago
Developer oriented visualisation of a robot program
Robot programmers are faced with the challenging problem of understanding the robot’s view of its world, both when creating and when debugging robot software. As a result tools ...
T. H. J. Collett, B. A. MacDonald
AADEBUG
2005
Springer
13 years 10 months ago
Tdb: a source-level debugger for dynamically translated programs
Debugging techniques have evolved over the years in response to changes in programming languages, implementation techniques, and user needs. A new type of implementation vehicle f...
Naveen Kumar, Bruce R. Childers, Mary Lou Soffa
IPPS
2007
IEEE
13 years 11 months ago
Formal Analysis for Debugging and Performance Optimization of MPI
High-end computing is universally recognized to be a strategic tool for leadership in science and technology. A significant portion of high-end computing is conducted on clusters...
Ganesh Gopalakrishnan, Robert M. Kirby
ICSE
2011
IEEE-ACM
12 years 8 months ago
Inconsistent path detection for XML IDEs
We present the first IDE augmented with static detection of inconsistent paths for simplifying the development and debugging of any application involving XPath expressions. Categ...
Pierre Genevès, Nabil Layaïda