Avinash Malik
TitleCited byYear
SystemJ: A GALS language for system level design
A Malik, Z Salcic, PS Roop, A Girault
Computer Languages, Systems & Structures 36 (4), 317-344, 2010
762010
SystemJ compilation using the tandem virtual machine approach
A Malik, Z Salcic, PS Roop
ACM Transactions on Design Automation of Electronic Systems (TODAES) 14 (3), 34, 2009
262009
System-level approach to the design of a smart distributed surveillance system using systemj
A Malik, Z Salcic, C Chong, S Javed
ACM Transactions on Embedded Computing Systems (TECS) 11 (4), 77, 2012
202012
Efficient Parallel Dictionary Encoding for RDF Data.
L Cheng, A Malik, S Kotoulas, TE Ward, G Theodoropoulos
Snowbird, 2014
182014
TACO: A scalable framework for timing analysis and code optimization of synchronous programs
Z Li, A Malik, Z Salcic
2014 IEEE 20th International Conference on Embedded and Real-Time Computing …, 2014
142014
Automatic vectorization of interleaved data revisited
A Anderson, A Malik, D Gregg
ACM Transactions on Architecture and Code Optimization (TACO) 12 (4), 50, 2016
132016
Orchestrating stream graphs using model checking
A Malik, D Gregg
ACM Transactions on Architecture and Code Optimization (TACO) 10 (3), 19, 2013
132013
GALS-HMP: A heterogeneous multiprocessor for embedded applications
Z Salcic, A Malik
ACM Transactions on Embedded Computing Systems (TECS) 12 (1s), 58, 2013
132013
A customizable multiprocessor for globally asynchronous locally synchronous execution
A Malik, Z Salcic, A Girault, A Walker, SC Lee
Proceedings of the 7th International Workshop on Java Technologies for Real …, 2009
112009
Principia Lingua SystemJ
A Malik
University of Auckland, 2010
102010
Towards the emulation of the cardiac conduction system for pacemaker testing
E Yip, S Andalam, PS Roop, A Malik, M Trew, W Ai, N Patel
arXiv preprint arXiv:1603.05315, 2016
82016
Fast compression of large semantic web data using X10
L Cheng, A Malik, S Kotoulas, TE Ward, G Theodoropoulos
IEEE Transactions on Parallel and Distributed Systems 27 (9), 2603-2617, 2015
82015
A GALS language for dynamic distributed and reactive programs
A Malik, A Girault, Z Salcic
2011 Eleventh International Conference on Application of Concurrency to …, 2011
82011
A formal approach for modeling and simulation of human car-following behavior
JW Ro, PS Roop, A Malik, P Ranjitkar
IEEE transactions on intelligent transportation systems 19 (2), 639-648, 2017
72017
Emulation of cyber-physical systems using IEC-61499
A Malik, PS Roop, N Allen, T Steger
IEEE Transactions on Industrial Informatics 14 (1), 380-389, 2017
72017
Formal semantics, compilation and execution of the GALS programming language DSystemJ
A Malik, A Girault, Z Salcic
IEEE Transactions on Parallel and Distributed Systems 23 (7), 1240-1254, 2011
72011
Tandem virtual machine—An efficient execution platform for GALS language SystemJ
A Malik, Z Salcic, PS Roop
2008 13th Asia-Pacific Computer Systems Architecture Conference, 1-8, 2008
72008
Modular code generation for emulating the electrical conduction system of the human heart
N Allen, S Andalam, P Roop, A Malik, M Trew, N Patel
Proceedings of the 2016 Conference on Design, Automation & Test in Europe …, 2016
62016
A unified framework for the design of distributed cyber-physical systems-industrial automation example
SS Setty, H Yaqoob, A Malik, I Kevin, K Wang, Z Salcic, H Park, ...
2015 IEEE 10th Conference on Industrial Electronics and Applications (ICIEA …, 2015
62015
Executing synchronous data flow graphs on heterogeneous execution architectures using integer linear programming
A Malik, D Gregg
Trinity College Dublin, Tech. Rep, 2012
62012
The system can't perform the operation now. Try again later.
Articles 1–20