Sciweavers

5215 search results - page 95 / 1043
» A model of normative power
Sort
View
ISLPED
1996
ACM
91views Hardware» more  ISLPED 1996»
14 years 1 months ago
Accurate evaluation of CMOS short-circuit power dissipation for short-channel devices
This paper presents an accurate model for the evaluation of the CMOS short-circuit power dissipation for shortchannel devices, on the basis of a CMOS inverter. The improvement of ...
Labros Bisdounis, Odysseas G. Koufopavlou, Spirido...
ISLPED
1995
ACM
125views Hardware» more  ISLPED 1995»
14 years 1 months ago
Transforming set data types to power optimal data structures
In this paper we present a novel approach to model the search space for optimal set data types in network component realisations. The main objective is to arrive at power efficie...
Sven Wuytack, Francky Catthoor, Hugo De Man
CSL
2007
Springer
14 years 1 months ago
Comparing the Expressive Power of Well-Structured Transition Systems
We compare the expressive power of a class of well-structured transition systems that includes relational automata, Petri nets, lossy channel systems, and constrained multiset rewr...
Parosh Aziz Abdulla, Giorgio Delzanno, Laurent Van...
PODC
2010
ACM
14 years 1 months ago
The multiplicative power of consensus numbers
: The Borowsky-Gafni (BG) simulation algorithm is a powerful reduction algorithm that shows that t-resilience of decision tasks can be fully characterized in terms of wait-freedom....
Damien Imbs, Michel Raynal
CORR
2006
Springer
88views Education» more  CORR 2006»
13 years 9 months ago
The Power and Perils of MDL
Practical use of MDL is full of pitfalls in which the practitioners tend to fall head over heels. We analyse the power and the perils in the use of MDL. Generally, the classical a...
Pieter W. Adriaans, Paul M. B. Vitányi