722 search results - page 30 / 145 » The State Operator in Real Time Process Algebra |
154
click to vote
ECRTS
2008
IEEE
15 years 10 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...
152
click to vote
FPL
2006
Springer
15 years 7 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 ...
143
click to vote
TVLSI
1998
15 years 3 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...
128
click to vote
AMAST
1998
Springer
15 years 8 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...
136
click to vote
CMSB
2009
Springer
15 years 10 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...