6155 search results - page 318 / 1231 » A language for multiple models of computation |
200
click to vote
TCC
2005
Springer
16 years 6 days ago
2005
Springer
We address the problem of using untrusted (potentially malicious) cryptographic helpers. We provide a formal security definition for securely outsourcing computations from a comp...
198
click to vote
RSS
2007
15 years 8 months ago
2007
— Recent progress in the algorithm as well as the processor power have made the dynamics simulation of complex kinematic chains more realistic in various fields such as human mo...
202
click to vote
NOSSDAV
2004
Springer
16 years 2 days ago
2004
Springer
We propose an energy-aware video streaming system for portable computing devices, in which the video can be played back for the specified duration within the remaining battery am...
196
click to vote
SIGMOD
2004
ACM
16 years 6 months ago
2004
ACM
We present new algorithms on commodity graphics processors to perform fast computation of several common database operations. Specifically, we consider operations such as conjunct...
168
click to vote
ISPDC
2005
IEEE
16 years 9 days ago
2005
IEEE
Multiplication of mobile devices and generalized use of wireless networks imply changes on the design and execution of distributed software applications targeting ubiquitous compu...