3208 search results - page 428 / 642 » A Lower Bound for Primality |
156
click to vote
IROS
2007
IEEE
16 years 28 days ago
2007
IEEE
—This paper describes efficient utilization of human time by two means: prioritization of human tasks and maximizing multirobot team size. We propose an efficient scheduling algo...
150
click to vote
RTCSA
2007
IEEE
16 years 27 days ago
2007
IEEE
We propose Virtual Full Replication by Adaptive segmentation (ViFuR-A), and evaluate its ability to maintain scalability in a replicated real-time database. With full replication ...
145
click to vote
ASIACRYPT
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. In the standard general-adversary model for multi-party protocols, a global adversary structure is given, and every party must trust in this particular structure. We intr...
152
click to vote
ER
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. We investigate the computational complexity of reasoning over various fragments of the Extended Entity-Relationship (EER) language, which includes a number of constructs:...
159
click to vote
EUC
2007
Springer
16 years 24 days ago
2007
Springer
We demonstrate an improved consensus-driven utility accrual scheduling algorithm (DUA-CLA) for distributable threads which execute under run-time uncertainties in execution time, ...