Sciweavers

2607 search results - page 301 / 522
» On the Architecture of System Verification Environments
Sort
View
ICRA
2002
IEEE
85views Robotics» more  ICRA 2002»
15 years 11 months ago
Self-Generation by a Mobile Robot of Topological Maps of Corridors
In the present paper a system for generation of topological maps is going to be presented. This system is considered as one of the deliberative skills of the mobile robots architec...
Verónica Egido, Ramón Barber, Mar&ia...
GLVLSI
2000
IEEE
69views VLSI» more  GLVLSI 2000»
15 years 11 months ago
Supporting system-level power exploration for DSP applications
System-level power exploration requires tools for estimation of the overall power consumed by a system, as well as a detailed breakdown of the consumption of its main functional b...
Luca Benini, Marco Ferrero, Alberto Macii, Enrico ...
DAC
1995
ACM
15 years 10 months ago
The Case for Design Using the World Wide Web
— Most information and services required today by designers will soon become available as documents distributed in a wide area hypermedia network. New integration services are re...
Mário J. Silva, Randy H. Katz
LWA
2008
15 years 8 months ago
Learning to Cope with Critical Situations - An Agent based Approach
How does someone react when he faces a critical situation in his life? In this paper we present an initial initial implementation architecture based on a simulation model described...
Régis Newo, Klaus-Dieter Althoff
WSC
2000
15 years 8 months ago
Simulation as educational support for production and logistics in industrial engineering
The proposed implementation is a monitor system able to train operators for on-line real time manufacturing control in order to analyze the performance of a production process. Th...
Agostino G. Bruzzone, Pietro Giribone, Roberto Rev...