1246 search results - page 193 / 250 » Recursive Timed Automata |
202
click to vote
EMSOFT
2005
Springer
16 years 4 days ago
2005
Springer
Hybrid systems are an appropriate formalism to model embedded systems as they capture the theme of continuous dynamics with discrete control. A simple extension, a network of comm...
144
click to vote
TACAS
2005
Springer
16 years 2 days ago
2005
Springer
Shorter counterexamples are typically easier to understand. The length of a counterexample, as reported by a model checker, depends on both the algorithm used for state space explo...
164
click to vote
SC
2004
ACM
16 years 1 days ago
2004
ACM
Inspired by the attractive Flops/dollar ratio and the incredible growth in the speed of modern graphics processing units (GPUs), we propose to use a cluster of GPUs for high perfo...
217
click to vote
CDB
2004
Springer
16 years 9 hour ago
2004
Springer
Abstract. Long DNA sequences have to be cut using restriction enzymes into small fragments whose lengths and/or nucleotide sequences can be analyzed by currently available technolo...
184
click to vote
LATA
2010
Springer
15 years 11 months ago
2010
Springer
With the advent of new sequencing technologies able to produce an enormous quantity of short genomic sequences, new tools able to search for them inside a references sequence genom...