From non-preemptive to preemptive scheduling using synchronization synthesis

Cerny, P; Clarke, EM; Henzinger, TA; Radhakrishna, A; Ryzhyk, L; Samanta, R; Tarrach, T

Tarrach, T (reprint author), IST Austria, Campus 1, A-3400 Klosterneuburg, Austria.

FORMAL METHODS IN SYSTEM DESIGN, 2017; 50 (2-3): 97

Abstract

We present a computer-aided programming approach to concurrency. The approach allows programmers to program assuming a friendly, non-preemptive schedu......

Full Text Link


Links

期刊讨论 | 中国SCI论文 | 期刊主页 | 投稿经验 | 杂志官网 | 投稿链接 | 作者需知 | PMC链接 | Pubmed全文检索