14165 search results - page 2629 / 2833 » The generalized two-server problem |
150
click to vote
COCOON
2007
Springer
16 years 22 days ago
2007
Springer
We investigate the connection between propositional proof systems and their canonical pairs. It is known that simulations between proof systems translate to reductions between the...
205
click to vote
EMSOFT
2007
Springer
16 years 21 days ago
2007
Springer
We address the problem of mapping a set of processes which communicate synchronously on a distributed platform. The Time Triggered Architecture (TTA) proposed by Kopetz for the co...
157
click to vote
EMSOFT
2007
Springer
16 years 21 days ago
2007
Springer
Most recent embedded systems use caches to improve their average performance. Current timing analyses are able to compute safe timing guarantees for these systems, if tasks are ru...
197
click to vote
ESAS
2007
Springer
16 years 21 days ago
2007
Springer
The problem of secure routing in mobile ad hoc networks is long-standing and has been extensively studied by researchers. Recently, techniques of aggregating signatures have been a...
168
click to vote
EUROCAST
2007
Springer
16 years 21 days ago
2007
Springer
Abstract a paradigm of modern Machine Learning (ML) which uses rewards and punishments to guide the learning process. One of the central ideas of RL is learning by “direct-online...