Sciweavers

2317 search results - page 75 / 464
» DMVIS: Design, Modelling and Validation of Interactive Syste...
Sort
View
CODES
2005
IEEE
14 years 1 months ago
A power estimation methodology for systemC transaction level models
Majority of existing works on system level power estimation have focused on the processor, while there are very few that address power consumption of peripherals in a SoC. With th...
Nagu R. Dhanwada, Ing-Chao Lin, Vijay Narayanan
FDL
2006
IEEE
14 years 2 months ago
Layered UML Workload and SystemC Platform Models
Future mobile devices will be based on heterogeneous multiprocessing platforms accommodating several currently stand-alone applications. Increasing complexity of both application ...
Jari Kreku, Yang Qu, Juha-Pekka Soininen, Kari Tie...
SPIN
2010
Springer
13 years 6 months ago
Automatic Generation of Model Checking Scripts Based on Environment Modeling
When applying model checking to the design models of the embedded systems, it is necessary to model not only the behavior of the target system but also that of the environment inte...
Kenro Yatake, Toshiaki Aoki
DAC
2002
ACM
14 years 9 months ago
A fast optical propagation technique for modeling micro-optical systems
As designers become more aggressive in introducing optical components to micro-systems, rigorous optical models are required for system-level simulation tools. Common optical mode...
Timothy P. Kurzweg, Steven P. Levitan, Jose A. Mar...
IROS
2006
IEEE
119views Robotics» more  IROS 2006»
14 years 2 months ago
Design of a Social Mobile Robot Using Emotion-Based Decision Mechanisms
– In this paper, we describe a robot that interacts with humans in a crowded conference environment. The robot detects faces, determines the shirt color of onlooking conference a...
Geoffrey A. Hollinger, Yavor Georgiev, Anthony Man...