Sciweavers

3162 search results - page 45 / 633
» Transformations for semi-continuous data
Sort
View
MICRO
2012
IEEE
285views Hardware» more  MICRO 2012»
13 years 6 months ago
Automatic Extraction of Coarse-Grained Data-Flow Threads from Imperative Programs
This article presents a general algorithm for transforming sequential imperative programs into parallel data-flow programs. Our algorithm operates on a program dependence graph i...
Feng Li, Antoniu Pop, Albert Cohen
152
Voted
CAV
2012
Springer
270views Hardware» more  CAV 2012»
13 years 6 months ago
Automated Termination Proofs for Java Programs with Cyclic Data
Abstract. In earlier work, we developed a technique to prove termination of Java programs automatically: first, Java programs are automatically transformed to term rewrite systems...
Marc Brockschmidt, Richard Musiol, Carsten Otto, J...
152
Voted
NPC
2010
Springer
15 years 2 months ago
Exposing Tunable Parameters in Multi-threaded Numerical Code
Achieving high performance on today’s architectures requires careful orchestration of many optimization parameters. In particular, the presence of shared-caches on multicore arch...
Apan Qasem, Jichi Guo, Faizur Rahman, Qing Yi
147
Voted
ICASSP
2011
IEEE
14 years 7 months ago
A basis method for robust estimation of constrained MLLR
Constrained Maximum Likelihood Linear Regression (CMLLR) is a widely used speaker adaptation technique in which an affine transform of the features is estimated for each speaker....
Daniel Povey, Kaisheng Yao
ACL
2010
15 years 2 months ago
Learning Better Data Representation Using Inference-Driven Metric Learning
We initiate a study comparing effectiveness of the transformed spaces learned by recently proposed supervised, and semisupervised metric learning algorithms to those generated by ...
Paramveer S. Dhillon, Partha Pratim Talukdar, Koby...