415 search results - page 6 / 83 » Workspace Analysis of the Orthoglide using Interval Analysis |
RV
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. Concurrent trace programs (CTPs) are slices of the concurrent programs that generate the concrete program execution traces, where inter-thread event order specific to th...
CASES
2008
ACM
13 years 9 months ago
2008
ACM
We present a novel loop transformation technique, particularly well suited for optimizing embedded compilers, where an increase in compilation time is acceptable in exchange for s...
HYBRID
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. Sincehybridembeddedsystemsarepervasiveandoftensafetycritical, guarantees about their correct performance are desirable. The hybrid systemsmodelcheckerHyTech providessuch ...
AUTOMATICA
2008
13 years 7 months ago
2008
In recent years particle ...lters have been applied to a variety of state estimation problems. A particle ...lter is a sequential Monte Carlo Bayesian estimator of the posterior d...
ITC
1998
IEEE
13 years 12 months ago
1998
IEEE
A method for measuring inter-symbol interference, duty cycle distortion, random jitter and periodic jitter is described. The Blackman-Tukey method of signal analysis is used. This...