5230 search results - page 182 / 1046 » Dynamic Optimality -- Almost |
145
Voted
GLOBECOM
2008
IEEE
15 years 10 months ago
2008
IEEE
— Adaptive modulation and antenna diversity are two important enabling techniques for future wireless network to meet demand for high data rate transmission. We study a Markov de...
145
click to vote
ICIP
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper introduces a new visual representation of a document or group of documents, a Dynamic Document Icon, or Dydocon. Its representation is symbolic like an icon, but change...
124
click to vote
DAC
2010
ACM
15 years 5 months ago
2010
ACM
In this study, we propose the use of specialized influence models to capture the dynamic behavior of a Network-onChip (NoC). Our goal is to construct a versatile modeling framewor...
127
click to vote
CADE
2009
Springer
16 years 4 months ago
2009
Springer
Abstract. We give an optimal (exptime), sound and complete tableaubased algorithm for deciding satisfiability for propositional dynamic logic. Our main contribution is a sound meth...
148
Voted
SAC
2010
ACM
15 years 10 months ago
2010
ACM
Analysis of systems containing both discrete and continuous dynamics, hybrid systems, is a difficult issue. Most problems have been shown to be undecidable in general, and decidab...