1199 search results - page 21 / 240 » How to Compare the Power of Computational Models |
DAC
2006
ACM
16 years 21 days ago
2006
ACM
In this paper, a Triangularization Based Structure preserving (TBS) model order reduction is proposed to verify power integrity of on-chip structured power grid. The power grid is...
COGSCI
2010
14 years 12 months ago
2010
We examine the verification of simple quantifiers in natural language from a computational model perspective. We refer to previous neuropsychological investigations of the same pr...
134
click to vote
DAC
2003
ACM
16 years 21 days ago
2003
ACM
To save energy, many power management policies rely on issuing mode-change commands to the components of the system. Efforts to date have focused on how these policies interact wi...
TOSN
2011
14 years 6 months ago
2011
A stochastic model is formulated and analyzed to study the advancements of messages under greedy routing in a sensor network with a power-saving scheme. The aim of this model is g...
100
click to vote
BIRTHDAY
1997
Springer
15 years 3 months ago
1997
Springer
We compare the expressive power on finite models of two extensions of first order logic L with equality. L(Ct) is formed by adding an operator count{x : ϕ}, which builds a term ...