كتاب إلكتروني
Static Optimal Scheduling for Synchronous Data Flow Graphs with Model Checking
العنوان: | Static Optimal Scheduling for Synchronous Data Flow Graphs with Model Checking |
---|---|
المؤلفون: | Zhu, Xue-YangAff15, Yan, RongjieAff15, Gu, Yu-LeiAff15, Aff16, Zhang, JianAff15, Zhang, WenhuiAff15, Zhang, GuangquanAff16 |
المساهمون: | Hutchison, David, Series editorAff1, Kanade, Takeo, Series editorAff2, Kittler, Josef, Series editorAff3, Kleinberg, Jon M., Series editorAff4, Mattern, Friedemann, Series editorAff5, Mitchell, John C., Series editorAff6, Naor, Moni, Series editorAff7, Pandu Rangan, C., Series editorAff8, Steffen, Bernhard, Series editorAff9, Terzopoulos, Demetri, Series editorAff10, Tygar, Doug, Series editorAff11, Weikum, Gerhard, Series editorAff12, Bjørner, Nikolaj, editorAff13, de Boer, Frank, editorAff14 |
المصدر: | FM 2015: Formal Methods : 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings. 9109:551-569 |
قاعدة البيانات: | Springer Nature eBooks |
ردمك: | 9783319192482 9783319192499 |
---|---|
DOI: | 10.1007/978-3-319-19249-9_34 |