17298 search results - page 133 / 3460 » Abstract computing machines |
118
Voted
RSP
2000
IEEE
15 years 6 months ago
2000
IEEE
Networked reconfiguration is an enabling technology for cost effective service deployment and maintenance. A hardware virtual machine to enable this networked reconfigurapresented...
101
Voted
BIRTHDAY
2008
Springer
15 years 4 months ago
2008
Springer
ility concepts in abstract data type specification, 30 years later Donald Sannella1 and Andrzej Tarlecki2,3 1 Laboratory for Foundations of Computer Science, University of Edinburg...
127
Voted
JVA
2006
IEEE
15 years 8 months ago
2006
IEEE
History repeats itself. Since the invention of the programmable computer, numerous computer scientists keep dedicating their professional lives to the design of “the single, bes...
114
Voted
FAC
2002
15 years 2 months ago
2002
Parallel computers have not yet had the expected impact on mainstream computing. Parallelism adds a level of complexity to the programming task that makes it very error-prone. More...
110
click to vote
CORR
2008
Springer
15 years 2 months ago
2008
Springer
We prove that every computably enumerable (c.e.) random real is provable in Peano Arithmetic (PA) to be c.e. random. A major step in the proof is to show that the theorem stating ...