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
SAMOS XIV 2014
SAMOS is a unique conference. It deals with embedded systems (sort of)
but that is not what makes it different.
Event
ABZ 2014
4th International ABZ 2014 Conference
ASM, Alloy, B, TLA, VDM, Z
The ABZ 2014 conference is organized in Toulouse
Event
FPL2014
24th International Conference on Field Programmable Logic and Applications
The International Conference on Field Programmable Logic and Applications (FPL) is the first and largest conference covering the rapidly growing area of field-programmable logic.
Event
CyPhy'14
CyPhy'14 brings together researchers and practitioners working on modeling, simulation, and evaluation of CPS, based on a broad interpretation of these areas, to collect and exchange expertise from a diverse set of disciplines.
Event
MECO 2014
MECO-2014 Conference
VENUE: Hotel Slovenska Plaza, Budva, Montenegro.
DATES: 15-19, June 2014
ABOUT THE EVENT
The 3rd Mediterranean Conference on Embedded Computing (MECO 2014) is a continuation of very successful MECO events (MECO 2012, MECO 2013). It is an International Scientific Forum aimed to present and discuss the leading achievements in the modeling, analysis, design, validation and application of embedded computing systems.
Event
ODES-11
Optimizations are crucial to meet the performance, power and cost requirements that DSP and embedded systems have. The aim of the ODES workshop is to give the opportunity to researchers and practitioners working on this, to share their findings and get feedback.
Event
FM 2014
FM 2014 is the nineteenth in a series of symposia organized by
Formal Methods Europe, an independent association whose aim is
Event
WRC 2014
8th HiPEAC Workshop on
Reconfigurable Computing
Event
ViPES '2014
2nd Workshop on Virtual Prototyping of Parallel and Embedded Systems
May, 23rd, Phoenix, USA
held in conjunction to the IPDPS 2014 conference, May 19-23rd, 2014
Background
The 2nd Workshop on Virtual Prototyping of Parallel and Embedded Systems (ViPES 2014) will be held in Phoenix, USA in May 2014.
ICTSS 2013 (http://ictss.sabanciuniv.edu) will be held in Istanbul on Nov 13-15, 2013.