Sciweavers

7225 search results - page 42 / 1445
» On the Computational Power of Biochemistry
Sort
View
CORR
2010
Springer
98views Education» more  CORR 2010»
15 years 6 months ago
Extended Computation Tree Logic
We introduce a generic extension of the popular branching-time logic CTL which refines the temporal until and release operators with formal languages. For instance, a language may ...
Roland Axelsson, Matthew Hague, Stephan Kreutzer, ...
ICCS
2009
Springer
16 years 1 months ago
Power Consumption of GPUs from a Software Perspective
Sylvain Collange, David Defour, Arnaud Tisserand
NETCOOP
2009
Springer
16 years 1 months ago
An Anonymous Sequential Game Approach for Battery State Dependent Power Control
Piotr Wiecek, Eitan Altman, Yezekael Hayel