-
1
المؤلفون: Sebastian Fischmeister, Shay Berkovich, Borzoo Bonakdarpour
المصدر: Formal Methods in System Design. 46:317-348
مصطلحات موضوعية: Linear temporal logic, Parallel processing (DSP implementation), Hardware and Architecture, Event (computing), Computer science, Distributed computing, Runtime verification, Parallel algorithm, Overhead (computing), State (computer science), Formal methods, Software, Theoretical Computer Science
-
2
المؤلفون: Samaneh Navabpour, Sebastian Fischmeister, Yogi Joshi, Borzoo Bonakdarpour, Shay Berkovich, Wallace Wu, Ramy Medhat
المصدر: ESEC/SIGSOFT FSE
مصطلحات موضوعية: Set (abstract data type), Speedup, Exploit, Computer science, Control theory, business.industry, Embedded system, Runtime verification, Real-time computing, Instrumentation (computer programming), Static analysis, business
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::1af9ed2740737396011d74628aafc6c4
https://doi.org/10.1145/2491411.2494596 -
3
المؤلفون: Sebastian Fischmeister, Borzoo Bonakdarpour, Shay Berkovich
المصدر: IPDPS
مصطلحات موضوعية: Computer architecture, Parallel processing (DSP implementation), Computer science, Event (computing), Runtime verification, Parallel algorithm, Overhead (computing), State (computer science), Formal methods, Formal verification
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::a74803ab3b3e82ecc1ffca4340651295
https://doi.org/10.1109/ipdps.2013.105