Sciweavers

898 search results - page 79 / 180
» Comparing high-level modeling approaches for embedded system...
Sort
View
215
Voted
ECRTS
2010
IEEE
15 years 7 months ago
Minimizing Multi-resource Energy for Real-Time Systems with Discrete Operation Modes
Energy conservation is an important issue in the design of embedded systems. Dynamic Voltage Scaling (DVS) and Dynamic Power Management (DPM) are two widely used techniques for sav...
Fanxin Kong, Yiqun Wang, Qingxu Deng, Wang Yi
187
Voted
ISLPED
2007
ACM
169views Hardware» more  ISLPED 2007»
15 years 7 months ago
Throughput of multi-core processors under thermal constraints
We analyze the effect of thermal constraints on the performance and power of multi-core processors. We propose system-level power and thermal models, and derive expressions for (a...
Ravishankar Rao, Sarma B. K. Vrudhula, Chaitali Ch...
HICSS
2009
IEEE
98views Biometrics» more  HICSS 2009»
16 years 27 days ago
Methodological Approaches to Measuring the Effects of Implementation of Health Information Technology (HIT)
The research design, evaluation methodology, and statistical analysis of the clinical efficacy of healthcare information technology (HIT) implementation can be a challenging task....
Lance Roberts, Marcia M. Ward, Jane M. Brokel, Dou...
CIMCA
2006
IEEE
16 years 5 days ago
Computational Nanomechatronics: A Pathway for Control and Manufacturing Nanorobots
This paper describes an innovative work for nanorobot design and manufacturing, using a computer simulation and system on chip prototyping approach. The use of CMOS as integrated ...
Adriano Cavalcanti, Warren W. Wood, Luiz C. Kretly...
RTSS
2005
IEEE
15 years 11 months ago
Fast On-the-Fly Parametric Real-Time Model Checking
This paper presents a local algorithm for solving the universal parametric real-time model-checking problem. The problem may be phrased as follows: given a real-time system and te...
Dezhuang Zhang, Rance Cleaveland