The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Avinash Malik" ( http://dblp.L3S.de/Authors/Avinash_Malik )

  Author page on DBLP  Author page in RDF  Community of Avinash Malik in ASPL-2

Publication years (Num. hits)
2008-2014 (19) 2015-2016 (15) 2017-2018 (18) 2019 (2)
Publication types (Num. hits)
article(29) inproceedings(25)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 7 occurrences of 7 keywords

Results
Found 55 publication records. Showing 54 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Avinash Malik, HeeJong Park, Muhammad Nadeem, Zoran Salcic Memory management of safety-critical hard real-time systems designed in SystemJ. Search on Bibsonomy Microprocessors and Microsystems - Embedded Hardware Design The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Ke Ren, Avinash Malik Investment Recommendation System for Low-Liquidity Online Peer to Peer Lending (P2PL) Marketplaces. Search on Bibsonomy WSDM The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Eugene Yip, Sidharta Andalam, Partha S. Roop, Avinash Malik, Mark L. Trew, Weiwei Ai, Nitish Patel Towards the Emulation of the Cardiac Conduction System for Pacemaker Validation. Search on Bibsonomy TCPS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Avinash Malik, Partha S. Roop, Nathan Allen, Theo Steger Emulation of Cyber-Physical Systems Using IEC-61499. Search on Bibsonomy IEEE Trans. Industrial Informatics The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Avinash Malik, Partha S. Roop Quantized State Hybrid Automata for Cyber-Physical Systems. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Avinash Malik, Tommy Peng, Mark Trew A machine learning approach to reconstruction of heart surface potentials from body surface potentials. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Jin Woo Ro, Partha S. Roop, Avinash Malik, Prakash Ranjitkar A Formal Approach for Modeling and Simulation of Human Car-Following Behavior. Search on Bibsonomy IEEE Trans. Intelligent Transportation Systems The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Avinash Malik, Cameron G. Walker, Michael J. O'Sullivan, Oliver Sinnen Satisfiability modulo theory (SMT) formulation for optimal scheduling of task graphs with communication delay. Search on Bibsonomy Computers & OR The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Weiwei Ai, Nitish Patel, Partha S. Roop, Avinash Malik, Sidharta Andalam, Eugene Yip, Nathan Allen, Mark L. Trew A Parametric Computational Model of the Action Potential of Pacemaker Cells. Search on Bibsonomy IEEE Trans. Biomed. Engineering The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Sidharta Andalam, Partha S. Roop, Avinash Malik, Mark Trew Rethinking the Validation Process for Medical Devices: A Cardiac Pacemaker Case Study. Search on Bibsonomy ISORC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Tommy Peng, Mark Trew, Avinash Malik Parametric Modeling of Electrocardiograms using Particle Swarm optimization. Search on Bibsonomy EMBC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Avinash Malik, Tommy Peng, Mark L. Trew A machine learning approach to reconstruction of heart surface potentials from body surface potentials. Search on Bibsonomy EMBC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Zhenmin Li, HeeJong Park, Avinash Malik, Kevin I-Kai Wang, Zoran Salcic, Boris Kuzmin, Michael Glaß, Jürgen Teich Using design space exploration for finding schedules with guaranteed reaction times of synchronous programs on multi-core architecture. Search on Bibsonomy Journal of Systems Architecture - Embedded Systems Design The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Weiwei Ai, Nitish Patel, Partha S. Roop, Avinash Malik, Nathan Allen, Mark L. Trew An intracardiac electrogram model to bridge virtual hearts and implantable cardiac devices. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Zoran Salcic, HeeJong Park, Jürgen Teich, Avinash Malik, Muhammad Nadeem Noc-HMP: A Heterogeneous Multicore Processor for Embedded Systems Designed in SystemJ. Search on Bibsonomy ACM Trans. Design Autom. Electr. Syst. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Avinash Malik, Partha S. Roop, Sidharta Andalam, Mark Trew, Michael Mendler Modular Compilation of Hybrid Systems for Emulation and Large Scale Simulation. Search on Bibsonomy ACM Trans. Embedded Comput. Syst. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Sidharta Andalam, Nathan Allen, Avinash Malik, Partha S. Roop, Mark Trew A Novel Emulation Model of the Cardiac Conduction System. Search on Bibsonomy ACM Trans. Embedded Comput. Syst. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Hammond A. Pearce, Matthew M. Y. Kuo, Nathan Allen, Partha S. Roop, Avinash Malik Simulation of cyber-physical systems using IEC61499. Search on Bibsonomy MEMOCODE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Nicholas Harvey-Lees-Green, Morteza Biglari-Abhari, Avinash Malik, Zoran A. Salcic A Dynamic Memory Management Unit for Real Time Systems. Search on Bibsonomy ISORC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Weiwei Ai, Nitish Patel, Partha S. Roop, Avinash Malik, Nathan Allen, Mark L. Trew An intracardiac electrogram model to bridge virtual hearts and implantable cardiac devices. Search on Bibsonomy EMBC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Andrew Anderson 0001, Avinash Malik, David Gregg Automatic Vectorization of Interleaved Data Revisited. Search on Bibsonomy TACO The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Long Cheng 0003, Avinash Malik, Spyros Kotoulas, Tomas E. Ward, Georgios Theodoropoulos Fast Compression of Large Semantic Web Data Using X10. Search on Bibsonomy IEEE Trans. Parallel Distrib. Syst. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Eugene Yip, Sidharta Andalam, Partha S. Roop, Avinash Malik, Mark Trew, Weiwei Ai, Nitish Patel Towards the Emulation of the Cardiac Conduction System for Pacemaker Testing. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1HeeJong Park, Zhenmin Li, Avinash Malik, Zoran A. Salcic Times Square - Marriage of Real-Time and Logical-Time in GALS and Synchronous Languages. Search on Bibsonomy Signal Processing Systems The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Nathan Allen, Sidharta Andalam, Partha S. Roop, Avinash Malik, Mark Trew, Nitish Patel Modular code generation for emulating the electrical conduction system of the human heart. Search on Bibsonomy DATE The full citation details ... 2016 DBLP  BibTeX  RDF
1Sidharta Andalam, Avinash Malik, Partha S. Roop, Mark L. Trew Hybrid Automata Model of the Heart for Formal Verification of Pacemakers. Search on Bibsonomy ARCH@CPSWeek The full citation details ... 2016 DBLP  BibTeX  RDF
1Sidharta Andalam, Harshavardhan Ramanna, Avinash Malik, Partha S. Roop, Nitish Patel, Mark L. Trew Hybrid automata models of cardiac ventricular electrophysiology for real-time computational applications. Search on Bibsonomy EMBC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1HeeJong Park, Avinash Malik, Zoran A. Salcic Compiling and verifying SC-SystemJ programs for safety-critical reactive systems. Search on Bibsonomy Computer Languages, Systems & Structures The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Avinash Malik, Partha S. Roop, Sidharta Andalam, Eugene Yip, Mark Trew A synchronous rendering of hybrid systems for designing Plant-on-a-Chip (PoC). Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Avinash Malik, Partha S. Roop A unified framework for modeling and implementation of hybrid systems with synchronous controllers. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1HeeJong Park, Avinash Malik, Zoran A. Salcic Scheduling Globally Asynchronous Locally Synchronous Programs for Guaranteed Response Times. Search on Bibsonomy ACM Trans. Design Autom. Electr. Syst. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Avinash Malik, David Gregg Heuristics on Reachability Trees for Bicriteria Scheduling of Stream Graphs on Heterogeneous Multiprocessor Architectures. Search on Bibsonomy ACM Trans. Embedded Comput. Syst. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Zhenmin Li, Avinash Malik, Zoran A. Salcic Reducing Worst Case Reaction Time of Synchronous Programs on Chip-multiprocessors with Application-Specific TDMA Scheduling. Search on Bibsonomy JTRES The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Dez Packwood, Manu Sharma, Ding Ding, HeeJong Park, Zoran A. Salcic, Avinash Malik, Kevin I-Kai Wang FPGA-based Mixed-Criticality Execution Platform for SystemJ and the Internet of Industrial Things. Search on Bibsonomy ISORC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Jin Woo Ro, Partha S. Roop, Avinash Malik Schedule Synthesis for Time-Triggered Multi-hop Wireless Networks with Retransmissions. Search on Bibsonomy ISORC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Long Cheng 0003, Avinash Malik, Spyros Kotoulas, Tomas E. Ward, Georgios Theodoropoulos Scalable RDF Data Compression using X10. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1HeeJong Park, Avinash Malik, Muhammad Nadeem, Zoran A. Salcic The Cardiac Pacemaker: SystemJ versus Safety Critical Java. Search on Bibsonomy JTRES The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Wei-Tsun Sun, Zoran A. Salcic, Alain Girault, Avinash Malik libDGALS: A library-based approach to design dynamic GALS systems. Search on Bibsonomy SIES The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1HeeJong Park, Avinash Malik, Zoran A. Salcic Times square - marriage of real-time and logical-time in GALS and synchronous languages. Search on Bibsonomy RTCSA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Zhenmin Li, Avinash Malik, Zoran A. Salcic TACO: A scalable framework for timing analysis and code optimization of synchronous programs. Search on Bibsonomy RTCSA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Aravind Vasudevan, Avinash Malik, David Gregg An improved simulated annealing heuristic for static partitioning of task graphs onto heterogeneous architectures. Search on Bibsonomy ICPADS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1HeeJong Park, Avinash Malik, Zoran A. Salcic WYPIWYE automation systems - An intelligent manufacturing system case study. Search on Bibsonomy ETFA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Avinash Malik, David Gregg Orchestrating stream graphs using model checking. Search on Bibsonomy TACO The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Zoran Salcic, Avinash Malik GALS-HMP: A heterogeneous multiprocessor for embedded applications. Search on Bibsonomy ACM Trans. Embedded Comput. Syst. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Servesh Muralidharan, Aravind Vasudevan, Avinash Malik, David Gregg Heterogeneous Multiconstraint Application Partitioner (HMAP). Search on Bibsonomy TrustCom/ISPA/IUCC The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1HeeJong Park, Zoran Salcic, Kevin I-Kai Wang, Udayanto Dwi Atmojo, Wei-Tsun Sun, Avinash Malik A New Design Paradigm for Designing Reactive Pervasive Concurrent Systems with an Ambient Intelligence Example. Search on Bibsonomy TrustCom/ISPA/IUCC The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Avinash Malik, Alain Girault, Zoran Salcic Formal Semantics, Compilation and Execution of the GALS Programming Language DSystemJ. Search on Bibsonomy IEEE Trans. Parallel Distrib. Syst. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Avinash Malik, Zoran Salcic, Christopher Chong, Salman Javed System-level approach to the design of a smart distributed surveillance system using systemj. Search on Bibsonomy ACM Trans. Embedded Comput. Syst. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Avinash Malik, Alain Girault, Zoran Salcic A GALS Language for Dynamic Distributed and Reactive Programs. Search on Bibsonomy ACSD The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Avinash Malik, Zoran Salcic, Partha S. Roop, Alain Girault SystemJ: A GALS language for system level design. Search on Bibsonomy Computer Languages, Systems & Structures The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Wei-Tsun Sun, Zoran Salcic, Avinash Malik LibGALS: a library for GALS systems design and modeling. Search on Bibsonomy ASP-DAC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Avinash Malik, Zoran A. Salcic, Partha S. Roop SystemJ compilation using the tandem virtual machine approach. Search on Bibsonomy ACM Trans. Design Autom. Electr. Syst. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF SystemJ, compilation, virtual machines, System-level design, esterel
1Avinash Malik, Zoran A. Salcic, Alain Girault, Adam Walker, Sung Chul Lee A customizable multiprocessor for Globally Asynchronous Locally Synchronous execution. Search on Bibsonomy JTRES The full citation details ... 2009 DBLP  DOI  BibTeX  RDF synchronous and asynchronous concurrency, multiprocessor, GALS, reactivity
1Avinash Malik, Zoran Salcic, Partha S. Roop Tandem virtual machine - An efficient execution platform for GALS language SystemJ. Search on Bibsonomy ACSAC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #54 of 54 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license