3031 search results - page 582 / 607 » Virtual development center |
APGV
2006
ACM
15 years 5 months ago
2006
ACM
Previous studies have shown that self-motion has an inhibiting effect on concurrent 3D motion perception. To investigate whether self-motion similarly impairs concurrent image mot...
APLAS
2006
ACM
15 years 5 months ago
2006
ACM
This document contains the Isabelle/HOL sources underlying our paper A bytecode logic for JML and types [2], updated to Isabelle 2008. We present a program logic for a subset of s...
125
click to vote
ASSETS
2006
ACM
15 years 5 months ago
2006
ACM
In previous work we have presented a prototype of an assistant system for the blind that can be used for self-localization and interactive object identification of static objects ...
100
click to vote
CASES
2006
ACM
15 years 5 months ago
2006
ACM
Random access memory (RAM) is tightly-constrained in many embedded systems. This is especially true for the least expensive, lowest-power embedded systems, such as sensor network ...
100
click to vote
HASKELL
2006
ACM
15 years 5 months ago
2006
ACM
Modern functional languages offer several attractive features to support development of reliable and secure software. However, in our efforts to use Haskell for systems programmin...