7167 search results - page 1090 / 1434 » A Technique for Invariant Generation |
213
click to vote
COMPSAC
2003
IEEE
16 years 28 days ago
2003
IEEE
Over the past years, the reengineering of legacy software systems to object oriented platforms has received significant attention. In this paper, we present a generic re-engineeri...
205
click to vote
CSB
2003
IEEE
16 years 28 days ago
2003
IEEE
: The biological world is highly stochastic and inhomogeneous in its behaviour. There are regions in DNA with high concentration of G or C bases; stretches of sequences with an abu...
197
click to vote
DATE
2003
IEEE
16 years 28 days ago
2003
IEEE
In this paper we propose a design technique to pipeline cache memories for high bandwidth applications. With the scaling of technology cache access latencies are multiple clock cy...
188
click to vote
DATE
2003
IEEE
16 years 28 days ago
2003
IEEE
In this paper, a simulation-based synthesis tool, AMIGO, for analog cell sizing is presented. AMIGO is based upon genetic optimization techniques adapted to circuit sizing. A fram...
207
click to vote
DATE
2003
IEEE
16 years 28 days ago
2003
IEEE
The design of clock distribution networks in synchronous digital systems presents enormous challenges. Controlling the clock signal delay in the presence of various noise sources,...