393 search results - page 25 / 79 » The PADS project: an overview |
PODS
2002
ACM
14 years 8 months ago
2002
ACM
In this overview paper we motivate the need for and research issues arising from a new model of data processing. In this model, data does not take the form of persistent relations...
IPPS
2008
IEEE
14 years 3 months ago
2008
IEEE
We present an overview of the current status of input/output (I/O) on the Cray XT line of supercomputers and provide guidance to application developers and users for achieving efï...
BPM
2007
Springer
14 years 2 months ago
2007
Springer
Short time-to-market, easy adaptation to changes in business environment, and robustness of processes are key requirements in today’s business world. In the IT area of Business P...
EUROPAR
2005
Springer
14 years 2 months ago
2005
Springer
We present an overview of current research in performance modeling, focusing on efforts underway in the Performance Evaluation Research Center (PERC). Using some new techniques, w...
LPAR
2005
Springer
14 years 2 months ago
2005
Springer
An overview is given of a number of recent developments in SAT and SAT Modulo Theories (SMT). In particular, based on our k of Abstract DPLL and Abstract DPLL modulo Theories, we e...