226 search results - page 26 / 46 » An Investigation of Analysis Techniques for Software Dataset... |
199
click to vote
ISBI
2011
IEEE
14 years 9 months ago
2011
IEEE
Segmentation of tree-like structure within medical imaging modalities, such as x-ray, MRI, ultrasound, etc., is an important step for analyzing branching patterns involved in many...
133
click to vote
DSN
2002
IEEE
15 years 11 months ago
2002
IEEE
The NASA Remote Exploration and Experimentation (REE) Project, managed by the Jet Propulsion Laboratory, has the vision of bringing commercial supercomputing technology into space...
199
click to vote
DAC
2003
ACM
16 years 7 months ago
2003
ACM
Schedulability analysis of real-time embedded systems requires worst case timing guarantees of embedded software performance. This involves not only language level program analysi...
175
click to vote
FMCO
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Formal methods, in particular model checking, are increasingly accepted as integral part of system development. With large software systems beyond the range of fully auto...
158
click to vote
BIB
2010
15 years 3 months ago
2010
Massively parallel sequencing technologies continue to alter the study of human genetics. As the cost of sequencing declines, next-generation sequencing (NGS) instruments and data...