Human space flight systems, observatories, satellites, instruments, and missile defense systems.
forum
Submitted by akarns on Wed, 12/07/2022 - 1:08pm
CALL FOR PAPERS
Important Dates AoE (UTC-12h)
event
Submitted by Anonymous on Wed, 01/08/2020 - 3:40pm
10th European Congress EMBEDDED REAL TIME SOFTWARE AND SYSTEMS (ERTS 2020)
The ERTS Congress is a unique International cross sector event on Embedded Software and Systems, the "place to be" for actors from universities, research centers and industries :
forum
Submitted by Anonymous on Wed, 03/14/2018 - 2:11pm
CALL FOR PAPERS
July 18-19, 2018 | Oxford, UK | https://nsv-2018.github.io/nsv2018/
Federated Logic Conference (FLoC) 2018
We are pleased to invite you to submit papers to the 11th International Workshop on Numerical Software Verification (NSV 2018).
Important Dates
forum
Submitted by Anonymous on Tue, 11/21/2017 - 12:56pm
CALL FOR PAPERS
18-22 June 2018 | Lisbon, Portugal | http://ae2018.di.fc.ul.pt/index.html
Organized by U.Lisboa on behalf of Ada-Europe, in cooperation with ACM SIGAda, SIGBED (pending), SIGPLAN (pending) and the Ada Resource Association (ARA)
forum
Submitted by Anonymous on Tue, 09/19/2017 - 10:21am
event
Submitted by Anonymous on Tue, 09/19/2017 - 10: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.