1347 search results - page 191 / 270 » On the Structure of the Minimum Time Function |
118
click to vote
ICCAD
1997
IEEE
15 years 8 months ago
1997
IEEE
This paper presents the underlying methodology of Cosmos, an interactive approach for hardware software co-design capable of handling multiprocessor systems and distributed archit...
159
Voted
EURODAC
1994
IEEE
15 years 8 months ago
1994
IEEE
This paper presents a testability improvement method for digital systems described in VHDL behavioral specification. The method is based on testability analysis at registertransfe...
119
click to vote
SIGDOC
1992
ACM
15 years 8 months ago
1992
ACM
Softwareprofessionals rely on internaldocumentationas an aid in understanding programs. Unfortunately, the documentation for most programs is usually out-of-date and cannot be tru...
146
Voted
ASPDAC
2007
ACM
15 years 8 months ago
2007
ACM
This paper presents a Boolean based symbolic model checking algorithm for the verification of analog/mixedsignal (AMS) circuits. The systems are modeled in VHDL-AMS, a hardware des...
142
click to vote
CHI
2009
ACM
15 years 8 months ago
2009
ACM
Group information repositories are systems for storing and organizing files in a central location all group members can access. The functionality and capabilities of these systems...