Sciweavers

6300 search results - page 1022 / 1260
» We have it easy, but do we have it right
Sort
View
APGV
2006
ACM
131views Visualization» more  APGV 2006»
15 years 5 months ago
Minification influences spatial judgments in virtual environments
Distances in immersive virtual environments (VEs) have been commonly reported as being spatially compressed while the same judgments are performed accurately in real space. Previo...
Scott A. Kuhl, William B. Thompson, Sarah H. Creem...
ATAL
2006
Springer
15 years 5 months ago
Run-time model checking of interaction and deontic models for multi-agent systems
This paper is concerned with the problem of obtaining predictable interactions between groups of agents in open environments when individual agents do not expose their bdi logic. ...
Nardine Osman, David Robertson, Christopher Walton
CSMR
2004
IEEE
15 years 5 months ago
Rewrite Systems for Symbolic Evaluation of C-like Preprocessing
Automatic analysis of programs with preprocessing directives and conditional compilation is challenging. The difficulties range from parsing to program understanding. Symbolic eva...
Mario Latendresse
119
Voted
EUROPAR
2004
Springer
15 years 5 months ago
Imprecise Exceptions in Distributed Parallel Components
Abstract. Modern microprocessors have sacrificed the exactness of exceptions for improved performance long ago. This is a side effect of reordering instructions so that the micropr...
Kostadin Damevski, Steven G. Parker
EUROPAR
2006
Springer
15 years 5 months ago
Toward a Definition of and Linguistic Support for Partial Quiescence
Abstract. The global quiescence of a distributed computation (or distributed termination detection) is an important problem. Some concurrent programming languages and systems provi...
Billy Yan-Kit Man, Hiu Ning (Angela) Chan, Andrew ...
« Prev « First page 1022 / 1260 Last » Next »