Publications

5 results for Avinash Malik

Fast Compression of Large Semantic Web Data Using X10
- - Long Cheng
  - Avinash Malik
  - et al.
- 2016
- IEEE TPDS
Paper
Heterogeneous multiconstraint application partitioner (HMAP)
- - Servesh Muralidharan
  - Aravind Vasudevan
  - et al.
- 2013
- TrustCom 2013
Conference paper
Orchestrating stream graphs using model checking
- - Avinash Malik
  - David Gregg
- 2013
- Transactions on Architecture and Code Optimization
Paper
Formal semantics, compilation and execution of the GALS programming language dSystemJ
- - Avinash Malik
  - Alain Girault
  - et al.
- 2012
- IEEE TPDS
Paper
A GALS language for dynamic distributed and reactive programs
- - Avinash Malik
  - Alain Girault
  - et al.
- 2011
- ACSD 2011
Conference paper