41 search results - page 7 / 9 » Augmenting B with Control Annotations |
ISSTA
2009
ACM
14 years 2 months ago
2009
ACM
During testing, the execution of valid cases is only one part of the task. Checking the behavior in boundary situations and in the presence of errors is an equally important subje...
APGV
2006
ACM
13 years 11 months ago
2006
ACM
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...
CODES
2008
IEEE
14 years 2 months ago
2008
IEEE
Application-specific system-on-chip platforms create the opportunity to customize the cache configuration for optimal performance with minimal chip estate. Simulation, in partic...
CHI
2009
ACM
14 years 8 months ago
2009
ACM
Passive brain-computer interfaces are designed to use brain activity as an additional input, allowing the adaptation of the interface in real time according to the user's men...
INFOCOM
2006
IEEE
14 years 1 months ago
2006
IEEE
—We present MobiStream— a video streaming system that exploits the perceptual value in video content and the characteristics of the link layer and physical layer channels to en...