147 search results - page 15 / 30 » Using Model Checking for Analyzing Distributed Power Control... |
141
Voted
DAC
2008
ACM
16 years 5 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...
147
click to vote
CISS
2008
IEEE
15 years 11 months 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...
171
click to vote
RTCSA
1997
IEEE
15 years 8 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...
145
Voted
3DIM
2007
IEEE
15 years 11 months 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...
213
click to vote
HPDC
1998
IEEE
15 years 8 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...