5273 search results - page 86 / 1055 » Improving quality together |
177
click to vote
ISSTA
1998
ACM
15 years 10 months ago
1998
ACM
We present various techniques for improving the time and space efficiency of symbolic model checking for system requirements specified as synchronous finite state machines. We use...
162
click to vote
ACSW
2006
15 years 7 months ago
2006
Active Grids are a form of grid infrastructure where the grid network is active and programmable. These grids directly support applications with value added services such as data ...
145
click to vote
CSCW
2006
ACM
16 years 8 days ago
2006
ACM
In this paper, we describe a range of audio problems that impact the effectiveness of audio conferences and detail the solutions we have devised to address these problems. We cond...
175
click to vote
VR
2009
IEEE
16 years 1 months ago
2009
IEEE
This paper reports one experiment conducted to evaluate the influence of oscillating camera motions on the perception of traveled distances in virtual environments. In the experi...
175
click to vote
ICPADS
2008
IEEE
16 years 22 days ago
2008
IEEE
The need to parallelise desktop applications is becoming increasingly essential with the mainstream adoption of multi-cores. In object-oriented languages, sequential iterators han...