Sciweavers

5064 search results - page 224 / 1013
» Recent Developments in Gridsolve
Sort
View
DAC
2000
ACM
16 years 7 months ago
GTX: the MARCO GSRC technology extrapolation system
Technology extrapolation -- the calibration and prediction of achievable design in future technology generations ? drives the evolution of VLSI system architectures, design method...
Andrew E. Caldwell, Yu Cao, Andrew B. Kahng, Farin...
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...
SIGSOFT
2007
ACM
16 years 7 months ago
A specification-based approach to testing software product lines
This paper presents a specification-based approach for systematic testing of products from a software product line. Our approach uses specifications given as formulas in Alloy, a ...
Engin Uzuncaova, Daniel Garcia, Sarfraz Khurshid, ...
ISBI
2008
IEEE
16 years 7 months ago
Automated proteome-wide determination of subcellular location using high throughput microscopy
A major source of information for identifying subcellular location on a proteome-wide basis will be imaging of tagged proteins in living cells using fluorescence microscopy. We ha...
Robert F. Murphy
WWW
2007
ACM
16 years 7 months ago
Integrating value-based requirement engineering models to webml using vip business modeling framework
Requirement engineering (RE) is emerging as an increasingly important discipline for supporting Web application development, as these are designed to satisfy diverse stakeholder n...
Farooque Azam, Zhang Li, Rashid Ahmad