6978 search results - page 272 / 1396 » On Proofs in System P |
162
click to vote
PODC
1997
ACM
15 years 11 months ago
1997
ACM
Conditions on a shared object type T are given that are both necessary and sufficient for wait-free n-process consensus to be solvable using objects of type T and registers. The co...
171
click to vote
AAAI
2006
15 years 8 months ago
2006
We study the complexity of influencing elections through bribery: How computationally complex is it for an external actor to determine whether by a certain amount of bribing voter...
198
click to vote
ENTCS
2008
15 years 6 months ago
2008
The B+ tree is an ordered tree structure with a fringe list. It is the most widely used data structure for data organisation and searching in database systems specifically, and, p...
168
click to vote
TAPOS
1998
15 years 6 months ago
1998
There is a growing need, both for use within corporate intranets and within the rapidly evolving World Wide Web, to develop tools that are able to retrieve relevant textual inform...
194
click to vote
ALGORITHMICA
2011
14 years 10 months ago
2011
Speed scaling is a power management technique that involves dynamically changing the speed of a processor. This gives rise to dual-objective scheduling problems, where the operati...