PPT-Abstraction Ladder Abstraction Ladder: Day One

Way of classifying information from abstract general to concrete specific Level 4 Abstractions Level 3 Noun Classes broad group names with little specification Level 2 Noun Categories more definite groups. of Synchronization. Greta . Yorsh. Eran. . Yahav. Martin . Vechev. IBM Research. { . . ………………. . …… . ………………….. . …………………….. …………………………. Coming to Grips with Complexity in Verification. Ken McMillan. Microsoft Research. TexPoint fonts used in EMF: . A. A. A. A. A. Need for Formal Methods that Scale. We design complex computing systems by debugging. Occurs through a process of . simplification. or . distortion. in an attempt to communicate an . essential aspect. of a form or concept. Varying degrees of resemblance to the real world. Abstraction. Richard Gesick. Abstraction. the mechanism and practice of . abstraction. reduces and factors out details so that one can focus on a few concepts at a time. The concept . originated by analogy with abstraction in . with Bounds. Outline. Motivation. Abstractions . of extensive-form games. Theoretical guarantees on abstraction quality. Computing . abstractions. Hardness. Algorithms. Experiments. Nash equilibrium. warm-up: . B-b-benny. Benny and the massive head trauma. . activity . 1: . Debriefing “Who Killed Benny Paret?” . activity . 2: . The ladder of abstraction and application. activity . 3: . Writin. Instructor Comments . Be specific. Lacks support. Such as?. Like what?. Give examples!. Undeveloped. No proof. Too general. Lacking in specifics. Terms to know. Abstract General. What are the opposites of these two terms?. Kenny Denmark. Jason Isenhower. Ross Roessler. Background. A* uses heuristics for efficient searching. Initially, heuristics provided by "expert". Challenge is to have program create heuristics. Coming to Grips with Complexity in Verification. Ken McMillan. Microsoft Research. TexPoint fonts used in EMF: . A. A. A. A. A. Need for Formal Methods that Scale. We design complex computing systems by debugging. Where has all my stuff gone ? Abstraction in the physical world Yaakov (J) Stein CTO, RAD There are 2 techniques frequently used to solve hard problems and which have been raised to an art in computer science Motivation. Experiments. Overall Framework. Multi-Abstraction Concern Localization. Tien-Duy B. Le, Shaowei Wang, and David Lo. {btdle.2012, shaoweiwang.2010,davidlo}@smu.edu.sg. Abstraction. Hierarchy. Slide . 1. PHY Abstraction for MU-MIMO. Date:. 2010-07-11. Authors: . Name. Affiliations. Address. Phone. email. Riichi Kudo. NTT Corporation. Hikarino-oka Yokosuka-shi Japan. +81-46-859- 3140. kudo.riichi@lab.ntt.co.jp. Slide . 1. PHY Abstraction for MU-MIMO. Date:. 2010-07-11. Authors: . Name. Affiliations. Address. Phone. email. Riichi Kudo. NTT Corporation. Hikarino-oka Yokosuka-shi Japan. +81-46-859- 3140. kudo.riichi@lab.ntt.co.jp. 1. 2. WHY. ?. Falls in the Workplace. 3. 1 in 6 of lost-time work injuries are a result of slips, trips and falls. 25% of all accidents are falls from elevated positions. 60% of these are from . less than 3 metres.