9387 search results - page 102 / 1878 » An Optimal Process Model for a Real Time Process |
118
click to vote
IDMS
1997
Springer
15 years 4 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...
114
click to vote
ICEBE
2009
IEEE
15 years 6 months ago
2009
IEEE
—Service-oriented architecture (SOA) provides the flexibility of dynamically composing business processes in enterprise computing. However, they must be enhanced to support real...
78
Voted
FM
2009
Springer
15 years 6 months ago
2009
Springer
In Bounded Model Checking both the system model and the checked property are translated into a Boolean formula to be analyzed by a SAT-solver. We introduce a new encoding technique...
SIGMETRICS
2003
ACM
15 years 5 months ago
2003
ACM
We analyze the asymptotic tail distribution of stationary waiting times and stationary virtual waiting times in a singleserver queue with long-range dependent arrival process and ...
104
click to vote
RSP
2007
IEEE
15 years 6 months ago
2007
IEEE
Building Distributed Real-Time Embedded systems requires a stringent methodology, from early requirements capture to full implementation. However, there is a strong link between t...