1264 search results - page 26 / 253 » Designing Safe, Reliable Systems using Scade |
OOPSLA
2010
Springer
13 years 5 months ago
2010
Springer
We introduce a type system based on intervals, objects representing the time in which a block of code will execute. The type system can verify time-based properties such as when a...
MVA
2007
13 years 8 months ago
2007
Many approaches have been proposed for in-vehicle obstacle detection using stereovision. Unfortunately, computation cost is generally a limiting factor for all these methods, espe...
OOPSLA
2009
Springer
14 years 1 months ago
2009
Springer
The high degree of complexity and autonomy of future robotic space missions, such as Mars Science Laboratory (MSL), poses serious challenges in assuring their reliability and efï¬...
FPGA
2010
ACM
14 years 1 months ago
2010
ACM
Triple Modular Redundancy (TMR) is a common reliability technique for mitigating single event upsets (SEUs) in FPGA designs operating in radiation environments. For FPGA systems t...
MOBICOM
2006
ACM
14 years 1 months ago
2006
ACM
RFID tags are being used in many diverse applications in increasingly large numbers. These capabilities of these tags span from very dumb passive tags to smart active tags, with t...