Sciweavers

3667 search results - page 127 / 734
» Software Rejuvenation - Modeling and Analysis
Sort
View
WCET
2010
15 years 1 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
15 years 8 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, ...
139
Voted
PEPM
2011
ACM
14 years 6 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
14 years 6 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
125
Voted
DAGSTUHL
2011
14 years 3 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...