1728 search results - page 180 / 346 » Formal Modeling of Process Migration |
108
click to vote
TACAS
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. This paper presents algorithms and data structures that exploit a compositional and hierarchical specification to enable more efficient symbolic modelchecking. We encod...
131
click to vote
LCPC
2005
Springer
15 years 8 months ago
2005
Springer
The goal of this work is a systematic approach to compiler optimization for simultaneously optimizing across multiple levels of the memory hierarchy. Our approach combines compiler...
109
click to vote
FMCAD
2004
Springer
15 years 8 months ago
2004
Springer
We consider the problem of checking whether an incomplete design can still be extended to a complete design satisfying a given CTL formula and whether the property is satisfied fo...
130
click to vote
EATIS
2007
ACM
15 years 7 months ago
2007
ACM
In our work we have proposed an agent-based model e-commerce system. In this system buyer agents negotiate prices with seller agents. Thus far our attention was devoted "one ...
146
click to vote
ISOLA
2010
Springer
15 years 1 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...