3206 search results - page 361 / 642 » How minds can be computational systems |
199
click to vote
IPPS
1999
IEEE
15 years 11 months ago
1999
IEEE
Abstract. We describe how the PVS verification system has been used to verify a safety property of a garbage collection algorithm, originally suggested by Ben-Ari. The safety prope...
140
click to vote
ICDCS
2010
IEEE
15 years 10 months ago
2010
IEEE
Abstract—To enable decentralised actions in very large distributed systems, it is often important to provide the nodes with global knowledge about the values of attributes across...
185
click to vote
DSN
2009
IEEE
15 years 10 months ago
2009
IEEE
In large storage systems, it is crucial to protect data from loss due to failures. Erasure codes lay the foundation of this protection, enabling systems to reconstruct lost data w...
182
click to vote
GROUP
2007
ACM
15 years 10 months ago
2007
ACM
Employees depend on other people in the enterprise for rapid access to important information. But current systems for finding experts do not adequately address the social implicat...
163
click to vote
VL
1995
IEEE
15 years 10 months ago
1995
IEEE
Underlying any single-user software visualization (SV) system is a visualization language onto which its users must map the computations they would like to visualize with the syst...