Sciweavers

663 search results - page 38 / 133
» Synthesis of Self-Testable Controllers
Sort
View
EURODAC
1994
IEEE
124views VHDL» more  EURODAC 1994»
15 years 10 months ago
Parallel controller synthesis from a Petri net specification
Krzysztof Bilinski, Erik L. Dagless, Jonathan M. S...
IFIP
1993
Springer
15 years 10 months ago
Automatic Synthesis of Fast Compact Asynchronous Control Circuits
Al Davis, Bill Coates, Ken Stevens
FSEN
2009
Springer
15 years 9 months ago
Verification, Performance Analysis and Controller Synthesis for Real-Time Systems
This note aims at providing a concise and precise Travellers Guide, Phrase Book or Reference Manual to the timed automata modeling formalism introduced by Alur and Dill [7, 8]. The...
Uli Fahrenberg, Kim G. Larsen, Claus R. Thrane
ARCS
2006
Springer
15 years 9 months ago
Controller Synthesis for Mapping Partitioned Programs on Array Architectures
Hritam Dutta, Frank Hannig, Jürgen Teich