4166 search results - page 431 / 834 » Automating the constraining process |
155
click to vote
ECOOPW
1998
Springer
15 years 10 months ago
1998
Springer
In restructuring legacy code it may be useful to introduce a design pattern in order to add clarity to the system and thus facilitate further program evolution. We show that aspec...
167
click to vote
COST
1997
Springer
15 years 10 months ago
1997
Springer
: Automated processes in distributed communication environments require tools for unifying heterogeneous multimedia services. The Teleservice Descriptor is introduced for generic h...
175
click to vote
EURODAC
1994
IEEE
15 years 10 months ago
1994
IEEE
We outline a general methodology for the formal verification of pipeline conflicts in RISC cores. The different kinds of conflicts that can occur due to the simultaneous execution...
148
Voted
ICANNGA
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. This paper proposes an automated quantum circuit synthesis approach, using a genetic algorithm. We consider the circuit as a successive rippling of the so-called gate sec...
175
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...