3424 search results - page 72 / 685 » Building Diverse Computer Systems |
INFOVIS
1999
IEEE
14 years 2 days ago
1999
IEEE
We examine how animating a viewpoint change in a spatial information system affects a user's ability to build a mental map of the information in the space. We found that anim...
COOPIS
1996
IEEE
13 years 12 months ago
1996
IEEE
Rational drug design is an example where integrated access to heterogeneous scientific data is urgently needed, as it becomes rapidly available due to new experimental and computa...
CORR
2008
Springer
13 years 7 months ago
2008
Springer
Abstract We investigate here a new version of the Calculus of Inductive Constructions (CIC) on which the proof assistant Coq is based: the Calculus of Congruent Inductive Construct...
HICSS
1997
IEEE
14 years 8 hour ago
1997
IEEE
The SB-PRAM is a massively parallel, uniform memory access (UMA) shared memory computer. The main ideas of the design are multithreading on instruction level, hashing of the addre...
CCS
2008
ACM
13 years 9 months ago
2008
ACM
We introduce a new practical mechanism for remote data storage with efficient access pattern privacy and correctness. A storage client can deploy this mechanism to issue encrypted...