Sciweavers

11172 search results - page 98 / 2235
» Testing Physical Systems
Sort
View
FMICS
2010
Springer
15 years 7 months ago
Model Checking the FlexRay Physical Layer Protocol
Abstract. The FlexRay standard, developed by a cooperation of leading companies in the automotive industry, is a robust communication protocol for distributed components in modern ...
Michael Gerke 0002, Rüdiger Ehlers, Bernd Fin...
COMPLEXITY
2006
144views more  COMPLEXITY 2006»
15 years 6 months ago
BML revisited: Statistical physics, computer simulation, and probability
Statistical physics, computer simulation and discrete mathematics are intimately related through the study of shared lattice models. These models lie at the foundation of all thre...
Raissa M. D'Souza
CORR
2007
Springer
130views Education» more  CORR 2007»
15 years 6 months ago
Mobile Computing in Physics Analysis - An Indicator for eScience
This paper presents the design and implementation of a Grid-enabled physics analysis environment for handheld and other resource-limited computing devices as one example of the us...
Arshad Ali, Ashiq Anjum, Tahir Azim, Julian J. Bun...
CORR
2007
Springer
110views Education» more  CORR 2007»
15 years 6 months ago
Relations between random coding exponents and the statistical physics of random codes
The partition function pertaining to finite–temperature decoding of a (typical) randomly chosen code is known to have three types of behavior, corresponding to three phases in ...
Neri Merhav
ICPR
2010
IEEE
15 years 4 months ago
Estimating Apparent Motion on Satellite Acquisitions with a Physical Dynamic Model
The paper presents a motion estimation method based on data assimilation in a dynamic model, named Image Model, expressing the physical evolution of a quantity observed on the ima...
Etienne G. Huot, Isabelle Herlin, Nicolas Mercier,...