92 search results - page 6 / 19 » Call for Papers - Interfaces Special Issue: Analytics in Spo... |
MKM
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. Formal verification of numerical programs is notoriously difficult. On the one hand, there exist automatic tools specialized in floatingpoint arithmetic, such as Gappa...
ANSS
2002
IEEE
14 years 15 days ago
2002
IEEE
Clusters of workstations have emerged as a costeffective solution to high performance computing problem. To take advantage of any opportunities, however, effective scheduling tech...
ANSS
2001
IEEE
13 years 11 months ago
2001
IEEE
This paper examines load sharing in a network of workstations (NOW). It proposes a special load sharing method referred to as epoch load sharing. With this policy, load is evenly ...
MP
2010
13 years 6 months ago
2010
Combinatorial optimization games form an important subclass of cooperative games. In recent years, increased attention has been given to the issue of finding good cost shares for...
AAMAS
2007
Springer
13 years 7 months ago
2007
Springer
We consider a repeated Prisoner’s Dilemma game where two independent learning agents play against each other. We assume that the players can observe each others’ action but ar...