302 search results - page 36 / 61 » An approach to synthesise safe systems |
SAFECOMP
2004
Springer
15 years 5 months ago
2004
Springer
Today the development of safety-critical systems is to a large extent guided by standards that make demands on both development process and system quality. Before the advent of the...
DSN
2000
IEEE
15 years 4 months ago
2000
IEEE
Recent work has shown the advantages of using persistent memory for transaction processing. In particular, the Vista transaction system uses recoverable memory to avoid disk I/O, ...
SOSP
2007
ACM
15 years 9 months ago
2007
ACM
ion Flow Control for Standard OS Abstractions Maxwell Krohn Alexander Yip Micah Brodsky Natan Cliffer M. Frans Kaashoek Eddie Kohler† Robert Morris MIT CSAIL †UCLA http://flum...
ICARCV
2008
IEEE
15 years 7 months ago
2008
IEEE
—Knowledge about the environment is essential for humanoid and mobile robots to move and act safely. The most intuitive way to perceive information about the environment is throu...
98
Voted
ICRA
2007
IEEE
15 years 6 months ago
2007
IEEE
— Most of present work for autonomous navigation in dynamic environment doesn’t take into account the dynamics of the obstacles or the limits of the perception system. To face ...