3639 search results - page 589 / 728 » Provenance as Dependency Analysis |
117
Voted
DELTA
2004
IEEE
15 years 4 months ago
2004
IEEE
In this report we address the problem of static scheduling of realtime systems that include both hard and soft tasks. We consider systems in which both hard and soft tasks are per...
102
click to vote
DSN
2004
IEEE
15 years 4 months ago
2004
IEEE
Multi-homed and overlay networks are two widely studied approaches aimed at leveraging the inherent redundancy of the Internet's underlying routing infrastructure to enhance ...
156
Voted
DSN
2004
IEEE
15 years 4 months ago
2004
IEEE
The growing interest in ad hoc wireless network applications that are made of large and dense populations of lightweight system resources calls for scalable approaches to fault to...
116
Voted
COLT
2006
Springer
15 years 4 months ago
2006
Springer
We consider online learning in repeated decision problems, within the framework of a repeated game against an arbitrary opponent. For repeated matrix games, well known results esta...
116
Voted
FMCAD
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. Probabilistic techniques for verification of finite-state transition systems offer huge memory savings over deterministic techniques. The two leading probabilistic scheme...