1833 search results - page 147 / 367 » Mechanized Verification with Sharing |
105
click to vote
INFOCOM
2009
IEEE
15 years 11 months ago
2009
IEEE
—Channel-aware scheduling strategies - such as the CDF Scheduler (CS) algorithm for the CDMA/HDR systems provide an effective mechanism for utilizing the channel data rate for im...
147
click to vote
CSSE
2008
IEEE
15 years 11 months ago
2008
IEEE
Version control helps coordinating a group of people working concurrently to achieve a shared objective. Concurrency control helps coordinating a group of threads working concurre...
148
click to vote
SAINT
2008
IEEE
15 years 11 months ago
2008
IEEE
In this paper we present an online algorithm that attacks the problem of placing relay nodes in regions where high localized congestion is detected. Congestion refers to the netwo...
140
click to vote
AIMS
2008
Springer
15 years 11 months ago
2008
Springer
It has been shown that sets of convergent operators with a shared fixed point can simulate autonomic control mechanisms, but many questions remain about this management technique....
138
click to vote
ACSD
2007
IEEE
15 years 11 months ago
2007
IEEE
Modern multiprocessor embedded systems execute a large number of tasks on shared processors and handle their complex communications on shared communication networks. Traditional m...