4359 search results - page 483 / 872 » Automated Pipeline Design |
170
click to vote
EURODAC
1994
IEEE
15 years 11 months ago
1994
IEEE
In order to master the growing complexity of analogue electronic systems, modelling and simulation of analogue hardware at various levels is absolutely necessary. This paper prese...
174
click to vote
CAV
1994
Springer
15 years 11 months ago
1994
Springer
This paper presents a new formalism and a new algorithm for verifying timed circuits. The formalism, called orbital nets, allows hierarchical verification based on abehavioralseman...
193
Voted
AOSE
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. One of the most critical problems in software maintenance and evolution is propagating changes. Although many approaches have been proposed, automated change propagation ...
166
click to vote
ASYNC
2004
IEEE
15 years 10 months ago
2004
IEEE
De-synchronization appears as a new paradigm to automate the design of asynchronous circuits from synchronous netlists. This paper studies different protocols for de-synchronizatio...
188
click to vote
COMPLIFE
2006
Springer
15 years 10 months ago
2006
Springer
. OSCAR3 is an open extensible system for the automated annotation of chemistry in scientific articles, which can process thousands of articles per hour. This XML annotation suppor...