Search Sciweavers | Sciweavers

20197 search results - page 217 / 4040

» Comparing Computational Power

136

click to vote

ERSHOV
2001
Springer

59views Theoretical Computer Science» more ERSHOV 2001»

On Expressive and Model Checking Power of Propositional Program Logics

15 years 11 months ago

Download www.iis.nsk.su

Nikolay V. Shilov, Kwang Yi

claim paper

Read More »

130

click to vote

LCN
2000
IEEE

86views Computer Networks» more LCN 2000»

Transmission Power Control for Multiple Access Wireless Packet Networks

15 years 11 months ago

Download mars.hannam.ac.kr

Jeffrey P. Monks, Vaduvur Bharghavan, Wen-mei W. H...

claim paper

Read More »

124

click to vote

DAC
2000
ACM

76views Computer Architecture» more DAC 2000»

Synthesis of application-specific memories for power optimization in embedded systems

15 years 11 months ago

Download easy.intranet.gr

Luca Benini, Alberto Macii, Enrico Macii, Massimo ...

claim paper

Read More »

click to vote

DAC
2000
ACM

78views Computer Architecture» more DAC 2000»

Power minimization derived from architectural-usage of VLIW processors

15 years 11 months ago

Download www.cs.york.ac.uk

Catherine H. Gebotys, Robert J. Gebotys, S. Wiratu...

claim paper

Read More »

102

click to vote

DAC
1997
ACM

80views Computer Architecture» more DAC 1997»

Profile-Driven Program Synthesis for Evaluation of System Power Dissipation

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers