7820 search results - page 1283 / 1564 » Formalization of Time and Space |
186
click to vote
SPAA
2005
ACM
16 years 7 days ago
2005
ACM
The non-blocking work-stealing algorithm of Arora, Blumofe, and Plaxton (henceforth ABP work-stealing) is on its way to becoming the multiprocessor load balancing technology of ch...
177
click to vote
ACIVS
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. The Full Search Block-Matching Motion Estimation (FSBME) algorithm is often employed in video coding for its regular dataflow and straightforward architectures. By iterat...
170
click to vote
ATAL
2005
Springer
16 years 7 days ago
2005
Springer
A peer-to-peer(P2P) system comprises a network of nodes that are capable of sharing and exchanging resources with one another. Recent studies of P2P networks show that many resour...
149
click to vote
CAISE
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. Computers support more and more tasks in the personal and professional activities of users. Such user tasks increasingly span large periods of time and many locations acr...
187
click to vote
CEFP
2005
Springer
16 years 7 days ago
2005
Springer
This chapter describes Hume: a functionally-based language for programming with bounded resource usage, including time and space properties. The purpose of the Hume language design...