5664 search results - page 917 / 1133 » Creativity support tools |
143
click to vote
RE
1997
Springer
15 years 8 months ago
1997
Springer
—Formal methods have yet to achieve wide industrial acceptance for several reasons. They are not well integrated into hed industrial software processes, their application require...
131
click to vote
ICCAD
1993
IEEE
15 years 8 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...
130
Voted
ICDE
1993
IEEE
15 years 8 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...
167
click to vote
ICCAD
1994
IEEE
15 years 8 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...
126
click to vote
RTSS
1994
IEEE
15 years 8 months ago
1994
IEEE
This paper presents a comprehensive design methodology for guaranteeing end-to-end requirements of real-time systems. Applications are structured as a set of process components co...