Search results for "concurrent communicating processes"

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

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Sujit Dey, Surendra Bommu	Performance analysis of a system of communicating processes.	ICCAD	1997	DBLP DOI BibTeX RDF	PERC, accurate worst case performance analysis technique, concurrent communicating processes, exhaustive simulation, multiple communicating processes, single process descriptions, system design space, system of communicating processes, worst case performance analysis, worst case performance estimate, performance analysis, system performance, performance estimation, communicating sequential processes, system implementation, synchronization overhead, inter process communication
1	Urmi Majumder, John H. Reif	Design of a Biomolecular Device That Executes Process Algebra.	DNA	2009	DBLP DOI BibTeX RDF
1	Florian Kerschbaum, Julien Vayssière	Privacy-preserving logical vector clocks using secure computation techniques.	ICPADS	2007	DBLP DOI BibTeX RDF
1	Weidong Wang, Anand Raghunathan, Niraj K. Jha, Sujit Dey	Resource budgeting for Multiprocess High-level synthesis.	IEEE Trans. on CAD of Integrated Circuits and Systems	2004	DBLP DOI BibTeX RDF
1	Weidong Wang, Niraj K. Jha, Anand Raghunathan, Sujit Dey	High-level Synthesis of Multi-process Behavioral Descriptions.	VLSI Design	2003	DBLP DOI BibTeX RDF
1	Muffy Calder, Alice Miller	Automatic Verification of any Number of Concurrent, Communicating Processes.	ASE	2002	DBLP DOI BibTeX RDF
1	Steven Vercauteren, Jan van der Steen, Diederik Verkest	Combining Software Synthesis and Hardware/Software Interface Generation to Meet Hard Real-Time Constraints.	DATE	1999	DBLP DOI BibTeX RDF
1	Jos C. M. Baeten, Jan A. Bergstra, Sjouke Mauw, Gert J. Veltink	A Process Specification Formalism Based on Static COLD.	Algebraic Methods	1989	DBLP DOI BibTeX RDF

Displaying result #1 - #8 of 8 (100 per page; Change: )