5799 search results - page 442 / 1160 » Patterns Generate Architectures |
164
click to vote
ECMDAFA
2005
Springer
16 years 9 days ago
2005
Springer
Queries on software artifacts play an important role in novel software development approaches, such as Aspect-Oriented Software Development and OMG's Model Driven Architecture...
145
click to vote
DAC
1996
ACM
15 years 11 months ago
1996
ACM
To reduce the number of synthesis and layout iterations, we present a new delay optimization technique, which inserts buers based on back-annotated detailed routing information. D...
168
click to vote
ICRA
2007
IEEE
16 years 1 months ago
2007
IEEE
— This article addresses the problem of generating timed trajectories and temporally coordinated movements for two wheeled vehicles, when relatively low-level, noisy sensorial in...
176
click to vote
ICCD
2001
IEEE
16 years 3 months ago
2001
IEEE
We present a simulation-based semi-formal verification method for sequential circuits described at the registertransfer level. The method consists of an iterative loop where cove...
179
click to vote
DSD
2006
IEEE
16 years 25 days ago
2006
IEEE
Recently, a number of works have been published on implementing assignment decision diagram models combined with SAT methods to address register-transfer level test pattern genera...