Sciweavers

302 search results - page 47 / 61
» Automatic microarchitectural pipelining
Sort
View
DOCENG
2008
ACM
14 years 11 months ago
Configurable editing of XML-based variable-data documents
: Variable data documents can be considered as functions of their bindings to values, and this function could be arbitrarily complex to build strongly-customised but high-value doc...
John Lumley, Roger Gimson, Owen Rees
FMOODS
2007
14 years 11 months ago
Verifying Distributed, Event-Based Middleware Applications Using Domain-Specific Software Model Checking
The success of distributed event-based infrastructures such as SIENA and Elvin is partially due to their ease of use. Even novice users of these infrastructures not versed in distr...
L. Ruhai Cai, Jeremy S. Bradbury, Jürgen Ding...
NAACL
2007
14 years 11 months ago
Probabilistic Generation of Weather Forecast Texts
This paper reports experiments in which pCRU — a generation framework that combines probabilistic generation methodology with a comprehensive model of the generation space — i...
Anja Belz
NAR
2007
124views more  NAR 2007»
14 years 9 months ago
The RNAz web server: prediction of thermodynamically stable and evolutionarily conserved RNA structures
Many non-coding RNA genes and cis-acting regulatory elements of mRNAs contain RNA secondary structures that are critical for their function. Such functional RNAs can be predicted ...
Andreas R. Gruber, Richard Neuböck, Ivo L. Ho...
DATE
2010
IEEE
134views Hardware» more  DATE 2010»
14 years 8 months ago
Combining optimizations in automated low power design
—Starting from sequential programs, we present an approach combining data reuse, multi-level MapReduce, and pipelining to automatically find the most power-efficient designs th...
Qiang Liu, Tim Todman, Wayne Luk