1237 search results - page 163 / 248 » Strictness and Totality Analysis |
175
click to vote
IPPS
1997
IEEE
15 years 10 months ago
1997
IEEE
Tools for parallel systems today range from specification over debugging to performance analysis and more. Typically, they help the programmers of parallel algorithms from the ea...
198
click to vote
DCC
2004
IEEE
15 years 9 months ago
2004
IEEE
Providing continuous video playback with graceful quality degradation over wireless channels is fraught with challenges. Video applications require stringent delay guarantees and ...
169
click to vote
CCS
2006
ACM
15 years 9 months ago
2006
ACM
In this paper, we introduce the concept of witness anonymity for peer-to-peer systems. Witness anonymity combines the seemingly conflicting requirements of anonymity (for honest p...
171
click to vote
COLT
2006
Springer
15 years 9 months ago
2006
Springer
In an online convex optimization problem a decision-maker makes a sequence of decisions, i.e., chooses a sequence of points in Euclidean space, from a fixed feasible set. After ea...
194
click to vote
IJCNN
2000
IEEE
15 years 9 months ago
2000
IEEE
The field of human-computer interaction has been widely investigated in the last years, resulting in a variety of systems used in different application fields like virtual reality...