5171 search results - page 248 / 1035 » Deterministic Parallel Processing |
81
Voted
CONCUR
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. We show how to apply Howe’s method for the proof of congruence of early bisimilarities in a higher-order process calculus with
IPPS
2000
IEEE
15 years 7 months ago
2000
IEEE
This paper proposes and demonstrates novel types of vision chips that utilize pulse trains for image processing. Two types of chips
125
click to vote
AMAST
2000
Springer
15 years 6 months ago
2000
Springer
In the paper we present an ACP-like process algebra which can be used to model both probabilistic and time behaviour of parallel systems. This process algebra is obtained by extens...
131
Voted
TSP
2010
14 years 9 months ago
2010
We derive a signal processing framework, called space signal processing, that parallels time signal processing. As such, it comes in four versions (continuous/discrete, infinite/fi...
128
Voted
ISORC
2007
IEEE
15 years 8 months ago
2007
IEEE
Methodologies, techniques and tools that currently support the embedded systems (ESs) development process prove inadequate for today’s complex ESs. Adopted traditional architect...