We found a match
Your institution may have rights to this item. Sign in to continue.
- Title
Formal methods in LARGE-SCALE computing systems.
- Authors
Malik, Saif U. R.; Khan, Samee U.
- Abstract
The article focuses on the formal methods in large-scale computing systems. It says that the errors in large-scale systems such as the real-time systems and clouds are hazardous and expensive. It states that one of the examples of error is when aircraft Mars Climate Orbiter has crashed due to distance miscalculation. According to Greg Linden, principal at Microsoft Live Labs, the Google Inc. has reported a 20% revenue loss because of a delay in response time.
- Subjects
FORMAL methods (Computer science); COMPUTER systems; REAL-time computing; CLOUD computing; LINDEN, Greg; MICROSOFT Live Labs (Company); BUSINESS revenue
- Publication
ITNOW, 2013, Vol 55, Issue 2, p52
- ISSN
1746-5702
- Publication type
Article
- DOI
10.1093/itnow/bwt025