383 search results - page 43 / 77 » Testing Concurrent Systems: A Formal Approach |
109
click to vote
GECCO
2010
Springer
15 years 3 months ago
2010
Springer
In this paper we present a concurrent implementation of genetic algorithms designed for shared memory architectures intended to take advantage of multi-core processor platforms. O...
134
Voted
ECRTS
2007
IEEE
15 years 7 months ago
2007
IEEE
It is well known that the performance of computer controlled systems is heavily affected by delays and jitter occurring in the control loops, which are mainly caused by the interf...
125
Voted
EMSOFT
2010
Springer
15 years 1 months ago
2010
Springer
SystemC is the de facto standard for modeling embedded systems. It allows system design at various levels of abstractions, provides typical object-orientation features and incorpo...
116
click to vote
ICST
2008
IEEE
15 years 9 months ago
2008
IEEE
Testing remains a major challenge for model transformation development. Test models that are used as test data for model transformations, are constrained by various sources of kno...
122
Voted
FSEN
2009
Springer
15 years 7 months ago
2009
Springer
We propose and explore a formal approach for black-box testing asynchronously communicating components in open environments. Asynchronicity poses a challenge for validating and tes...