5754 search results - page 1051 / 1151 » Multi-class Model M |
167
Voted
CCGRID
2004
IEEE
15 years 7 months ago
2004
IEEE
Next generation applications and architectures (for example, Grids) are driving radical changes in the nature of traffic, service models, technology, and cost, creating opportunit...
123
Voted
ATAL
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. This paper presents an implementation of (a simplified version of) the cognitive agent programming language 3APL in the Maude term rewriting language. Maude is based on t...
152
Voted
CIKM
2006
Springer
15 years 7 months ago
2006
Springer
We discuss information retrieval methods that aim at serving a diverse stream of user queries such as those submitted to commercial search engines. We propose methods that emphasi...
132
Voted
CAV
2000
Springer
15 years 7 months ago
2000
Springer
xample-Guided Abstraction Refinement for Symbolic Model Checking EDMUND CLARKE YUAN LU Carnegie Mellon University, Pittsburgh, Pennsylvania Broadcom Co., San Jose, California ORNA ...
139
click to vote
ISHPC
2000
Springer
15 years 7 months ago
2000
Springer
This paper describes transparent mechanisms for emulating some of the data distribution facilities offered by traditional data-parallel programming models, such as High Performance...