2836 search results - page 122 / 568 » Model Checking for Software Architectures |
198
click to vote
SIGSOFT
2010
ACM
15 years 29 days ago
2010
ACM
Specification and verification of real-time systems are important research topics which have practical implications. In this work, we present a self-contained toolkit to analyze r...
163
click to vote
IWSAPF
2000
15 years 9 months ago
2000
Product families promote reuse of software artifacts such as architectures, designs and implementations. Product family architectures are difficult to create due to the need to sup...
177
click to vote
ISOLA
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. This article deals with performance verifications of architecture models of real-time embedded systems. We focus on models verified with the real-time scheduling theory...
156
click to vote
SIPS
2007
IEEE
16 years 15 days ago
2007
IEEE
Low Density Parity Check (LDPC) codes are one of the most promising error correction codes that are being adopted by many wireless standards. This paper presents a case study for ...
168
click to vote
FOSSACS
2010
Springer
15 years 9 months ago
2010
Springer
A new framework for higher-order program verification has been recently proposed, in which higher-order functional programs are modelled as higher-order recursion schemes and then ...