![Concurrent computing / Thread / Synchronization / Deadlock / Parallel computing / Algorithm / Lock / Mutual exclusion / Computer programming / Concurrency / Computing / Computer science Concurrent computing / Thread / Synchronization / Deadlock / Parallel computing / Algorithm / Lock / Mutual exclusion / Computer programming / Concurrency / Computing / Computer science](https://www.pdfsearch.io/img/6d3e3f1a2212f2de9af07d7d19e6226a.jpg)
| Document Date: 2013-04-17 10:02:32 Open Document File Size: 393,71 KBShare 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 |