Back to Results
First PageMeta Content
Function / Abstraction / Mereology / Valuation / Mathematics / Mathematical logic / Abstract interpretation


Abstraction-Guided Synthesis of Synchronization Martin Vechev Eran Yahav Greta Yorsh
Add to Reading List

Document Date: 2009-11-12 20:41:49

Open Document

File Size: 223,29 KB

Share 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