8109 search results - page 132 / 1622 » A Model of Component-Based Programming |
137
click to vote
SNPD
2008
15 years 6 months ago
2008
Testing cannot cover all execution schedules in concurrent software. Model checking, however, is capable of verifying the outcome of all possible executions. It has been applied s...
162
click to vote
ACSC
2005
IEEE
15 years 10 months ago
2005
IEEE
Novel, high-throughput technologies are challenging the core of algorithmic methods available in Computer Science. Microarray technologies give Life Sciences researchers the oppor...
179
click to vote
FCCM
2008
IEEE
15 years 11 months ago
2008
IEEE
The map-reduce model requires users to express their problem in terms of a map function that processes single records in a stream, and a reduce function that merges all mapped out...
171
click to vote
TMI
2002
15 years 4 months ago
2002
This paper presents a fully automated segmentation method for medical images. The goal is to localize and parameterize a variety of types of structure in these images for subsequen...