Sciweavers

3995 search results - page 46 / 799
» Linearization of hybrid processes
Sort
View
ACSD
2010
IEEE
216views Hardware» more  ACSD 2010»
15 years 3 months ago
A Linear Process-Algebraic Format for Probabilistic Systems with Data
Joost-Pieter Katoen, Jaco van de Pol, Mariëll...
JISE
2010
71views more  JISE 2010»
15 years 8 days ago
An Efficient Architecture of Extended Linear Interpolation for Image Processing
Chung-Chi Lin, Ming-Hwa Sheu, Huann-Keng Chiang, C...
FROCOS
2005
Springer
15 years 11 months ago
A Complete Temporal and Spatial Logic for Distributed Systems
Abstract. In this paper, we introduce a spatial and temporal logic for reasoning about distributed computation. The logic is a combination of an extension of hybrid logic, that all...
Dirk Pattinson, Bernhard Reus