Sciweavers

5981 search results - page 125 / 1197
» time 2006
Sort
View
ENTCS
2006
119views more  ENTCS 2006»
15 years 1 months ago
Trace Machines for Observing Continuous-Time Markov Chains
In this paper, we study several linear-time equivalences (Markovian trace equivalence, failure and ready trace equivalence) for continuous-time Markov chains that refer to the pro...
Verena Wolf, Christel Baier, Mila E. Majster-Ceder...
CCECE
2006
IEEE
15 years 7 months ago
Towards the System-on-Chip Realization of a Sensorless Vector Controller with Microsecond-order Computation Time
— The aim of this research is to implement sensorless vector control algorithms on a single, eventually reconfigurable, chip, with a computation timing constraint of, at most, 1...
Rachid Beguenane, Jean-Gabriel Mailloux, Sté...
CSDA
2006
117views more  CSDA 2006»
15 years 1 months ago
Exact maximum likelihood estimation of structured or unit root multivariate time series models
TheexactlikelihoodfunctionofaGaussianvectorautoregressive-movingaverage(VARMA)model is evaluated in two nonstandard cases: (a) a parsimonious structured form, such as obtained in ...
Guy Mélard, Roch Roy, Abdessamad Saidi
105
Voted
APCCM
2006
15 years 2 months ago
The formal semantics of the timeER model
A wide range of database applications manage information that varies over time. Many of the underlying database schemas of these were designed using one of the several versions of...
Heidi Gregersen
107
Voted
BIRTHDAY
2006
Springer
15 years 4 months ago
Realistic Worst-Case Execution Time Analysis in the Context of Pervasive System Verification
We describe a gate level design of a FlexRay-like bus interface. An electronic control unit (ECU) is obtained by integrating this interface into the design of the verified VAMP pro...
Steffen Knapp, Wolfgang J. Paul