7225 search results - page 252 / 1445 » Software is data too |
146
click to vote
IPPS
2005
IEEE
15 years 11 months ago
2005
IEEE
As energy consumption in high-performance systems has increased, thermal management has become a big challenge. Providing a cost-effective and detailed temperature sensing mechani...
165
click to vote
KBSE
2005
IEEE
15 years 11 months ago
2005
IEEE
We present a new model checking algorithm for verifying computation tree logic (CTL) properties. Our technique is based on using language inference to learn the fixpoints necessar...
149
click to vote
LCTRTS
2005
Springer
15 years 11 months ago
2005
Springer
Knuth’s buddy system is an attractive algorithm for managing storage allocation, and it can be made to operate in real-time. At some point, storage-management systems must eithe...
176
click to vote
ISSTA
2004
ACM
15 years 11 months ago
2004
ACM
Object oriented programming promotes reuse of classes in multiple contexts. Thus, a class is designed and implemented with several usage scenarios in mind, some of which possibly ...
168
click to vote
CODES
2003
IEEE
15 years 11 months ago
2003
IEEE
In this paper, we are concerned about the performance estimation of bus-based architectures assuming that the task partitioning on the processing components is already determined....