94 search results - page 11 / 19 » A Performance Study of BDD-Based Model Checking |
ISORC
2005
IEEE
14 years 29 days ago
2005
IEEE
: While the conventional remote method invocation mechanism has been considered for a long time as the primary approach for facilitating interactions among real-time objects, a mul...
CJ
2004
13 years 7 months ago
2004
This paper describes a way to manage the modeling and analysis of Scheduled Maintenance Systems (SMS) within an analytically tractable context. We chose a significant case study h...
SAC
2005
ACM
14 years 28 days ago
2005
ACM
The launch of new features for mobile phones is increasing and the product life cycle symmetrically decreasing in duration as higher levels of sophistication are reached. Therefor...
SBMF
2009
Springer
14 years 1 months ago
2009
Springer
In today’s information society, flash memory has become a virtually indispensable component, particularly for mobile devices. In order for mobile devices to operate successfully...
AMAST
2004
Springer
14 years 24 days ago
2004
Springer
JavaFAN uses a Maude rewriting logic specification of the JVM semantics as the basis of a software analysis tool with competitive performance. It supports formal analysis of concu...