4460 search results - page 695 / 892 » Resources in process algebra |
156
click to vote
SIGIR
2009
ACM
16 years 1 months ago
2009
ACM
Cross Language Information Retrieval (CLIR) between languages of the same origin is an interesting topic of research. The similarity of the writing systems used for these language...
171
click to vote
CEC
2008
IEEE
16 years 29 days ago
2008
IEEE
— The high-level synthesis process involves three interdependent and NP-complete optimization problems: (i) the operation scheduling, (ii) the resource allocation, and (iii) the ...
161
click to vote
DSN
2008
IEEE
16 years 28 days ago
2008
IEEE
As devices continue to scale, future shipped hardware will likely fail due to in-the-field hardware faults. As traditional redundancy-based hardware reliability solutions that ta...
169
click to vote
HPDC
2008
IEEE
16 years 28 days ago
2008
IEEE
Structured Overlay Networks provide a promising platform for high performance applications since they are scalable, fault-tolerant and self-managing. Structured overlays provide l...
188
click to vote
HPDC
2008
IEEE
16 years 28 days ago
2008
IEEE
A lease is a token which grants its owner exclusive access to a resource for a defined span of time. In order to be able to tolerate failures, leases need to be coordinated by di...