147 search results - page 15 / 30 » Using Model Checking for Analyzing Distributed Power Control... |
159
click to vote
DAC
2008
ACM
16 years 6 months ago
2008
ACM
This paper discusses the use of networks-on-chip (NoCs) consisting of multiple voltage-frequency islands to cope with power consumption, clock distribution and parameter variation...
171
click to vote
CISS
2008
IEEE
16 years 10 days ago
2008
IEEE
—Beyond signal processing applications, frames are also powerful tools for modeling the sensing and information processing of many biological and man-made systems that exhibit in...
188
click to vote
RTCSA
1997
IEEE
15 years 10 months ago
1997
IEEE
Although modern control theories have been successfully applied to solve a variety of problems, they are often mathematically and physically too specific to describe and analyze t...
173
click to vote
3DIM
2007
IEEE
16 years 6 days ago
2007
IEEE
In this paper, we present a new algorithm to reconstruct 3D surfaces from an unorganized point cloud based on generalizing the MPU implicit algorithm through introducing a powerfu...
236
click to vote
HPDC
1998
IEEE
15 years 10 months ago
1998
IEEE
Conventional resource management systems use a system model to describe resources and a centralized scheduler to control their allocation. We argue that this paradigm does not ada...