1569 search results - page 66 / 314 » Programming contest strategy |
IAT
2003
IEEE
14 years 3 months ago
2003
IEEE
This paper studies how software agents influence the market behavior of human traders. Programmed traders with a passive arbitrage seeking strategy are introduced in a double auct...
SC
2000
ACM
14 years 2 months ago
2000
ACM
Algebraic multigrid methods offer the hope that multigrid convergence can be achieved (for at least some important applications) without a great deal of effort from engineers an...
ICCAD
2009
IEEE
13 years 7 months ago
2009
IEEE
A parallel computing approach for large-scale SPICE-accurate circuit simulation is described that is based on a new preconditioned iterative solver. The preconditioner involves the...
CSMR
2002
IEEE
14 years 2 months ago
2002
IEEE
With the growing popularity of the Java programming language for both client and server side applications in network-centric computing, there is a rising need for programming libr...
EUROGP
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. Model checking is a way of analysing programs and programlike structures to decide whether they satisfy a list of temporal logic statements describing desired behaviour. ...