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 19 days ago
Power Consumption of GPUs from a Software Perspective
Sylvain Collange, David Defour, Arnaud Tisserand
NETCOOP
2009
Springer
16 years 19 days ago
An Anonymous Sequential Game Approach for Battery State Dependent Power Control
Piotr Wiecek, Eitan Altman, Yezekael Hayel