Sciweavers

3162 search results - page 45 / 633
» Transformations for semi-continuous data
Sort
View
MICRO
2012
IEEE
285views Hardware» more  MICRO 2012»
13 years 2 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
CAV
2012
Springer
270views Hardware» more  CAV 2012»
13 years 2 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...
NPC
2010
Springer
14 years 10 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
ICASSP
2011
IEEE
14 years 3 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
14 years 10 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...