Sciweavers

3093 search results - page 259 / 619
» The Multi-perspective Process Explorer
Sort
View
SIGMOD
2005
ACM
91views Database» more  SIGMOD 2005»
16 years 4 months ago
Towards a Robust Query Optimizer: A Principled and Practical Approach
Research on query optimization has focused almost exclusively on reducing query execution time, while important qualities such as consistency and predictability have largely been ...
Brian Babcock, Surajit Chaudhuri
ICSE
2009
IEEE-ACM
15 years 10 months ago
Verifying networked programs using a model checker extension
Model checking finds failures in software by exploring every possible execution schedule. Until recently it has been mainly applied to stand-alone applications. This paper presen...
Watcharin Leungwattanakit, Cyrille Artho, Masami H...
112
Voted
ICASSP
2009
IEEE
15 years 10 months ago
Language model parameter estimation using user transcriptions
In limited data domains, many effective language modeling techniques construct models with parameters to be estimated on an in-domain development set. However, in some domains, no...
Bo-June Paul Hsu, James R. Glass
166
Voted
BICOB
2009
Springer
15 years 10 months ago
Towards Large-Scale Molecular Dynamics Simulations on Graphics Processors
Atomistic molecular dynamics (MD) simulations are a vital tool in chemical research, as they are able to provide a view of chemical systems and processes that is not obtainable thr...
Joseph E. Davis, Adnan Ozsoy, Sandeep Patel, Miche...
127
Voted
NICSO
2010
Springer
15 years 10 months ago
Evaluation of a Catalytic Search Algorithm
We investigate the search properties of pre-evolutionary random catalytic reaction networks, where reactions might be reversible, and replication is not taken for granted. Since it...
Lidia Yamamoto