Fran├žais Anglais
Accueil Annuaire Plan du site
Home > Groups > Research activities > Green networks
Groups
Research activities: Green networks
Energy is a limiting factor for mobile ad hoc networks. In many use cases, MANET (Mobile Ad hoc NETwork) nodes rely on battery power, because they are mobile or have limited access to an infrastructure. This leads to energy-constraints regarding how network devices should use their resources (CPU, radio, etc.) A straightforward way of dealing with this issue is to provide batteries with higher capacities: this increases node lifetime, hence, network lifetime. This solution is however expensive. Another way is to find efficient mechanisms for energy conservation. One may achieve significant power savings by incorporating energy aware strategies into network protocol designs.


Groups
  Networking & Stochastic and Combinatorial Optimization

Joint Inria project teams


Research highlights


Contracts & grants


Software & patents


Collaborations


Members
  MARTIN Steven

Ph.D. dissertations & Faculty habilitations



Research activities
° Algorithm control and hyper-parameter tuning
° Algorithms for networked systems
° Automated Proof, SMT and Applications
° Automated Reasoning
° Combinatorics
° Compilation and code optimization
° Data-Centric Languages and Systems
° Deductive Verification of Programs
° Distributed algorithms
° Engineering of interactive systems
° Formal Model-Based Testing
° Formalisation and Proof of Numerical Programs
° Formalisation of (Specification and Programming) Languages in Proof Assistants
° Generative design methods
° Graph Theory
° Heterogeneous Wireless Networks
° High-performance computing
° Human-Computer Interaction
° Integration of Data and Knowledge
° Interaction and visualization paradigms
° Large scale modelling
° Massively distributed algorithms for complex data
° Mediated collaboration
° Multi-hop wireless networks
° Network coding