Software tools for designing electronic systems.
forum
Submitted by Anonymous on Mon, 03/02/2015 - 5:51pm
6th International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS'15)
http://waters2015.inria.fr
July 7, 2015 in Lund, Sweden
In conjunction with ECRTS'15
The goal of the WATERS workshop series is to create a common ground and a community to share methodologies, software tools, best practices, data sets, application models, benchmarks and any other way to improve comparability of results in the current practice of research in real-time and embedded systems.
forum
Submitted by Anonymous on Mon, 03/02/2015 - 11:38am
event
Submitted by Anonymous on Tue, 02/24/2015 - 1:38pm
7th Working Conference on Verified Software: Theories, Tools, and Experiments
The Seventh Working Conference on Verified Software: Theories, Tools, and Experiments follows a successful inaugural working conference at Zurich in 2005 followed by conferences in Toronto (2008), Edinburgh (2010), Philadelphia (2012), Atherton (2013) and Vienna (2014). The goal of this conference is to advance the state of the art in the science and technology of software verification, through the interaction of theory development, tool evolution, and experimental validation.
forum
Submitted by Anonymous on Tue, 02/24/2015 - 1:35pm
7th Working Conference on Verified Software: Theories, Tools, and Experiments
July 18 - 19, 2015
San Francisco, California, USA
http://www.eecs.berkeley.edu/vstte15
Co-located with 25th Conference on Computer Aided Verification
(http://i-cav.org/2015)
Full Paper Submission Deadline: April 27, 2015
SCOPE:
event
Submitted by Anonymous on Wed, 02/18/2015 - 6:49pm
Third ACM International Workshop on Manycore Embedded Systems
in conjunction with the 42nd International Symposium on Computer Architecture (ISCA 2015)
forum
Submitted by Anonymous on Wed, 02/18/2015 - 6:44pm
Submission deadline: March 15th
Call for Paper
Third ACM International Workshop on Many-core Embedded Systems (MES)
in conjunction with the 42nd International symposium on Computer Architecture (ISCA-2015)
13 June 2015, Portland, USA
http://mes.utu.fi/index.html
Special Issue: Elsevier's Microprocessors and Microsystems Journal (MICPRO)
General Scope
forum
Submitted by Anonymous on Wed, 02/18/2015 - 6:35pm
event
Submitted by Anonymous on Wed, 02/18/2015 - 6:16pm
Software Technologies: Applications and Foundations (STAF) is a federation of a number of the leading conferences on software technologies. It was formed after the end of the successful TOOLS federated event (http://tools.ethz.ch) in 2012, providing a loose umbrella organisation, with steering committee, that aims to provide continuity.
