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
IWLS 2014
The 23rd International Workshop on Logic & Synthesis
sponsored by ACM/SIGDA and by the IEEE
Event
NOCS 2014
Eighth IEEE/ACM International Symposium on Networks-on-Chip
NOCS 2014
September 17th - 19th, 2014
Ferrara, Italy
http://www.nocsymposium.org
Event
CBSE 2014
THE 17TH INTERNATIONAL ACM SIGSOFT SYMPOSIUM ON COMPONENT BASED SOFTWARE ENGINEERING (CBSE 2014)
Event
ETFA 2014
The 19th IEEE International Conference on Emerging Technologies and Factory Automation
The aim of the conference is to bring together researchers and practitioners from the industry and academia and provide them with a platform to report on recent advances and developments in the newly emerging areas of technology, as well as actual and potential applications to industrial and factory automation.
Event
MOSPAS 2014
5th International Workshop on Modeling and Simulation of
Peer-to-Peer and Autonomic Systems
(MOSPAS 2014)
As part of
Event
TRUST 2014
TRUST: 1st ACM SIGPLAN Workshop on Reproducible Research Methodologies and New Publication Models in Computer Engineering
=================================================================
Event
EMSOFT 2014
The International Conference on Embedded Software (EMSOFT) brings together researchers and developers from academia, industry, and government to advance the science, engineering, and technology of embedded software development. EMSOFT 2014 is part of the Embedded Systems Week.
Event
CODES+ISSS 2014
The International Conference on Hardware/Software Codesign and System Synthesis is the premier event in the design, modeling, analysis, and implementation of modern embedded systems, from system-level specification and optimization to hardware/software implementation. The conference is a forum for active discussions on various topics of current and future importance to designers and researchers.
Event
CASES 2014
CASES is a forum where researchers, developers and practitioners exchange information on emerging technologies and the latest advances in compilers and architectures for high performance embedded systems design and synthesis. CASES uniquely aims to promote synergies across otherwise vertically integrated communities in embedded systems.
Event
FMTV’ 14
1st Formal Methods for Timing Verification Workshop
In conjunction with the 19th International Symposium on Formal Methods (FM 2014)