7943 search results - page 1245 / 1589 » A calculus for costed computations |
210
click to vote
ESAS
2004
Springer
16 years 5 days ago
2004
Springer
In this paper we describe the advantages of using iterative Diffie-Hellman (IDH) key trees for mobile ad-hoc group communication. We focus on the Treebased Group Diffie-Hellman (...
178
click to vote
EUROPAR
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. This paper is devoted to scheduling a large collection of independent tasks onto a distributed heterogeneous platform, which is composed of a set of servers. Each server ...
163
click to vote
FPGA
2004
ACM
16 years 5 days ago
2004
ACM
This paper shows a method to verifying the thermal status of complex FPGA-based circuits like microprocessors. Thus, the designer can evaluate if a particular block is working bey...
172
click to vote
GRID
2004
Springer
16 years 5 days ago
2004
Springer
A major hurdle facing data intensive grid applications is the appropriate handling of failures that occur in the grid-environment. Implementing the fault-tolerance transparently a...
165
click to vote
ICGI
2004
Springer
16 years 5 days ago
2004
Springer
State Merging algorithms, such as Rodney Price’s EDSM (Evidence-Driven State Merging) algorithm, have been reasonably successful at solving DFA-learning problems. EDSM, however, ...