4306 search results - page 411 / 862 » Timed Testing with TorX |
165
click to vote
VR
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper, we report the results of a pilot study designed to evaluate the impact of signs as navigation aids in virtual worlds. Test subjects were divided into three groups (...
159
click to vote
IPPS
2006
IEEE
16 years 26 days ago
2006
IEEE
The problem of data broadcasting over multiple channels consists in partitioning data among channels, depending on data popularities, and then cyclically transmitting them over ea...
226
click to vote
SC
2005
ACM
16 years 12 days ago
2005
ACM
On SMP clusters, mixed mode collective MPI communications, which use shared memory communications within SMP nodes and point-to-point communications between SMP nodes, are more eï...
188
click to vote
GD
2005
Springer
16 years 11 days ago
2005
Springer
A clustered graph has its vertices grouped into clusters in a hierarchical way via subset inclusion, thereby imposing a tree structure on the clustering relationship. The c-planari...
179
click to vote
RE
2001
Springer
15 years 11 months ago
2001
Springer
A logic model checker can be an effective tool for debugging software applications. A stumbling block can be that model checking tools expect the user to supply a formal statement...