Sciweavers

7311 search results - page 50 / 1463
» Time in State Machines
Sort
View
SBCCI
2003
ACM
84views VLSI» more  SBCCI 2003»
14 years 20 days ago
Retiming Finite State Machines to Control Hardened Data-Paths
Ivan Augé, François Donnet, Fr&eacut...
CAV
2001
Springer
100views Hardware» more  CAV 2001»
13 years 12 months ago
Analysis of Recursive State Machines
Rajeev Alur, Kousha Etessami, Mihalis Yannakakis
CSL
2001
Springer
13 years 12 months ago
A Logic for Abstract State Machines
Robert F. Stärk, Stanislas Nanchen