4502 search results - page 366 / 901 » Regular Model Checking |
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...
194
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...
205
Voted
ISBI
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper presents a multi-dimensional point scatterer distribution model for the context of ultrasound image simulation. The model has a simple parameterisation, has low computa...
225
click to vote
SIGSOFT
2007
ACM
16 years 7 months ago
2007
ACM
We present an approach for checking code against rich specifications, based on existing work that consists of encoding the program in a relational logic and using a constraint sol...