Systems that maintain state awareness and an accepted level of operational normalcy in response to disturbances, including threats of an unexpected and malicious nature.
event
Submitted by Anonymous on Tue, 10/15/2013 - 3:07pm
8th HiPEAC Workshop on
Reconfigurable Computing
forum
Submitted by Anonymous on Tue, 10/15/2013 - 2:59pm
8th HiPEAC Workshop on
Reconfigurable Computing
January 21st , 2014
Vienna, Austria
Call For Papers - WRC 2014
IMPORTANT DATES
Submission deadline: &nbs
event
Submitted by Anonymous on Tue, 10/15/2013 - 2:36pm
The 4th International Workshop on Adaptive Self-tuning Computing Systems
January 22nd, 2014, Vienna, Austria
forum
Submitted by Anonymous on Tue, 10/15/2013 - 2:33pm
===================================================
CALL FOR PAPERS
ADAPT: 4th International Workshop on
event
Submitted by Anonymous on Tue, 10/15/2013 - 2:25pm
2nd Workshop on Virtual Prototyping of Parallel and Embedded Systems
May, 23rd, Phoenix, USA
held in conjunction to the IPDPS 2014 conference, May 19-23rd, 2014
Background
The 2nd Workshop on Virtual Prototyping of Parallel and Embedded Systems (ViPES 2014) will be held in Phoenix, USA in May 2014.
forum
Submitted by Anonymous on Tue, 10/15/2013 - 2:16pm
ACM TECS Call for Papers for the Special Issue on
Application of Concurrency to System Design
Concurrent computing systems were investigated by scientists
since early 1960s. Many formal methods were introduced for
their specification and verification, for example: Petri
nets, process algebras (CCS, CSP, pi-calculus), VDM++, etc.
These formal models were employed in many application areas,
where concurrency played an important role: electronic circuits,
file
Abstract:
Motivation: Power transmission networks underpin our way of life and are at the center of the transformation of the US energy system. "Keeping the lights on" as we transform an already large and complicated power system is a fundamental challenge for cyber- physical engineering. Future power networks will be instrumented with synchrophasor measurement units, communication infrastructures and distributed computing, and are therefore prototypical examples of cyber-physical systems with tightly coupled compu- tational and physical resources.
