Surface transportation vehicles.
event
Submitted by Anonymous on Mon, 05/09/2016 - 3:06pm
24th International Conference on Real-Time Networks and Systems (RTNS)
CONFERENCE
RTNS is a friendly conference with a great sense of community that presents excellent opportunities for collaboration. Original unpublished papers on all aspects of real-time systems and networks are welcome. The proceedings are published by the ACM ICPS (approval pending).
RTNS covers a wide-spectrum of topics in real-time and embedded systems, including, but not limited to:
page
Submitted by el_wehby on Wed, 02/10/2016 - 7:16pm
| LEAD PI |
TITLE (with link to Poster and Abstract) |
VIDEO |
forum
Submitted by Anonymous on Fri, 12/04/2015 - 1:33pm
CALL FOR PAPERS
The 8th NASA Formal Methods Symposium (NFM 2016)
http://crisys.cs.umn.edu/nfm2016 | June 07 - June 09 2016
McNamara Alumni Center | University of Minnesota | 200 Oak Street S.E., Minneapolis, MN 55455
Theme of the Symposium
file
Abstract: Modern cyber-physical systems interact closely with continuous physical processes like kinematic movement. Software component frameworks do not provide an explicit way to represent or reason about these processes. Meanwhile, hybrid program models have been successful in proving critical properties of discrete-continuous systems. These programs deal with diverse aspects of a cyber-physical system such as controller decisions, component communication protocols, and mechanical dynamics, requiring several programs to address the variation.
event
Submitted by akarns on Fri, 03/27/2015 - 4:59pm
Embedded Real Time Software and Systems (ERTS2 2016)
The ERTS2 congress is a unique European cross sector event on Embedded Software and Systems, a platform for top-level scientists with representatives from universities, research centers and industries. The previous editions gathered each more than 100 talks, 500 participants and 60 exhibitors.ERTS2 is both:
video
Submitted by hongrui on Wed, 12/03/2014 - 5:52pm
file
Abstract:
Our proposed research is motivated by two fundamental challenges that are traditionally studied in separate disciplines. The first key challenge is that in existing digital cameras, the functionalities of a camera are constrained by its size due to the optics and quantum nature of light. It remains a challenge to design a camera architecture that has both - a small form factor and has versatile functionalities, e.g.
