Search Sciweavers | Sciweavers

60 search results - page 3 / 12

» eurodac 1994

113

click to vote

EURODAC
1994
IEEE

112views VHDL» more EURODAC 1994»

Minimizing ROBDD Size of Incompletely Specified Multiple Output Functions

15 years 10 months ago

Download cad63.cs.nthu.edu.tw

Shih-Chieh Chang, David Ihsin Cheng, Malgorzata Ma...

claim paper

Read More »

click to vote

EURODAC
1994
IEEE

106views VHDL» more EURODAC 1994»

Scheduling with Environmental Constraints based on Automata Representations

15 years 10 months ago

Download si2.epfl.ch

Jerry Chih-Yuan Yang, Giovanni De Micheli, Maurizi...

claim paper

Read More »

102

click to vote

EURODAC
1994
IEEE

104views VHDL» more EURODAC 1994»

An efficient verification algorithm for parallel controllers

15 years 10 months ago

Download www.cecs.uci.edu

Krzysztof Bilinski, Erik L. Dagless, Jonathan Saul...

claim paper

Read More »

112

click to vote

EURODAC
1994
IEEE

115views VHDL» more EURODAC 1994»

A tightly coupled approach to design and data management

15 years 10 months ago

Download www.cecs.uci.edu

Flávio Rech Wagner, Lia Goldstein Golendzin...

claim paper

Read More »

126

click to vote

EURODAC
1994
IEEE

146views VHDL» more EURODAC 1994»

Efficient algorithms for interface timing verification

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers