3202 search results - page 463 / 641 » Memory access scheduling |
CRYPTO
2005
Springer
14 years 1 months ago
2005
Springer
We investigate methods for providing easy-to-check proofs of computational effort. Originally intended for discouraging spam, the concept has wide applicability as a method for co...
DIGRA
2005
Springer
14 years 1 months ago
2005
Springer
The video game heritage is being preserved especially on the Web: comments, screenshots, sounds, videos, etc. But one important element is missing: the environment in which we pla...
LCPC
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. A fundamental problem in the analysis of parallel programs is to determine when two statements in a program may run concurrently. This analysis is the parallel analog to ...
PASTE
2004
ACM
14 years 1 months ago
2004
ACM
Digital Signal Processors are widely used in critical embedded systems to pilot low-level, often critical functionalities. We describe a static analyzer based on abstract interpre...
OTM
2004
Springer
14 years 1 months ago
2004
Springer
This paper presents a context-based awareness mechanism designed for users who access web-based collaborative systems using mobile devices. The limited capabilities of such devices...