23406 search results - page 4318 / 4682 » Architecture, Design, Implementation |
259
click to vote
SBMF
2010
Springer
15 years 1 months ago
2010
Springer
Designers of concurrent and distributed algorithms usually express them using pseudo-code. In contrast, most verification techniques are based on more mathematically-oriented forma...
182
click to vote
SIGKDD
2010
15 years 1 months ago
2010
This paper suggests a framework for mining subjectively interesting pattern sets that is based on two components: (1) the encoding of prior information in a model for the data min...
221
click to vote
SIGMOD
2010
ACM
15 years 1 months ago
2010
ACM
This demonstration presents Crescando, an implementation of a distributed relational table that guarantees predictable response time on unpredictable workloads. In Crescando, data...
216
click to vote
SOCINFO
2010
15 years 1 months ago
2010
A huge amount of administrative effort is required for large wiki systems to produce and maintain high quality pages with existing naive access control policies. This paper introdu...
163
click to vote
TASLP
2010
15 years 1 months ago
2010
Reproducing a sampled sound field using an array of loudspeakers is a problem with well-appreciated applications to acoustics and ultrasound treatment. Loudspeaker signal design ha...