Sciweavers

1258 search results - page 240 / 252
» Table design in dynamic programming
Sort
View
143
Voted
ICS
2010
Tsinghua U.
16 years 29 days ago
Proof-Carrying Data and Hearsay Arguments from Signature Cards
: Design of secure systems can often be expressed as ensuring that some property is maintained at every step of a distributed computation among mutually-untrusting parties. Special...
Alessandro Chiesa, Eran Tromer
ISCA
2009
IEEE
199views Hardware» more  ISCA 2009»
15 years 10 months ago
SigRace: signature-based data race detection
Detecting data races in parallel programs is important for both software development and production-run diagnosis. Recently, there have been several proposals for hardware-assiste...
Abdullah Muzahid, Darío Suárez Graci...
173
Voted
WABI
2009
Springer
142views Bioinformatics» more  WABI 2009»
15 years 10 months ago
Back-Translation for Discovering Distant Protein Homologies
Background: Frameshift mutations in protein-coding DNA sequences produce a drastic change in the resulting protein sequence, which prevents classic protein alignment methods from ...
Marta Gîrdea, Laurent Noé, Gregory Ku...
IJCNN
2007
IEEE
15 years 10 months ago
Optimal Control of a Photovoltaic Solar Energy System with Adaptive Critics
- This paper presents an optimal energy control scheme for a grid independent photovoltaic (PV) solar system consisting of a PV array, battery energy storage, and time varying load...
Richard L. Welch, Ganesh K. Venayagamoorthy
132
Voted
ISCA
2007
IEEE
113views Hardware» more  ISCA 2007»
15 years 10 months ago
Thermal modeling and management of DRAM memory systems
With increasing speed and power density, high-performance memories, including FB-DIMM (Fully Buffered DIMM) and DDR2 DRAM, now begin to require dynamic thermal management (DTM) a...
Jiang Lin, Hongzhong Zheng, Zhichun Zhu, Howard Da...