Sciweavers

1304 search results - page 75 / 261
» RTOS Modeling for System Level Design
Sort
View
DAC
2008
ACM
16 years 5 months ago
Stochastic modeling of a thermally-managed multi-core system
Achieving high performance under a peak temperature limit is a first-order concern for VLSI designers. This paper presents a new model of a thermally-managed system, where a stoch...
Hwisung Jung, Peng Rong, Massoud Pedram
148
Voted
FCCM
2005
IEEE
115views VLSI» more  FCCM 2005»
15 years 9 months ago
FIFO Communication Models in Operating Systems for Reconfigurable Computing
Increasing demands upon embedded systems for higher level services like networking, user interfaces and file system management, are driving growth in fully-featured operating syst...
John A. Williams, Neil W. Bergmann, X. Xie
IFM
2007
Springer
245views Formal Methods» more  IFM 2007»
15 years 10 months ago
Co-simulation of Distributed Embedded Real-Time Control Systems
Development of computerized embedded control systems is difficult because it brings together systems theory, electrical engineering and computer science. The engineering and analys...
Marcel Verhoef, Peter Visser, Jozef Hooman, Jan F....
ICRA
2007
IEEE
149views Robotics» more  ICRA 2007»
15 years 10 months ago
daVinci Code: A Multi-Model Simulation and Analysis Tool for Multi-Body Systems
Abstract— This paper discusses the design and current capabilities of a new software tool, dVC, capable of simulating planar systems of bodies experiencing unilateral contacts wi...
Stephen Berard, Jeffrey C. Trinkle, Binh Nguyen, B...
ISCAS
2007
IEEE
106views Hardware» more  ISCAS 2007»
15 years 10 months ago
Ensemble Dependent Matrix Methodology for Probabilistic-Based Fault-tolerant Nanoscale Circuit Design
—Two probabilistic-based models, namely the Ensemble-Dependent Matrix model [1][3] and the Markov Random Field model [2], have been proposed to deal with faults in nanoscale syst...
Huifei Rao, Jie Chen, Changhong Yu, Woon Tiong Ang...