Several computations executing simultaneously, and potentially interacting with each other.
forum
Submitted by Anonymous on Wed, 03/14/2018 - 1:44pm
event
Submitted by Anonymous on Wed, 03/14/2018 - 1:43pm
Special Session on: "Emerging Solutions for Vehicular Embedded Software Systems" (IECON 2018)
At the 44th Annual Conference of the IEEE Industrial Electronics Society
The Special Session is organized and co-chaired by:
- Saad Mubeen, Malardalen University, Sweden, saad.mubeen@mdh.se
- Lucia Lo Bello, University of Catania, Italy, lobello@unict.it
- Matthias Becker, KTH Royal Institute of Technology, Sweden, mabecker@kth.se
Outline of the Session
forum
Submitted by Anonymous on Thu, 02/08/2018 - 6:55pm
CALL FOR PAPERS - Extended Deadline Thursday 27th Sept 2018 (23:59 UTC-12)
December 11-14, 2018 | Nashville, TN | http://2018.rtss.org/
SCOPE OF THE CONFERENCE
forum
Submitted by Anonymous on Thu, 02/08/2018 - 1:05pm
event
Submitted by Anonymous on Thu, 02/08/2018 - 1:01pm
25th International Symposium on Model Checking of Software (SPIN 2018)
The 25th edition of the SPIN symposium aims at bringing together researchers and practitioners interested in automated tool-based techniques for the analysis of software as well as models of software, for the purpose of verification and validation. The symposium specifically focuses on concurrent software, but does not exclude analysis of sequential software. Submissions are solicited on theoretical results, novel algorithms, tool development, and empirical evaluation.
event
Submitted by Anonymous on Thu, 02/08/2018 - 12:52pm
26th International Conference on Real-Time Networks and Systems (RTNS 2018)
RTNS (Real-Time Networks and Systems) is a friendly and inclusive conference with a great sense of community that presents excellent opportunities for collaboration. Original unpublished papers on all aspects of real-time systems and networks are welcome. RTNS covers a wide-spectrum of topics in real-time and embedded systems, including, but not limited to:
forum
Submitted by Anonymous on Mon, 01/29/2018 - 2:06pm
event
Submitted by Anonymous on Mon, 01/29/2018 - 2:05pm
20th International Conference on Coordination Models and Languages (COORDINATION 2018)
Scope
forum
Submitted by Anonymous on Mon, 01/29/2018 - 1:52pm
CALL FOR PAPERS
Barcelona, Spain | July 3, 2018 | https://wcet2018.wp.imt.fr/
co-located with the Euromicro Conference on Real-Time Systems (ECRTS 2018)
event
Submitted by Anonymous on Mon, 01/29/2018 - 1:51pm
18th International Workshop on Worst-Case Execution Time Analysis (WCET 2018)
co-located with the Euromicro Conference on Real-Time Systems (ECRTS 2018)
