302 search results - page 34 / 61 » An approach to synthesise safe systems |
91
Voted
IROS
2007
IEEE
15 years 6 months ago
2007
IEEE
— As robots are gradually leaving highly structured factory environments and moving into human populated environments, they need to possess more complex cognitive abilities. Not ...
101
Voted
IEEEPACT
2003
IEEE
15 years 5 months ago
2003
IEEE
In Thread-Level Speculation (TLS), speculative tasks generate memory state that cannot simply be combined with the rest of the system because it is unsafe. One way to deal with th...
ICSE
2000
IEEE-ACM
15 years 4 months ago
2000
IEEE-ACM
Software systems have to be flexible in order to cope with evolving requirements. However, since it is impossible to predict with certainty what future requirements will emerge, i...
CODES
2000
IEEE
15 years 4 months ago
2000
IEEE
We present a technique for task response time improvement based on the concept of code motion from the software domain. Relaxed Operation Motion (ROM) is a simple yet powerful app...
173
click to vote
VEE
2012
ACM
13 years 8 months ago
2012
ACM
Time Of Check To Time Of Use (TOCTTOU) race conditions for file accesses in user-space applications are a common problem in Unix-like systems. The mapping between filename and i...