783 search results - page 95 / 157 » Bridging the Gap |
DAC
1997
ACM
13 years 12 months ago
1997
ACM
In this paper, we present a new integrated synthesis and partitioning method for multiple-FPGA applications. This method rst synthesizes a design speci cation in a ne-grained way ...
MICRO
1996
IEEE
13 years 12 months ago
1996
IEEE
The Java bytecode language is emerging as a software distribution standard. With major vendors committed to porting the Java run-time environment to their platforms, programs in J...
ICCAD
1994
IEEE
13 years 12 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...
SEKE
1993
Springer
13 years 11 months ago
1993
Springer
1 To handle the complexity of modern software systems, a software comprehension strategy pointing out the al abstraction level is necessary. In this context, the role of technology...
FROCOS
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. Nowadays, formal methods rely on tools of different kinds: proof assistants with which the user interacts to discover a proof step by step; and fully automated tools whic...