Sciweavers

23 search results - page 3 / 5
» Understanding the design trade-offs among current multicore ...
Sort
View
DAC
2008
ACM
14 years 7 months ago
Temperature management in multiprocessor SoCs using online learning
In deep submicron circuits, thermal hot spots and high temperature gradients increase the cooling costs, and degrade reliability and performance. In this paper, we propose a low-co...
Ayse Kivilcim Coskun, Tajana Simunic Rosing, Kenny...
FTRTFT
1998
Springer
13 years 10 months ago
On the Need for Practical Formal Methods
A controversial issue in the formal methods community is the degree to which mathematical sophistication and theorem proving skills should be needed to apply a formal method. A fun...
Constance L. Heitmeyer
LSMS
2007
Springer
14 years 12 days ago
AOC-by-Self-discovery Modeling and Simulation for HIV
Among HIV, immune cell and drug, exhibit interactions that are usually not well understood and as a result, cannot be accurately modeled. In this paper, Modeling by AOC is to under...
Chunxiao Zhao, Ning Zhong, Ying Hao
ISVC
2007
Springer
14 years 12 days ago
A Vision-Based Architecture for Intent Recognition
Abstract. Understanding intent is an important aspect of communication among people and is an essential component of the human cognitive system. This capability is particularly rel...
Alireza Tavakkoli, Richard Kelley, Christopher Kin...
SIGMETRICS
2002
ACM
105views Hardware» more  SIGMETRICS 2002»
13 years 5 months ago
Modeling and analysis of dynamic coscheduling in parallel and distributed environments
Scheduling in large-scale parallel systems has been and continues to be an important and challenging research problem. Several key factors, including the increasing use of off-the...
Mark S. Squillante, Yanyong Zhang, Anand Sivasubra...