20126 search results - page 64 / 4026 » Timed Transition Systems |
96
Voted
ICCAD
2007
IEEE
16 years 1 days ago
2007
IEEE
—During the power mode transition, a large surge current may lead to the malfunctions in a power-gating design. In this paper, we introduce several important properties of the s...
119
click to vote
INFOCOM
2005
IEEE
15 years 8 months ago
2005
IEEE
— We present SPIDER – a system for fast replication or distribution of large content from a single source to multiple sites interconnected over Internet or via a private networ...
105
click to vote
ICONIP
2008
15 years 4 months ago
2008
Abstract. We study synchronization phenomena in a pair of integrateand-fire (IF) oscillators with the width of an action potential. They have slightly different periodic firings ea...
122
click to vote
JUCS
2007
15 years 3 months ago
2007
: This paper describes a method of using Petri net P-invariants in system diagnosis. To model this process a net oriented fault classification is presented. Hence, the considered d...
122
click to vote
CAV
2008
Springer
15 years 5 months ago
2008
Springer
We show how to view certain subclasses of (single-pushout) graph transformation systems as well-structured transition systems, which leads to decidability of the covering problem v...