722 search results - page 7 / 145 » The State Operator in Real Time Process Algebra |
105
click to vote
TIME
2005
IEEE
15 years 5 months ago
2005
IEEE
The language of timed µCRL is an extension of an ACP-style process algebra-based language µCRL with time-related features. In this paper we describe this language and its equati...
MOBICOM
1996
ACM
15 years 3 months ago
1996
ACM
The CPU is one of the major power consumers in a portable computer, and considerable power can be saved by turning off the CPU when it is not doing useful work. In Apple's Ma...
116
click to vote
IDMS
1997
Springer
15 years 3 months ago
1997
Springer
We present a soft real-time CPU server for Continuous Media processing in the UNIX environment. The server is a daemon process from which applications can request and acquire soft...
119
click to vote
CAINE
2003
15 years 1 months ago
2003
Most distributed real-time embedded systems are specified combining state diagram and data flow languages. This leads to several real-time codes which together do not necessaril...
170
click to vote
FDL
2004
IEEE
15 years 3 months ago
2004
IEEE
gn process of embedded systems moves currently towards higher levels of abstraction. As a consequence, a need arises for an early and realistic assessment of system level design d...