Search - INRIA - Institut National de Recherche en Informatique et en Automatique

	1 2 3 4 5 Suivant Dernière	Relevance Author A→Z Author Z→A Title A→Z Title Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 results per page 50 results per page 100 results per page Merci d'indiquer la raison de votre demande o Export XML-TEI BibTeX EndNote CSV PDF RTF Advanced export... Syndicated feeds RSS ATOM
	hal-00741610v1 Conference papers Eric Senn, Daniel Chillet, Olivier Zendra, Cécile Belleudy, Sébastien Bilavarn et al. Open-People: Open Power and Energy Optimization PLatform and Estimator 15th Euromicro Conference on Digital System Design, Sep 2012, Cesme, Izmir, Turkey. pp.668-675, ⟨10.1109/DSD.2012.98⟩
	tel-01624259v1 Theses Antoine Blin. Vers une utilisation efficace des processeurs multi-coeurs dans des systèmes embarqués à criticités multiples Systèmes embarqués. Université Pierre et Marie Curie - Paris VI, 2017. Français. ⟨NNT : 2017PA066114⟩
	hal-02996034v1 Journal articles Bizhan Alipour Pijani, Abdessamad Imine, Michaël Rusinowitch. Inferring attributes with picture metadata embeddings ACM SIGAPP applied computing review : a publication of the Special Interest Group on Applied Computing, Association for Computing Machinery (ACM), 2020, 20 (2), pp.36-45. ⟨10.1145/3412816.3412819⟩
	hal-00863110v1 Conference papers Matthieu Anne, Koutheir Attouchi, Dominique Henry-De-Villeneuve, Jacques Pulou. Jasmin: An Alternative for Secure Modularity Inside the Digital Home Component Based Software Engineering, Jun 2012, Bertinoro, Italy. pp.Pages 145-150, ⟨10.1145/2304736.2304760⟩
	inria-00544957v1 Conference papers Dorina Ghindici, Gilles Grimaud, Isabelle Simplot-Ryl. Embedding Verifiable Information Flow Analysis Proc. 4th Annual Conference on Privacy, Security and Trust, 2006, Toronto, Canada. pp.343--352
	hal-00809644v1 Conference papers Chen Xiaohong, Jing Liu, Frédéric Mallet, Zhi Jin. Modeling Timing Requirements in Problem Frames Using CCSL APSEC 2011 - 18th Asia Pacific Software Engineering Conference, Dec 2011, Ho Chi Minh, Vietnam. pp.381-388, ⟨10.1109/APSEC.2011.30⟩
	hal-00764521v1 Journal articles Mounira Bachir, Sid Touati, Brault Frédéric, David Gregg, Albert Cohen. Minimal Unroll Factor for Code Generation of Software Pipelining International Journal of Parallel Programming, Springer Verlag, 2012, ⟨10.1007/s10766-012-0203-z⟩
	lirmm-00370444v1 Journal articles Nicolas Fourty, David Guiraud, Philippe Fraisse, Guillaume Perolle, Igone Etxeberria et al. Embedded System used for Classifying Motor Activities of Elderly and Disabled People Computers and Industrial Engineering, Elsevier, 2009, 57 (1), pp.419-432. ⟨10.1016/j.cie.2009.01.011⟩
	inria-00081200v2 Reports Gilles Grimaud, Yann Hodique, Isabelle Simplot-Ryl. A verifiable Lightweight Escape Analysis Supporting Creational Design Patterns [Research Report] RR-5937, INRIA. 2006, pp.23
	tel-00540371v1 Theses Aurélien Francillon. Attacking and Protecting Constrained Embedded Systems from Control Flow Attacks Networking and Internet Architecture [cs.NI]. Institut National Polytechnique de Grenoble - INPG, 2009. English
	hal-00290184v1 Conference papers Nicolas Fourty, David Guiraud, Philippe Fraisse, Guillaume Perolle, Igone Etxeberria. A specific neural network used on a portable system for classifying activities in ambulatory monitoring International Conference on Industrial Technology (ICIT'06), Dec 2006, Mumbai, India. pp.1-4244-0726-5/06
	inria-00119245v2 Reports Gregor Goessler. Component-based Design of Heterogeneous Reactive Systems in Prometheus [Research Report] RR-6057, INRIA. 2006, pp.18
	hal-01647101v1 Directions of work or proceedings Nathalie Mitton, Hakima Chaouchi, Thomas Noel, Thomas Watteyne, Alban Gabillon et al. Interoperability, safety and security in IoT : second international conference, InterIoT 2016 and third international conference, SaSeIoT 2016 190, Springer, pp.139, 2017, LNICST, 978-3-319-52726-0
	hal-01670423v1 Journal articles Aamir Khan, Frédéric Mallet, Muhammad Rashid. A Framework to Specify System Requirements using Natural interpretation of UML/MARTE diagrams Software and Systems Modeling, Springer Verlag, 2019, 18 (1), pp.11-37. ⟨10.1007/s10270-017-0588-7⟩
	inria-00258785v2 Reports Simon Duquennoy, Gilles Grimaud, Jean-Jacques Vandewalle. Cross-layer enhancement of Web servers dedicated to small devices [Technical Report] RT-0349, INRIA. 2008, pp.27
	tel-00113765v1 Theses Alexandre Courbot. Spécialisation tardive de systèmes Java embarqués pour petits objets portables et sécurisés Réseaux et télécommunications [cs.NI]. Université des Sciences et Technologie de Lille - Lille I, 2006. Français
	tel-01067477v1 Theses van Chan Ngô. Formal verification of a synchronous data-flow compiler : from Signal to C Software Engineering [cs.SE]. Université Rennes 1, 2014. English. ⟨NNT : 2014REN1S034⟩
	inria-00528632v1 Conference papers Julien Bertrane, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne et al. Static Analysis by Abstract Interpretation of Embedded Critical Software the 3rd IEEE International workshop UML and Formal Methods, Nov 2010, Shangai, China
	tel-01762404v1 Theses Roman Korkikian. Side-channel and fault analysis in the presence of countermeasures : tools, theory, and practice Cryptography and Security [cs.CR]. Université Paris sciences et lettres, 2016. English. ⟨NNT : 2016PSLEE052⟩
	inria-00637574v1 Conference papers Bijoy Anthony Jose, Abdoulaye Gamatié, Julien Ouy, Sandeep Kumar Shukla. SMT based false causal loop detection during code synthesis from Polychronous specifications 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE), Jul 2011, Cambridge, United Kingdom. ⟨10.1109/MEMCOD.2011.5970517⟩
	hal-01086885v1 Conference papers Matti Kutila, Pasi Pyykönen, Paul Van, Nereo Pallaro, Joshué Pérez Rastelli. The DESERVE project: Towards future ADAS functions IEEE SAMOS conference, Jul 2014, SAMOS, Greece. pp.308 - 313, ⟨10.1109/SAMOS.2014.6893226⟩
	tel-01058041v1 Theses van Chan Ngo. Formal Verification of a Synchronous Data- flow Compiler : from Signal to C Software Engineering [cs.SE]. Université Rennes 1, 2014. English
	hal-00541841v1 Conference papers Abdoulaye Gamatié, Thierry Gautier. Synchronous modeling of avionics applications using the SIGNAL language 9th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2003), May 2003, Toronto, Canada. pp.144-151, ⟨10.1109/RTTAS.2003.1203046⟩
	dumas-00854960v1 Master thesis Gaël Deest. Scalable Analytical Accuracy Models for Fixed-Point Arithmetic Implementations Embedded Systems. 2013
	hal-03043623v1 Reports Hugo Pompougnac, Ulysse Beaugnon, Albert Cohen, Dumitru Potop-Butucaru. From SSA to Synchronous Concurrency and Back [Research Report] RR-9380, INRIA Sophia Antipolis - Méditerranée (France). 2020, pp.23
	hal-02270337v1 Conference papers Claude Gomez, Simone Mannori. Scilab/Scicos: an Open Source Platform for Embedded Real Time Systems Development Embedded Real Time Software and Systems (ERTS2008), Jan 2008, Toulouse, France
	hal-02156237v1 Conference papers Oliver Oey, Michael Rückauer, Timo Stripf, Jurgen Becker, Clément David et al. Interactive Parallelization of Embedded Real-Time Applications Starting from Open-Source Scilab & Xcos ERTS 2018, Jan 2018, Toulouse, France
	tel-01492474v2 Theses Alexis Martin. Infrastructure pour la gestion générique et optimisée des traces d’exécution pour les systèmes embarqués Systèmes embarqués. Université Grenoble Alpes, 2017. Français. ⟨NNT : 2017GREAM001⟩
	tel-00009704v1 Theses Jean-Charles Tournier. Qinna, une architecture à base de composants pour la gestion de la qualité de service dans les systèmes embarqués mobiles Génie logiciel [cs.SE]. INSA de Lyon, 2005. Français
	inria-00618587v1 Conference papers Mikel Cordovilla, Frédéric Boniol, Julien Forget, Eric Noulard, Claire Pagetti. Developing critical embedded systems on multicore architectures: the Prelude-SchedMCore toolset 19th International Conference on Real-Time and Network Systems, Irccyn, Sep 2011, Nantes, France
	1 2 3 4 5 Suivant Dernière	Relevance Author A→Z Author Z→A Title A→Z Title Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 results per page 50 results per page 100 results per page o Export XML-TEI BibTeX EndNote CSV PDF RTF Advanced export... Syndicated feeds RSS ATOM

Document types Minimize

Author Minimize

Subject field Minimize

Laboratory Minimize

Language Minimize

Keyword Minimize

Type of deposit Minimize

Year Minimize