8874 search results - page 1644 / 1775 » A New Implementation of Automath |
148
click to vote
INFOVIS
2005
IEEE
15 years 10 months ago
2005
IEEE
We present PRISAD, the first generic rendering infrastructure for information visualization applications that use the accordion drawing technique: rubber-sheet navigation with gu...
135
click to vote
IPPS
2005
IEEE
15 years 10 months ago
2005
IEEE
The Distributed Shared Memory (DSM) model is designed to leverage the ease of programming of the shared memory paradigm, while enabling the highperformance by expressing locality ...
136
click to vote
ISCA
2005
IEEE
15 years 10 months ago
2005
IEEE
The load-store unit is a performance critical component of a dynamically-scheduled processor. It is also a complex and non-scalable component. Several recently proposed techniques...
132
click to vote
ISCAS
2005
IEEE
15 years 10 months ago
2005
IEEE
Recent work has shown that the use of switched current methods can provide an effective route to implementation of analog IC functionality using a standard digital CMOS process. Fu...
135
click to vote
ISM
2005
IEEE
15 years 10 months ago
2005
IEEE
We designed eSports—a collaborative and synchronous video annotation platform, which is to be used in Internet scale cross-platform grid computing environment to facilitate Comp...