52 search results - page 3 / 11 » A Component-Oriented Model for the Design of Safe Multi-thre... |
ICRA
2010
IEEE
13 years 3 months ago
2010
IEEE
— For many applications, the control of a complex nonlinear system can be made easier by modeling the system as a collection of simplified hybrid modes, each representing a part...
ASPLOS
2012
ACM
12 years 1 months ago
2012
ACM
Emerging fast, non-volatile memories (e.g., phase change memories, spin-torque MRAMs, and the memristor) reduce storage access latencies by an order of magnitude compared to state...
FM
2008
Springer
13 years 6 months ago
2008
Springer
In this article we would like to present some recent applications of the B formal method to the development of safety critical system. These SIL3/SIL41 compliant systems have their...
HYBRID
2010
Springer
13 years 10 months ago
2010
Springer
NetSketch is a tool for the specification of constrained-flow applications and the certification of desirable safety properties imposed thereon. NetSketch assists system integr...
COOTS
1997
13 years 6 months ago
1997
The boundary between application and system is becoming increasingly permeable. Extensible applications, such as web browsers, database systems, and operating systems, demonstrate...