Vertel uw vrienden over dit artikel:
A Concurrency and Time Centered Framework for Autonomous Space Systems: Design and Application of Nonblocking Programming Techniques, Static Analysis of C++, and Formal Methods Damian Dechev
Prijs
€ 57,99
Besteld in een afgelegen magazijn
Verwachte levering 17 - 25 nov.
Kerstcadeautjes kunnen tot en met 31 januari worden ingewisseld
Ontvang meldingen over nieuwe releases van Damian Dechev
Onze klanten zeggen:
Voeg toe aan uw iMusic-verlanglijst
A Concurrency and Time Centered Framework for Autonomous Space Systems: Design and Application of Nonblocking Programming Techniques, Static Analysis of C++, and Formal Methods
Damian Dechev
Future robotic space missions suggest the engineering of some of the most complex man-rated autonomous software systems. Time and concurrency are the most critical notions in an autonomous embedded system. In this work we present the design and implementation of the first concurrency and time centered framework for design and certification of autonomous space systems. We achieve this by implementing and applying a number of innovative techniques for lock-free concurrent synchronization and utilizing advanced program static analysis and formal verification.
| Media | Boeken Paperback Book (Boek met zachte kaft en gelijmde rug) |
| Vrijgegeven | 8 juli 2010 |
| ISBN13 | 9783838377339 |
| Uitgevers | LAP LAMBERT Academic Publishing |
| Pagina's | 180 |
| Afmetingen | 225 × 10 × 150 mm · 286 g |
| Taal en grammatica | Duits |
Bekijk alles van Damian Dechev