1136 search results - page 202 / 228 » Functional Validation in Grid Computing |
KBSE
2000
IEEE
13 years 11 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...
DAC
2005
ACM
13 years 9 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...
CONEXT
2008
ACM
13 years 9 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...
WOB
2003
13 years 9 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...
BMCBI
2010
13 years 7 months 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...