748 search results - page 17 / 150 » Time and Probability in Process Algebra |
CDC
2009
IEEE
14 years 3 days ago
2009
IEEE
— We consider decision-making problems in Markov decision processes where both the rewards and the transition probabilities vary in an arbitrary (e.g., nonstationary) fashion. We...
ICASSP
2011
IEEE
12 years 11 months ago
2011
IEEE
In video coding systems using adaptive arithmetic coding to compress texture information, the employed symbol probability models need to be retrained every time the coding process...
ASPDAC
1999
ACM
13 years 11 months ago
1999
ACM
We propose a new technique called node sampling to speed up the probability-based power estimation methods. It samples and processes only a small portion of total nodes to estimat...
SLIP
2009
ACM
14 years 1 months ago
2009
ACM
In this paper, a comprehensive and fast method is presented for the timing analysis of process variations on single-walled carbon nanotube (SWCNT) bundles. Unlike previous works t...
MASCOTS
2004
13 years 8 months ago
2004
We describe the application of a performance engineering methodology based on UML diagrams with annotations taken from the Profile for Schedulability, Performance and Time. The me...