2940 search results - page 380 / 588 » Relational Parametricity and Control |
141
click to vote
APSEC
2010
IEEE
15 years 19 days ago
2010
IEEE
Abstract--Real-time embedded systems (RTESs) are becoming increasingly ubiquitous, controlling a wide variety of popular and safety-critical devices. Effective testing techniques c...
153
Voted
SIGPRO
2011
15 years 16 days ago
2011
A fast and exact procedure for the numerical synthesis of stationary multivariate Gaussian time series with a priori prescribed and well controlled autoand cross-covariance functi...
119
click to vote
JLP
2010
15 years 11 days ago
2010
A formalism for expressing the operational semantics of proof languages used in procedural theorem provers is proposed. It is argued that this formalism provides an elegant way to...
203
click to vote
ACII
2011
Springer
14 years 5 months ago
2011
Springer
Abstract. In this study we propose a methodology to investigate possible prosody and voice quality correlates of social signals, and test-run it on annotated naturalistic recording...
182
click to vote
Publication
This study examines the effects of overlapping walking service areas of bus stops on the demand for bus transit. This requires controlling for variation in potential transit demand...