646 citations
- Commissariat à l'Énergie Atomique et aux Énergies AlternativesFR251 papers
- Université Paris-SaclayFR110 papers
- Centre National de la Recherche ScientifiqueFR64 papers
- CEA Paris-SaclayFR55 papers
- Institut de Recherche sur les Lois Fondamentales de l'UniversFR21 papers
- Université d'Abomey-CalaviBJ21 papers
- Laboratoire National Henri BecquerelFR19 papers
- Université Grenoble AlpesFR16 papers
- Sorbonne UniversitéFR14 papers
- CEA GrenobleFR11 papers
- CentraleSupélecFR11 papers
- Institut National de Physique Nucléaire et de Physique des ParticulesFR11 papers
11 papers · 1 filter
A memristive nanoparticle/organic hybrid synapstor for neuro-inspired computing
F. Alibart, S. Pleutin, O. Bichler +4
A large effort is devoted to the research of new computing paradigms associated to innovative nanotechnologies that should complement and/or propose alternative solutions to the cl…
Coupling policy iteration with semi-definite relaxation to compute accurate numerical invariants in static analysis
Assalé Adjé, Stéphane Gaubert, Eric Goubault
We introduce a new domain for finding precise numerical invariants of programs by abstract interpretation. This domain, which consists of level sets of non-linear functions, genera…
MELT - a Translated Domain Specific Language Embedded in the GCC Compiler
Basile Starynkevitch
The GCC free compiler is a very large software, compiling source in several languages for many targets on various systems. It can be extended by plugins, which may take advantage o…
A Non-Standard Semantics for Kahn Networks in Continuous Time
Romain Beauxis, Samuel Mimram
In a seminal article, Kahn has introduced the notion of process network and given a semantics for those using Scott domains whose elements are (possibly infinite) sequences of valu…
Comparison Of The Consumption Of Resources Between HTTP And SIP
Ndaohialy Manda-Vy Ravonimanantsoa, Paul Auguste Rpa Randriamitantsoa
Currently, the development of research around VoIP experience a tremendous growth. In the community of open source Asterisk represents a reliable alternative for a lower cost solut…
On the reaction time of some synchronous systems
Ilias Garnier, Christophe Aussaguès, Vincent David +1
This paper presents an investigation of the notion of reaction time in some synchronous systems. A state-based description of such systems is given, and the reaction time of such s…