Sciweavers

4469 search results - page 144 / 894
» Dynamic Program Slicing
Sort
View
KBSE
2008
IEEE
14 years 2 months ago
Position paper: Meaningful updates to executing programs
Techniques to update executing programs are needed to maintain software for which downtime is not an option. Without guidelines, dynamic update may provoke unreliable and unpredic...
Pierre Duquesne, Ciarán Bryce
PPDP
2010
Springer
13 years 6 months ago
Dimensions in program synthesis
Program Synthesis, which is the task of discovering programs that realize user intent, can be useful in several scenarios: enabling people with no programming background to develo...
Sumit Gulwani
EPIA
2005
Springer
14 years 1 months ago
Operational Semantics for DyLPs
Theoretical research has spent some years facing the problem of how to represent and provide semantics to updates of logic programs. This problem is relevant for addressing highly ...
Federico Banti, José Júlio Alferes, ...
ICCS
2001
Springer
14 years 11 days ago
Adaptive Load Balancing for MPI Programs
Abstract. Parallel Computational Science and Engineering (CSE) applications often exhibit irregular structure and dynamic load patterns. Many such applications have been developed ...
Milind A. Bhandarkar, Laxmikant V. Kalé, Er...
POPL
2005
ACM
14 years 8 months ago
Dynamic partial-order reduction for model checking software
We present a new approach to partial-order reduction for model checking software. This approach is based on initially exploring an arbitrary interleaving of the various concurrent...
Cormac Flanagan, Patrice Godefroid