17920 search results - page 3382 / 3584 » Recentering computer science |
144
click to vote
ICS
2009
Tsinghua U.
15 years 9 months ago
2009
Tsinghua U.
Modern GPUs offer much computing power at a very modest cost. Even though CUDA and other related recent developments are accelerating the use of GPUs for general purpose applicati...
163
click to vote
CONCUR
2001
Springer
15 years 9 months ago
2001
Springer
A key issue in the design of a model-checking tool is the choice of the formal language with which properties are specified. It is now recognized that a good language should exten...
152
Voted
ICS
2001
Tsinghua U.
15 years 9 months ago
2001
Tsinghua U.
Recent proposals for Chip Multiprocessors (CMPs) advocate speculative, or implicit, threading in which the hardware employs prediction to peel off instruction sequences (i.e., imp...
155
Voted
LPNMR
2001
Springer
15 years 9 months ago
2001
Springer
Abstract This paper describes a generic compiler, called plp, for translating ordered logic programs into standard logic programs under the answer set semantics. In an ordered logi...
174
click to vote
SCALESPACE
2001
Springer
15 years 9 months ago
2001
Springer
Receptive field sensitivity profiles of visual front-end cells in the LGN and V1 area in intact animals can be measured with increasing accuracy, both in the spatial and temporal...