302 search results - page 22 / 61 » An approach to synthesise safe systems |
89
Voted
AAAI
2007
15 years 2 months ago
2007
We propose a real-time computer vision system that enables a UGV to safely cross urban road-intersections. Specifically, when the UGV approaches the stop sign at a 4-way intersec...
104
click to vote
EMSOFT
2007
Springer
15 years 6 months ago
2007
Springer
The design of safety-critical systems has typically adopted static techniques to simplify error detection and fault tolerance. However, economic pressure to reduce costs is exposi...
RTSS
2008
IEEE
15 years 6 months ago
2008
IEEE
Automakers are trying to make vehicles more intelligent and safe by embedding processors which can be used to implement by-wire applications for taking smart decisions on the road...
120
click to vote
PEPM
1999
ACM
15 years 4 months ago
1999
ACM
A certifying compiler takes a source language program and produces object code, as well as a certi cate" that can be used to verify that the object code satis es desirable pr...
121
click to vote
IPPS
2003
IEEE
2003
IEEE
Dynamically Loaded Classes as Shared Libraries: An Approach to Improving Virtual Machine Scalability
15 years 5 months ago
Sharing selected data structures among virtual machines of a safe language can improve resource utilization of each participating run-time system. The challenge is to determine wh...