13383 search results - page 2469 / 2677 » Abstractions from proofs |
108
click to vote
DAC
2007
ACM
16 years 1 months ago
2007
ACM
Abstract-- In nanometer-scale VLSI technologies, several interconnect issues like routing congestion and interconnect delay have become the main concerns in placement. However, all...
111
Voted
DAC
2007
ACM
16 years 1 months ago
2007
ACM
Emerging single-chip heterogeneous multiprocessors feature hundreds of design elements contending for shared resources, making it difficult to isolate performance impacts of indiv...
100
Voted
DAC
2000
ACM
16 years 1 months ago
2000
ACM
erse approaches at all levels of abstraction starting from the physical level up to the system level. Experience shows that a highlevel method may have a larger impact since the de...
94
Voted
DAC
2002
ACM
16 years 1 months ago
2002
ACM
This paper presents a high-level component-based methodology and design environment for application-specific multicore SoC architectures. Component-based design provides primitive...
MICCAI
2006
Springer
16 years 1 months ago
2006
Springer
Abstract. The quantitative assessment of neck lymph nodes in the context of malign tumors requires an ecient segmentation technique for lymph nodes in tomographic 3D datasets. We p...