Sciweavers

1554 search results - page 105 / 311
» Testing Polymorphic Behavior
Sort
View
VTC
2008
IEEE
14 years 2 months ago
Hardware Simulator for MIMO Radio Channels: Design and Features of the Digital Block
– This paper presents the realization of the digital block of a hardware simulator of MIMO propagation channels for UMTS and WLAN applications. The hardware simulator must reprod...
Sylvie Picol, Gheorghe Zaharia, Dominique Houzet, ...
TEC
2008
91views more  TEC 2008»
13 years 8 months ago
Applying a Traffic Lights Evolutionary Optimization Technique to a Real Case: "Las Ramblas" Area in Santa Cruz de Tenerife
Abstract--In previous research, we have designed and successfully tested a Traffic Light Cycles Evolutionary Optimization Architecture. In this paper, we attempt to validate those ...
Javier J. Sánchez Medina, Manuel J. Gal&aac...
RTSS
2008
IEEE
14 years 2 months ago
Schedulability and Compatibility of Real Time Asynchronous Objects
Abstract—We apply automata theory to specifying behavioral interfaces of objects and show how to check schedulability and compatibility of real time asynchronous objects. The beh...
Mohammad Mahdi Jaghoori, Delphine Longuet, Frank S...
ISSTA
2009
ACM
14 years 2 months ago
Specifying the worst case: orthogonal modeling of hardware errors
During testing, the execution of valid cases is only one part of the task. Checking the behavior in boundary situations and in the presence of errors is an equally important subje...
Jewgenij Botaschanjan, Benjamin Hummel
CORR
2010
Springer
104views Education» more  CORR 2010»
13 years 3 months ago
Designing Incentive Schemes Based on Intervention: The Case of Imperfect Monitoring
In this paper, we propose a class of incentive schemes based on intervention. We develop a general game-theoretic framework for the design of intervention schemes under imperfect m...
Jaeok Park, Mihaela van der Schaar