2048 search results - page 178 / 410 » The Tale of Two Projects - Abstract |
184
Voted
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...
154
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...
160
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...
119
Voted
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 ...
139
Voted
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...