799 search results - page 94 / 160 » Generating Reliable Code from Hybrid-Systems Models |
COLING
2000
13 years 11 months ago
2000
A translation is a conversion from a source language into a target language preserving the meaning. A huge number of techniques and computational approaches have been experimented...
BIOINFORMATICS
2012
12 years 10 days ago
2012
Summary: The MolClass toolkit and data portal generates computational models from user-defined small molecule datasets based on structural features identified in hit and non-hit m...
FMICS
2010
Springer
13 years 10 months ago
2010
Springer
We investigate the application of the software bounded model checking tool CBMC to the domain of wireless sensor networks (WSNs). We automatically generate a software behavior mode...
RECOMB
2003
Springer
14 years 10 months ago
2003
Springer
Protein sequence alignments are more reliable the shorter the evolutionary distance. Here, we align distantly related proteins using many closely spaced intermediate sequences as ...
OOPSLA
2007
Springer
14 years 4 months ago
2007
Springer
Java bug finders perform static analysis to find implementation mistakes that can lead to exploits and failures; Java compilers perform static analysis for optimization. If Java...