1138 search results - page 18 / 228 » First-Order Model Checking Problems Parameterized by the Mod... |
ICPADS
1998
IEEE
13 years 12 months ago
1998
IEEE
The DAG-based task graph model has been found effective in scheduling for performance prediction and optimization of parallel applications. However the scheduling complexity and s...
ENTCS
2007
13 years 7 months ago
2007
Application of model checking to isolated software components is not directly possible because a component does not form a complete program - the problem of missing environment oc...
GCC
2003
Springer
14 years 27 days ago
2003
Springer
We use 2-Dimensional language to construct 2-Dimensional computer graphics model, use MSO or other logics to specify some graph property, and use automata model checking technique ...
ATAL
2005
Springer
14 years 1 months ago
2005
Springer
We present TECTLK, a logic to specify knowledge and real time in multi-agent systems. We show that the model checking problem is decidable, and we present an algorithm for TECTLK ...
CEC
2007
IEEE
14 years 2 months ago
2007
IEEE
Abstract— Target shape design optimization problem (TSDOP) is a miniature model for real world design optimization problems. It is proposed as a test bed to design and analyze op...