1001 search results - page 13 / 201 » Generating Application-Specific Benchmark Models for Complex... |
ECAI
2008
Springer
14 years 11 months ago
2008
Springer
This article formalises the dual problem to model-based diagnosis (MBD), i.e., generating tests to isolate multiple simultaneous faults. Using a standard propositional MBD framewo...
MIDDLEWARE
2009
Springer
15 years 2 months ago
2009
Springer
Abstract. The performance of multi-tier systems is known to be significantly degraded by workloads that place bursty service demands on system resources. Burstiness can cause queu...
89
Voted
HICSS
2010
IEEE
15 years 4 months ago
2010
IEEE
In this paper we explore the interaction between a dynamic model of the power transmission system (OPA) and a simple economic model of power generation development. Despite the si...
DATE
2010
IEEE
15 years 1 months ago
2010
IEEE
Model checking techniques are promising for automated generation of directed tests. However, due to the prohibitively large time and resource requirements, conventional model chec...
97
Voted
CADE
2012
Springer
13 years 19 hour ago
2012
Springer
We propose a word level, bounded model checking (BMC) algorithm based on translation into the effectively propositional fragment (EPR) of firstorder logic. This approach to BMC al...