9110 search results - page 102 / 1822 » Formally-Based Design Evaluation |
107
click to vote
CHI
2008
ACM
15 years 10 months ago
2008
ACM
In this paper we present a software framework which supports the construction and evaluation of mixedfidelity prototypes for mobile devices. The framework is available for desktop...
TVLSI
2008
14 years 9 months ago
2008
Recently, it has become possible to implement floating-point cores on field-programmable gate arrays (FPGAs) to provide acceleration for the myriad applications that require high-p...
VLSID
2004
IEEE
15 years 10 months ago
2004
IEEE
As we move from deep submicron technology to nanotechnology for device manufacture, the need for defect-tolerant architectures is gaining importance. This is because, at the nanos...
BCSHCI
2007
14 years 11 months ago
2007
This paper presents the design and comparison of a mousebased interaction technique (hereafter IT) and two advanced IT, used in public spaces to support navigation in a 3D space. ...
VR
2010
IEEE
14 years 8 months ago
2010
IEEE
We present the development and evaluation of the Virtual Experience Test (VET). The VET is a survey instrument used to measure holistic virtual environment experiences based upon ...