Sites Inria

There are 4144 Results for : ""

Research team

CAGIRE

Computational AGility for internal flows sImulations and compaRisons with Experiments

Home > Domains > Applied Mathematics, Computation and Simulation > Numerical schemes and simulations > CAGIRE

More

Research team

CAIRN

Energy Efficient Computing ArchItectures with Embedded Reconfigurable Resources

Home > Domains > Algorithmics, Programming, Software and Architecture > Architecture, Languages and Compilation > CAIRN

More

Research team

CAMBIUM

Programming languages: type systems, concurrency, proofs of programs

Home > Domains > Algorithmics, Programming, Software and Architecture > Proofs and Verification > CAMBIUM

More

Research team

CAMIN

Control of Artificial Movement & Intuitive Neuroprosthesis

Home > Domains > Digital Health, Biology and Earth > Computational Neuroscience and Medicine > CAMIN

More

Associate team

FAST

(Harder Better) FAster STronger cryptography

Home > Domains > Algorithmics, Programming, Software and Architecture > Algorithmics, Computer Algebra and Cryptology > FAST

More

Associate team

EQUAVE

Efficient Quantitative Verification

Home > Domains > Algorithmics, Programming, Software and Architecture > Proofs and Verification > EQUAVE

More

Research team

ANGE

Numerical Analysis, Geophysics and Environment

Home > Domains > Digital Health, Biology and Earth > Earth, Environmental and Energy Sciences > ANGE

More

Research team

ALPINES

Algorithms and parallel tools for integrated numerical simulations

Home > Domains > Networks, Systems and Services, Distributed Computing > Distributed and High Performance Computing > ALPINES

More

Top