3948 search results - page 618 / 790 » Integration Workbench: Integrating Schema Integration Tools |
213
click to vote
RSP
2006
IEEE
16 years 1 months ago
2006
IEEE
This paper addresses the need to integrate formal assertions into the modeling, implementation, and testing of statechart based designs. The paper describes an iterative process f...
148
Voted
SCAM
2006
IEEE
16 years 1 months ago
2006
IEEE
An approach for factoring source-code differences is presented. A single large difference between two versions of a program is decomposed into factors (i.e., smaller changes). The...
154
Voted
ASPDAC
2006
ACM
16 years 1 months ago
2006
ACM
- Although the emerging three-dimensional integration technology can significantly reduce interconnect delay, chip area, and power dissipation in nanometer technologies, its impact...
187
click to vote
ASPDAC
2006
ACM
16 years 1 months ago
2006
ACM
− In this paper, we present a new timing-driven placement algorithm, which attempts to minimize zigzags and crisscrosses on the timing-critical paths of a circuit. We observed th...
178
click to vote
DAC
2006
ACM
16 years 1 months ago
2006
ACM
This panel discusses the following topics. With the ongoing trend towards more and more digitization in applications ranging from multimedia to telecommunications, there is a big ...