Sciweavers

88 search results - page 12 / 18
» Time, space, and energy in reversible computing
Sort
View
SIAMNUM
2010
114views more  SIAMNUM 2010»
15 years 22 days ago
A Posteriori Error Estimation Based on Potential and Flux Reconstruction for the Heat Equation
We derive a posteriori error estimates for the discretization of the heat equation in a unified and fully discrete setting comprising the discontinuous Galerkin, finite volume, mix...
Alexandre Ern, Martin Vohralík
SC
2009
ACM
16 years 24 days ago
Enabling high-fidelity neutron transport simulations on petascale architectures
The UNIC code is being developed as part of the DOE’s Nuclear Energy Advanced Modeling and Simulation (NEAMS) program. UNIC is an unstructured, deterministic neutron transport c...
Dinesh K. Kaushik, Micheal Smith, Allan Wollaber, ...
CASES
2003
ACM
15 years 11 months ago
A low-power accelerator for the SPHINX 3 speech recognition system
Accurate real-time speech recognition is not currently possible in the mobile embedded space where the need for natural voice interfaces is clearly important. The continuous natur...
Binu K. Mathew, Al Davis, Zhen Fang
WABI
2007
Springer
16 years 3 days ago
Predicting Protein Folding Kinetics Via Temporal Logic Model Checking
Christopher James Langmead⋆ and Sumit Kumar Jha Department of Computer Science, Carnegie Mellon University We present a novel approach for predicting protein folding kinetics us...
Christopher James Langmead, Sumit Kumar Jha
SC
2009
ACM
16 years 24 days ago
Router designs for elastic buffer on-chip networks
This paper explores the design space of elastic buffer (EB) routers by evaluating three representative designs. We propose an enhanced two-stage EB router which maximizes through...
George Michelogiannakis, William J. Dally