8495 search results - page 1349 / 1699 » IT Support for Healthcare Processes |
206
click to vote
ICCAD
1993
IEEE
15 years 11 months ago
1993
IEEE
We present a design style and synthesis algorithm that encompasses both asynchronous and synchronous state machines. Our proposed design style not only supports generalized “bur...
183
click to vote
ICDE
1993
IEEE
15 years 11 months ago
1993
IEEE
Emerging database application domains demand not only new functionality but also high performance. To satisfy these two requirements, the Volcano project provides efficient, exten...
200
click to vote
ICCAD
1994
IEEE
15 years 11 months ago
1994
IEEE
Language containment is a method for design verification that involves checking if the behavior of the system to be verified is a subset of the behavior of the specifications (pro...
251
click to vote
ICCAD
1994
IEEE
15 years 11 months ago
1994
IEEE
In this paper we present an enhanced design flow model that increases the capabilities of a CAD framework to support design activities on hierarchical multi-view design descriptio...
182
click to vote
ICTAI
1993
IEEE
15 years 11 months ago
1993
IEEE
The guidar project aims to support the complete activity of Graphical User Interface Development And Reuse. We propose to organize the system as a collaborative architecture of in...