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

HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information

		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 HTML Advanced export... Syndicated feeds RSS ATOM
	tel-01749592v3 Theses Aurélien Monot. Vérification des contraintes temporelles de bout-en-bout dans le contexte AutoSar Systèmes embarqués. Université de Lorraine, 2012. Français. ⟨NNT : 2012LORR0384⟩
	inria-00436891v3 Reports Benoît Hudson, Gary Miller, Steve Oudot, Donald Sheehy. Topological Inference via Meshing [Research Report] RR-7125, INRIA. 2009
	inria-00526683v1 Journal articles Enrica Nicolini, Christophe Ringeissen, Michaël Rusinowitch. Combining Satisfiability Procedures for Unions of Theories with a Shared Counting Operator Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2010, 105 (1-2), pp.163--187. ⟨10.3233/FI-2010-362⟩
	inria-00331735v2 Reports Enrica Nicolini, Christophe Ringeissen, Michaël Rusinowitch. Satisfiability Procedures for Combination of Theories Sharing Integer Offsets [Research Report] RR-6697, INRIA. 2008, pp.22
	hal-01308719v1 Journal articles Antonia Masucci, Elena Veronica Belmega, Inbar Fijalkow. Optimal blockwise subcarrier allocation policies in single-carrier FDMA uplink systems EURASIP Journal on Advances in Signal Processing, SpringerOpen, 2014, 2014 (1), pp.176. ⟨10.1186/1687-6180-2014-176⟩
	inria-00336170v1 Book sections Mathieu Grenier, Lionel Havet, Nicolas Navet. Scheduling messages with offsets on Controller Area Network: a major performance boost Nicolas Navet and Françoise Simonot-Lion. Automotive Embedded Systems Handbook, Taylor & Francis / CRC Press, pp.14.1--14.15, 2009, Industrial Information Technology Series, 978-0-8493-8026-6
	inria-00273946v1 Conference papers Mathieu Grenier, Lionel Havet, Nicolas Navet. Pushing the limits of CAN - scheduling frames with offsets provides a major performance boost ERTS 2008 - 4th European Congress on Embedded Real Time Software, Jan 2008, Toulouse, France
	inria-00543179v1 Conference papers Aurélien Monot, Nicolas Navet, Bernard Bavoux, Françoise Simonot-Lion. Multicore scheduling in automotive ECUs Embedded Real Time Software and Systems - ERTSS 2010, May 2010, Toulouse, France
		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 HTML Advanced export... Syndicated feeds RSS ATOM