Avinash Malik
Cited by
Cited by
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
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
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 …, 2009
Automatic vectorization of interleaved data revisited
A Anderson, A Malik, D Gregg
ACM Transactions on Architecture and Code Optimization (TACO) 12 (4), 1-25, 2015
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), 1-24, 2013
Towards the emulation of the cardiac conduction system for pacemaker validation
E Yip, S Andalam, PS Roop, A Malik, ML Trew, W Ai, N Patel
ACM transactions on cyber-physical systems 2 (4), 1-26, 2018
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
Orchestrating stream graphs using model checking
A Malik, D Gregg
ACM Transactions on Architecture and Code Optimization (TACO) 10 (3), 1-25, 2013
Efficient Parallel Dictionary Encoding for RDF Data.
L Cheng, A Malik, S Kotoulas, TE Ward, G Theodoropoulos
Snowbird, 2014
Cardiac electrical modeling for closed-loop validation of implantable devices
W Ai, ND Patel, PS Roop, A Malik, ML Trew
IEEE Transactions on Biomedical Engineering 67 (2), 536-544, 2019
A parametric computational model of the action potential of pacemaker cells
W Ai, ND Patel, PS Roop, A Malik, S Andalam, E Yip, N Allen, ML Trew
IEEE Transactions on Biomedical Engineering 65 (1), 123-130, 2017
A machine learning approach to reconstruction of heart surface potentials from body surface potentials
A Malik, T Peng, ML Trew
2018 40th Annual International Conference of the IEEE Engineering in …, 2018
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
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
Closing the loop: Validation of implantable cardiac devices with computational heart models
W Ai, ND Patel, PS Roop, A Malik, ML Trew
IEEE journal of biomedical and health informatics 24 (6), 1579-1588, 2019
Satisfiability modulo theory (SMT) formulation for optimal scheduling of task graphs with communication delay
A Malik, C Walker, M O’Sullivan, O Sinnen
Computers & Operations Research 89, 113-126, 2018
GALS-HMP: A heterogeneous multiprocessor for embedded applications
Z Salcic, A Malik
ACM Transactions on Embedded Computing Systems (TECS) 12 (1s), 1-26, 2013
Principia Lingua SystemJ
A Malik
University of Auckland, 2010
Modular compilation of hybrid systems for emulation and large scale simulation
A Malik, PS Roop, S Andalam, M Trew, M Mendler
ACM Transactions on Embedded Computing Systems (TECS) 16 (5s), 1-21, 2017
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
The system can't perform the operation now. Try again later.
Articles 1–20