5630 search results - page 167 / 1126 » Computability in Specification |
126
click to vote
RANDOM
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. Redundancy has been utilized to achieve fault tolerant computation and to achieve reliable communication in networks of processors. These techniques can only be extended ...
140
click to vote
EXPCS
2007
15 years 8 months ago
2007
Experimental computer systems research typically ignores the end-user, modeling him, if at all, in overly simple ways. We argue that this (1) results in inadequate performance eva...
152
click to vote
BIRTHDAY
2010
Springer
15 years 5 months ago
2010
Springer
Many natural problems in computer science concern structures like graphs where elements are not inherently ordered. In contrast, Turing machines and other common models of computa...
120
click to vote
SIGCSE
2008
ACM
15 years 4 months ago
2008
ACM
Summer camps offer a ripe opportunity for increasing computer science diversity. This panel provides several examples of summer camps that specifically recruit from traditionally ...
169
click to vote
SOCO
2010
Springer
14 years 11 months ago
2010
Springer
Until recently, local governments in Spain were using machines with rolling cylinders for verifying taximeters. However, the condition of the tires can lead to errors in the proces...