246 search results - page 4 / 50 » A Process Algebra for Real-Time Programs |
FCCM
2006
IEEE
15 years 3 months ago
2006
IEEE
Abstract— This paper introduces a novel architecture for performing the core computations required by dynamic programming (DP) techniques. The latter pertain to a vast range of a...
PDPTA
2004
14 years 10 months ago
2004
High-throughput real-time systems require non-standard and costly hardware and software solutions. Modern workstation can represent a credible alternative to develop realtime inte...
88
Voted
3DPVT
2006
IEEE
15 years 3 months ago
2006
IEEE
We present a stereo algorithm that achieves high quality results while maintaining real-time performance. The key idea is simple: we introduce an adaptive aggregation step in a dy...
ICCL
1994
IEEE
15 years 29 days ago
1994
IEEE
This paper presents a framework to define a semantics for a real-time object-orientation programming language and to verify programs written in the language. The semantics is defi...
108
click to vote
ICVS
2001
Springer
15 years 1 months ago
2001
Springer
An increasing number of computer vision applications require on-line processing of data streams, preferably in real-time. This trend is fueled by the mainstream availability of low...