Software tools for designing electronic systems.
event
Submitted by Anonymous on Tue, 09/19/2017 - 11:13am
14th International Symposium on Applied Reconfigurable Computing (ARC 2018)
Reconfigurable computing technologies offer the promise of substantial performance gains over traditional architectures via customizing, even at runtime, the topology of the underlying architecture to match the specific needs of a given application. Contemporary configurable architectures allow for the definition of architectures with functional and storage units that match in function, bit-width and control structures the specific needs of a given computation.
event
Submitted by Anonymous on Mon, 09/18/2017 - 4:58pm
The 8th International Conference on Information Technology in Education (CITE 2017)
Special tracks within the Conference on Creative Education (CCE 2017). The main objective of CITE 2017 is to provide a platform for researchers, engineers and academicians from all over the world to present their research results and development activities on Information Technology in Education.
forum
Submitted by Anonymous on Wed, 08/23/2017 - 4:33pm
forum
Submitted by Anonymous on Wed, 08/23/2017 - 3:46pm
CALL FOR PAPERS
8th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools (EOOLT'2017)
Munich, Germany | December 1, 2017 | http://www.eoolt.org/2017/
All accepted papers will be published in the Scopus-indexed ACM Digital Library.
Important dates:
event
Submitted by Anonymous on Wed, 08/23/2017 - 3:06pm
December 1, 2017 | Munich, Germany
Many engineers rely heavily on model-based design and control of complex cyber-physical systems. Of paramount importance is the ability to capture all central aspects of such systems in the models, including the physical behavior of the system components and the architecture description of its software and hardware.
forum
Submitted by Anonymous on Mon, 07/24/2017 - 1:12pm
CALL FOR PAPERS
20th Brazilian Symposium on Formal Methods (SBMF)
27th of November to 1st of December, 2017 | Recife, Pernambuco, Brazil | http://www.sbc.org.br/sbmf2017
IMPORTANT DATES
event
Submitted by Anonymous on Mon, 07/24/2017 - 1:10pm
CALL FOR PAPERS
20th Brazilian Symposium on Formal Methods (SBMF)
INTRODUCTION
forum
Submitted by Anonymous on Tue, 07/11/2017 - 4:01pm
CALL FOR PARTICIPATION AND SHORT CONTRIBUTIONS
Associated with MFCS 2017
Aalborg University, Denmark | 26 August 2017 | http://dhs.gforge.inria.fr/
forum
Submitted by Anonymous on Tue, 07/11/2017 - 3:55pm
CALL FOR PAPERS - Deadline Extended to July 23
Held in conjunction with ESWEEK 2017
event
Submitted by Anonymous on Tue, 07/11/2017 - 3:55pm
Seventh Workshop on Design, Modeling and Evaluation of Cyber Physical Systems (CyPhy'17)
Held in conjunction with ESWEEK 2017
