3192 search results - page 337 / 639 » A Requirements-Driven Development Methodology |
160
click to vote
DAC
2000
ACM
16 years 7 months ago
2000
ACM
This paper derives a methodology for developing accurate convex delay models to be used for transistor sizing. A new rich class of convex functions to model gate delay is presente...
151
click to vote
DAC
2001
ACM
16 years 7 months ago
2001
ACM
This paper describes the first application of the Genevieve test generation methodology. The Genevieve approach uses semi-formal techniques derived from "model-checking"...
173
click to vote
DAC
2003
ACM
16 years 7 months ago
2003
ACM
In this work, we report on an unprecedented design where digital, analog, and MEMS technologies are combined to realize a generalpurpose single-chip CMOS microsystem. The converge...
152
click to vote
MICCAI
2004
Springer
16 years 7 months ago
2004
Springer
For diagnosis, preoperative planning and postoperative guides, an accurate estimate of joints kinematics is required. We bring together MRI developments and new image processing me...
181
click to vote
ISBI
2002
IEEE
16 years 7 months ago
2002
IEEE
In this paper we propose a methodology for brain parcellation with anatomical and functional constraints dedicated to fMRI data analysis. The aim is to provide a representation of...