722 search results - page 55 / 145 » The State Operator in Real Time Process Algebra |
ISMM
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. We present an efficient implementation of the ultimate attribute opening operator. In this implementation, the ultimate opening is computed by processing the image maxtre...
109
click to vote
SIAMMA
2011
14 years 6 months ago
2011
It has been unknown since the time of Euler whether or not time-periodic sound wave propagation is physically possible in the compressible Euler equations, due mainly to the ubiqui...
ICNP
2007
IEEE
15 years 6 months ago
2007
IEEE
- A Network Court Protocol is designed for malicious node conviction based on information from network node accusing and testifying operations, which are formally modeled by algebr...
108
click to vote
PADS
1999
ACM
15 years 4 months ago
1999
ACM
In an attempt to cope with time-varying workload, traditional adaptive Time Warp protocols are designed to react in response to performance changes by altering control parameter c...
133
click to vote
EMSOFT
2008
Springer
15 years 28 days ago
2008
Springer
Dynamic Voltage Scaling (DVS) and Dynamic Power Management (DPM) are two popular techniques commonly employed to save energy in real-time embedded systems. DVS policies aim at red...