Sciweavers

60 search results - page 3 / 12
» eurodac 1994
Sort
View
131
Voted
EURODAC
1994
IEEE
112views VHDL» more  EURODAC 1994»
15 years 11 months ago
Minimizing ROBDD Size of Incompletely Specified Multiple Output Functions
Shih-Chieh Chang, David Ihsin Cheng, Malgorzata Ma...
126
Voted
EURODAC
1994
IEEE
106views VHDL» more  EURODAC 1994»
15 years 11 months ago
Scheduling with Environmental Constraints based on Automata Representations
Jerry Chih-Yuan Yang, Giovanni De Micheli, Maurizi...
EURODAC
1994
IEEE
104views VHDL» more  EURODAC 1994»
15 years 11 months ago
An efficient verification algorithm for parallel controllers
Krzysztof Bilinski, Erik L. Dagless, Jonathan Saul...
135
Voted
EURODAC
1994
IEEE
115views VHDL» more  EURODAC 1994»
15 years 11 months ago
A tightly coupled approach to design and data management
Flávio Rech Wagner, Lia Goldstein Golendzin...
EURODAC
1994
IEEE
146views VHDL» more  EURODAC 1994»
15 years 11 months ago
Efficient algorithms for interface timing verification
Ti-Yen Yen, Wayne Wolf, Albert E. Casavant, Alex I...