Sciweavers

60 search results - page 3 / 12
» eurodac 1994
Sort
View
EURODAC
1994
IEEE
112views VHDL» more  EURODAC 1994»
13 years 9 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»
13 years 9 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»
13 years 9 months ago
An efficient verification algorithm for parallel controllers
Krzysztof Bilinski, Erik L. Dagless, Jonathan Saul...
EURODAC
1994
IEEE
115views VHDL» more  EURODAC 1994»
13 years 9 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»
13 years 9 months ago
Efficient algorithms for interface timing verification
Ti-Yen Yen, Wayne Wolf, Albert E. Casavant, Alex I...