2274 search results - page 198 / 455 » A Tale of Two Projects |
191
click to vote
CAV
1998
Springer
15 years 8 months ago
1998
Springer
As a pedagogical exercise in ACL2, we formalize and prove the correctness of a write invalidate cache scheme. In our formalization, an arbitrary number of processors, each with its...
161
Voted
ICCV
1995
IEEE
15 years 7 months ago
1995
IEEE
Recognition systems attempt to recover information about the identity of observed objects and their location in the environment. A fundamental problem in recognition is pose estima...
166
Voted
SIGMETRICS
1995
ACM
15 years 7 months ago
1995
ACM
Synthesizing architectural requirements from an application viewpoint can help in making important architectural design decisions towards building large scale parallel machines. I...
124
click to vote
ELPUB
2008
ACM
15 years 5 months ago
2008
ACM
It has been noted that one of the potential benefits of Open Access is the increase in visibility for research output from less developed countries. However little is known about ...
143
click to vote
SIROCCO
2007
15 years 5 months ago
2007
We consider the problem of periodic exploration of all nodes in undirected graphs by using a nite state automaton called later a robot. The robot, using a constant number of state...