Sciweavers

2116 search results - page 345 / 424
» On Probabilistic Alternating Simulations
Sort
View
SC
2000
ACM
15 years 7 months ago
Efficient Wire Formats for High Performance Computing
High performance computing is being increasingly utilized in non-traditional circumstances where it must interoperate with other applications. For example, online visualization is...
Fabián E. Bustamante, Greg Eisenhauer, Kars...
AIPS
2007
15 years 6 months ago
Monitoring Plan Optimality During Execution
A great deal of research has addressed the problem of generating optimal plans, but these plans are of limited use in circumstances where noisy sensors, unanticipated exogenous ac...
Christian Fritz, Sheila A. McIlraith
CASES
2008
ACM
15 years 5 months ago
Predictable programming on a precision timed architecture
In a hard real-time embedded system, the time at which a result is computed is as important as the result itself. Modern processors go to extreme lengths to ensure their function ...
Ben Lickly, Isaac Liu, Sungjun Kim, Hiren D. Patel...
CCS
2008
ACM
15 years 5 months ago
Revocation games in ephemeral networks
A frequently proposed solution to node misbehavior in mobile ad hoc networks is to use reputation systems. But in ephemeral networks - a new breed of mobile networks where contact...
Maxim Raya, Mohammad Hossein Manshaei, Márk...
APVIS
2008
15 years 5 months ago
Height Ridge Computation and Filtering for Visualization
Motivated by the growing interest in the use of ridges in scientific visualization, we analyze the two height ridge definitions by Eberly and Lindeberg. We propose a raw feature d...
Ronald Peikert, Filip Sadlo