1243 search results - page 216 / 249 » Operating System Support for Distributed Multimedia |
SIGCSE
2004
ACM
15 years 5 months ago
2004
ACM
Many algorithm visualizations have been created, but little is known about which features are most important to their success. We believe that pedagogically useful visualizations ...
120
click to vote
PLDI
2009
ACM
15 years 6 months ago
2009
ACM
This paper presents λI , a language for dynamic tracking of information flow across multiple, interdependent dimensions of information. Typical dimensions of interest are integr...
SIGSOFT
2007
ACM
16 years 16 days ago
2007
ACM
Model checking techniques have traditionally dealt with temporal logic languages and automata interpreted over -words, i.e., infinite in the future but finite in the past. However...
146
click to vote
CANPC
2000
Springer
15 years 4 months ago
2000
Springer
Improvements in microprocessor and networking performance have made networks of workstations a very attractive platform for high-end parallel and distributed computing. However, t...
CIKM
2005
Springer
15 years 5 months ago
2005
Springer
With this work we aim to make a three-fold contribution. We first address the issue of supporting efficiently queries over string-attributes involving prefix, suffix, containmen...