5216 search results - page 445 / 1044 » Planning as Model Checking |
143
click to vote
WSC
1998
15 years 8 months ago
1998
We describe the use of discrete event simulation in modeling the curbside vehicular traffic at airports. The dynamic nature of vehicular traffic poses a challenge in developing a ...
162
click to vote
GEOINFORMATICA
2006
15 years 6 months ago
2006
This paper investigates how portability of a model between different computer operating systems can lead to increased efficiency in code execution. The portability problem is not a...
205
click to vote
QEST
2006
IEEE
16 years 24 days ago
2006
IEEE
Abstract— This paper reports on our efforts to link an industrial state-of-the-art modelling tool to academic state-of-the-art analysis algorithms. In a nutshell, we enable timed...
193
click to vote
DSD
2004
IEEE
15 years 10 months ago
2004
IEEE
Validation of programmable architectures, consisting of processor cores, coprocessors, and memory subsystems, is one of the major bottlenecks in current Systemon-Chip design metho...
188
click to vote
ISOLA
2010
Springer
15 years 5 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...