Sciweavers

1005 search results - page 103 / 201
» Patterns for Refinement Automation
Sort
View
ICCAD
1999
IEEE
79views Hardware» more  ICCAD 1999»
15 years 10 months ago
Improved interconnect sharing by identity operation insertion
This paper presents an approach to reduce interconnect cost by insertion of identity operations in a CDFG. Other than previous approaches, it is based on systematic pattern analys...
Dirk Herrmann, Rolf Ernst
DAC
2008
ACM
16 years 7 months ago
Parallelizing CAD: a timely research agenda for EDA
The relative decline of single-threaded processor performance, coupled with the ongoing shift towards on chip parallelism requires that CAD applications run efficiently on paralle...
Bryan C. Catanzaro, Kurt Keutzer, Bor-Yiing Su
182
Voted
MICCAI
2004
Springer
16 years 7 months ago
Landmark-Driven, Atlas-Based Segmentation of Mouse Brain Tissue Images Containing Gene Expression Data
To better understand the development and function of the mammalian brain, researchers have begun to systematically collect a large number of gene expression patterns throughout the...
Ioannis A. Kakadiaris, Musodiq Bello, Shiva Arunac...
MICCAI
2005
Springer
16 years 7 months ago
Hybrid Segmentation Framework for Tissue Images Containing Gene Expression Data
Associating speci c gene activity with speci c functional locations in the brain anatomy results in a greater understanding of the role of the gene's products. To perform such...
Musodiq Bello, Tao Ju, Joe D. Warren, James Carson...
ICLP
1999
Springer
15 years 10 months ago
CLAIRE: Combining Sets, Search, and Rules to Better Express Algorithms
This paper presents a programming language that includes paradigms that are usually associated with declarative languages, such as sets, rules and search, into an imperative (funct...
Yves Caseau, François-Xavier Josset, Fran&c...