6862 search results - page 1337 / 1373 » Modeling Parallel Applications Performance on Heterogeneous ... |
QOFIS
2001
Springer
14 years 28 days ago
2001
Springer
With the lack of admission control and resource reservation mechanisms in the Internet, overload situations can only be avoided by having the end systems deploying congestion cont...
FMCAD
2006
Springer
14 years 5 days ago
2006
Springer
We describe a link between the ACL2 and HOL mechanical proof assistants that enables the strengths of each system to be deployed smoothly within a single formal development. Severa...
JIRS
2000
13 years 8 months ago
2000
Agents (hardware or software) that act autonomously in an environment have to be able to integrate three basic behaviors: planning, execution, and learning. This integration is man...
KDD
2007
ACM
14 years 9 months ago
2007
ACM
We consider the problem of estimating occurrence rates of rare events for extremely sparse data, using pre-existing hierarchies to perform inference at multiple resolutions. In pa...
GECCO
2007
Springer
14 years 2 months ago
2007
Springer
Point estimates of the parameters in real world models convey valuable information about the actual system. However, parameter comparisons and/or statistical inference requires de...