11121 search results - page 178 / 2225 » Computing with Continuous Change |
139
Voted
HPCC
2007
Springer
15 years 9 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...
130
Voted
TLCA
2007
Springer
15 years 9 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 ...
148
Voted
ATAL
2003
Springer
15 years 9 months 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 ...
104
click to vote
DSN
2000
IEEE
15 years 8 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...
156
Voted
HPCA
2000
IEEE
15 years 8 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...