Sciweavers

11172 search results - page 122 / 2235
» Testing Physical Systems
Sort
View
ICC
2007
IEEE
16 years 20 days ago
TCP Performance of MC-CDMA Systems with Partial Equalization in Correlated Fading Channels
— This paper addresses the performance evaluation of multi-carrier code division multiple access systems both at physical and TCP levels. A partial equalization technique improvi...
Giacomo Leonardi, Barbara M. Masini, Alessandro Ba...
WSCG
2003
207views more  WSCG 2003»
15 years 7 months ago
Development of a Flexible Augmented Prototyping System
In designing physical objects, tangible models play an important part. Recent advances in augmented reality displays show new directions to support this field of prototyping. This...
Jouke C. Verlinden, A. de Smit, Aernout W. J. Peet...
ITC
2003
IEEE
114views Hardware» more  ITC 2003»
15 years 11 months ago
Test-Based Model Generation For Legacy Systems
We study the extension of applicability of system-level testing techniques to the construction of a consistent model of (legacy) systems under test, which are seen as black boxes....
Hardi Hungar, Tiziana Margaria, Bernhard Steffen
FMCO
2006
Springer
128views Formal Methods» more  FMCO 2006»
15 years 10 months ago
Model-Based Test Selection for Infinite-State Reactive Systems
This paper addresses the problem of off-line selection of test cases for testing the conformance of a black-box implementation with respect to a specification, in the context of re...
Bertrand Jeannet, Thierry Jéron, Vlad Rusu
PTS
1998
131views Hardware» more  PTS 1998»
15 years 7 months ago
Factorized Test Generation for Multi-Input/Output Transition Systems
In this paper we present factorized test generation techniques that can be used to generate test cases from a specification that is modelled as a labelled transition system. The t...
Ed Brinksma, Lex Heerink, Jan Tretmans