3281 search results - page 359 / 657 » An Approach to use Executable Models for Testing |
159
click to vote
SPIN
2010
Springer
15 years 2 months ago
2010
Springer
We accelerate state space exploration for explicit-state model checking by executing complex operations on the graphics processing unit (GPU). In contrast to existing approaches en...
141
click to vote
AINA
2009
IEEE
15 years 11 months ago
2009
IEEE
This paper presents a modeling method particularly suited to analyze interactions between Message Passing Interface MPI library execution and distributed cache coherence protocol....
153
click to vote
RTAS
2008
IEEE
15 years 11 months ago
2008
IEEE
A fundamental asset of a model-based development process is the capability of providing an automatic implementation of the model that preserves its semantics and, at the same time...
141
click to vote
ISVLSI
2002
IEEE
15 years 9 months ago
2002
IEEE
Retiming has been shown to be a powerful technique for improving the performance of synchronous circuits. However, even though retiming algorithms of polynomial time complexity ha...
147
click to vote
AOSE
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Nowadays, information systems have to perform in complex, heterogeneous environments, considering a variety of system users with different needs and preferences. Software...