Sciweavers

214 search results - page 41 / 43
» Automatic Correction of Loop Transformations
Sort
View
96
Voted
ICASSP
2010
IEEE
15 years 18 days ago
Analysis of phone posterior feature space exploiting class-specific sparsity and MLP-based similarity measure
Class posterior distributions have recently been used quite successfully in Automatic Speech Recognition (ASR), either for frame or phone level classification or as acoustic featu...
Afsaneh Asaei, Benjamin Picart, Hervé Bourl...
ECBS
2006
IEEE
158views Hardware» more  ECBS 2006»
15 years 6 months ago
Automated Translation of C/C++ Models into a Synchronous Formalism
For complex systems that are reusing intellectual property components, functional and compositional design correctness are an important part of the design process. Common system l...
Hamoudi Kalla, Jean-Pierre Talpin, David Berner, L...
98
Voted
EMSOFT
2008
Springer
15 years 2 months ago
Volatiles are miscompiled, and what to do about it
C's volatile qualifier is intended to provide a reliable link between operations at the source-code level and operations at the memorysystem level. We tested thirteen product...
Eric Eide, John Regehr
112
Voted
UML
2005
Springer
15 years 5 months ago
Bridging Grammarware and Modelware
Abstract. In Software Engineering many text-based languages and supporting tools are used, forming the grammarware technical space. Currently model driven engineering is the new em...
Manuel Wimmer, Gerhard Kramler
107
Voted
ECCV
2004
Springer
16 years 2 months ago
Human Pose Estimation Using Learnt Probabilistic Region Similarities and Partial Configurations
Abstract. A model of human appearance is presented for efficient pose estimation from real-world images. In common with related approaches, a high-level model defines a space of co...
Timothy J. Roberts, Stephen J. McKenna, Ian W. Ric...