2042 search results - page 111 / 409 » Modeling and Analysis of Probabilistic Timed Systems |
111
click to vote
DATE
2003
IEEE
15 years 8 months ago
2003
IEEE
We present a framework (Real-Time Calculus) for analysing various system properties pertaining to timing analysis, loads on various components and on-chip buffer memory requiremen...
189
Voted
SIGMOD
2012
ACM
13 years 5 months ago
2012
ACM
While extensive work has been done on evaluating queries over tuple-independent probabilistic databases, query evaluation over correlated data has received much less attention eve...
217
click to vote
ISSS
2002
IEEE
15 years 8 months ago
2002
IEEE
This paper addresses the problem of mapping an application, which is highly dynamic in the future, onto a heterogeneous multiprocessor platform in an energy efficient way. A two-p...
132
click to vote
RTCSA
2008
IEEE
15 years 9 months ago
2008
IEEE
A component framework plays an important role in CBSD as it determines how software components are developed, packaged, assembled and deployed. A desirable component framework for...
165
click to vote
RTSS
1992
IEEE
15 years 7 months ago
1992
IEEE
The problem of scheduling a set of sporadic tasks that share a set of serially reusable, single unit software resources on a single processor is considered. The correctness condit...