738 search results - page 37 / 148 » Cache modeling in probabilistic execution time analysis |
86
Voted
GLOBECOM
2009
IEEE
15 years 1 months ago
2009
IEEE
A challenging research issue of analyzing networks where packets are served probabilistically, such as multi-access networks and wireless networks, is to characterize the stochasti...
ISSS
2002
IEEE
15 years 2 months ago
2002
IEEE
Static timing analysis of embedded software is important for systems with hard real-time constraints. To accurately estimate time bounds, it is essential to model the underlying m...
ENTCS
2002
14 years 9 months ago
2002
We report on the automatic verification of timed probabilistic properties of the IEEE 1394 root contention protocol combining two existing tools: the real-time modelchecker Kronos...
EGH
2004
Springer
15 years 1 months ago
2004
Springer
Utilizing graphics hardware for general purpose numerical computations has become a topic of considerable interest. The implementation of streaming algorithms, typified by highly ...
EDBT
2010
ACM
15 years 2 months ago
2010
ACM
Most modern RDBMS depend on the query processing optimizer’s cost model to choose the best execution plan for a given query. Since the physical IO (PIO) is a costly operation to...