Independent procedures that are used together for checking that a product, service, or system meets requirements and specifications and that it fulfills its intended purpose.
Event
NSV 2015
The 8th International Workshop on Numerical Software Verification will be held April 13, 2015 in conjunction with Cyber-Physical Week 2015 Seattle, WA, USA
Web Page: http://nsv2015.informatik.uni-freiburg.de/
Scope
Event
SMC 2015
Big Data Analytics for Human-Centric Systems
Event
DSN 2015
45th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)
The Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) is the most prestigious international forum for presenting research results in the field of dependable and secure computing.
Event
ECRTS '15
EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS
Lund, Sweden, 8-10th July 2015
Organized by the Euromicro Technical Committee on Real-Time Systems
Conference web site: ecrts15.ecrts.org
THEME AND TOPICS OF INTEREST
ECRTS is the premier European venue for presenting research into the broad area of real-time and embedded systems. Along with RTSS and RTAS, ECRTS ranks as one of the three top international conferences on real-time systems.
Event
ICESS 2015
The 12th IEEE International Conference on Embedded Software and Systems
Co-located with HPCC 2015 and CSS 2015
*IMPORTANT DATES*
Event
ISORC 2015
The 18th IEEE International Symposium On Real-Time Computing (ISORC 2015)
Scope and Topics of Interest
ISORC has become established as the leading event devoted to state-of-the-art research in the field of object/component/service-oriented real-time distributed computing (ORC) technology. We invite original submissions from academia and industry pertaining to all aspects of ORC technology. These include, but are not limited to:
Event
SIES 2015
10th IEEE Symposium on Industrial Embedded Systems - SIES 2015
University of Siegen
Conference web site: www.sies2015.com
Submission system: https://easychair.org/conferences/?conf=sies2015
Event
RTA 2015
26th International Conference on REWRITING TECHNIQUES AND APPLICATIONS
29 June - 1 July, 2015, Warsaw, Poland
co-located with TLCA, as part of RDP 2015
http://rdp15.mimuw.edu.pl/
RTA is the major forum for the presentation of research on all
aspects of rewriting. Topics of interest include:
Event
FIT-IoT-LAB
Internet of Things Conference (IoT)
FIT- IoT-LAB
November 6 & 7 2014, Grenoble, France
Scope
Event
RAPIDO'15
RAPIDO'15
7th Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools - RAPIDO
Held in conjunction with the HiPEAC Conference (http://www.hipeac.net/conference)