1546 search results - page 145 / 310 » Context-Aware Computing with Sound |
259
click to vote
VSTTE
2012
Springer
14 years 19 days ago
2012
Springer
A piece of code in a computer program is infeasible if it cannot be part of any normally-terminating execution of the program. We develop an algorithm for the automatic detection o...
153
click to vote
CONCUR
2012
Springer
13 years 7 months ago
2012
Springer
Abstract. Linearizability is a commonly accepted notion of correctness for libraries of concurrent algorithms. Unfortunately, it assumes a complete isolation between a library and ...
255
click to vote
Book
"This is a book about using electronic techniques to record, synthesize, process,
and analyze musical sounds, a practice which came into its modern form in the
years 1948-19...
139
Voted
FOCS
2009
IEEE
15 years 12 months ago
2009
IEEE
— The question of whether or not parallel repetition reduces the soundness error is a fundamental question in the theory of protocols. While parallel repetition reduces (at an ex...
151
Voted
MM
2009
ACM
15 years 11 months ago
2009
ACM
The computational power and sensory capabilities of mobile devices are increasing dramatically these days, rendering them suitable for real-time sound synthesis and various musica...