Sciweavers

10458 search results - page 56 / 2092
» Modeling Features at Runtime
Sort
View
ICSE
2009
IEEE-ACM
16 years 3 months ago
The road not taken: Estimating path execution frequency statically
A variety of compilers, static analyses, and testing frameworks rely heavily on path frequency information. Uses for such information range from optimizing transformations to bug ...
Raymond P. L. Buse, Westley Weimer
115
Voted
ADAEUROPE
2005
Springer
15 years 8 months ago
GNAT Pro for On-board Mission-Critical Space Applications
This paper describes the design and implementation of GNAT Pro for ERC32, a flexible cross-development environment supporting the Ravenscar tasking model on top of bare ERC32 comp...
José F. Ruiz
SIGGRAPH
2010
ACM
15 years 7 months ago
Feature-based locomotion controllers
This paper introduces an approach to control of physics-based characters based on high-level features of movement, such as centerof-mass, angular momentum, and end-effectors. Obje...
Martin de Lasa, Igor Mordatch, Aaron Hertzmann
INTERSPEECH
2010
14 years 9 months ago
HMM adaptation using linear spline interpolation with integrated spline parameter training for robust speech recognition
We recently proposed a method for HMM adaptation to noisy environments called Linear Spline Interpolation (LSI). LSI uses linear spline regression to model the relationship betwee...
Michael L. Seltzer, Alex Acero
CSFW
2009
IEEE
15 years 9 months ago
Securing Timeout Instructions in Web Applications
Timeout mechanisms are a useful feature for web applications. However, these mechanisms need to be used with care because, if used as-is, they are vulnerable to timing attacks. Th...
Alejandro Russo, Andrei Sabelfeld