Coordinating individual systems to function dynamically and simultaneously in all situations.
event
Submitted by Anonymous on Wed, 11/26/2014 - 4:46pm
The eighteenth edition, ETAPS 2015, will take place in London, UK. The venue will be Queen Mary University of London in the Mile End campus.
The European Joint Conferences on Theory and Practice of Software (ETAPS) is the primary European forum for academic and industrial researchers working on topics relating to Software Science.
ETAPS, established in 1998, is a confederation of six main annual conferences (CC, ESOP, FASE, FoSSaCS, POST and TACAS) accompanied by satellite workshops and other events.
forum
Submitted by Anonymous on Wed, 11/26/2014 - 4:35pm
GRAPHS AS MODELS (GaM 2015)
First International Workshop
http://utwente.nl/gam2015/
Satellite Event of ETAPS 2015, London -- 11-12 April 2015
Description
forum
Submitted by Anonymous on Wed, 11/26/2014 - 4:03pm
Position type: Postdoc (Research Fellow) for 2 years.
Salary range: Between S$4000 and S$5000 monthly depending on background and experience.
Expected qualifications: PhD in Computer Science, Computer Engineering or related field. Research experience and interest in design and analysis of real-time scheduling algorithms is highly recommended.
event
Submitted by Anonymous on Wed, 11/26/2014 - 3:40pm
The 8th International Workshop on Numerical Software Verification will be held April 13, 2015 in conjunction with Cyber-Physical Week 2015 Seattle, WA, USA
Web Page: http://nsv2015.informatik.uni-freiburg.de/
Scope
forum
Submitted by Anonymous on Fri, 11/21/2014 - 6:01pm
To be held on April 13, 2015 in conjunction with CPS Week 2015.
file
Abstract:
This project aims to enable cyber--physical systems that can be worn on the body in order to one day allow their users to touch, feel, and manipulate computationally simulated three--dimensional objects or digital data in physically realistic ways, using the whole hand. It will do this by precisely measuring touch and movement--induced displacements of the skin in the hand, and by reproducing these signals interactively, via new technologies to be developed in the project.
file
Abstract:
This project is concerned with ensuring operational safety of complex cyber-physical systems such as automobiles, aircraft, and medical devices. Modern development techniques for such systems rely on independent implementation of safety features in software and subsequent integration of these features within system platform architectures . The current trend in developing these systems, driven by the need to reduce cost and energy consumption, is to share computational resources between different features .
file
Abstract:
Buildings in the U.S. contribute to 39% of energy use, consume approximately 70% of the electricity, and account for 39% of CO2 emissions. Hence, developing green building architec- tures is an extremely critical component in energy sustainability. The investigators will develop a unified analytical approach for green building design that comprehensively manages energy sustainability by taking into account the complex interactions between these systems of systems, providing a high degree of security, agility and robust to extreme events.
file
Abstract:
Growing demands on our civil infrastructure have heightened the need for smart structural components and systems whose behavior and performance can be controlled under a variety of loading scenarios such as high winds and earthquakes.
