8345 search results - page 1305 / 1669 » Design of Neuromorphic Hardwares |
272
click to vote
ISWC
1997
IEEE
15 years 11 months ago
1997
IEEE
We describe a prototype system that combines together the overlaid 3D graphics of augmented reality with the untethered freedom of mobile computing. The goal is to explore how the...
146
click to vote
SRDS
1997
IEEE
15 years 11 months ago
1997
IEEE
When creating mission-critical distributed systems using off-the-shelf components, it is important to assess the dependability of not only the hardware, but the software as well. ...
169
click to vote
INFOCOM
1996
IEEE
15 years 11 months ago
1996
IEEE
In this paper, we present a network service specifically designed for multimedia servers. It uses a histogram based traffic characterization and an overload control protocol to el...
171
click to vote
TPHOL
1996
IEEE
15 years 11 months ago
1996
IEEE
Nuprl and HOL are both tactic-based interactive theorem provers for higher-order logic, and both have been used in many substantial applications over the last decade. However, the ...
163
click to vote
SIGOPSE
1996
ACM
15 years 11 months ago
1996
ACM
We introduce server operating systems, which are sets of abstractions and runtime support for specialized, highperformance server applications. We have designed and are implementi...