Sciweavers

90 search results - page 2 / 18
» Investigating the Validity of a Test Case Selection Methodol...
Sort
View
DT
2000
88views more  DT 2000»
13 years 5 months ago
Postsilicon Validation Methodology for Microprocessors
f abstraction as applicable to break the problem's complexity, and innovating better techniques to address complexity of new microarchitectural features. Validation techniques...
Hemant G. Rotithor
ECMDAFA
2007
Springer
100views Hardware» more  ECMDAFA 2007»
13 years 11 months ago
Reverse Engineering Models from Traces to Validate Distributed Systems - An Industrial Case Study
The paper targets the applicability of model-driven methodologies to the validation of complex systems and presents a case study of a mobile radio network. Validation relies on the...
Andreas Ulrich, Alexandre Petrenko
CCE
2011
13 years 18 days ago
Development and validation of a dynamic model for regeneration of passivating baths using membrane contactors
Selective liquid membranes have been traditionally employed for liquid/liquid and gas/liquid mass transfer in a wide range of applications. In particular, the Emulsion Pertraction...
Eugenio Bringas, Rosa Mediavilla, Ana María...
WSC
2007
13 years 8 months ago
Agent-model validation based on historical data
Combat, unlike many real-world processes, tends to be singular in nature. That is, there are not multiple occurrences from which to hypothesize a probability distribution model of...
Lance E. Champagne, Raymond R. Hill
ICRA
2007
IEEE
157views Robotics» more  ICRA 2007»
13 years 12 months ago
Learning to Select State Machines using Expert Advice on an Autonomous Robot
— Hierarchical state machines have proven to be a powerful tool for controlling autonomous robots due to their flexibility and modularity. For most real robot implementations, h...
Brenna Argall, Brett Browning, Manuela M. Veloso