6885 search results - page 100 / 1377 » The micro-structure of use of help |
LCR
1998
Springer
14 years 2 months ago
1998
Springer
Programs accessing disk-resident arrays, called out-of-core programs, perform poorly in general due to an excessive number of I/O calls and insufficient help from compilers. In ord...
FMCAD
2000
Springer
14 years 1 months ago
2000
Springer
We take a fresh look at the problem of how to check safety properties of finite state machines. We are particularly interested in checking safety properties with the help of a SAT-...
CONEXT
2008
ACM
13 years 12 months ago
2008
ACM
We address the problem of finding indirect overlay paths that reduce the latency between pairs of nodes in an overlay. To this end we propose to rely on an Internet Coordinate Sys...
FLAIRS
2004
13 years 11 months ago
2004
The purpose of this paper is to propose a method to analyze creative music expressions of a performer in South Indian Classical Music (Carnatic Music). The method performs a quali...
ICAD
2004
13 years 11 months ago
2004
An orientation experiment was carried out in a spatially immersive virtual environment. The task of subjects was to navigate with 6 degrees of freedom flying method through a pred...