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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

9781509027910

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Organizing Committee

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

10.1109/memcod.2016.7797765 ◽

2016 ◽

Download Full-text

MEMOCODE 2016 design contest: K-means clustering

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

10.1109/memcod.2016.7797755 ◽

2016 ◽

Author(s):

Peter Milder

Download Full-text

Accelerating schedule space exploration of multi-threaded programs with GPUs

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

10.1109/memcod.2016.7797754 ◽

2016 ◽

Author(s):

Prakhar Banga ◽

Atul Pai ◽

Subhajit Roy ◽

Mainak Chaudhuri

Keyword(s):

Space Exploration

Download Full-text

Optimal compilation for exposed datapath architectures with buffered processing units by SAT solvers

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

10.1109/memcod.2016.7797759 ◽

2016 ◽

Cited By ~ 4

Author(s):

Anoop Bhagyanath ◽

Klaus Schneider

Keyword(s):

Sat Solvers

Download Full-text

Specification of precise timing in synchronous dataflow models

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

10.1109/memcod.2016.7797751 ◽

2016 ◽

Author(s):

Patricia Derler ◽

Kaushik Ravindran ◽

Rhishikesh Limaye

Keyword(s):

Synchronous Dataflow ◽

Precise Timing ◽

Dataflow Models

Download Full-text

Asynchrony-aware static analysis of Android applications

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

10.1109/memcod.2016.7797761 ◽

2016 ◽

Author(s):

Ashish Mishra ◽

Aditya Kanade ◽

Y. N. Srikant

Keyword(s):

Static Analysis ◽

Android Applications

Download Full-text

Verifying the concentration property of permutation networks by BDDs

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

10.1109/memcod.2016.7797744 ◽

2016 ◽

Cited By ~ 4

Author(s):

Tripti Jain ◽

Klaus Schneider

Keyword(s):

Concentration Property ◽

Permutation Networks

Download Full-text

Keynote talk II: Multiform logical time for Me/Mo-codesign

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

10.1109/memcod.2016.7797749 ◽

2016 ◽

Author(s):

Robert de Simone

Keyword(s):

Logical Time

Download Full-text

An efficient algorithm for monitoring practical TPTL specifications

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

10.1109/memcod.2016.7797763 ◽

2016 ◽

Cited By ~ 2

Author(s):

Adel Dokhanchi ◽

Bardh Hoxha ◽

Cumhur Erkan Tuncali ◽

Georgios Fainekos

Keyword(s):

Efficient Algorithm

Download Full-text

Step revision in hybrid Co-simulation with FMI

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

10.1109/memcod.2016.7797762 ◽

2016 ◽

Cited By ~ 10

Author(s):

Fabio Cremona ◽

Marten Lohstroh ◽

David Broman ◽

Marco Di Natale ◽

Edward A. Lee ◽

...

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Organizing Committee

MEMOCODE 2016 design contest: K-means clustering

Accelerating schedule space exploration of multi-threaded programs with GPUs

Optimal compilation for exposed datapath architectures with buffered processing units by SAT solvers

Specification of precise timing in synchronous dataflow models

Asynchrony-aware static analysis of Android applications

Verifying the concentration property of permutation networks by BDDs

Keynote talk II: Multiform logical time for Me/Mo-codesign

An efficient algorithm for monitoring practical TPTL specifications

Step revision in hybrid Co-simulation with FMI

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