![Function / Abstraction / Mereology / Valuation / Mathematics / Mathematical logic / Abstract interpretation Function / Abstraction / Mereology / Valuation / Mathematics / Mathematical logic / Abstract interpretation](https://www.pdfsearch.io/img/45039d8bbecf4fdc708dc237c6a5b1ee.jpg)
| Document Date: 2009-11-12 20:41:49 Open Document File Size: 223,29 KBShare Result on Facebook
City Madrid / / Company IBM / CNF / / Country Spain / / Currency pence / USD / / IndustryTerm abstraction-refinement algorithms / prototype tool / implementable solution / minimal solution / possible solutions / valid solutions / correct and efficient concurrent software / example computing values / synchronous product / abstract transition systems / abstraction-guided synthesis algorithm / / OperatingSystem L3 / / Organization U.S. Securities and Exchange Commission / / Person Eran Yahav Greta Yorsh / Martin Vechev Eran Yahav Greta / / Position hB / scheduler / forward / General / abstract interpreter / controller / programmer / / Product G UARDIAN / / Technology optimized algorithm / Defragmentation algorithms / Lazy Abstraction Algorithm / Solutions The algorithm / abstraction-refinement algorithms / shared memory / then AGS algorithm / AGS algorithm / disk drive / abstraction-guided synthesis algorithm / /
SocialTag |