227 search results - page 28 / 46 » Tutorial: Parallel Model Checking |
IPPS
2005
IEEE
14 years 1 months ago
2005
IEEE
— Schedule synthesis based on reachability analysis of timed automata has received attention in the last few years. The main strength of this approach is that the expressiveness ...
CONCUR
2001
Springer
14 years 3 days ago
2001
Springer
Abstract. In this paper we discuss the role of labels in transition systems with regard to bisimilarity and model checking problems. We suggest a general reduction from labelled tr...
FTDCS
1999
IEEE
13 years 12 months ago
1999
IEEE
The process of component integrationfor distributed application sofrware development requires identifying the candidate components and performing compatibility checks based on the...
CONCUR
1998
Springer
13 years 12 months ago
1998
Springer
Abstract. We summarize and reorganize some of the last decade's research on real-time extensions of temporal logic. Our main focus is on tableau constructions for model checki...
HPCA
1998
IEEE
13 years 12 months ago
1998
IEEE
The performance of a concurrent multithreaded architectural model, called superthreading 15 , is studied in this paper. It tries to integrate optimizing compilation techniques and...