5638 search results - page 201 / 1128 » On presence |
176
click to vote
ASPDAC
2007
ACM
15 years 10 months ago
2007
ACM
- A Cyclic-CPRS (Column Parity Row Selection) technique is presented to diagnose built-in self tested (BISTed) circuits, even in the presence of many unknowns and transient errors....
189
click to vote
ECOOP
2007
Springer
15 years 10 months ago
2007
Springer
Object invariants describe the consistency of object states, and are crucial for reasoning about the correctness of object-oriented programs. However, reasoning about object invari...
227
click to vote
ICDCS
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper presents GeoGrid, a geographical location service overlay network system, for providing scalable location-based services to a large and growing number of mobile users. ...
192
click to vote
CHI
1995
ACM
15 years 10 months ago
1995
ACM
This paper explores the issue of user embodiment within collaborative virtual environments. By user embodiment we mean the provision of users with appropriate body images so as to...
204
click to vote
ECOOP
1995
Springer
15 years 10 months ago
1995
Springer
Optimizing compilers for object-oriented languages apply static class analysis and other techniques to try to deduce precise information about the possible classes of the receivers...