4507 search results - page 169 / 902 » Generalized Binet dynamics |
128
click to vote
CSL
2007
Springer
15 years 11 months ago
2007
Springer
We study the complexity of satisfiability for DLP+ dyn , an expressive logic introduced by Demri that allows to reason about dynamic policies. DLP+ dyn extends the logic DLPdyn of...
142
click to vote
GECCO
2007
Springer
15 years 11 months ago
2007
Springer
Existing metrics for dynamic optimisation are designed primarily to rate an algorithm’s overall performance. These metrics show whether one algorithm is better than another, but...
134
click to vote
APCCAS
2006
IEEE
15 years 10 months ago
2006
IEEE
—The quality of transmission is very important in digital communication. However, in non-deterministic environment or different transmission message signal, bit error rate of PCM...
126
click to vote
GLVLSI
2006
IEEE
15 years 10 months ago
2006
IEEE
We present the design of high-performance and energy-efficient dynamic instruction schedulers in a 3-Dimensional integration technology. Based on a previous observation that the c...
160
click to vote
GLVLSI
2006
IEEE
15 years 10 months ago
2006
IEEE
Dynamic voltage scaling (DVS) for real-time systems has been extensively studied to save energy. Previous studies consider the probabilistic distributions of tasks’ execution ti...