Sciweavers

3667 search results - page 127 / 734
» Software Rejuvenation - Modeling and Analysis
Sort
View
WCET
2010
13 years 6 months ago
Integrating Abstract Caches with Symbolic Pipeline Analysis
ing Abstract Caches with Symbolic Pipeline Analysis Stephan Wilhelm1 and Christoph Cullmann1 1 AbsInt Angewandte Informatik GmbH, Science Park 1; D-66123 Saarbr
Stephan Wilhelm, Christoph Cullmann
IWPC
2005
IEEE
14 years 2 months ago
System Evolution Tracking through Execution Trace Analysis
Software evolution analysis is concerned with analysis of artifacts produced during a software systems life-cycle. Execution traces produced from instrumented code reflect a syst...
Michael Fischer, Johann Oberleitner, Harald Gall, ...
PEPM
2011
ACM
12 years 12 months ago
Ordering multiple continuations on the stack
Passing multiple continuation arguments to a function in CPS form allows one to encode a wide variety of direct-style control constructs, such as conditionals, exceptions, and mul...
Dimitrios Vardoulakis, Olin Shivers
POPL
2011
ACM
12 years 12 months ago
Precise reasoning for programs using containers
Containers are general-purpose data structures that provide functionality for inserting, reading, removing, and iterating over elements. Since many applications written in modern ...
Isil Dillig, Thomas Dillig, Alex Aiken
DAGSTUHL
2011
12 years 8 months ago
Salient Frame Detection for Molecular Dynamics Simulations
Saliency-based analysis can be applied to time-varying 3D datasets purpose of summarization, abstraction, and motion analysis. As the sizes of time-varying datasets continue to gro...
Youngmin Kim, Robert Patro, Cheuk Yiu Ip, Dianne P...