Sciweavers

1005 search results - page 103 / 201
» Patterns for Refinement Automation
Sort
View
ICCAD
1999
IEEE
79views Hardware» more  ICCAD 1999»
14 years 2 days 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
14 years 8 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
MICCAI
2004
Springer
14 years 8 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
14 years 8 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
14 years 1 days 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...