TAXYS : a Tool for the Development and Verification of Real-Time Embedded Systems⋆ Etienne CLOSSE1 , Michel POIZE1 , Jacques PULOU1 , Joseph SIFAKIS2 , Patrick VENIER1 , Daniel Weil1 , and Sergio YOVINE2 1

First Page		Document Content
Date: 2012-12-31 04:25:31 Hardware description languages Synchronous programming languages Software engineering Formal methods Computing Electronic engineering Esterel SIGNAL Model checking Embedded system Real-time computing Esterel Technologies		TAXYS : a Tool for the Development and Verification of Real-Time Embedded Systems⋆ Etienne CLOSSE1 , Michel POIZE1 , Jacques PULOU1 , Joseph SIFAKIS2 , Patrick VENIER1 , Daniel Weil1 , and Sergio YOVINE2 1 Add to Reading List Source URL: www-verimag.imag.fr Download Document from Source Website File Size: 104,95 KB Share Document on Facebook

	Demonstration: Real-Time Semantic Analysis of Sensor Streams Harshal Patni, Cory Henson, Michael Cooney, Amit Sheth, Krishnaprasad Thirunarayan Kno.e.sis – Ohio Center of Excellence in Knowledge-enabled Computing Depar DocID: 1vqCJ - View Document
	RTDS: Real-Time Discussion Statistics Pascal Bissig, Jan Deriu, Klaus-Tycho Foerster, Roger Wattenhofer Distributed Computing Group, ETH Zurich Gloriastrasse 35, CH-8092 Zurich, Switzerland {firstname.lastname}@tik.ee.et DocID: 1vinB - View Document
	FAULT TOLERANCE IN ADAPTIVE REAL-TIME COMPUTING SYSTEMS A DISSERTATION SUBMITTED TO THE DEPARTMENT OF ELECTRICAL ENGINEERING DocID: 1v7Gb - View Document
	Demo Abstract: Real-time Heterogeneous Edge Computing System for Social Sensing Applications Yue Zhang, Nathan Vance, and Dong Wang Department of Computer Science and Engineering University of Notre Dame DocID: 1ujq0 - View Document
	International Conference on Automonic Computing Anatomy of a Real-time Intrusion Prevention System Ricardo Koller, Raju Rangaswami, Joseph Marrero, Igor Hernandez, Geoffrey Smith, Mandy Barsilai, Silviu Necula, S. Masou DocID: 1u0dw - View Document