Sciweavers

9425 search results - page 1835 / 1885
» Some Notes on Models and Modelling
Sort
View
WCE
2007
15 years 2 months ago
An Improved Sparge Pipe Air Distribution System for a Fluidised Bed Combustor
The purpose of the air distribution system in a fluidised bed combustor is to provide a reasonably uniform spread of combustion air over the entire horizontal cross-sectional area...
D. R. Garwood, J. Ward, D. R. Bowen, M. Fisher, D....
ATAL
2010
Springer
15 years 2 months ago
A quantified distributed constraint optimization problem
In this paper, we propose a Quantified Distributed Constraint Optimization problem (QDCOP) that extends the framework of Distributed Constraint Optimization problems (DCOPs). DCOP...
Toshihiro Matsui, Hiroshi Matsuo, Marius-Calin Sil...
123
Voted
CCGRID
2010
IEEE
15 years 2 months ago
Designing Accelerator-Based Distributed Systems for High Performance
Abstract--Multi-core processors with accelerators are becoming commodity components for high-performance computing at scale. While accelerator-based processors have been studied in...
M. Mustafa Rafique, Ali Raza Butt, Dimitrios S. Ni...
CSL
2010
Springer
15 years 2 months ago
Embedding Deduction Modulo into a Prover
Deduction modulo consists in presenting a theory through rewrite rules to support automatic and interactive proof search. It induces proof search methods based on narrowing, such a...
Guillaume Burel
169
Voted
CIDR
2009
181views Algorithms» more  CIDR 2009»
15 years 2 months ago
The Case for RodentStore: An Adaptive, Declarative Storage System
Recent excitement in the database community surrounding new applications--analytic, scientific, graph, geospatial, etc.--has led to an explosion in research on database storage sy...
Philippe Cudré-Mauroux, Eugene Wu, Samuel M...
« Prev « First page 1835 / 1885 Last » Next »