8771 search results - page 352 / 1755 » Different by design |
181
click to vote
USENIX
1996
15 years 8 months ago
1996
lmbench is a micro-benchmark suite designed to focus attention on the basic building blocks of many common system applications, such as databases, simulations, software developmen...
197
click to vote
CADE
2004
Springer
16 years 7 months ago
2004
Springer
Interactive theorem provers can model complex systems, but require much effort to prove theorems. Resolution theorem provers are automatic and powerful, but they are designed to be...
155
click to vote
ITNG
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper presents a multimodal social networking system aimed at sharing geographic information among proximate users. The system provides users with a traditional web-based int...
193
click to vote
ICC
2007
IEEE
16 years 1 months ago
2007
IEEE
— Without the multicast support from the underlying networks, overlay multicast has the advantage of implementing inter-domain multicast communications. Usually, overlay multicas...
170
click to vote
VR
2000
IEEE
15 years 11 months ago
2000
IEEE
In the paper, we describe a series of stages in the development of a new virtual locomotion device designed to enhance remote, interpersonal communications. The latest system, cal...