Chapter 9: Scheduling Contracts: 9.5 Modeling methodology.

Autor:	Benveniste, A., Caillaud, B., Nickovic, D., Passerone, R., Raclet, J.-B., Reinkemeier, Ph., Sangiovanni-Vincentelli, A., Damm, W., Henzinger, T., Larsen, K. G.
Předmět:	SUBCONTRACTING MATHEMATICAL models SCHEDULING TASK performance JOB performance MODEL-driven software architecture EXTENSION (Logic)
Zdroj:	Foundations & Trends in Electronic Design Automation; 2018, Vol. 12 Issue 2/3, p321-324, 4p
Databáze:	Complementary Index
Externí odkaz:	Zobrazit plný text záznamu