1237 search results - page 183 / 248 » Strictness and Totality Analysis |
157
click to vote
IPPS
2006
IEEE
15 years 11 months ago
2006
IEEE
Due to shared cache contentions and interconnect delays, data prefetching is more critical in alleviating penalties from increasing memory latencies and demands on Chip-Multiproce...
279
Voted
PDP
2006
IEEE
15 years 11 months ago
2006
IEEE
Mobile ad hoc networks (MANETs) raise new challenges in designing protocols for solving the consensus problem. Among the others, how to design message efficient protocols so as to...
161
click to vote
RTSS
2006
IEEE
15 years 11 months ago
2006
IEEE
We present an optimal real-time scheduling algorithm for multiprocessors — one that satisfies all task deadlines, when the total utilization demand does not exceed the utilizat...
149
click to vote
ISPD
2006
ACM
15 years 11 months ago
2006
ACM
The existing decoupling capacitance optimization approaches meet constraints on input impedance for package. In this paper, we show that using impedance as constraints leads to la...
150
click to vote
APSEC
2005
IEEE
15 years 11 months ago
2005
IEEE
Requirements volatility is an important risk factor for software projects. Software measures can help in quantifying and predicting this risk. In this paper, we present an industr...