4305 search results - page 20 / 861 » The Test of Time |
SNPD
2008
15 years 1 months ago
2008
This paper focuses on studying efficient solutions for modeling and deriving compositional tests for component-based real-time systems. In this work, we propose a coherent framewo...
205
click to vote
ICLP
2009
Springer
16 years 13 days ago
2009
Springer
Abstract. We present a framework that unifies unit testing and runtime verification (as well as static verification and static debugging). A key contribution of our overall approac...
115
click to vote
ISOLA
2010
Springer
14 years 10 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...
VTC
2006
IEEE
15 years 5 months ago
2006
IEEE
— In this paper, single carrier frequency domain equalization with space time transmit diversity was implemented and evaluated in real-time using a DSP-based wireless MIMO test-b...
100
click to vote
ESA
2008
Springer
15 years 1 months ago
2008
Springer
We devise the first constant-approximate feasibility test for sporadic multiprocessor real-time scheduling. We give an algorithm that, given a task system and > 0, correctly de...