224 search results - page 2 / 45 » Model-based runtime analysis of distributed reactive systems |
115
click to vote
EMSOFT
2004
Springer
15 years 5 months ago
2004
Springer
Data flow process networks are a good model of computation for streaming multimedia applications incorporating audio, video and/or graphics streams. Process networks are concurre...
105
click to vote
RSP
2007
IEEE
15 years 6 months ago
2007
IEEE
This paper addresses the need for formal specification and runtime verification of system-level requirements of distributed reactive systems. It describes a formalism for specifyi...
HICSS
2007
IEEE
15 years 6 months ago
2007
IEEE
This paper presents a test framework to support unit component testing in distributed component-based systems that are built upon component technologies like CORBA, COM/.NET, J2EE...
CONCUR
2006
Springer
15 years 3 months ago
2006
Springer
We describe an incomplete but sound and efficient livelock freedom test for infinite state asynchronous reactive systems. The method s a system into a set of simple control flow cy...
110
click to vote
SAT
2010
Springer
14 years 10 months ago
2010
Springer
This paper presents a detailed empirical study of local search for Boolean satisfiability (SAT), highlighting several interesting properties, some of which were previously unknown...