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
JRWRTC 2014
8th Junior Researcher Workshop on Real-Time Computing (JRWRTC 2014)
in conjunction with the 22nd International Conference on Real-Time and Network Systems (RTNS 2014)
Call for papers
Event
AMT '14
INTL. WORKSHOP ON THE ANALYSIS OF MODEL TRANSFORMATIONS (AMT'14)
Valencia, Spain
28, 29, or 30 Sept 2014
http://msdl.cs.mcgill.ca/conferences/AMT
Co-located with MODELS'14
MOTIVATION
Event
(MC)3
Multi-Core and Many-Core systems for EMbedded Computing (MC)3
Special session in 23rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP 2015)
This special session addresses all aspects of multi-core and many-core embedded systems design. It presents new ideas in the multi-core field such as theory and modeling, scalable and fault tolerant design approaches and frameworks, algorithms, software, tools and applications, analysis and comparison, design techniques and emerging implementations.
Event
STAF 2014
STAF 2014 Doctoral Symposium
http://www.cs.york.ac.uk/staf/2014/doctoralsymposium
Call for Abstract Submissions
Part of Software Technologies: Applications and Foundations 2014
University of York, UK, 21st - 25th July 2014.
http://stafconferences.info/
Event
MOVEP 2014
CALL FOR STUDENT ABSTRACTS & REGISTRATIONS NOW OPEN
EXTENDED DEADLINE
Summer School MOVEP 2014
11th School on MOdelling and VErifying parallel Processes
7 -- 11 July 2014, Nantes, France
http://movep14.irccyn.ec-nantes.fr/
enquiries / submissions: movep14@irccyn.ec-nantes.fr
Event
DASIP 2014
Conference on Design and Architectures for Signal and Image Processing
dasip@ecsi.org
General Co-Chairs:
Eduardo de la Torre, Universidad Politécnica de Madrid, ES
Sebastien Pillement, Polytech University of Nantes, FR
CALL FOR PAPERS - EXTENDED DEADLINE
Paper submission deadline (extended): April 21 May 5
Event
EOOLT 2014
6th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools
in cooperation with ACM SIGPLAN
SCOPE
Event
SCC 2014
Software Certification Consortium Meeting 2014
Co-located with High Confidence Software and Systems (HCSS) Conference
The SCC is organized to pursue the following objectives:
Event
SOCNE 2014
8th International Workshop on Service-Oriented Cyber-Physical Systems in Converging Networked Environments
in conjunction with
ETFA 2014 - 19th International Conference on
Emerging Technologies & Factory Automation
16-19 September 2014
Deadline for submission of regular papers: May 30, 2014
Workshop day: September 16, 2014
Event
NSV 2014
7th International Workshop on Numerical Software Verification
July 17-18, 2014
A Satellite Workshop of Vienna Summer of Logic 2014, Collocated with CAV 2014
Novelty of this edition