20126 search results - page 70 / 4026 » Timed Transition Systems |
158
click to vote
ICCAD
2010
IEEE
14 years 9 months ago
2010
IEEE
Power gating has been widely adopted in multicore designs. The design of fast and reliable power mode transition for per-core power gating remains a challenging problem. This paper...
152
click to vote
ROOM
2000
15 years 4 months ago
2000
We describe a language which can be used to model business processes (both technical and nontechnical). It has a formal semantics, so as to enable formal analysis and prediction o...
105
click to vote
CONCUR
2007
Springer
15 years 9 months ago
2007
Springer
We study the construction of labelled transition systems from reactive systems defined over directed bigraphs, a computational meta-model which subsumes other variants of bigraphs...
150
click to vote
TABLEAUX
2009
Springer
15 years 9 months ago
2009
Springer
We present a terminating tableau calculus for graded hybrid logic with global modalities, reflexivity, transitivity and role hierarchies. Termination of the system is achieved thr...
110
click to vote
ISCAS
2005
IEEE
15 years 8 months ago
2005
IEEE
This work presents a cost-effective test structure that is applicable to built-in self-test of time-to-digital converters (TDCs). The proposed structure uses deterministic dynamic ...