2607 search results - page 388 / 522 » On the Architecture of System Verification Environments |
158
click to vote
ISMAR
2003
IEEE
15 years 11 months ago
2003
IEEE
We present ARWin, a single user 3D augmented reality desktop window manager, placing 3D user interfaces into a physical desktop workspace. We explain our design considerations and...
173
click to vote
INFOCOM
2000
IEEE
15 years 11 months ago
2000
IEEE
—Bowman is an extensible platform for active networking: it layers active-networking functionality in user-space software over variants of the System V UNIX operating system. The...
202
click to vote
ICIAP
1999
ACM
15 years 10 months ago
1999
ACM
Real-world tasks often require real-time performances. However, in many practical cases, “just in time” responses are sufficient. This means that a system should be efficien...
151
click to vote
SRDS
1998
IEEE
15 years 10 months ago
1998
IEEE
Software-controlled cache prefetching and data forwarding are widely used techniques for tolerating memory latency in shared memory multiprocessors. However, some previous studies...
162
click to vote
INFOCOM
1993
IEEE
15 years 10 months ago
1993
IEEE
Progress in the field of high speed networking and distributed applications has led to a debate in the research community on the suitability of existing protocols such as TCP/IP ...