51986 search results - page 10280 / 10398 » Are There New Models of Computation |
122
Voted
SOSP
2007
ACM
15 years 9 months ago
2007
ACM
Researchers have made great strides in improving the fault tolerance of both centralized and replicated systems against arbitrary (Byzantine) faults. However, there are hard limit...
QSHINE
2009
IEEE
15 years 7 months ago
2009
IEEE
PlanetLab is a global scale platform for experimentation of new networking applications in a real environment. It consists of several nodes, offered by academic institutions or co...
158
Voted
ICSE
2007
IEEE-ACM
15 years 6 months ago
2007
IEEE-ACM
ACL2 is the latest inception of the Boyer-Moore theorem prover, the 2005 recipient of the ACM Software System Award. In the hands of an expert, it feels like a finely tuned race ...
121
click to vote
ICFP
1999
ACM
15 years 5 months ago
1999
ACM
The MrEd virtual machine serves both as the implementation platform for the DrScheme programming environment, and as the underlying Scheme engine for executing expressions and pro...
95
Voted
AGENTS
1997
Springer
15 years 4 months ago
1997
Springer
The Robot World Cup Initiative (RoboCup) is an attempt to foster AI and intelligent robotics research by providing a standard problem where wide range of technologies can be integ...