2016 ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE)
Latest Publications

TOTAL DOCUMENTS

28
(FIVE YEARS 0)

H-INDEX

4
(FIVE YEARS 0)

Published By IEEE

9781509027910
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Accelerating schedule space exploration of multi-threaded programs with GPUs

2016 ◽  
Author(s):  
Prakhar Banga ◽  
Atul Pai ◽  
Subhajit Roy ◽  
Mainak Chaudhuri
Keyword(s):  
Space Exploration

scholarly journals An efficient algorithm for monitoring practical TPTL specifications

2016 ◽  
Author(s):  
Adel Dokhanchi ◽  
Bardh Hoxha ◽  
Cumhur Erkan Tuncali ◽  
Georgios Fainekos
Keyword(s):  
Efficient Algorithm

scholarly journals Step revision in hybrid Co-simulation with FMI

2016 ◽  
Author(s):  
Fabio Cremona ◽  
Marten Lohstroh ◽  
David Broman ◽  
Marco Di Natale ◽  
Edward A. Lee ◽  
...  
Load More ...
Sign in / Sign up

Export Citation Format

Share Document