Search results for "SystemJ"

Found 14 publication records. Showing 14 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
235	Avinash Malik, Zoran A. Salcic, Partha S. Roop	SystemJ compilation using the tandem virtual machine approach.	ACM Trans. Design Autom. Electr. Syst.	2009	DBLP DOI BibTeX RDF	SystemJ, compilation, virtual machines, System-level design, esterel
144	Flavius Gruian, Partha S. Roop, Zoran A. Salcic, Ivan Radojevic	The SystemJ approach to system-level design.	MEMOCODE	2006	DBLP DOI BibTeX RDF
83	Avinash Malik, Zoran A. Salcic, Alain Girault, Adam Walker, Sung Chul Lee	A customizable multiprocessor for Globally Asynchronous Locally Synchronous execution.	JTRES	2009	DBLP DOI BibTeX RDF	synchronous and asynchronous concurrency, multiprocessor, GALS, reactivity
32	Avinash Malik, HeeJong Park 0001, Muhammad Nadeem, Zoran Salcic	Memory management of safety-critical hard real-time systems designed in SystemJ.	Microprocess. Microsystems	2019	DBLP DOI BibTeX RDF
32	Muhammad Nadeem, Zhenmin Li, Avinash Malik, Morteza Biglari-Abhari, Zoran Salcic	Allocation and scheduling of SystemJ programs on chip multiprocessors with weighted TDMA scheduling.	J. Syst. Archit.	2019	DBLP DOI BibTeX RDF
32	Weiyi Zhang 0003, Zoran Salcic, Avinash Malik	Towards Formal Modeling and Analysis of SystemJ GALS Systems using Coloured Petri Nets.	INDIN	2019	DBLP DOI BibTeX RDF
32	Zoran Salcic, HeeJong Park 0001, Jürgen Teich, Avinash Malik, Muhammad Nadeem	Noc-HMP: A Heterogeneous Multicore Processor for Embedded Systems Designed in SystemJ.	ACM Trans. Design Autom. Electr. Syst.	2017	DBLP DOI BibTeX RDF
32	HeeJong Park 0001, Avinash Malik, Zoran A. Salcic	Compiling and verifying SC-SystemJ programs for safety-critical reactive systems.	Comput. Lang. Syst. Struct.	2015	DBLP DOI BibTeX RDF
32	Dez Packwood, Manu Sharma, Ding Ding, HeeJong Park 0001, Zoran A. Salcic, Avinash Malik, Kevin I-Kai Wang	FPGA-based Mixed-Criticality Execution Platform for SystemJ and the Internet of Industrial Things.	ISORC	2015	DBLP DOI BibTeX RDF
32	HeeJong Park 0001, Avinash Malik, Muhammad Nadeem, Zoran A. Salcic	The Cardiac Pacemaker: SystemJ versus Safety Critical Java.	JTRES	2014	DBLP DOI BibTeX RDF
32	Roopak Sinha, Valeriy Vyatkin, Zoran Salcic, HeeJong Park 0001	Competitors or Cousins? Studying the parallels between distributed programming languages SystemJ and IEC61499.	ETFA	2014	DBLP DOI BibTeX RDF
32	Avinash Malik, Zoran Salcic, Christopher Chong, Salman Javed	System-level approach to the design of a smart distributed surveillance system using systemj.	ACM Trans. Embed. Comput. Syst.	2012	DBLP DOI BibTeX RDF
32	Avinash Malik, Zoran Salcic, Partha S. Roop, Alain Girault	SystemJ: A GALS language for system level design.	Comput. Lang. Syst. Struct.	2010	DBLP DOI BibTeX RDF
32	Avinash Malik, Zoran Salcic, Partha S. Roop	Tandem virtual machine - An efficient execution platform for GALS language SystemJ.	ACSAC	2008	DBLP DOI BibTeX RDF