2836 search results - page 346 / 568 » Model Checking for Software Architectures |
144
click to vote
ENTCS
2007
15 years 6 months ago
2007
The Mono Model Checker (mmc) is a software model checker for cil bytecode programs. mmc has been developed on the Mono platform. mmc is able to detect deadlocks and assertion viol...
173
click to vote
EDM
2010
15 years 8 months ago
2010
Learning software is not designed for data analysis and mining. Because usage data is not stored in a systematic way, its thorough analysis requires long and tedious preprocessing....
178
click to vote
WSC
2004
15 years 8 months ago
2004
Hybrid system modeling refers to the construction of system models combining both continuous and discrete dynamics. These models can greatly reduce the complexity of a phystem mod...
189
click to vote
ISCA
2007
IEEE
15 years 6 months ago
2007
IEEE
In recent years, quantum computing (QC) research has moved from the realm of theoretical physics and mathematics into real implementations [9]. With many different potential hardw...
175
click to vote
CASES
2006
ACM
16 years 19 days ago
2006
ACM
Architectural advances of modern systems has often been at odds with control complexity, requiring significant effort in both design and verification. This is particularly true ...