Sciweavers

2679 search results - page 14 / 536
» Experimental Models for Validating Technology
Sort
View
ETFA
2008
IEEE
14 years 11 months ago
Is CSMA/CA really efficient against interference in a wireless control system? An experimental answer
The deployment of a wireless control system must cope with a number of effects usually negligible in a wired scenario. To this aim, an experimental analysis on suitable prototypes...
Matteo Bertocco, Giovanni Gamba, Alessandro Sona
ICCS
2007
Springer
14 years 11 months ago
Conceptual Graphs as Cooperative Formalism to Build and Validate a Domain Expertise
Abstract. This work takes place in the general context of the construction and validation of a domain expertise. It aims at the cooperation of two kinds of knowledge, heterogeneous...
Rallou Thomopoulos, Jean-François Baget, Ol...
AH
2008
Springer
15 years 3 months ago
A Validation Framework for Formal Models in Adaptive Work-Integrated Learning
The focus of my thesis is on the development of a multi-method framework for the validation of formal models (domain model, user model, and teaching model) for adaptive work-integr...
Barbara Kump
GLVLSI
2006
IEEE
95views VLSI» more  GLVLSI 2006»
15 years 3 months ago
Test generation using SAT-based bounded model checking for validation of pipelined processors
Functional verification is one of the major bottlenecks in microprocessor design. Simulation-based techniques are the most widely used form of processor verification. Efficient ...
Heon-Mo Koo, Prabhat Mishra
BILDMED
2009
134views Algorithms» more  BILDMED 2009»
14 years 10 months ago
A Porcine Liver Model for Validation of Registration Accuracy in Image-Guided Surgery
Correct registration between pre-operative high-resolution images and intra-operative data of lower detail is a fundamental requirement in image-guided liver surgery. We propose a ...
Matthias Peterhans, Benoît Dagon, Anne Vom B...