1204 search results - page 148 / 241 » Parallel concurrent ML |
175
click to vote
PPOPP
2006
ACM
16 years 4 days ago
2006
ACM
As multi-core architectures with Thread-Level Speculation (TLS) are becoming better understood, it is important to focus on TLS compilation. TLS compilers are interesting in that,...
130
click to vote
ARITH
2005
IEEE
15 years 12 months ago
2005
IEEE
The pipelined CORDIC with linear approximation to rotation has been proposed to achieve reductions in delay, power and area; however, the schemes for rotation (multiplication) and...
171
click to vote
ICDCS
2005
IEEE
15 years 11 months ago
2005
IEEE
Data reliability of distributed brick storage systems critically depends on the replica placement policy, and the two governing forces are repair speed and sensitivity to multiple...
168
click to vote
IPPS
2005
IEEE
15 years 11 months ago
2005
IEEE
In this paper, we propose, implement and analyze the performance of a Reconfigurable Sequential Consistency Algorithm (RSCA) using simulation. Extending the concepts of reconfigur...
156
click to vote
PDP
2005
IEEE
15 years 11 months ago
2005
IEEE
Boolean Equation Systems (BESs) allow to represent various problems encountered in the area of propositional logic programming and verification of concurrent systems. Several seq...