4235 search results - page 676 / 847 » Processes in Space |
206
click to vote
ISLPED
2005
ACM
16 years 3 days ago
2005
ACM
This paper explores the power implications of replacing global chip wires with an on-chip network. We optimize network links by varying repeater spacing, link pipelining, and volt...
179
click to vote
SPAA
2005
ACM
16 years 3 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...
183
click to vote
CEFP
2005
Springer
16 years 3 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...
151
click to vote
CHARME
2005
Springer
16 years 3 days ago
2005
Springer
Today, verification is becoming the dominating factor for successful circuit designs. In this context formal verification techniques allow to prove the correctness of a circuit ...
160
click to vote
CIKM
2005
Springer
16 years 3 days ago
2005
Springer
On Line Analysis Processing (OLAP) is a technology basically created to provide users with tools in order to explore and navigate into data cubes. Unfortunately, in huge and spars...