9532 search results - page 285 / 1907 » Logic, Graphs, and Algorithms |
190
click to vote
VR
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper focuses on the distributed architecture of the collaborative augmented reality system Studierstube. The system allows multiple users to experience a shared 3D workspace...
134
click to vote
DFT
2005
IEEE
16 years 8 days ago
2005
IEEE
In this paper, we present two novel methodologies for testing the interconnect fabrics of network-on-chip (NoC) based chips. Both use the concept of recursive testing, with differ...
168
click to vote
VLSID
1999
IEEE
15 years 11 months ago
1999
IEEE
Residue Number System based applications involve modulo-arithmetic which is typically implemented using look-up-tables (LUTs) for a small value of modulus. In this paper, we prese...
215
click to vote
ASIAN
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Clever algorithm design is sometimes superseded by simple encodings into logic. We apply this motto to a few case studies in the formal verification of security propertie...
215
click to vote
Lecture Notes
"This is a standard senior-level algorithms class required of every computer science undergraduate and graduate student at the University of Illinois."