722 search results - page 30 / 145 » The State Operator in Real Time Process Algebra |
109
click to vote
ECRTS
2008
IEEE
15 years 6 months ago
2008
IEEE
Real-time data services can benefit data-intensive real-time applications, e.g., e-commerce, via timely transaction processing using fresh data, e.g., the current stock prices. T...
116
click to vote
FPL
2006
Springer
15 years 3 months ago
2006
Springer
We present an efficient implementation of a state of the art algorithm PixelMatch for matching all pixels within consecutive video frames. The method is of practical interest for ...
TVLSI
1998
14 years 11 months ago
1998
—A practical system approach for time-multiplexing cellular neural network (CNN) implementations suitable for processing large and complex images using small CNN arrays is presen...
AMAST
1998
Springer
15 years 4 months ago
1998
Springer
The goal of this paper is to develop an algebraic theory of process scheduling. We specify a syntax for denoting processes composed of actions with given durations. Subsequently, w...
CMSB
2009
Springer
15 years 6 months ago
2009
Springer
Bio-PEPA is a process algebra for modelling biological systems. An important aspect of Bio-PEPA is the ability it provides to discretise concentrations resulting in a smaller, more...