10870 search results - page 1999 / 2174 » Model Checking Programs |
132
click to vote
ISLPED
2004
ACM
15 years 7 months ago
2004
ACM
This paper presents a delay optimal FPGA clustering algorithm targeting low power. We assume that the configurable logic blocks of the FPGA can be programmed using either a high s...
101
click to vote
SC
2004
ACM
15 years 7 months ago
2004
ACM
There exist many application classes for which the users have significant flexibility in the quality of output they desire. At the same time, there are other constraints, such a...
120
click to vote
SC
2004
ACM
15 years 7 months ago
2004
ACM
RPC is one of the programming models envisioned for the Grid. In Internet connected Large Scale Grids such as Desktop Grids, nodes and networks failures are not rare events. This ...
102
click to vote
WMPI
2004
ACM
15 years 7 months ago
2004
ACM
High-performance out-of-order processors spend a significant portion of their execution time on the incorrect program path even though they employ aggressive branch prediction al...
127
click to vote
CIA
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Today’s software platforms that support the construction of agent systems in accordance with the FIPA specifications essentially provide enabling infrastructure servic...