9110 search results - page 293 / 1822 » Formally-Based Design Evaluation |
160
click to vote
HICSS
2003
IEEE
15 years 12 months ago
2003
IEEE
Increasing health care costs put a great strain on national economies. In recent years there have been several national and regional research and development projects in Finland a...
167
click to vote
FCCM
2000
IEEE
15 years 11 months ago
2000
IEEE
Hardware compilation techniques which use highlevel programming languages to describe and synthesize hardware are gaining popularity. They are especially useful for reconfigurable...
178
click to vote
SIGGRAPH
1999
ACM
15 years 11 months ago
1999
ACM
In this paper we present a technique for computing the direct lighting in a three-dimensional scene containing area light sources. Our method correctly handles partial visibility ...
176
click to vote
SIGDOC
1997
ACM
15 years 10 months ago
1997
ACM
This paper describes the strengths and weaknesses of two usability assessment methods frequently applied to web sites. It uses case histories of WWW usability studies conducted by...
163
click to vote
ISCA
1994
IEEE
15 years 10 months ago
1994
IEEE
Today's commodity microprocessors require a low latency memory system to achieve high sustained performance. The conventional high-performance memory system provides fast dat...