Sciweavers

63 search results - page 2 / 13
» Dynamic phase analysis for cycle-close trace generation
Sort
View
PLDI
2009
ACM
16 years 5 days ago
Semantics-aware trace analysis
As computer systems continue to become more powerful and comdo programs. High-level abstractions introduced to deal with complexity in large programs, while simplifying human reas...
Kevin J. Hoffman, Patrick Eugster, Suresh Jagannat...
BMCBI
2008
146views more  BMCBI 2008»
14 years 11 months ago
A phase synchronization clustering algorithm for identifying interesting groups of genes from cell cycle expression data
Background: The previous studies of genome-wide expression patterns show that a certain percentage of genes are cell cycle regulated. The expression data has been analyzed in a nu...
Chang Sik Kim, Cheol Soo Bae, Hong Joon Tcha
IFL
2004
Springer
122views Formal Methods» more  IFL 2004»
15 years 4 months ago
Source-Based Trace Exploration
Abstract. Tracing a computation is a key method for program comprehension and debugging. Hat is a tracing system for Haskell 98 programs. During a computation a trace is recorded i...
Olaf Chitil
PLDI
1997
ACM
15 years 3 months ago
Dynamic Feedback: An Effective Technique for Adaptive Computing
This paper presents dynamic feedback, a technique that enables computations to adapt dynamically to different execution environments. A compiler that uses dynamic feedback produce...
Pedro C. Diniz, Martin C. Rinard
MATES
2005
Springer
15 years 5 months ago
LEADSTO: A Language and Environment for Analysis of Dynamics by SimulaTiOn
This paper presents the language and software environment LEADSTO that has been developed to model and simulate the dynamics of Multi-Agent Systems (MAS) in terms of both qualitati...
Tibor Bosse, Catholijn M. Jonker, Lourens van der ...