1246 search results - page 193 / 250 » Recursive Timed Automata |
137
click to vote
EMSOFT
2005
Springer
15 years 8 months 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...
98
Voted
TACAS
2005
Springer
15 years 8 months 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...
104
Voted
SC
2004
ACM
15 years 7 months 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...
158
click to vote
CDB
2004
Springer
15 years 7 months 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...
126
click to vote
LATA
2010
Springer
15 years 7 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...