15485 search results - page 2864 / 3097 » Computing Optimal Subsets |
220
click to vote
AB
2007
Springer
16 years 23 days ago
2007
Springer
A series of papers, all under the title of Algorithmic Algebraic Model Checking (AAMC), has sought to combine techniques from algorithmic algebra, model checking and dynamical syst...
153
click to vote
ATAL
2007
Springer
16 years 22 days ago
2007
Springer
This paper analyzes bilateral multi-issue negotiation between selfinterested autonomous agents. The agents have time constraints in the form of both deadlines and discount factors...
194
click to vote
CIE
2007
Springer
16 years 22 days ago
2007
Springer
In the framework of parameterized complexity, exploring how one parameter affects the complexity of a different parameterized (or unparameterized problem) is of general interest....
182
click to vote
HPCC
2007
Springer
16 years 22 days ago
2007
Springer
Simultaneous Multithreading (SMT)[1][2] and chip multiprocessors (CMP) processors [3] have emerged as the mainstream computing platform in major market segments, including PC, serv...
192
click to vote
ICS
2007
Tsinghua U.
16 years 21 days ago
2007
Tsinghua U.
Process arrival pattern, which denotes the timing when different processes arrive at an MPI collective operation, can have a significant impact on the performance of the operatio...