Fran├žais Anglais
Accueil Annuaire Plan du site
Home > Groups > Research activities > Heterogeneous wireless networks
Groups
Research activities: Heterogeneous wireless networks
The next generation network will be seen as a new initiative to bring together all heterogeneous wireless and wired systems under the same framework, to provide connectivity anytime and anywhere using any available technology [19]. Network convergence is therefore regarded as the next major challenge in the evolution of telecommunication technologies and the integration of computer and communications. One of the important points in this context is the development of mechanisms that are able to support transparent service continuity across different integrated networks through the use of appropriate interworking architecture, handover decision algorithms, context adaptation strategies, etc.


Groups
  Networking & Stochastic and Combinatorial Optimization

Joint Inria project teams


Research highlights


Contracts & grants


Software & patents


Collaborations


Members
  BOUKHATEM Lila
  YAHIYA Tara

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
° Green 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