1728 search results - page 67 / 346 » The Size of Power Automata |
CONCUR
2007
Springer
15 years 6 months ago
2007
Springer
We introduce strategy logic, a logic that treats strategies in two-player games as explicit first-order objects. The explicit treatment of strategies allows us to specify properti...
103
click to vote
CORR
2010
Springer
14 years 12 months ago
2010
Springer
Regular expressions (REs), because of their succinctness and clear syntax, are the common choice to represent regular languages. However, efficient pattern matching or word recogni...
DAC
2000
ACM
15 years 4 months ago
2000
ACM
The decrease in feature size and added chip functionality in large sub-micron integrated circuits demand larger grids for power distribution. Since power grids are performance lim...
102
click to vote
ROBOCUP
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. This paper shows how multiagent systems can be modeled by a combination of UML statecharts and hybrid automata. This allows formal system cation on different levels of ab...
ICCD
2004
IEEE
15 years 8 months ago
2004
IEEE
As frequencies and feature size scale faster than operating voltages, power density is increasing in each processor generation. Power density and the cost of removing the heat it ...