Sciweavers

1855 search results - page 92 / 371
» System Consequence
Sort
View
WIOPT
2011
IEEE
14 years 7 months ago
Open loop optimal control of base station activation for green networks
Abstract—In recent years there has been an increasing awareness that the deployment as well as utilization of new information technology may have some negative ecological impact....
Sreenath Ramanath, Veeraruna Kavitha, Eitan Altman
GLOBECOM
2008
IEEE
15 years 10 months ago
K-Best Sphere Detection for the Sphere Packing Modulation Aided SDMA/OFDM Uplink
—Recently, the turbo-detected Sphere Packing (SP) aided Space-Time Block-Coding (STBC) STBC-SP scheme was demonstrated to provide useful performance improvements over conventiona...
Li Wang, Osamah Alamri, Lajos Hanzo
CAV
2001
Springer
83views Hardware» more  CAV 2001»
15 years 8 months ago
Iterating Transducers
Regular languages have proved useful for the symbolic state exploration of infinite state systems. They can be used to represent infinite sets of system configurations; the tran...
Dennis Dams, Yassine Lakhnech, Martin Steffen
135
Voted
ENTCS
2002
152views more  ENTCS 2002»
15 years 3 months ago
Abstract Logics as Dialgebras
Logics as Dialgebras Alessandra Palmigiano Departament de L`ogica, Hist`oria i Filosofia de la Ci`encia, Universitat de Barcelona The aim of this report is to propose a line of re...
Alessandra Palmigiano
178
Voted
ISARCS
2010
240views Hardware» more  ISARCS 2010»
15 years 5 months ago
Engineering a Distributed e-Voting System Architecture: Meeting Critical Requirements
Voting is a critical component of any democratic process; and electronic voting systems should be developed following best practices for critical system development. E-voting has i...
J. Paul Gibson, Eric Lallet, Jean-Luc Raffy