7766 search results - page 1134 / 1554 » Testing Nondeterminate Systems |
113
click to vote
PODC
1996
ACM
15 years 8 months ago
1996
ACM
Drawing ideas from previous authors, we present a new non-blocking concurrent queue algorithm and a new twolock queue algorithm in which one enqueue and one dequeue can proceed co...
127
click to vote
AFRIGRAPH
2007
ACM
15 years 8 months ago
2007
ACM
Real objects present an enormous amount of detail, including aging effects. Artists need an intuitive control when they iteratively review and redesign their work to achieve a spe...
148
click to vote
ASSETS
2007
ACM
15 years 8 months ago
2007
ACM
Mobile phones can provide a number of benefits to older people. However, most mobile phone designs and form factors are targeted at younger people and middle-aged adults. To infor...
126
click to vote
CANDC
2007
ACM
15 years 8 months ago
2007
ACM
Collaborative creativity is traditionally supported by formal techniques, such as brainstorming. These techniques improve the idea-generation process by creating group synergies, ...
135
click to vote
CDC
2009
IEEE
15 years 8 months ago
2009
IEEE
In this paper we analyze the problem of estimating a function from different noisy data sets collected by spatially distributed sensors and subject to unknown temporal shifts. We p...