11121 search results - page 178 / 2225 » Computing with Continuous Change |
189
click to vote
HPCC
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. CAN is a famous structured peer-to-peer network based on ddimensional torus topology with constant degree and logarithmical diameter, but suffers from poor scalability wh...
173
click to vote
TLCA
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. The intuitionistic fragment of the call-by-name version of Curien and Herbelin’s λµ˜µ-calculus is isolated and proved strongly normalising by means of an embedding ...
206
click to vote
ATAL
2003
Springer
16 years 5 days ago
2003
Springer
Interacting agents that interleave planning and execution must reach consensus on their commitments to each other. In domains where agents have varying degrees of interaction and ...
170
click to vote
DSN
2000
IEEE
15 years 11 months ago
2000
IEEE
The increasing number of Internet users has caused a dramatic increase in electronic commerce. This growth is outpacing technologies for dependability causing traditional views of...
204
click to vote
HPCA
2000
IEEE
15 years 11 months ago
2000
IEEE
We consider a variety of dynamic, hardware-based methods for exploiting load/store parallelism, including mechanisms that use memory dependence speculation. While previous work ha...