51 search results - page 4 / 11 » Timed Sequence Diagrams and Tool-Based Analysis - A Case Stu... |
FM
2001
Springer
14 years 1 days ago
2001
Springer
To develop efficient algorithms for the reachability analysis of timed automata, a promising approach is to use binary decision diagrams (BDDs) as data structure for the representa...
CBMS
2004
IEEE
13 years 11 months ago
2004
IEEE
Coronary angiography has become an important tool in modern medicine by providing an additional modality for heart disease diagnostics. Even though the recorded images (or image s...
HPCC
2009
Springer
14 years 4 days ago
2009
Springer
This paper studies a load scheduling strategy with nearoptimal processing time leveraging the computational characteristics of parallel DNA sequence alignment algorithms, specific...
BMCBI
2008
13 years 7 months ago
2008
Background: For many types of analyses, data about gene structure and locations of non-coding regions of genes are required. Although a vast amount of genomic sequence data is ava...
TACAS
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. The analysis of message sequence charts (MSCs) is highly important in preventing common problems in communication protocols. Detecting race conditions, i.e., possible dis...