4460 search results - page 782 / 892 » Formal methods for interactive systems |
119
Voted
IISWC
2008
IEEE
15 years 10 months ago
2008
IEEE
The design and evaluation of microprocessor architectures is a difficult and time-consuming task. Although small, handcoded microbenchmarks can be used to accelerate performance e...
136
Voted
SC
2003
ACM
15 years 8 months ago
2003
ACM
The need to provide remote visualization of large datasets with adequate levels of quality and interactivity has become a major impediment to distributed collaboration in Computat...
129
click to vote
CHI
1993
ACM
15 years 7 months ago
1993
ACM
An evaluation of earcons was carried out to see whether they are an effective means of communicating information in sound. An initial experiment showed that earcons were better th...
114
click to vote
SIGGRAPH
1994
ACM
15 years 7 months ago
1994
ACM
The use of double-buffered displays, in which the previous image is displayed until the next image is complete, can impair the interactivity of systems that require tight coupling...
166
Voted
CORR
2010
Springer
15 years 2 months ago
2010
Springer
The search task and the system both affect the demand on cognitive resources during information search. In some situations, the demands may become too high for a person. This arti...