2635 search results - page 96 / 527 » Computing multihomogeneous resultants using straight-line pr... |
146
click to vote
SC
2000
ACM
15 years 8 months ago
2000
ACM
Adaptive applications have computational workloads and communication patterns which change unpredictably at runtime, requiring dynamic load balancing to achieve scalable performan...
129
click to vote
SPIN
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Software model checking problems generally contain two different types of non-determinism: 1) non-deterministically chosen values; 2) the choice of interleaving among th...
131
click to vote
PPSN
2004
Springer
15 years 9 months ago
2004
Springer
Genetic Programming (GP) provides evolutionary methods for problems with tree representations. A recent development in Genetic Algorithms (GAs) has led to principled algorithms cal...
120
click to vote
ICDCSW
2002
IEEE
15 years 9 months ago
2002
IEEE
Event-based middleware is currently being applied for application component integration in a range of application domains. As a result, a variety of event services have been propo...
130
click to vote
CADE
2004
Springer
16 years 4 months ago
2004
Springer
LRR [3] is a rewriting system developed at the Computer Science Department of University of Houston. LRR has two subsystems: Smaran (for tabled rewriting), and TGR (for untabled re...