Sciweavers

352 search results - page 5 / 71
» VHDL
Sort
View
EURODAC
1994
IEEE
112views VHDL» more  EURODAC 1994»
15 years 1 months ago
Minimizing ROBDD Size of Incompletely Specified Multiple Output Functions
Shih-Chieh Chang, David Ihsin Cheng, Malgorzata Ma...
EURODAC
1994
IEEE
106views VHDL» more  EURODAC 1994»
15 years 1 months ago
Scheduling with Environmental Constraints based on Automata Representations
Jerry Chih-Yuan Yang, Giovanni De Micheli, Maurizi...
EURODAC
1994
IEEE
146views VHDL» more  EURODAC 1994»
15 years 1 months ago
Efficient algorithms for interface timing verification
Ti-Yen Yen, Wayne Wolf, Albert E. Casavant, Alex I...
EURODAC
1994
IEEE
124views VHDL» more  EURODAC 1994»
15 years 1 months ago
Parallel controller synthesis from a Petri net specification
Krzysztof Bilinski, Erik L. Dagless, Jonathan M. S...
EURODAC
1994
IEEE
104views VHDL» more  EURODAC 1994»
15 years 1 months ago
An efficient verification algorithm for parallel controllers
Krzysztof Bilinski, Erik L. Dagless, Jonathan Saul...