6750 search results - page 938 / 1350 » Performance Analysis Framework for Layout Analysis Methods |
125
click to vote
FMCAD
2009
Springer
15 years 11 months ago
2009
Springer
Abstract—Several successful approaches to software verificabased on the construction and analysis of an abstract reachability tree (ART). The ART represents unwindings of the co...
187
click to vote
MEMOCODE
2008
IEEE
15 years 11 months ago
2008
IEEE
While synchrony and asynchrony are two distinct concepts of concurrency theory, effective and formally defined embedded system design methodologies usually mix the best from both...
139
click to vote
GLVLSI
2007
IEEE
15 years 11 months ago
2007
IEEE
We describe an efficient, top-down strategy for overlap removal and floorplan repair which repairs overlaps in floorplans produced by placement algorithms or rough floorplanni...
136
click to vote
ISBI
2007
IEEE
15 years 11 months ago
2007
IEEE
Multi-photon laser scanning microscopy is a cutting-edge tool for high-resolution imaging of living tissue and organisms used to study biological processes such as cellular dynami...
157
click to vote
FMCO
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Many distributed applications can be understood in terms of components interacting in an open environment. This interaction is not always uniform as the network may consi...