427 search results - page 53 / 86 » On the Power of Labels in Transition Systems |
VLSID
2005
IEEE
16 years 5 days ago
2005
IEEE
Inter-wire coupling is a major source of power consumption and delay faults for on-chip buses implemented in UDSM SoC Systems. Elimination or minimization of such faults is crucia...
142
click to vote
TVLSI
2010
14 years 6 months ago
2010
With the shrinking of technology feature sizes, the share of leakage in total power consumption of digital systems continues to grow. Traditional dynamic voltage scaling (DVS) fail...
124
click to vote
CSFW
2012
IEEE
13 years 2 months ago
2012
IEEE
—Role-based Access Control (RBAC) is one of the most widespread security mechanisms in use today. Given the growing complexity of policy languages and access control systems, ver...
107
click to vote
AIED
2011
Springer
14 years 3 months ago
2011
Springer
We investigate whether an overall student disengagement label and six different labels of disengagement type are predictive of learning in a spoken dialog computer tutoring corpus...
APN
2011
Springer
14 years 3 months ago
2011
Springer
In prime event structures with binary conflicts (pes-bc)3 a branching cell [1] is a subset of events closed under downward causality and immediate conflict relations. This means ...