Sciweavers

2416 search results - page 131 / 484
» The Language of Cortical Dynamics
Sort
View
PLDI
1992
ACM
15 years 10 months ago
Debugging Optimized Code with Dynamic Deoptimization
: SELF's debugging system provides complete source-level debugging (expected behavior) with globally optimized code. It shields the debugger from optimizations performed by th...
Urs Hölzle, Craig Chambers, David Ungar
USENIX
2004
15 years 7 months ago
Dynamic Instrumentation of Production Systems
This paper presents DTrace, a new facility for dynamic instrumentation of production systems. DTrace features the ability to dynamically instrument both user-level and kernel-leve...
Bryan Cantrill, Michael W. Shapiro, Adam H. Levent...
FM
2009
Springer
118views Formal Methods» more  FM 2009»
16 years 28 days ago
Abstract Object Creation in Dynamic Logic
Object Creation in Dynamic Logic to be or not to be created Wolfgang Ahrendt1 Frank S. de Boer2 Immo Grabe3 1Chalmers University, G¨oteborg, Sweden 2CWI, Amsterdam, The Netherland...
Wolfgang Ahrendt, Frank S. de Boer, Immo Grabe
ACSD
2006
IEEE
76views Hardware» more  ACSD 2006»
15 years 10 months ago
Specification and Verification of Dynamic Communication Systems
Dynamic communication systems (DCS) are complex because of their unboundedness in several dimensions. They have an unbounded and changing number of objects, a dynamically changing...
Jörg Bauer, Ina Schaefer, Tobe Toben, Bernd W...
IANDC
2008
139views more  IANDC 2008»
15 years 6 months ago
Computational complexity of dynamical systems: The case of cellular automata
Abstract. Cellular Automata can be considered discrete dynamical systems and at the same time a model of parallel computation. In this paper we investigate the connections between ...
Pietro di Lena, Luciano Margara