Curation by Anonymous 3 months, 4 weeks ago for query INRIA
Original results
-
https://github.com/inria — found via Mwmbl
Inria · GitHub
You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You swi…
-
https://inria.fr/en/taran — found via Mwmbl
TARAN | Inria
TARAN Energy efficiency has now become one of the main requirements for virtually all computing platforms. Computer architects are however facing new cha…
-
https://hal.inria.fr/ — found via Mwmbl
Home - Inria - Institut national de recherche en sciences et tec…
Hal-Inria allows to access all publications in HAL and, for Inria team members, to deposit the full text of their scientific contributions The IES-Inria t…
-
http://team.inria.fr — found via Mwmbl
Team.inria.fr – Service d'hébergement pour sites d'équipe, équip…
This website uses cookies so that we can provide you with the best user experience possible. Cookie information is stored in your browser and performs fu…
-
http://ns.inria.fr/nrv — found via Mwmbl
Normative Requirements Vocabulary
a Deontic Specification for a state, an act, or a course of action where the Bearer has no Obligation or Prohibition to the contrary. A weak Permission i…
-
http://hop.inria.fr/ — found via Mwmbl
Hop.js
Note: Hop also supports the Scheme programming language. With Hop.js, JavaScript and Scheme are fully interoperable and applications can mix both language…
-
https://coq.inria.fr/ — found via Mwmbl
Welcome! | The Coq Proof Assistant
Coq is free, open-source software. Its development is largely supported by Inria , a French public computer science institute, but anyone can follow and p…
-
http://ns.inria.fr/emoca — found via Mwmbl
The EmOCA Specification
Example Licencing Information This work is licensed under a Creative Commons Attribution License. This copyright applies to the EmOCA Specification and a…
-
http://caml.inria.fr/ — found via Mwmbl
The Caml language: Home
Caml is a general-purpose programming language, designed with program safety and reliability in mind. It is very expressive, yet easy to learn and use. Ca…
-
https://team.inria.fr/oak — found via Mwmbl
Oak project, Inria Saclay – Database optimizations and architect…
data with complex structure, such as: structured document or tree data (such as XML or JSON), graph-based data (RDF, social networks…), data described by…
-
https://team.inria.fr/news — found via Mwmbl
News – Team.inria.fr
This website uses cookies so that we can provide you with the best user experience possible. Cookie information is stored in your browser and performs fu…
-
https://team.inria.fr/cqfd — found via Mwmbl
CQFD – CQFD Inria Team-Project
CQFD CQFD CQFD CQFD The core component of our scientific agenda focuses on the development of statistical and probabilistic methods for the modeling and …
-
http://diy.inria.fr/doc/ — found via Mwmbl
A diy ``Seven'' tutorial
A diy “Seven” tutorial Version 7.56.2 May 6 2022 diy7 is a tool suite for testing shared memory models. We provide several tools, litmus7 (Part I) and kl…
-
http://diy.inria.fr/linux — found via Mwmbl
Frightening small children and disconcerting grown-ups: Concurre…
Frightening small children and disconcerting grown-ups: Concurrency in the Linux kernel— Companion Material Jade Alglave Luc Maranget Paul E. McKenney An…
-
http://hal.science/INRIA2 — found via Mwmbl
index - INRIA 2
You can consult and search here for all Inria publications on HAL or on HAL-Inria . This list of publications is automatically generated each night. I…
-
http://team.inria.fr/spai — found via Mwmbl
Security Program Analyses for the IoT – A modern web site
This website uses cookies so that we can provide you with the best user experience possible. Cookie information is stored in your browser and performs fu…
-
https://team.inria.fr/reo — found via Mwmbl
REO – Mathematical modelling and Numerical Simulation of Biologi…
Overview Former team presentation The team was working on the numerical simulation of biological flows and cardiac electrophysiology. Its main objectives…
-
https://team.inria.fr/i4s — found via Mwmbl
I4S – Presentation
Presentation The overall objective of this project-team is the development of Structural Health Monitoring (SHM) techniques by close coupling of statisti…
-
https://team.inria.fr/rap — found via Mwmbl
This website uses cookies so that we can provide you with the best user experience possible. Cookie information is stored in your browser and performs fu…
-
https://team.inria.fr/jobs — found via Mwmbl
Page not found – Team.inria.fr
This website uses cookies so that we can provide you with the best user experience possible. Cookie information is stored in your browser and performs fu…
-
http://bit.ly/2tjtzU4 — found via Mwmbl
Série – Inria : du chercheur à l’entrepreneur | Alliancy
Privacy Overview This website uses cookies to improve your experience while you navigate through the website. Out of these cookies, the cookies that are …
-
https://rmod.inria.fr/web/ — found via Mwmbl
RMOD
Vision The goal of RMoD is to support ever-running systems. This objective is tackled from complementary perspectives: reengineering of large systems, to…
-
http://team.inria.fr/diana — found via Mwmbl
DIANA – Design, Implementation and Analysis of Networking Archit…
Presentation The DIANA team conducts research in the domain of networking, with an emphasis on designing, implementing, and analysis of new network archi…
-
http://team.inria.fr/ayin/ — found via Mwmbl
AYIN
AYIN team is closed since mid-2016. A new exploratory research group (AYANA) has been created since 2020. AYIN was created at the beginning of 2012, foll…
-
http://team.inria.fr/scale — found via Mwmbl
scale – scale
Presentation Scale is an I3S project (Univ. of Nice Sophia-Antipolis and CNRS) of the COMRED team. It used to be a joint team between I3S (Univ. of Nice …
-
http://team.inria.fr/valse — found via Mwmbl
Finite-time control and estimation for distributed systems – Val…
Presentation The information revolution brings new possibilities related to the Internet of Things and Cyber-Physical Systems in robotics, health monitor…
-
http://cristal.inria.fr — found via Mwmbl
Projet Cristal
The Cristal team investigated the design, implementation and theoretical foundations of strongly-typed programming languages. We particularly focused on …
-
https://project.inria.fr — found via Mwmbl
Research web sites – Service d'hébergement pour sites autours d'…
Nirvana makes things easier than ever before. No coding and no extra CSS styling needed. With a simple user interface of over 200 settings you can change …
-
http://www.irisa.fr/alf — found via Mwmbl
ALF – INRIA / IRISA project-team ALF
The ALF team regroups researchers in computer architecture, software/compiler optimization, and real-time systems. The long-term goal of the ALF project-…
-
http://compcert.inria.fr/ — found via Mwmbl
CompCert - Main page
The CompCert project investigates the formal verification of realistic compilers usable for critical embedded software. Such verified compilers come with …
New results
-
https://github.com/inria — found via Mwmbl
Inria · GitHub
You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You swi…
-
https://inria.fr/en/taran — found via Mwmbl
TARAN | Inria
TARAN Energy efficiency has now become one of the main requirements for virtually all computing platforms. Computer architects are however facing new cha…
-
https://hal.inria.fr/ — found via Mwmbl
Home - Inria - Institut national de recherche en sciences et tec…
Hal-Inria allows to access all publications in HAL and, for Inria team members, to deposit the full text of their scientific contributions The IES-Inria t…
-
http://team.inria.fr — found via Mwmbl
Team.inria.fr – Service d'hébergement pour sites d'équipe, équip…
This website uses cookies so that we can provide you with the best user experience possible. Cookie information is stored in your browser and performs fu…
-
http://ns.inria.fr/nrv — found via Mwmbl
Normative Requirements Vocabulary
a Deontic Specification for a state, an act, or a course of action where the Bearer has no Obligation or Prohibition to the contrary. A weak Permission i…
-
http://hop.inria.fr/ — found via Mwmbl
Hop.js
Note: Hop also supports the Scheme programming language. With Hop.js, JavaScript and Scheme are fully interoperable and applications can mix both language…
-
https://coq.inria.fr/ — found via Mwmbl
Welcome! | The Coq Proof Assistant
Coq is free, open-source software. Its development is largely supported by Inria , a French public computer science institute, but anyone can follow and p…
-
http://ns.inria.fr/emoca — found via Mwmbl
The EmOCA Specification
Example Licencing Information This work is licensed under a Creative Commons Attribution License. This copyright applies to the EmOCA Specification and a…
-
http://caml.inria.fr/ — found via Mwmbl
The Caml language: Home
Caml is a general-purpose programming language, designed with program safety and reliability in mind. It is very expressive, yet easy to learn and use. Ca…
-
https://team.inria.fr/oak — found via Mwmbl
Oak project, Inria Saclay – Database optimizations and architect…
data with complex structure, such as: structured document or tree data (such as XML or JSON), graph-based data (RDF, social networks…), data described by…
-
https://team.inria.fr/news — found via Mwmbl
News – Team.inria.fr
This website uses cookies so that we can provide you with the best user experience possible. Cookie information is stored in your browser and performs fu…
-
https://team.inria.fr/cqfd — found via Mwmbl
CQFD – CQFD Inria Team-Project
CQFD CQFD CQFD CQFD The core component of our scientific agenda focuses on the development of statistical and probabilistic methods for the modeling and …
-
http://diy.inria.fr/doc/ — found via Mwmbl
A diy ``Seven'' tutorial
A diy “Seven” tutorial Version 7.56.2 May 6 2022 diy7 is a tool suite for testing shared memory models. We provide several tools, litmus7 (Part I) and kl…
-
http://diy.inria.fr/linux — found via Mwmbl
Frightening small children and disconcerting grown-ups: Concurre…
Frightening small children and disconcerting grown-ups: Concurrency in the Linux kernel— Companion Material Jade Alglave Luc Maranget Paul E. McKenney An…
-
http://hal.science/INRIA2 — found via Mwmbl
index - INRIA 2
You can consult and search here for all Inria publications on HAL or on HAL-Inria . This list of publications is automatically generated each night. I…
-
http://team.inria.fr/spai — found via Mwmbl
Security Program Analyses for the IoT – A modern web site
This website uses cookies so that we can provide you with the best user experience possible. Cookie information is stored in your browser and performs fu…
-
https://team.inria.fr/reo — found via Mwmbl
REO – Mathematical modelling and Numerical Simulation of Biologi…
Overview Former team presentation The team was working on the numerical simulation of biological flows and cardiac electrophysiology. Its main objectives…
-
https://team.inria.fr/i4s — found via Mwmbl
I4S – Presentation
Presentation The overall objective of this project-team is the development of Structural Health Monitoring (SHM) techniques by close coupling of statisti…
-
https://team.inria.fr/rap — found via Mwmbl
This website uses cookies so that we can provide you with the best user experience possible. Cookie information is stored in your browser and performs fu…
-
https://team.inria.fr/jobs — found via Mwmbl
Page not found – Team.inria.fr
This website uses cookies so that we can provide you with the best user experience possible. Cookie information is stored in your browser and performs fu…
-
http://bit.ly/2tjtzU4 — found via Mwmbl
Série – Inria : du chercheur à l’entrepreneur | Alliancy
Privacy Overview This website uses cookies to improve your experience while you navigate through the website. Out of these cookies, the cookies that are …
-
https://rmod.inria.fr/web/ — found via Mwmbl
RMOD
Vision The goal of RMoD is to support ever-running systems. This objective is tackled from complementary perspectives: reengineering of large systems, to…
-
http://team.inria.fr/diana — found via Mwmbl
DIANA – Design, Implementation and Analysis of Networking Archit…
Presentation The DIANA team conducts research in the domain of networking, with an emphasis on designing, implementing, and analysis of new network archi…
-
http://team.inria.fr/ayin/ — found via Mwmbl
AYIN
AYIN team is closed since mid-2016. A new exploratory research group (AYANA) has been created since 2020. AYIN was created at the beginning of 2012, foll…
-
http://team.inria.fr/scale — found via Mwmbl
scale – scale
Presentation Scale is an I3S project (Univ. of Nice Sophia-Antipolis and CNRS) of the COMRED team. It used to be a joint team between I3S (Univ. of Nice …
-
http://team.inria.fr/valse — found via Mwmbl
Finite-time control and estimation for distributed systems – Val…
Presentation The information revolution brings new possibilities related to the Internet of Things and Cyber-Physical Systems in robotics, health monitor…
-
http://cristal.inria.fr — found via Mwmbl
Projet Cristal
The Cristal team investigated the design, implementation and theoretical foundations of strongly-typed programming languages. We particularly focused on …
-
https://project.inria.fr — found via Mwmbl
Research web sites – Service d'hébergement pour sites autours d'…
Nirvana makes things easier than ever before. No coding and no extra CSS styling needed. With a simple user interface of over 200 settings you can change …
-
http://www.irisa.fr/alf — found via Mwmbl
ALF – INRIA / IRISA project-team ALF
The ALF team regroups researchers in computer architecture, software/compiler optimization, and real-time systems. The long-term goal of the ALF project-…
-
http://compcert.inria.fr/ — found via Mwmbl
CompCert - Main page
The CompCert project investigates the formal verification of realistic compilers usable for critical embedded software. Such verified compilers come with …