1136 search results - page 202 / 228 » Functional Validation in Grid Computing |
125
click to vote
KBSE
2000
IEEE
15 years 4 months ago
2000
IEEE
c specifications provide a powerful method for the specification of abstract data types in programming languages and software systems. Completeness and ground confluence are fundam...
104
Voted
DAC
2005
ACM
15 years 2 months ago
2005
ACM
The need to reuse the performance macromodels of an analog circuit topology challenges existing regression based modeling techniques. A model of good reusability should have a num...
101
click to vote
CONEXT
2008
ACM
15 years 2 months ago
2008
ACM
Overlay networks create new networking services across nodes that communicate using pre-existing networks. MOSAIC is a unified declarative platform for constructing new overlay ne...
91
Voted
WOB
2003
15 years 1 months ago
2003
In this work, we propose a software tool, called PROCSIMO, which aims the identification of similarities between operons in bacterial genomes. From a database which contains the ch...
99
Voted
BMCBI
2010
15 years 20 days ago
2010
Background: There is increasing interest in the development of computational methods to analyze fluorescent microscopy images and enable automated large-scale analysis of the subc...