Sciweavers

487 search results - page 49 / 98
» A Compiled Implementation of Normalization by Evaluation
Sort
View
128
Voted
BMCBI
2005
137views more  BMCBI 2005»
15 years 3 months ago
A standard curve based method for relative real time PCR data processing
Background: Currently real time PCR is the most precise method by which to measure gene expression. The method generates a large amount of raw numerical data and processing may no...
Alexey Larionov, Andreas Krause, William Miller
113
Voted
COLING
2002
15 years 3 months ago
Integrating Linguistic and Performance-Based Constraints for Assigning Phrase Breaks
The mapping between syntactic structure and prosodic structure is a widely discussed topic in linguistics. In this work we use insights gained from research on syntax-to-prosody m...
Michaela Atterer, Ewan Klein
167
Voted
RTS
2010
127views more  RTS 2010»
14 years 10 months ago
Scheduling of hard real-time garbage collection
Automatic memory management or garbage collection greatly simplifies development of large systems. However, garbage collection is usually not used in real-time systems due to the u...
Martin Schoeberl
145
Voted
CCS
2010
ACM
15 years 3 months ago
TASTY: tool for automating secure two-party computations
Secure two-party computation allows two untrusting parties to jointly compute an arbitrary function on their respective private inputs while revealing no information beyond the ou...
Wilko Henecka, Stefan Kögl, Ahmad-Reza Sadegh...
POPL
2010
ACM
16 years 27 days ago
A simple, verified validator for software pipelining
Software pipelining is a loop optimization that overlaps the execution of several iterations of a loop to expose more instruction-level parallelism. It can result in first-class p...
Jean-Baptiste Tristan, Xavier Leroy