Search results for "distributed programs"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Tsuyoshi Ohta, Tadanori Mizuno	Towards an Algorithmic Debugging for Distributed Programs.	APSEC	1999	DBLP DOI BibTeX RDF	debug, programming environment, distributed programs
3	Tae-Hyung Kim, James M. Purtilo	A Source-Level Transformation Framework for RPC-Based Distributed Programs. (PDF / PS)	HPDC	1996	DBLP DOI BibTeX RDF	source-level transformation framework, procedure call abstraction, programming task simplification, program analysis techniques, performance, parallel programming, distributed programs, remote procedure calls, remote procedure call, control flow, program diagnostics, code optimization, program control structures
3	Hiroaki Higaki	Extended group communication algorithm for updating distributed programs. (PDF / PS)	ICPADS	1996	DBLP DOI BibTeX RDF	extended group communication algorithm, distributed programs updating, protocol errors, distributed application programs, protocols, distributed processing, concurrency control, deadlocks, user requirements, dynamic updating
3	George R. R. Justo	A rigorous method for the constructive design of parallel and distributed programs.	HICSS	1995	DBLP DOI BibTeX RDF	constructive design, distributed systems engineers, well-structured programs, SASD, behavioural specifications, performance, formal specification, parallel programming, parallel programs, formal verification, specification, program verification, CSP, distributed programs, software performance evaluation, diagrams, diagrams, communicating systems, communicating sequential processes, sequential systems
3	Mariam Kamkar, Patrik Krajina	Dynamic slicing of distributed programs. (PDF / PS)	ICSM	1995	DBLP DOI BibTeX RDF	program maintenance activities, computer supported methods, distributed dynamic dependence graph, communication dependences, distributed dynamic slicer, ANSI-C programming language, parallel MIMD computer, Parsytec GC/Powerplus, parallel programming, graph theory, software maintenance, message passing, program slicing, distributed programs, dependence analysis, program diagnostics, dynamic slicing, dynamic slice, static slice
3	Keng Ng, Jeff Kramer, Jeff Magee, Naranker Dulay	The Software Architect's Assistant-a visual environment for distributed programming.	HICSS	1995	DBLP DOI BibTeX RDF	Software Architect's Assistant, software architectural view, informal program design, prototype visual programming environment, Regis distributed programs, textual views, graphical views, formatted reports, design diagrams, graphical monitoring, parallel programming, parallel programs, software development, software tools, programming environments, software reuse, visual programming, software reusability, distributed programming, distributed programs, diagrams, automatic programming, software libraries, intelligent assistance, visual techniques, visual environment, design information, automatic program generation, component libraries, software design process
3	Vijay K. Garg, Brian Waldecker	Detection of Weak Unstable Predicates in Distributed Programs.	IEEE Trans. Parallel Distrib. Syst.	1994	DBLP DOI BibTeX RDF	programtesting, weak unstable predicates, weakconjunctive predicates, distributed debugger, testing, distributed algorithms, debugging, Unix, UNIX, communication complexity, distributed programs, distributed memory systems, program debugging, message complexity, Sun workstations, global predicates
3	Cui-Qing Yang, Barton P. Miller	Performance Measurement for Parallel and Distributed Programs: A Structured and Automatic Approach.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	automatic approach, performance measurement systems, performance information, automatic guidance techniques, program efficiency, performance evaluation, parallel programs, software reliability, program testing, distributed programs, hierarchical model, multiprocessing programs, IPS, performance problems
3	Aaron J. Gordon, Raphael A. Finkel	Handling Timing Errors in Distributed Programs.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	postmortem debugger, history-keeping mechanism, distributed processing, software tools, program testing, directed graph, directed graphs, distributed programs, interprocess communication, TAP, timing errors, timing graph
2	Fuad Abujarad, Sandeep S. Kulkarni	Multicore Constraint-Based Automated Stabilization.	SSS	2009	DBLP DOI BibTeX RDF	Multicore Algorithms, Stabilization, Program Transformation, Distributed Programs, Program Synthesis
2	Riccardo Focardi, Matteo Centenaro	Information flow security of multi-threaded distributed programs.	PLAS	2008	DBLP DOI BibTeX RDF	symbolic cryptography, information flow, bisimulation, language-based security
2	Borzoo Bonakdarpour, Sandeep S. Kulkarni	Revising Distributed UNITY Programs Is NP-Complete.	OPODIS	2008	DBLP DOI BibTeX RDF	Automated revision, Complexity, Formal methods, Transformation, Distributed programs, Repair, UNITY
2	Ali Ebnenasir, Sandeep S. Kulkarni, Anish Arora	FTSyn: a framework for automatic synthesis of fault-tolerance.	STTT	2008	DBLP DOI BibTeX RDF	Fault-tolerance, Formal methods, Distributed programs, Program synthesis, Automatic addition of fault-tolerance
2	Hai Jin, Yunfa Li, Zongfen Han, Hao Wu, Weizhong Qiang	Aeneas: real-time performance evaluation approach for distributed programs with reliability-constrains.	Cluster Computing	2007	DBLP DOI BibTeX RDF	Reliability, Distributed program, Response time, Real-time performance
2	Victor V. Toporkov	Dataflow Analysis of Distributed Programs Using Generalized Marked Nets.	DepCoS-RELCOMEX	2007	DBLP DOI BibTeX RDF
2	Borzoo Bonakdarpour, Sandeep S. Kulkarni	Exploiting Symbolic Techniques in Automated Synthesis of Distributed Programs with Large State Space.	ICDCS	2007	DBLP DOI BibTeX RDF
2	Koushik Sen, Gul Agha	Automated Systematic Testing of Open Distributed Programs.	FASE	2006	DBLP DOI BibTeX RDF
2	Hong Linh Truong, Thomas Fahringer	Soft Computing Approach to Performance Analysis of Parallel and Distributed Programs.	Euro-Par	2005	DBLP DOI BibTeX RDF
2	Yunfa Li, Hai Jin, Zongfen Han, Chao Xie, Deqing Zou, Hao Wu	Aeneas: Real-Time Performance Evaluation Approach for Distributed Programs with Reliability-Constrains.	IPDPS	2005	DBLP DOI BibTeX RDF
2	Sabri Pllana, Thomas Fahringer	Performance Prophet: A Performance Modeling and Prediction Tool for Parallel and Distributed Programs.	ICPP Workshops	2005	DBLP DOI BibTeX RDF
2	Sandeep S. Kulkarni, Ali Ebnenasir	Complexity Issues in Automated Synthesis of Failsafe Fault-Tolerance.	IEEE Trans. Dependable Sec. Comput.	2005	DBLP DOI BibTeX RDF	Fault-tolerance, formal methods, distributed programs, program synthesis, automatic addition of fault-tolerance
2	Sandeep S. Kulkarni, Ali Ebnenasir	Adding Fault-Tolerance Using Pre-synthesized Components.	EDCC	2005	DBLP DOI BibTeX RDF	Formal methods, Distributed programs, Detectors, Correctors, Automatic addition of fault-tolerance
2	Doug Goldson	An Experiment in the Design of Distributed Programs.	Australian Software Engineering Conference	2004	DBLP DOI BibTeX RDF
2	Yunfa Li, Hai Jin, Zongfen Han, Chao Xie, Minna Wu	Eidolon: Real-Time Performance Evaluation Approach for Distributed Programs Based on Capacity of Communication Links.	CIS	2004	DBLP DOI BibTeX RDF
2	Hiroshi Koide, Yuji Oie	A New Task Scheduling Method for Distributed Programs which Require Memory Management in Grids.	SAINT Workshops	2004	DBLP DOI BibTeX RDF	CP/MM, critical path scheduling, garbage collection, memory management, task scheduling, Java RMI
2	Limin Jia, David Walker	Modal Proofs as Distributed Programs (Extended Abstract).	ESOP	2004	DBLP DOI BibTeX RDF
2	Ana Paula Cláudio, João Duarte Cunha	A Race Detection Mechanism Embedded in a Conceptual Model for the Debugging of Message-Passing Distributed Programs.	Euro-Par	2003	DBLP DOI BibTeX RDF
2	Alper Sen, Vijay K. Garg	Detecting Temporal Logic Predicates in Distributed Programs Using Computation Slicing.	OPODIS	2003	DBLP DOI BibTeX RDF
2	Neeraj Mittal, Vijay K. Garg	Software Fault Tolerance of Distributed Programs Using Computation Slicing.	ICDCS	2003	DBLP DOI BibTeX RDF	pruning search-space, software-fault tolerance, testing and debugging, predicate detection, partial-order methods
2	Sandeep S. Kulkarni, Ali Ebnenasir	Enhancing The Fault-Tolerance of Nonmasking Programs.	ICDCS	2003	DBLP DOI BibTeX RDF	Fault-tolerance, Formal methods, Program transformation, Distributed programs, Program synthesis, Automatic addition of fault-tolerance
2	Sandeep S. Kulkarni, Ali Ebnenasir	The Complexity of Adding Failsafe Fault-Tolerance. (PDF / PS)	ICDCS	2002	DBLP DOI BibTeX RDF	Fault-tolerance, Formal methods, Program transformation, Distributed programs, Program synthesis
2	Victor V. Toporkov	Satisfiability of Dataflow Models of Distributed Programs.	Programming and Computer Software	2001	DBLP DOI BibTeX RDF
2	Allan K. Y. Wong, Tharam S. Dillon, May T. W. Ip, Wilfred W. K. Lin	A Generic Visualization Framework to Help Debug Mobile-Object-Based Distributed Programs Running on Large Networks.	WORDS	2001	DBLP DOI BibTeX RDF	Visualization Data Structures, Public Intranet, reliability, Mobility, debugging, Visualization User Interface
2	Tsuyoshi Ohta, Hideto Kinoshita, Takahiro Kimata, Tadanori Mizuno	A Framework of an Assertion-Based Algorithmic Debugging for Distributed Programs. (PDF / PS)	ICOIN	2001	DBLP DOI BibTeX RDF
2	Sushma Rai, D. Sampath, Srivathsa N. S.	Implementation of DDARC: Software Architecture for Debugging Distributed Programs.	AICCSA	2001	DBLP DOI BibTeX RDF
2	M. Al-ladan	A Survey and a Taxonomy of Approaches for Testing Parallel and Distributed Programs.	AICCSA	2001	DBLP DOI BibTeX RDF
2	Sandeep S. Kulkarni, Anish Arora, Arun Chippada	Polynomial Time Synthesis of Byzantine Agreement. (PDF / PS)	SRDS	2001	DBLP DOI BibTeX RDF	Fault-tolerance, Formal methods, Program transformation, Distributed programs, Program synthesis
2	Neeraj Mittal, Vijay K. Garg	Debugging distributed programs using controlled re-execution.	PODC	2000	DBLP DOI BibTeX RDF
2	Yoram Moses	Issues in the Refinement of Distributed Programs.	FTRTFT	2000	DBLP DOI BibTeX RDF
2	Steven T. Hackstadt, Christopher W. Harrop, Allen D. Malony	A Framework for Interacting with Distributed Programs and Data. (PDF / PS)	HPDC	1998	DBLP DOI BibTeX RDF	model coupling, runtime interaction, visualization, Fortran 90, computational steering, distributed arrays, parallel tools
2	Vijay K. Garg, Alexander I. Tomlinson	Using the Causal Domain to Specify and verify Distributed Programs.	Acta Inf.	1997	DBLP DOI BibTeX RDF
2	Jingde Cheng	Dependence Analysis of Parallel and Distributed Programs and Its Applications.	APDC	1997	DBLP DOI BibTeX RDF
2	Jiannong Cao, Edward Chan, Chan-Hee Lee, K. W. Yu	A dynamic reconfiguration manager for graph-oriented distributed programs. (PDF / PS)	ICPADS	1997	DBLP DOI BibTeX RDF	dynamic reconfiguration manager, graph-oriented distributed programs, server-based prototypical implementation, local area networks, local area network, system configuration, software platform, distributed programming environment
2	Jenq Kuen Lee, Dan Ho, Y. C. Chuang	Data Distribution Analysis and Optimization for Pointer-Based Distributed Programs. (PDF / PS)	ICPP	1997	DBLP DOI BibTeX RDF	Distributed Pointer Analysis, Array Data Flow Analysis, Parallel C++ Compiler, Pointer Optimizations, Optimizing Compiler
2	Michel Charpentier	A UNITY Mapping Operator for Distributed Programs.	FME	1997	DBLP DOI BibTeX RDF
2	João Lourenço, José C. Cunha, Henryk Krawczyk, Piotr Kuzora, Marcin Neyman, Bogdan Wiszniewski	An integrated testing and debugging environment for parallel and distributed programs.	EUROMICRO	1997	DBLP DOI BibTeX RDF	program testing environment, program development process, DDBG, Distributed Debugger, stand-alone tools, intermediate tool, DEIPA, deterministic execution, interactive program analysis, parallel programming, parallel programs, distributed programs, structural testing, testing tool, software integration, program specification, STEPS, debugging tool, debugging environment
2	Viral Shah, Sourav Bhattacharya	Fault propagation analysis based variable length checkpoint placement for fault-tolerant parallel and distributed systems. (PDF / PS)	COMPSAC	1997	DBLP DOI BibTeX RDF	fault propagation analysis based variable length checkpoint placement, fault tolerant parallel systems, optimal checkpoint placement strategies, failure propagation analysis, distributed rollback recovery system, FPA based checkpoint placement strategy, task grouping/allocation, loop stabilization aspects, message communication instructions, checkpoint placement strategy, message send/receive regions, FPA process, checkpoint placement strategies, cyclic relationship, distributed systems, parallel algorithm, fast Fourier transform, FFT, recursion, distributed programs, task allocation, system recovery, link failures
2	Markus Endler	Availability management of distributed programs and services.	CASCON	1996	DBLP DOI BibTeX RDF
2	Woei-Jiunn Tsaur, Shi-Jinn Horng	Toward Software Metrics for Distributed Software.	APSEC	1995	DBLP DOI BibTeX RDF	distributed programming languages, software metrics, communication complexity, distributed programs
2	Noé Lopez-Benitez	Dependability Modeling and Analysis of Distributed Programs.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	program reliability, program availability, distributed computing system environment, repair actions, global repair mode, centralized repair team, system status restoration, failure state, local repair model, program interruption, Petri nets, distributed algorithms, software reliability, distributed programs, stochastic processes, programming theory, dependability analysis, system recovery, stochastic Petri nets, program diagnostics, hardware support, multiprocessing programs, program execution, file distribution, dependability modeling, hardware faults
2	Doreen Cheng, Robert Hood	A portable debugger for parallel and distributed programs.	SC	1994	DBLP BibTeX RDF
2	David M. Ogle, Karsten Schwan, Richard T. Snodgrass	Application-Dependent Dynamic Monitoring of Distributed and Parallel Systems.	IEEE Trans. Parallel Distrib. Syst.	1993	DBLP DOI BibTeX RDF	application dependent dynamic monitoring, off-line program analysis, on-line debugging, uniform data model, program-specific monitoring code, distributed analysis, programtesting, distributed systems, parallel programming, specification, distributed processing, distributed programs, parallel systems, program debugging, attributes, parallelmachines
2	Thomas Schnekenburger, Michael Friedrich, Andreas Weininger, Thomas Schoen	ParSim: A Tool for the Analysis of Parallel and Distributed Programs.	CONPAR	1992	DBLP DOI BibTeX RDF
2	Sanjay Gadkari	Abstract data groups: structuring distributed programs as layers.	ICCL	1992	DBLP DOI BibTeX RDF
2	Vijay K. Garg, Brian Waldecker	Detection of Unstable Predicates in Distributed Programs.	FSTTCS	1992	DBLP DOI BibTeX RDF
2	Irene Greif, Robert Seliger, William E. Weihl	A Case Study Of CES: A Distributed Collaborative Editing System Implemented In Argus.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	distributed collaborative editing system, reliable distributed programs, remotely accessible data, user-defined data types, data structures, groupware, distributed applications, parallel languages, text editing, Argus
2	Kastytis Gecas	A Compositional Proof System for Distributed Programs.	Baltic Computer Science	1991	DBLP DOI BibTeX RDF
2	William S. Lloyd, Phil Kearns	Using tracing to direct our reasoning about distributed programs.	ICDCS	1991	DBLP DOI BibTeX RDF
2	Peter Mills, Lars S. Nyland, Jan Prins, John H. Reif, Robert A. Wagner	Prototyping parallel and distributed programs in Proteus.	SPDP	1991	DBLP DOI BibTeX RDF
2	Mohamed G. Gouda, Ted Herman	Adaptive Programming.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	constituent programs, adaptive sequential programs, adaptive distributed programs, adaptivity, parallel programming, self-stabilization, adaptive systems, programming theory, formal logic, composition operators, token ring networks
2	Barton P. Miller, Morgan Clark, Jeffrey K. Hollingsworth, Steven Kierstead, Sek-See Lim, Timothy Torzewski	IPS-2: The Second Generation of a Parallel Program Measurement System.	IEEE Trans. Parallel Distrib. Syst.	1990	DBLP DOI BibTeX RDF	IPS-2, parallel program measurement system, performance measurement system, performance analysis techniques, program bottlenecks, interactive program analysis, automatic guidance techniques, Charlotte distributed operating system, 4.3BSD UNIX systems, DECstation, Sun 4, Sequent Symmetry multiprocessor, performance evaluation, parallel programs, parallel programming, semantics, graphical user interface, software tools, Unix, shared-memory systems, distributed programs, network operating systems, program diagnostics, VAX, design concepts, message systems, CPA
2	Michael Evangelist, Nissim Francez, Shmuel Katz	Multiparty Interactions for Interprocess Communication and Synchronization.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	multiparty interaction construct, weakening, fault tolerance, parallel programming, synchronization, fault tolerant computing, distributed programs, participants, nondeterminism, interprocess communication, primitive, acceptability criteria
2	Farokh B. Bastani, I-Ling Yen, Ing-Ray Chen	A Class of Inherently Fault Tolerant Distributed Programs.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	fault tolerant distributed programs, decentralized control concepts, robot, fault tolerant computing, distributed processing, program verification, correctness, programming theory, industrial robots, robot programming, self-stabilizing systems, industrial process-control
2	Shmuel Katz, Doron Peled	An efficient verification method for parallel and distributed programs.	REX Workshop	1988	DBLP DOI BibTeX RDF	Proof lattices, Verification, Temporal logic, Partial order semantics, Execution sequences
2	Michael L. Scott, Raphael A. Finkel	A Simple Mechanism for Type Security Across Compilation Units.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	type security, compilation units, structural-type clashes, symbol-table name, ordinary linker, message types, data structures, data structures, compilers, hash function, program compilers, distributed programs, run-time checking
2	Barbara Liskov, Robert Scheifler	Guardians and Actions: Linguistic Support for Robust, Distributed Programs.	POPL	1982	DBLP DOI BibTeX RDF
2	Derek Coleman, Robin M. Gallimore	Partial Correctness of Distributed Programs.	Program Specification	1981	DBLP DOI BibTeX RDF
1	Borzoo Bonakdarpour, Sandeep S. Kulkarni, Fuad Abujarad	Symbolic synthesis of masking fault-tolerant distributed programs.	Distributed Computing	2012	DBLP DOI BibTeX RDF
1	Janusz Borkowski, Marek Tudruj	Global Control in Distributed Programs with Dynamic Process Membership.	PDP	2012	DBLP DOI BibTeX RDF
1	Russell Power, Jinyang Li	Piccolo: Building Fast, Distributed Programs with Partitioned Tables.	OSDI	2010	DBLP BibTeX RDF
1	Robert A. Ballance, Jonathan Cook	Monitoring MPI programs for performance characterization and management control.	SAC	2010	DBLP DOI BibTeX RDF	scientific applications, software monitoring
1	Fuad Abujarad, Borzoo Bonakdarpour, Sandeep S. Kulkarni	Parallelizing Deadlock Resolution in Symbolic Synthesis of Distributed Programs	PDMC	2009	DBLP DOI BibTeX RDF
1	Cédric Fournet, Gurvan Le Guernic, Tamara Rezk	A security-preserving compiler for distributed programs: from information-flow policies to cryptographic mechanisms.	ACM Conference on Computer and Communications Security	2009	DBLP DOI BibTeX RDF	cryptography, compilers, computational model
1	Arshad Jhumka, Matthew Leeke	Issues on the Design of Efficient Fail-Safe Fault Tolerance.	ISSRE	2009	DBLP DOI BibTeX RDF	Formal methods, distributed programs, faults, fail-safe, impossibility
1	Fuad Abujarad, Sandeep S. Kulkarni	Constraint Based Automated Synthesis of Nonmasking and Stabilizing Fault-Tolerance.	SRDS	2009	DBLP DOI BibTeX RDF	nonmasking, constraint based, stabilization, distributed programs, program synthesis
1	Tzilla Elrad	Aspect Oriented Approach for Capturing and Verifying Distributed Properties.	Languages: From Formal to Natural	2009	DBLP DOI BibTeX RDF
1	Chia-Chu Chiang	An Implementation of a Framework for Open Distributed Computing.	ICA3PP	2009	DBLP DOI BibTeX RDF	Distributed Parallel Programming, Concurrency, Heterogeneity, Programming Paradigms
1	Michael Allen, Lewis Girod, Ryan Newton, Samuel Madden, Daniel T. Blumstein, Deborah Estrin	VoxNet: An Interactive, Rapidly-Deployable Acoustic Monitoring Platform.	IPSN	2008	DBLP DOI BibTeX RDF	distributed signal processing, wireless sensor networks, platforms, acoustic source localization, bioacoustics
1	Janusz Borkowski, Marek Tudruj	Global States Monitoring in Execution Control of Parallel Programs.	ISPDC	2008	DBLP DOI BibTeX RDF
1	Tuomas Turto	Building Blocks for a Web Programming Language.	EUROMICRO-SEAA	2008	DBLP DOI BibTeX RDF
1	Kazushi Ikeda, Shunsuke Mori, Yuya Ota, Takaaki Umedu, Akihito Hiromori, Hirozumi Yamaguchi, Teruo Higashino	D-Sense: An Integrated Environment for Algorithm Design and Protocol Implementation in Wireless Sensor Networks.	MMNS	2008	DBLP DOI BibTeX RDF
1	Koen Claessen, Hans Svensson	Finding Counter Examples in Induction Proofs.	TAP	2008	DBLP DOI BibTeX RDF
1	Andrew Walenstein, Rachit Mathur, Mohamed R. Chouchane, Arun Lakhotia	Constructing malware normalizers using term rewriting.	Journal in Computer Virology	2008	DBLP DOI BibTeX RDF
1	Hon Fung Li, Eslam Al Maghayreh	Checking Distributed Programs with Partially Ordered Atoms.	APSEC	2007	DBLP DOI BibTeX RDF
1	Luis Daniel Benavides Navarro, Mario Südholt, Rémi Douence, Jean-Marc Menaud	Invasive Patterns for Distributed Programs.	OTM Conferences	2007	DBLP DOI BibTeX RDF
1	Hon Fung Li, Eslam Al Maghayreh	Using synchronized atoms to check distributed programs.	ICPADS	2007	DBLP DOI BibTeX RDF
1	Amir Kamil, Katherine A. Yelick	Hierarchical Pointer Analysis for Distributed Programs.	SAS	2007	DBLP DOI BibTeX RDF
1	Raffi Khatchadourian, Neelam Soundarajan	Rely-guarantee approach to reasoning about aspect-oriented programs.	SPLAT	2007	DBLP DOI BibTeX RDF	aspect-oriented software, modular verification, rely-guarantee
1	Lars-Åke Fredlund, Hans Svensson	McErlang: a model checker for a distributed functional programming language.	ICFP	2007	DBLP DOI BibTeX RDF
1	Elliot Barlas, Tevfik Bultan	Netstub: a framework for verification of distributed java applications.	ASE	2007	DBLP DOI BibTeX RDF	testing and verification of, model checking, automated verification
1	Ali Ebnenasir	Diconic addition of failsafe fault-tolerance.	ASE	2007	DBLP DOI BibTeX RDF	addition of fault-tolerance, formal methods, satisfiability, divide and conquer
1	Tom Van Cutsem, Stijn Mostinckx, Wolfgang De Meuter	Linguistic symbiosis between actors and threads.	ICDL	2007	DBLP DOI BibTeX RDF	AmbientTalk, linguistic symbiosis, events, threads, actors
1	Marek Tudruj, Damian Kopanski, Janusz Borkowski	Dynamic Workflow Control with Global States Monitoring.	ISPDC	2007	DBLP DOI BibTeX RDF
1	Saeed Parsa, Omid Bushehrian	Formal Specification and Implementation of an Environment for Automatic Distribution.	GPC	2007	DBLP DOI BibTeX RDF
1	Natasha Sharygina, Daniel Kröning	Model Checking with Abstraction for Web Services.	Test and Analysis of Web Services	2007	DBLP DOI BibTeX RDF
1	Sharon Simmons, Dennis Edwards, Phil Kearns	Communication analysis of distributed programs.	Scientific Programming	2006	DBLP BibTeX RDF
1	Hiroshi Koide, Yuji Oie	A new task scheduling method for distributed programs that require memory management.	Concurrency and Computation: Practice and Experience	2006	DBLP DOI BibTeX RDF
1	Richard Carlsson, Mickaël Rémond	EUnit: a lightweight unit testing framework for Erlang.	Erlang Workshop	2006	DBLP DOI BibTeX RDF	frameworks, unit testing, Erlang, agile methods
1	Kamran Karimi, Mohsen Sharifi	Transparent Distributed Programming under Linux.	HPCS	2006	DBLP DOI BibTeX RDF
1	Ying Chen Lin, Sy-Yuan Li, Yuan-Shin Hwang	Dynamic Load-Balancing of Jini and .NET Services.	ICPP Workshops	2006	DBLP DOI BibTeX RDF