Search results for "communicating processes"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
5	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
3	M. Hakan Erdogmus, Robert Johnston	On the Specification and Synthesis of Communicating Processes.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	objective methodology, state-machine-type process descriptions, common problem, central module, specific distributed system configuration, formal specification, parallel programming, automatic programming, communicating processes, high-level specifications, algebraic operators, behavioral constraints, behavioral constraints
2	Alexander Viehl, Michael Pressler, Oliver Bringmann	Bottom-up performance analysis considering time slice based software scheduling at system level.	CODES+ISSS	2009	DBLP DOI BibTeX RDF	scheduling, performance analysis, communicating processes
2	Gavin Lowe	Specification of communicating processes: temporal logic versus refusals-based refinement.	Formal Asp. Comput.	2008	DBLP DOI BibTeX RDF	Refinement testing, Specification, Temporal logic, CSP, Refusals
2	Ryo Suetsugu, Shoji Yuen, Kiyoshi Agusa	A Synchronization Flow Analysis of Concurrent Objects in AIBO OPEN-R Programs Based on Communicating Processes.	APSEC	2007	DBLP DOI BibTeX RDF
2	P. Madhusudan, P. S. Thiagarajan, Shaofa Yang	The MSO Theory of Connectedly Communicating Processes.	FSTTCS	2005	DBLP DOI BibTeX RDF
2	Alastair F. Donaldson, Alice Miller	Automatic Symmetry Detection for Model Checking Using Computational Group Theory.	FM	2005	DBLP DOI BibTeX RDF	Promela /Spin, distributed systems, model checking, concurrency, formal modelling, communicating processes, Gap, symmetry reduction
2	Stephen D. Brookes	Traces, Pomsets, Fairness and Full Abstraction for Communicating Processes.	CONCUR	2002	DBLP DOI BibTeX RDF
2	Jonathan Burton, Maciej Koutny, Giuseppe Pappalardo	Implementing Communicating Processes in the Event of Interface Difference.	ACSD	2001	DBLP DOI BibTeX RDF	behaviour abstraction, refinement, compositionality, communicating sequential processes, Theory of parallel and distributed computation
2	Muffy Calder, Alice Miller	Using SPIN for Feature Interaction Analysis - A Case Study.	SPIN	2001	DBLP DOI BibTeX RDF	Promela/SPIN, analysis and reasoning techniques, distributed systems, formal modelling, feature interaction, communicating processes, telecommunications services
2	Willem C. Mallon	On Directed Transformations of Delay-Insensitive Specifications, Alternations and Dynamic Nondeterminism.	ASYNC	2000	DBLP DOI BibTeX RDF	{Communicating Processes}, {Computer Aided Design}, Meta-stability, Formal Methods, Handshake Protocol, Delay-Insensitivity
2	Tarek F. Abdelzaher, Anees Shaikh, Farnam Jahanian, Kang G. Shin	RTCAST: lightweight multicast for real-time process groups. (PDF / PS)	IEEE Real Time Technology and Applications Symposium	1996	DBLP DOI BibTeX RDF	RTCAST, real time process groups, lightweight fault tolerant multicast, bounded time message transport, processor crashes, communication failures, communicating processors, membership changes, event triggered approach, fast message delivery time, time triggered protocols, TTP, x-Kernel protocol architecture, RT Mach 3, real-time systems, protocols, fault tolerant computing, message passing, Unix, operating system kernels, communicating processes, membership service
2	Andrés Takach, Wayne Wolf	Scheduling constraint generation for communicating processes.	IEEE Trans. VLSI Syst.	1995	DBLP DOI BibTeX RDF
2	Ciarán Bryce, Jean-Pierre Banâtre, Daniel Le Métayer	An approach to information security in distributed systems.	FTDCS	1995	DBLP DOI BibTeX RDF	security semantics, distributed systems, distributed processing, information security, CSP, security of data, information flow control, communicating sequential processes, communicating processes
2	Fuyau Lin	A Formalism for Specifying Communicating Processes.	ACM Conference on Computer Science	1993	DBLP DOI BibTeX RDF	CSP
2	Xavier Nicollin, Joseph Sifakis, Sergio Yovine	Compiling Real-Time Specifications into Extended Automata.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	extended automata, simple specification language, watchdog constructs, state variables, event-driven execution mode, efficient code generation, real-time systems, real-time systems, complexity, formal specification, specification languages, timed automata, program compilers, symbolic model-checking, automata theory, communicating sequential processes, communicating processes, timeout, real-time properties, real-time specifications
2	Tadao Murata, Du Zhang	A Predicate-Transition Net Model for Parallel Interpretation of Logic Programs.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	AND/OR parallelisms, deduction process, Horn clause logic programs, Petri nets, logic programming, communicating processes, fixpoint semantics, predicate/transition nets, relational operations
2	Ph. Schnoebelen	Rewriting Techniques for the Temporal Analysis of Communicating Processes.	PARLE	1987	DBLP DOI BibTeX RDF
2	David Turner	Functional Programming and Communicating Processes.	PARLE	1987	DBLP DOI BibTeX RDF
2	Matthew Hennessy	An Algebraic Theory of Fair Asynchronous Communicating Processes.	ICALP	1985	DBLP DOI BibTeX RDF
2	Stephen D. Brookes, A. W. Roscoe	An Improved Failures Model for Communicating Processes.	Seminar on Concurrency	1984	DBLP DOI BibTeX RDF
2	Ernst-Rüdiger Olderog, C. A. R. Hoare	Specification-Oriented Semantics for Communicating Processes.	ICALP	1983	DBLP DOI BibTeX RDF
2	Pierre Wolper	Specification and Synthesis of Communicating Processes using an Extended Temporal Logic.	POPL	1982	DBLP DOI BibTeX RDF
1	Carl G. Ritson, Adam T. Sampson, Frederick R. M. Barnes	Multicore scheduling for lightweight communicating processes.	Sci. Comput. Program.	2012	DBLP DOI BibTeX RDF
1	Nicholas Kidd, Peter Lammich, Tayssir Touili, Thomas W. Reps	A decision procedure for detecting atomicity violations for communicating processes with locks.	STTT	2011	DBLP DOI BibTeX RDF
1	Zhenbang Chen, Zhiming Liu, Ji Wang	Failure-Divergence Refinement of Compensating Communicating Processes.	FM	2011	DBLP DOI BibTeX RDF
1	Giorgio Bacci, Vincent Danos, Ohad Kammar	On the Statistical Thermodynamics of Reversible Communicating Processes.	CALCO	2011	DBLP DOI BibTeX RDF
1	Carl G. Ritson, Adam T. Sampson, Fred R. M. Barnes	Multicore Scheduling for Lightweight Communicating Processes.	COORDINATION	2009	DBLP DOI BibTeX RDF
1	Nicholas Kidd, Peter Lammich, Tayssir Touili, Thomas W. Reps	A Decision Procedure for Detecting Atomicity Violations for Communicating Processes with Locks.	SPIN	2009	DBLP DOI BibTeX RDF
1	Urmi Majumder, John H. Reif	Design of a Biomolecular Device That Executes Process Algebra.	DNA	2009	DBLP DOI BibTeX RDF
1	Rajendra Singh, Peter Graham	Grouping MPI Processes for Partial Checkpoint and Co-migration.	Euro-Par	2009	DBLP DOI BibTeX RDF
1	Edgar G. Daylight, Sandeep K. Shukla	On the Difficulties of Concurrent-System Design, Illustrated with a 2×2 Switch Case Study.	FM	2009	DBLP DOI BibTeX RDF	adaptability, non-functional requirements, formal specification languages, local reasoning
1	Tony Hoare, Peter W. O'Hearn	Separation Logic Semantics for Communicating Processes.	Electr. Notes Theor. Comput. Sci.	2008	DBLP DOI BibTeX RDF
1	Stefan Leue, Alin Stefanescu, Wei Wei	Dependency Analysis for Control Flow Cycles in Reactive Communicating Processes.	SPIN	2008	DBLP DOI BibTeX RDF
1	Hayden Kwok-Hay So, Robert W. Brodersen	A unified hardware/software runtime environment for FPGA-based reconfigurable computers using BORPH.	ACM Trans. Embedded Comput. Syst.	2008	DBLP DOI BibTeX RDF	BORPH, hardware process, FPGA, reconfigurable computers, UNIX
1	Luiz Carlos Pinto, Luiz H. B. Tomazella, Mario A. R. Dantas	Building efficient multi-core clusters for high performance computing.	ISCC	2008	DBLP DOI BibTeX RDF
1	Stefan Blom, Jaco van de Pol	Symbolic Reachability for Process Algebras with Recursive Data Types.	ICTAC	2008	DBLP DOI BibTeX RDF
1	Blaise Genest, Anca Muscholl	Pattern Matching and Membership for Hierarchical Message Sequence Charts.	Theory Comput. Syst.	2008	DBLP DOI BibTeX RDF	Complexity, MSC, Hierarchical specifications
1	Iman Poernomo	Synthesis of Data Views for Communicating Processes.	LOPSTR	2007	DBLP DOI BibTeX RDF
1	Alexander Viehl, Markus Schwarz, Oliver Bringmann, Wolfgang Rosenstiel	Probabilistic performance risk analysis at system-level.	CODES+ISSS	2007	DBLP DOI BibTeX RDF	probabilistic risk quantification, performance analysis
1	Matthew J. Koop, Sayantan Sur, Qi Gao, Dhabaleswar K. Panda	High performance MPI design using unreliable datagram for ultra-scale InfiniBand clusters.	ICS	2007	DBLP DOI BibTeX RDF	memory scalability, unreliable datagram, MPI, InfiniBand
1	Axel Siebenborn, Alexander Viehl, Oliver Bringmann, Wolfgang Rosenstiel	Control-Flow Aware Communication and Conflict Analysis of Parallel Processes.	ASP-DAC	2007	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	Maria Grazia Buscemi, Laura Ferrari, Corrado Moiso, Ugo Montanari	Constraint-Based Policy Negotiation and Enforcement for Telco Services.	TASE	2007	DBLP DOI BibTeX RDF
1	Mario Coppo, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida	Asynchronous Session Types and Progress for Object Oriented Languages.	FMOODS	2007	DBLP DOI BibTeX RDF
1	David A. Basin, Hironobu Kuruma, Kunihiko Miyazaki, Kazuo Takaragi, Burkhart Wolff	Verifying a signature architecture: a comparative case study.	Formal Asp. Comput.	2007	DBLP DOI BibTeX RDF	Security, Model checking, Formal methods, Theorem proving, Case study, Comparison
1	Lei Feng, W. Murray Wonham, P. S. Thiagarajan	Designing communicating transaction processes by supervisory control theory.	Formal Methods in System Design	2007	DBLP DOI BibTeX RDF	Communicating transaction processes, Discrete-event systems, Supervisory control, Message sequence charts
1	Maciej Koutny, Giuseppe Pappalardo, Marta Pietkiewicz-Koutny	Towards an Algebra of Abstractions for Communicating Processes.	ACSD	2006	DBLP DOI BibTeX RDF
1	Pedro Adão, Cédric Fournet	Cryptographically Sound Implementations for Communicating Processes.	ICALP	2006	DBLP DOI BibTeX RDF
1	Muffy Calder, Alice Miller	Feature interaction detection by pairwise analysis of LTL properties - A case study.	Formal Methods in System Design	2006	DBLP DOI BibTeX RDF	Distributed systems, Model checking, Feature interaction, Communicating processes, Communications services
1	Pablo Garralda, Adriana B. Compagnoni, Mariangiola Dezani-Ciancaglini	BASS: boxed ambients with safe sessions.	PPDP	2006	DBLP DOI BibTeX RDF	boxed ambients, session types, ambient calculus
1	Peter H. Welch, Fred R. M. Barnes, Fiona Polack	Communicating Complex Systems.	ICECCS	2006	DBLP DOI BibTeX RDF
1	Hugo A. López, Catuscia Palamidessi, Jorge Andrés Pérez, Camilo Rueda, Frank D. Valencia	A Declarative Framework for Security: Secure Concurrent Constraint Programming.	ICLP	2006	DBLP DOI BibTeX RDF
1	Malcolm Tyrrell, Joseph M. Morris, Andrew Butterfield, Arthur Hughes	A Lattice-Theoretic Model for an Algebra of Communicating Sequential Processes.	ICTAC	2006	DBLP DOI BibTeX RDF	denotational models, communicating sequential processes, nondeterminacy
1	Adam T. Sampson, Peter H. Welch, Fred R. M. Barnes	Lazy Cellular Automata with Communicating Processes.	CPA	2005	DBLP BibTeX RDF
1	Matthias Neubauer, Peter Thiemann	From sequential programs to multi-tier applications by program transformation.	POPL	2005	DBLP DOI BibTeX RDF	application partioning, concurrency, type systems
1	Jung-Lok Yu, Driss Azougagh, Jin-Soo Kim, Seung Ryoul Maeng	Impact of Exploiting Load Imbalance on Coscheduling in Workstation Clusters.	ICPP	2005	DBLP DOI BibTeX RDF
1	Jung-Lok Yu, Driss Azougagh, Jin-Soo Kim, Seung Ryoul Maeng	PROC: Process ReOrdering-Based Coscheduling on Workstation Clusters.	IPDPS	2005	DBLP DOI BibTeX RDF
1	Sujan Pandey, Heiko Zimmer, Manfred Glesner, Max Mühlhäuser	High level hardware/software communication estimation in shared memory architecture.	ISCAS	2005	DBLP DOI BibTeX RDF
1	Glenn A. Fink, Paul Muessig, Chris North	Visual Correlation of Host Processes and Network Traffic.	VizSEC	2005	DBLP DOI BibTeX RDF	Information Visualization, Computer Security, System Administration
1	Parosh Aziz Abdulla	Verification of Parameterized Timed Systems.	FORMATS	2005	DBLP DOI BibTeX RDF
1	Roman R. Redziejowski	Asynchronous Circuits, Communicating Processes, and Muller Automaton.	Fundam. Inform.	2004	DBLP BibTeX RDF
1	Jonathan Burton, Maciej Koutny, Giuseppe Pappalardo	Relating Communicating Processes with Different Interfaces.	Fundam. Inform.	2004	DBLP BibTeX RDF
1	Les Nelson, Elizabeth F. Churchill, Laurent Denoue, Jonathan Helfman, Paul Murphy	Gooey interfaces: an approach for rapidly repurposing digital content.	CHI Extended Abstracts	2004	DBLP DOI BibTeX RDF	interactive public displays, content repurposing
1	Axel Siebenborn, Oliver Bringmann, Wolfgang Rosenstiel	Communication Analysis for System-On-Chip Design.	DATE	2004	DBLP DOI BibTeX RDF
1	Alik Widge, Malika Jeffries-El, Carl F. Lagenaur, Victor W. Weedn, Yoky Matsuoka	Conductive Polymer "Molecular Wires" for Neuro-robotic Interfaces.	ICRA	2004	DBLP DOI BibTeX RDF
1	Jin-Ha Kim, Gyu Sang Choi, Deniz Ersoz, Chita R. Das	Improving Response Time in Cluster-Based Web Servers through Coscheduling.	IPDPS	2004	DBLP DOI BibTeX RDF
1	Axel Siebenborn, Oliver Bringmann, Wolfgang Rosenstiel	Communication Analysis for Network-on-Chip Design.	PARELEC	2004	DBLP DOI BibTeX RDF
1	Raman Kazhamiakin, Marco Pistore, Marco Roveri	Formal Verification of Requirements using SPIN: A Case Study on Web Services.	SEFM	2004	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	Peter H. Welch, Fred R. M. Barnes	Communicating Mobile Processes.	25 Years Communicating Sequential Processes	2004	DBLP DOI BibTeX RDF
1	Jifeng He, Naiyong Jin	Integrating Variants of DC.	ICTAC	2004	DBLP DOI BibTeX RDF
1	P. S. Thiagarajan	Cyclic Communicating Processes: Hierarchy and Verification.	ACSD	2003	DBLP DOI BibTeX RDF
1	Juan Fernández, Eitan Frachtenberg, Fabrizio Petrini	BCS-MPI: A New Approach in the System Software Design for Large-Scale Parallel Computers.	SC	2003	DBLP DOI BibTeX RDF	buffered coscheduling, STORM, MPI, cluster computing, communication protocols, system software, Quadrics, large-scale parallel computers
1	Abhik Roychoudhury, P. S. Thiagarajan	Communicating Transaction Processes.	ACSD	2003	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	Abhik Roychoudhury, P. S. Thiagarajan	Communicating Transaction Processes: An MSC-Based Model of Computation for Reactive Embedded Systems.	Lectures on Concurrency and Petri Nets	2003	DBLP DOI BibTeX RDF
1	Pascal Gallard, Christine Morin	Dynamic Streams for Efficient Communications between Migrating Processors in a Cluster.	Euro-Par	2003	DBLP DOI BibTeX RDF
1	Dieter Kranzlmüller, Axel Rimnac	Parallel Program Debugging with MAD - A Practical Approach.	International Conference on Computational Science	2003	DBLP DOI BibTeX RDF
1	David von Oheimb, Volkmar Lotz	Generic Interacting State Machines and Their Instantiation with Dynamic Features.	ICFEM	2003	DBLP DOI BibTeX RDF
1	Jifeng He, Qiwen Xu	Advanced Features of Duration Calculus and Their Applications in Sequential Hybrid Programs.	Formal Asp. Comput.	2003	DBLP DOI BibTeX RDF	Verification, Semantics, Hybrid systems, Duration Calculus
1	P. S. Thiagarajan	Abstract Cyclic Communicating Processes: A Logical View.	ICATPN	2002	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	Dimitrios S. Nikolopoulos, Constantine D. Polychronopoulos	Adaptive Scheduling under Memory Pressure on Multiprogrammed Cluster.	CCGRID	2002	DBLP DOI BibTeX RDF
1	Chengzheng Sun, Wentong Cai	Capturing Causality by Compressed Vector Clock in Real-Time Group Editors. (PDF / PS)	IPDPS	2002	DBLP DOI BibTeX RDF	vector logical clock, real-time group editors, distributed systems, operational transformation, Web-based applications
1	Grégory Lestiennes, Marie-Claude Gaudel	Testing Processes from Formal Specifications with Inputs, Outputs and Data Types.	ISSRE	2002	DBLP DOI BibTeX RDF
1	Peter H. Welch, Jo R. Aldous, Jon Foster	CSP Networking for Java (JCSP.net).	International Conference on Computational Science	2002	DBLP DOI BibTeX RDF
1	Blaise Genest, Anca Muscholl	Pattern Matching and Membership for Hierarchical Message Sequence Charts.	LATIN	2002	DBLP DOI BibTeX RDF
1	Ioannis P. Vlahavas, Ilias Sakellariou, Ivan Futó, Zoltán Pásztor, János Szeredi	CSPCONS: A Communicating Sequential Prolog with Constraints.	SETN	2002	DBLP DOI BibTeX RDF
1	Andrea C. Arpaci-Dusseau	Implicit coscheduling: coordinated scheduling with implicit information in distributed systems.	ACM Trans. Comput. Syst.	2001	DBLP DOI BibTeX RDF	proportional-share scheduling, two-phase waiting, clusters, networks of workstations, gang scheduling, coscheduling
1	John Cruz, Kihong Park	Towards Communication-Sensitive Load Balancing.	ICDCS	2001	DBLP DOI BibTeX RDF
1	Jonathan Burton, Maciej Koutny, Giuseppe Pappalardo	Verifying Implementation Relations.	FME	2001	DBLP DOI BibTeX RDF	Behaviour ion, verification, compositionality, communicating sequential processes
1	Victor V. Toporkov	Satisfiability of Dataflow Models of Distributed Programs.	Programming and Computer Software	2001	DBLP DOI BibTeX RDF
1	Susan Older	Strong Fairness and Full Abstraction for Communicating Processes.	Inf. Comput.	2000	DBLP DOI BibTeX RDF
1	Ali E. Abdallah	Filter Promotion Transformation Strategies for Deriving Efficient Programs from Z Specifications. (PDF / PS)	ICFEM	2000	DBLP DOI BibTeX RDF	filter promotion, parallelism, Specification, program transformation, refinement, communicating processes, accumulation
1	Abdeslam En-Nouaary, Ferhat Khendek, Rachida Dssouli	Testing embedded real-time systems.	RTCSA	2000	DBLP DOI BibTeX RDF	embedded real-time system testing, system correctness, implementation testing, real-time components, communicating timed input-output automata, testing in context, testing in isolation, timed Wp-method, embedded systems, formal specification, formal verification, program testing, conformance testing, conformance testing, timing constraints, safety-critical systems, test case generation, safety-critical software, automata theory, concurrent processes, communicating processes, system quality, partial product
1	Chris McDonald, Kamran Kazemi	Teaching parallel algorithm with process topologies.	SIGCSE	2000	DBLP DOI BibTeX RDF
1	Fabrizio Petrini, Wu-chun Feng	Scheduling with Global Information in Distributed Systems.	ICDCS	2000	DBLP DOI BibTeX RDF	distributed operating systems, gang scheduling, parallel job scheduling, co-scheduling, distributed resource management
1	Fabrizio Petrini, Wu-chun Feng	Buffered Coscheduling: A New Methodology for Multitasking Parallel Jobs on Distributed Systems. (PDF / PS)	IPDPS	2000	DBLP DOI BibTeX RDF
1	Jui-Ming Chang, Massoud Pedram	Codex-dp: co-design of communicating systems using dynamicprogramming.	IEEE Trans. on CAD of Integrated Circuits and Systems	2000	DBLP DOI BibTeX RDF