Sciweavers

2171 search results - page 68 / 435
» A Generic Process Algebra
Sort
View
101
Voted
PDP
2003
IEEE
15 years 6 months ago
Automatic Optimisation of Parallel Linear Algebra Routines in Systems with Variable Load
Abstract. In this work an architecture of an automatically tuned linear algebra library proposed in previous works is extended in order to adapt it to platforms where both the CPU ...
Javier Cuenca, Domingo Giménez, José...
114
Voted
ICIP
2009
IEEE
16 years 1 months ago
A Generic Variational Approach For Demosaicking From An Arbitrary Color Filter Array
We propose a method to demosaick images acquired with a completely arbitrary color filter array (CFA). We adopt a variational approach where the reconstructed image has maximal sm...
ICIAP
2009
ACM
16 years 1 months ago
A Generic Method of Line Matching for Central Imaging Systems under Short-Baseline Motion
Abstract. Line matching across images taken by a central imaging system (perspective or catadioptric) with focus on short baseline motion of the system is proposed. The relationshi...
Saleh Mosaddegh, David Fofi, Pascal Vasseur
FSEN
2009
Springer
15 years 7 months ago
Automated Translation and Analysis of a ToolBus Script for Auctions
Abstract. ToolBus allows to connect tools via a software bus. Programming is done using the scripting language Tscript, which is based on the process algebra ACP. In previous work ...
Wan Fokkink, Paul Klint, Bert Lisser, Yaroslav S. ...
RTSS
1999
IEEE
15 years 5 months ago
Specification and Analysis of Soft Real-Time Systems: Quantity and Quality
This paper presents a process algebra for specifying soft real-time constraints in a compositional way. For these soft constraints we take a stochastic point of view and allow arb...
Pedro R. D'Argenio, Joost-Pieter Katoen, Ed Brinks...