1898 search results - page 224 / 380 » Weak Keys for IDEA |
145
Voted
CORR
2008
Springer
15 years 3 months ago
2008
Springer
This paper explores the idea that the universe is a virtual reality created by information processing, and relates this strange idea to the findings of modern physics about the ph...
160
click to vote
ENTCS
2006
15 years 3 months ago
2006
Separation logic [20,21,14] began life as an extended formalisation of Burstall's treatment of list-mutating programs [8]. It rapidly became clear that there was more that it...
144
click to vote
SIGPLAN
2008
15 years 3 months ago
2008
Three key forces are shaping the modern Computer Science (CS) curriculum: (1) new topics/courses are squeezing out existing ones; (2) a focus on "big picture" and interd...
124
click to vote
JUCS
2002
15 years 3 months ago
2002
Abstract: Two of today's most used buzz-words in the context of software development are the terms Componentware and Distributed Object-System. The combination of both ideas i...
123
click to vote
TPDS
2010
15 years 2 months ago
2010
—In this paper we propose and evaluate an overlay distribution algorithm for P2P, chunk-based, streaming systems over forest-based topologies. In such systems, the stream is divi...