20126 search results - page 69 / 4026 » Timed Transition Systems |
131
click to vote
ICCD
2004
IEEE
16 years 3 days ago
2004
IEEE
Deterministic gate delay models have been widely used to find the transition probabilities at the nodes of a circuit for calculating the power dissipation. However, with progress...
117
click to vote
FORMATS
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. We extend Angluin’s algorithm for on-line learning of regular languages to the setting of timed systems. We consider systems that can be described by a class of determi...
105
click to vote
PATMOS
2004
Springer
15 years 8 months ago
2004
Springer
Current characterization methods introduce an important error in the measurement process. In this paper, we present a novel method to drive the timing characterization of logic gat...
137
click to vote
IEEEICCI
2008
IEEE
15 years 9 months ago
2008
IEEE
—A new abstract model of computation, the computational manifold, provides a framework for approaching the problems of consciousness, awareness, cognition and symbolic processing...
117
click to vote
SOFSEM
2010
Springer
15 years 1 months ago
2010
Springer
We present a tutorial on verification of safety properties for parameterized systems. Such a system consists of an arbitrary number of processes; the aim is to prove correctness of...