Sciweavers

9842 search results - page 284 / 1969
» Compositional timing analysis
Sort
View
152
Voted
ASM
2010
ASM
15 years 11 months ago
A Basis for Feature-Oriented Modelling in Event-B
Abstract. Feature-oriented modelling is a well-known approach for Software Product Line (SPL) development. It is a widely used method when developing groups of related software. Wi...
Jennifer Sorge, Michael Poppleton, Michael Butler
ISCAS
2008
IEEE
135views Hardware» more  ISCAS 2008»
15 years 11 months ago
Semi-blind channel estimation of MIMO-OFDM systems with pulse shaping
Abstract— Most of the existing MIMO-OFDM channel estimation methods do not take into account the effect of the pulseshaping filter in the transmitter nor of the matched filter ...
Feng Wan, Wei-Ping Zhu, M. N. S. Swamy
BLISS
2007
IEEE
15 years 11 months ago
Evolving the Face of a Criminal: How to Search a Face Space More Effectively
Witnesses and victims of serious crime are often required to construct a facial composite, a visual likeness of a suspect’s face. The traditional method is for them to select in...
Charlie D. Frowd, Vicki Bruce, Carol Gannon, Mark ...
EMSOFT
2004
Springer
15 years 10 months ago
Heterogeneous reactive systems modeling: capturing causality and the correctness of loosely time-triggered architectures (LTTA)
We present an extension of a mathematical framework proposed by the authors to deal with the composition of heterogeneous reactive systems. Our extended framework encompasses dive...
Albert Benveniste, Benoît Caillaud, Luca P. ...
APGV
2007
ACM
104views Visualization» more  APGV 2007»
15 years 8 months ago
On the empirical limits of billboard rotation
This paper describes an experiment investigating for the first time, the perceptual tolerance of inconsistent projections when rotated billboards are transformed and included in a...
Elodie Fourquet, William Cowan, Stephen Mann