1304 search results - page 127 / 261 » Model Checking C Programs Using F-SOFT |
243
click to vote
GEOINFORMATICA
2011
15 years 2 months ago
2011
Discovery of suitable web services is a crucial task in Spatial Data Infrastructures (SDI). In this work, we develop a novel approach to the discovery of geoprocessing services (WP...
400
click to vote
SPIN
2012
Springer
13 years 9 months ago
2012
Springer
Since counterexamples generated by model checking tools are only symptoms of faults in the model, a significant amount of manual work is required in order to locate the fault that...
223
click to vote
ICS
2007
Tsinghua U.
16 years 1 months ago
2007
Tsinghua U.
Overlapping communication with computation is an important optimization on current cluster architectures; its importance is likely to increase as the doubling of processing power ...
222
click to vote
POPL
2012
ACM
14 years 2 months ago
2012
ACM
Since software systems are becoming increasingly more concurrent and distributed, modeling and analysis of interactions among their components is a crucial problem. In several app...
219
click to vote
BMCBI
2006
15 years 7 months ago
2006
Background: Bioinformatics applications are now routinely used to analyze large amounts of data. Application development often requires many cycles of optimization, compiling, and...