Back to Results
First PageMeta Content
Concurrent computing / Thread / Synchronization / Deadlock / Parallel computing / Algorithm / Lock / Mutual exclusion / Computer programming / Concurrency / Computing / Computer science


Automatic Synthesis of Deterministic Concurrency Veselin Raychev1 , Martin Vechev1 , and Eran Yahav2 1 ETH Zurich {veselin.raychev,martin.vechev}@inf.ethz.ch
Add to Reading List

Document Date: 2013-04-17 10:02:32

Open Document

File Size: 393,71 KB

Share Result on Facebook

/

IndustryTerm

thread-modular synthesis algorithm / thread-modular transition systems / synthesis algorithm / minimal solutions / iterative algorithm / particular specification filters solution / fewer solutions / specifications that solutions / transition systems / fewer and coarser solutions / criteria filters solution / unnecessary solutions / threadmodular transition systems / /

Organization

Technion / /

Position

guard / programmer / /

ProgrammingLanguage

FP / Cilk / Java / php / /

ProvinceOrState

Alberta / /

Technology

synthesis algorithm / iterative algorithm / dom / shared memory / Any synthesis algorithm / Java / /

URL

http /

SocialTag