|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 4145 occurrences of 2347 keywords
|
|
|
Results
Found 5349 publication records. Showing 5349 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
85 | 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 |
65 | Florentin Ipate, Mike Holcombe |
Testing Conditions for Communicating Stream X-machine Systems. |
Formal Aspects Comput. |
2002 |
DBLP DOI BibTeX RDF |
Communicating (extended) fsm, Communicating (stream) X-machines, Design for test-conditions, Testing |
59 | A. V. S. Rajan, S. Bavan, Geetha Abeysinghe |
Semantics for the Specification of Asynchronous Communicating Systems (SACS). |
SCSS (1) |
2007 |
DBLP DOI BibTeX RDF |
Calculus of Communicating Systems (CCS), Synchronous Calculus of Communicating Systems (SCCS), Structured Operational Semantics (SOS), Labelled Transition System (LTS), bisimulation |
58 | Peter H. Welch, Fred R. M. Barnes |
Communicating Mobile Processes. |
25 Years Communicating Sequential Processes |
2004 |
DBLP DOI BibTeX RDF |
|
54 | Lei Feng 0002, Walter Murray Wonham, P. S. Thiagarajan |
Designing communicating transaction processes by supervisory control theory. |
Formal Methods Syst. Des. |
2007 |
DBLP DOI BibTeX RDF |
Communicating transaction processes, Discrete-event systems, Supervisory control, Message sequence charts |
52 | Jörg-Rüdiger Sack, Monika Sester, Michael F. Worboys, Peter van Oosterom |
06101 Abstracts Collection -- Spatial Data: mining, processing and communicating. |
Spatial Data: mining, processing and communicating |
2006 |
DBLP BibTeX RDF |
|
52 | Jörg-Rüdiger Sack, Monika Sester, Michael F. Worboys, Peter van Oosterom |
06101 Report -- Spatial Data: mining, processing and communicating. |
Spatial Data: mining, processing and communicating |
2006 |
DBLP BibTeX RDF |
|
49 | 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 |
48 | Francis Bordeleau, Raymond J. A. Buhr |
UCM-ROOM modelling: from use case maps to communicating state machines. |
ECBS |
1997 |
DBLP DOI BibTeX RDF |
UCM-ROOM modelling, communicating state machines, internal state machines, intercomponent messages, UCM models, message sequence charts, communicating sequential processes, modelling methodology, computer-based systems, use case maps |
48 | Alan C. Shaw |
Communicating Real-Time State Machines. |
IEEE Trans. Software Eng. |
1992 |
DBLP DOI BibTeX RDF |
communicating real-time state machines, executable notation, concurrent real-time systems, controlled physical environment, CRSMs, CRSM language, real-time systems, formal specification, finite state machines, parallel machines, requirements specification, state machines, communicating sequential processes, timing properties |
46 | Ad M. G. Peeters |
Implementation of Handshake Components. |
25 Years Communicating Sequential Processes |
2004 |
DBLP DOI BibTeX RDF |
|
46 | Mark B. Josephs |
Models for Data-Flow Sequential Processes. |
25 Years Communicating Sequential Processes |
2004 |
DBLP DOI BibTeX RDF |
|
44 | Petros Kefalas, George Eleftherakis, Evangelos Kehris |
Communicating X-Machines: From Theory to Practice. |
Panhellenic Conference on Informatics |
2001 |
DBLP DOI BibTeX RDF |
|
44 | Linas Laibinis, Elena Troubitsyna, Sari Leppänen, Johan Lilius, Qaisar A. Malik |
Formal Service-Oriented Development of Fault Tolerant Communicating Systems. |
RODIN Book |
2006 |
DBLP DOI BibTeX RDF |
fault tolerance, UML, B Method, communicating systems, service-oriented development |
44 | Lech Polkowski, Maria Semeniuk-Polkowska |
Sets of Communicating Sequential Processes. A Topological Rough Set Framework. |
KES |
2004 |
DBLP DOI BibTeX RDF |
exact sets of processes, constructive and non–destructive mappings on exact sets of processes, rough set theory, communicating sequential processes |
44 | Santonu Sarkar, Anupam Basu, Arun K. Majumdar |
Synchronization of communicating modules and processes in high level synthesis. |
VLSI Design |
1995 |
DBLP DOI BibTeX RDF |
communicating modules, object oriented design framework, nonblocking channel, real life image processing, synchronization, high level synthesis, high level synthesis, application specific integrated circuits, synchronisation, object-oriented methods, component reuse, ASIC designs, image processing equipment |
44 | 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 |
43 | Sudhir Aggarwal, Sandeep Mitra, Sanjay S. Jagdale |
DCCA: a versatile paradigm for the description and development of concurrent communicating systems. |
HICSS (2) |
1995 |
DBLP DOI BibTeX RDF |
DCCA, concurrent communicating systems development, concurrent communicating systems description, Dynamic Coordinated Concurrent Activities, automated factory, multiprocessor cache coherence system, attendant toolset, model, distributed systems, software engineering, formal specification, formal specification, protocols, specification, prototyping, distributed processing, program verification, rapid prototyping, software prototyping, distributed control system |
42 | David Harel |
Will I Be Pretty, Will I Be Rich? Some Thoughts on Theory vs. Practice in Systems Engineering. |
RE |
1997 |
DBLP DOI BibTeX RDF |
reactive highly concurrent systems, calculus of communicating systems, formal specification, parallel programming, system design, systems engineering, communicating sequential processes, applied research |
42 | Tarek F. Abdelzaher, Anees Shaikh, Farnam Jahanian, Kang G. Shin |
RTCAST: lightweight multicast for real-time process groups. |
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 |
40 | Béatrice Bérard |
Timed Model-Checking. |
Communicating Embedded Systems |
2013 |
DBLP DOI BibTeX RDF |
|
40 | Didier Lime, Olivier H. Roux, Jirí Srba |
Models for Real-Time Embedded Systems. |
Communicating Embedded Systems |
2013 |
DBLP DOI BibTeX RDF |
|
40 | Franck Cassez, Nicolas Markey |
Control of Timed Systems. |
Communicating Embedded Systems |
2013 |
DBLP DOI BibTeX RDF |
|
40 | Thao Dang 0001, Goran Frehse, Antoine Girard, Colas Le Guernic |
Tools for the Analysis of Hybrid Models. |
Communicating Embedded Systems |
2013 |
DBLP DOI BibTeX RDF |
|
40 | Franck Cassez, Stavros Tripakis |
Fault Diagnosis of Timed Systems. |
Communicating Embedded Systems |
2013 |
DBLP DOI BibTeX RDF |
|
40 | Susanna Donatelli, Serge Haddad |
Quantitative Verification of Markov Chains. |
Communicating Embedded Systems |
2013 |
DBLP DOI BibTeX RDF |
|
40 | Alexandre David, Gerd Behrmann, Peter E. Bulychev, Joakim Byg, Thomas Chatain, Kim G. Larsen, Paul Pettersson, Jacob Illum Rasmussen, Jirí Srba, Wang Yi 0001, Kenneth Yrke Jørgensen, Didier Lime, Morgan Magnin, Olivier H. Roux, Louis-Marie Traonouez |
Tools for Model-Checking Timed Systems. |
Communicating Embedded Systems |
2013 |
DBLP DOI BibTeX RDF |
|
40 | Jörg-Rüdiger Sack, Monika Sester, Peter van Oosterom, Michael F. Worboys (eds.) |
Spatial Data: mining, processing and communicating, 05.03. - 10.03.2006 |
Spatial Data: mining, processing and communicating |
2006 |
DBLP BibTeX RDF |
|
40 | Steffen Volz |
Management and Conflation of Multiple Representations within an Open Federation Platform. |
Spatial Data: mining, processing and communicating |
2006 |
DBLP BibTeX RDF |
|
40 | Ranko Lazic 0001, Thomas Christopher Newcomb, A. W. Roscoe 0001 |
On Model Checking Data-Independent Systems with Arrays with Whole-Array Operations. |
25 Years Communicating Sequential Processes |
2004 |
DBLP DOI BibTeX RDF |
|
40 | David May 0001 |
CSP, occam and Transputers. |
25 Years Communicating Sequential Processes |
2004 |
DBLP DOI BibTeX RDF |
|
40 | Sadie Creese |
Industrial Strength CSP: Opportunities and Challenges in Model-Checking. |
25 Years Communicating Sequential Processes |
2004 |
DBLP DOI BibTeX RDF |
|
40 | Peter Y. A. Ryan |
Shedding Light on Haunted Corners of Information Security. |
25 Years Communicating Sequential Processes |
2004 |
DBLP DOI BibTeX RDF |
|
40 | A. W. Roscoe 0001 |
Seeing Beyond Divergence. |
25 Years Communicating Sequential Processes |
2004 |
DBLP DOI BibTeX RDF |
|
40 | Jeff Magee, Jeff Kramer |
Model-Based Design of Concurrent Programs. |
25 Years Communicating Sequential Processes |
2004 |
DBLP DOI BibTeX RDF |
|
40 | Michael Goldsmith |
Operational Semantics for Fun and Profit. |
25 Years Communicating Sequential Processes |
2004 |
DBLP DOI BibTeX RDF |
|
40 | Jonathan Lawrence |
Practical Application of CSP and FDR to Software Design. |
25 Years Communicating Sequential Processes |
2004 |
DBLP DOI BibTeX RDF |
|
40 | Mike Reed |
Order, Topology, and Recursion Induction in CSP. |
25 Years Communicating Sequential Processes |
2004 |
DBLP DOI BibTeX RDF |
|
40 | Michael J. Butler, C. A. R. Hoare, Carla Ferreira 0001 |
A Trace Semantics for Long-Running Transactions. |
25 Years Communicating Sequential Processes |
2004 |
DBLP DOI BibTeX RDF |
|
40 | Steve A. Schneider, Rob Delicata |
Verifying Security Protocols: An Application of CSP. |
25 Years Communicating Sequential Processes |
2004 |
DBLP DOI BibTeX RDF |
|
40 | Stephen D. Brookes |
Retracing the Semantics of CSP. |
25 Years Communicating Sequential Processes |
2004 |
DBLP DOI BibTeX RDF |
|
40 | Jifeng He 0001 |
Linking Theories of Concurrency. |
25 Years Communicating Sequential Processes |
2004 |
DBLP DOI BibTeX RDF |
|
40 | C. A. R. Hoare |
Process Algebra: A Unifying Approach. |
25 Years Communicating Sequential Processes |
2004 |
DBLP DOI BibTeX RDF |
|
40 | Jan Peleska 0001 |
Applied Formal Methods - From CSP to Executable Hybrid Specifications. |
25 Years Communicating Sequential Processes |
2004 |
DBLP DOI BibTeX RDF |
|
40 | Carroll Morgan |
Of Probabilistic Wp and SP-and Compositionality. |
25 Years Communicating Sequential Processes |
2004 |
DBLP DOI BibTeX RDF |
|
38 | Dana Pardubská, Martin Plátek, Friedrich Otto |
Parallel Communicating Grammar Systems with Regular Control. |
CAI |
2009 |
DBLP DOI BibTeX RDF |
parallel communicating grammar system, regular control, bounded communication complexity, freely rewriting restarting automaton |
38 | Sébastien Labbé 0002, Jean-Pierre Gallois |
Slicing communicating automata specifications: polynomial algorithms for model reduction. |
Formal Aspects Comput. |
2008 |
DBLP DOI BibTeX RDF |
Communicating automata, Specifications, Static analysis, Slicing, Dataflow analysis, Model reduction, Polynomial algorithms |
38 | David R. Wright 0001 |
The decision pattern: capturing and communicating design intent. |
SIGDOC |
2007 |
DBLP DOI BibTeX RDF |
communicating design decisions, design rationalization, software system design, design patterns, critical thinking |
38 | Mahadevan Subramaniam, Zoltán Pap |
Analyzing the Impact of Protocol Changes on Tests. |
TestCom |
2006 |
DBLP DOI BibTeX RDF |
test consistency, protocol, evolution, Changes, communicating finite state machines |
36 | 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 |
36 | Yong Sun, Hongji Yang |
Communication Mechanism Independent Protocol Specification Based on CSP: A Case Study. |
EUROMICRO |
1996 |
DBLP DOI BibTeX RDF |
communication mechanism independent protocol specification, abstract synchronous communication mechanism, asynchronous communication mechanisms, computer network protocols, specification, communicating sequential processes, communicating sequential processes, alternating bit protocol, communication mechanism |
36 | George R. Ribeiro-Justo |
A rigorous method for the constructive design of parallel and distributed programs. |
HICSS (2) |
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 |
36 | 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 |
36 | Andrew Kay, Joy N. Reed |
A Rely and Guarantee Method for Timed CSP: A Specification and Design of a Telephone Exchange. |
IEEE Trans. Software Eng. |
1993 |
DBLP DOI BibTeX RDF |
rely method, telephone exchange, guarantee method, timed communicating sequential processes, telephone service, troublesome race conditions, telephone exchanges, formal specification, specification, safety, liveness, communicating sequential processes, telecommunications computing |
36 | Erling Vagn Sørensen, Jens Nordahl, Niels Herman Hansen |
From CSP Models to Markov Models. |
IEEE Trans. Software Eng. |
1993 |
DBLP DOI BibTeX RDF |
probabilistic dependability model, trace-based functional model, time homogeneous Markov process, deterministic systems, event occurrences, exponential time distribution, terminal failure, gas burner system, specification, fault tolerant computing, Markov processes, finite automata, safety-critical system, waiting time, communicating sequential process, communicating sequential processes, stochastic, finite automaton |
36 | 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 |
36 | Ana R. Cavalli, Svetlana Prokopenko, Nina Yevtushenko 0001 |
Fault Detection within a Component of a System of Communicating FSMs. |
TestCom |
2002 |
DBLP BibTeX RDF |
|
36 | Ana R. Cavalli, Svetlana Prokopenko, Nina Yevtushenko 0001 |
Fault Detection Power of a Widely Used Test Suite for a System of Communicating FSMs. |
TestCom |
2000 |
DBLP BibTeX RDF |
|
36 | Juhani Latvakoski, H. Honka |
Time Simulation Methods for Testing Protocol Software Embedded in Communicating Systems. |
IWTCS |
1999 |
DBLP BibTeX RDF |
|
35 | Ismail Berrada, Richard Castanet, Patrick Félix |
Testing Communicating Systems: a Model, a Methodology, and a Tool. |
TestCom |
2005 |
DBLP DOI BibTeX RDF |
|
33 | Linas Laibinis, Elena Troubitsyna, Sari Leppänen |
Formal Reasoning about Fault Tolerance and Parallelism in Communicating Systems. |
Methods, Models and Tools for Fault Tolerance |
2009 |
DBLP DOI BibTeX RDF |
fault tolerance, UML, B Method, communicating systems, parallel execution, service-oriented development |
33 | Karen Johanne Kortbek, Kaj Grønbæk |
Communicating art through interactive technology: new approaches for interaction design in art museums. |
NordiCHI |
2008 |
DBLP DOI BibTeX RDF |
art museums, audio augmentation, body as an interaction device, communicating art, interaction design, user experience |
33 | Mostefa Belarbi, Jean-Philippe Babau, Jean-Jacques Schwarz |
Temporal Verification of Real-Time Multitasking Application Properties Based on Communicating Timed Automata. |
DS-RT |
2004 |
DBLP DOI BibTeX RDF |
Exhaustive Simulation, Temporal Verification, Observer Automata, Communicating, Timed Automata, RTOS |
33 | 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 |
33 | Rim Belhassine-Cherif, Abderrazak Ghedamsi |
Multiple Fault Diagnostics for Communicating Nondeterministic Finite State Machines. |
ISCC |
2001 |
DBLP DOI BibTeX RDF |
Communicating Nondetermistic Finite State Machine, Multiple faults, Diagnostic, Symptom |
33 | Maciej Koutny, Giuseppe Pappalardo |
A Model of Behaviour Abstraction for Communicating Processes. |
STACS |
1999 |
DBLP DOI BibTeX RDF |
behaviour abstraction, communicating sequential processes, Theory of parallel and distributed computation |
33 | Robert E. Filman, Ted Linden |
Communicating security agents. |
WETICE |
1996 |
DBLP DOI BibTeX RDF |
communicating security agents, dynamically confederating security agents, preexisting applications, security goals, linguistic mechanisms, compilation mechanisms, application components, algorithmic definitions, agent code fragments, compilation mechanism, cost effective generation, redundant agents, subverted elements, computer networks, security models |
33 | Gang Luo, Gregor von Bochmann, Alexandre Petrenko |
Test Selection Based on Communicating Nondeterministic Finite-State Machines Using a Generalized WP-Method. |
IEEE Trans. Software Eng. |
1994 |
DBLP DOI BibTeX RDF |
communicating nondeterministic finite-state machines, generalized Wp-method, conformance relation, trace-equivalence, deterministic finite-state machines, software engineering, software engineering, protocols, software testing, finite state machines, specification languages, program testing, concurrent programs, communication protocols, fault coverage, conformance testing, programming theory, SDL, reachability analysis, test suites, multiprocessing programs, test selection, protocol engineering, test sequence generation, protocol conformance testing |
33 | Anthony Chung, Deepinder P. Sidhu |
On Conditions for Defining a Closed Cover to Verify Progress for Communicating Finite State Machines. |
IEEE Trans. Software Eng. |
1989 |
DBLP DOI BibTeX RDF |
progress verification, closed cover, FIFO channels, structural partition technique, protocols, finite automata, lossless, communicating finite state machines |
33 | Matthew Canton |
The presence table: a reactive surface for ambient connection. |
TEI |
2011 |
DBLP DOI BibTeX RDF |
|
32 | Anthony J. Cowling, Horia Georgescu, Cristina Vertan |
A Structured Way to Use Channels for Communication in X-Machine Systems. |
Formal Aspects Comput. |
2000 |
DBLP DOI BibTeX RDF |
Channel operations, Communicating systems of X-machines, Channels, X-machines |
31 | Liliana Cojocaru |
Watson-Crick automata and PCFAS with two components: a computational power analogy. |
Conf. Computing Frontiers |
2004 |
DBLP DOI BibTeX RDF |
Szilard languages, Watson-Crick automata, gene assembly, parallel communicating finite automata systems, parallel communicating finite transducer systems, theory of computation, formal language theory, DNA molecule, ciliates |
29 | Vadim Trenkaev, Myungchul Kim 0001, Soonuk Seol |
Interoperability Testing Based on a Fault Model for a System of Communicating FSMs. |
TestCom |
2003 |
DBLP DOI BibTeX RDF |
|
28 | Peter Buchholz 0001 |
Product Form Approximations for Communicating Markov Processes. |
QEST |
2008 |
DBLP DOI BibTeX RDF |
|
28 | Stephan Rössig, Michael Schenke |
Specification and Stepwise Development of Communicating Systems. |
VDM Europe (1) |
1991 |
DBLP DOI BibTeX RDF |
|
28 | Ed Brinksma, Bengt Jonsson 0001, Fredrik Orava |
Refining Interfaces of Communicating Systems. |
TAPSOFT, Vol.2 |
1991 |
DBLP DOI BibTeX RDF |
|
27 | Jianbing Lin, Jinan Zou |
Implementation of Enterprise Instant Communicating System Based on Application Layer with Java Programming. |
IFITA (3) |
2009 |
DBLP DOI BibTeX RDF |
instant communicating, thread, socket, daemon |
27 | Robert Charles Lange, Spiros Mancoridis |
thr2csp: Toward Transforming Threads into Communicating Sequential Processes. |
SCAM |
2009 |
DBLP DOI BibTeX RDF |
concurrency, reverse engineering, communicating sequential processes |
27 | Wenjun Li, Xiaocong Zhou, Shixian Li |
The Typing of Communicating Sequential Processes. |
TOOLS (31) |
1999 |
DBLP DOI BibTeX RDF |
Type systems, Communicating Sequential Processes |
27 | William P. Niedringhaus |
Diffusive dynamic load balancing by terrain parcel swaps for event-driven simulation of communicating vehicles. |
Annual Simulation Symposium |
1995 |
DBLP DOI BibTeX RDF |
military equipment, military communication, diffusive dynamic load balancing, terrain parcel swaps, communicating vehicles, wargaming simulation, battlefield terrain partitioning, communication circle, terrain repartitioning, shape regularization, lopsided dimensions, marked concavities, long thin peninsulas, parallel programming, resource allocation, discrete event simulation, mobile communication, vehicles, telecommunication computing, event-driven simulation, military computing, network bandwidth, simulation parallelization |
27 | Wuxu Peng, S. Purushothaman |
Data Flow Analysis of Communicating Finite State Machines. |
ACM Trans. Program. Lang. Syst. |
1991 |
DBLP DOI BibTeX RDF |
static analysis, communicating finite state machines |
27 | Thomas L. Casavant, Jon G. Kuhl |
A Communicating Finite Automata Approach to Modeling Distributed Computation and Its Application to Distributed Decision-Making. |
IEEE Trans. Computers |
1990 |
DBLP DOI BibTeX RDF |
communicating finite automata approach, standard specification mechanism, distribution scheduling algorithms, scheduling, modeling, formal specification, distributed computation, directed graphs, directed graphs, finite automata, distributed decision-making |
27 | Patrick M. Lenders |
A Generalized Message-Passing Mechanism for Communicating Sequential Processes. |
IEEE Trans. Computers |
1988 |
DBLP DOI BibTeX RDF |
bidirectional message passing, generalized message-passing mechanism, symmetric communication mechanism, CSP-like syntax, weakest-precondition semantics, parallel processing, synchronization, distributed processing, systolic arrays, systolic arrays, trees (mathematics), tree structure, communicating sequential processes, concurrent processes, communication primitives |
27 | Hussein G. Badr, David Gelernter, Sunil Podar |
An Adaptive Communications Protocol for Network Computers. |
SIGMETRICS |
1985 |
DBLP DOI BibTeX RDF |
|
26 | Kavita Thomas, Pierre Proske, Mattias Rickardsson |
Intelligent fridge poetry magnets. |
IUI |
2006 |
DBLP DOI BibTeX RDF |
embodied communicating agents, expressive user-interfaces, interaction-based grammar-learning, intelligent agents, user interaction |
26 | Laurence Rozé, Marie-Odile Cordier |
Diagnosing Discrete-Event Systems: Extending the "Diagnoser Approach" to Deal with Telecommunication Networks. |
Discret. Event Dyn. Syst. |
2002 |
DBLP DOI BibTeX RDF |
generic model, telecommunication networks, model based approach, real-time monitoring, communicating finite state machine |
26 | Jonathan Burton, Maciej Koutny, Giuseppe Pappalardo |
Verifying Implementation Relations. |
FME |
2001 |
DBLP DOI BibTeX RDF |
Behaviour ion, verification, compositionality, communicating sequential processes |
26 | Ali E. Abdallah, Mark Green |
An Integrated CSP-Based Tool for the Visualisation, Animation and Performance Evaluation of Message Passing Algorithms. |
ICFEM |
2000 |
DBLP DOI BibTeX RDF |
performance evaluation, animation, visualisation, Communicating Sequential Processes, message-passing algorithms |
26 | Ahmed El-Amawy |
Clocking Arbitrarily Large Computing Structures Under Constant Skew Bound. |
IEEE Trans. Parallel Distributed Syst. |
1993 |
DBLP DOI BibTeX RDF |
constant skew bound, arbitrarily large computing structures, communicating cells, skew upper bound, maximum clocking rate, 2-D mesh framework, node design, nonplanar structures, parallel architectures, stability, hypercubes, network topology, synchronisation, hypercube networks, clocks, clock skew, global synchronization |
24 | Michaël David, William Derigent, Gaël Loubet, Alexandru Takacs, Daniela Dragomirescu |
Communicating Materials: Communicating Concrete Development for Construction Industry. |
IEEE Trans. Ind. Informatics |
2024 |
DBLP DOI BibTeX RDF |
|
24 | Dominic Orchard, Mihail Munteanu, Paulo Torrens |
Communicating Actor Automata - Modelling Erlang Processes as Communicating Machines. |
PLACES@ETAPS |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Kristin Stock, Christopher B. Jones, Thora Tenbrink |
Speaking of Location: Communicating about Space with Geospatial Natural Language. |
SoL@COSIT |
2019 |
DBLP BibTeX RDF |
|
24 | Tamsin Burland, Catherine Grout |
Standards and Interoperability: How Jisc's Work Supports Reporting, Communicating and Measuring Research in the UK. |
CRIS |
2016 |
DBLP DOI BibTeX RDF |
|
24 | David Baker, Anna Clements, Catherine Grout, Simon Kerridge, Valerie McCutcheon, Helen Newnham |
CASRAI-UK: Using the CASRAI Approach to Develop Standards for Communicating and Sharing Research Information in the UK. |
CRIS |
2016 |
DBLP DOI BibTeX RDF |
|
24 | Miguel-Ángel Sicilia, Eduard Simons, Anna Clements, Pablo de Castro |
Communicating and Measuring Research Responsibly: Profiling, Metrics, Impact, Interoperability. |
CRIS |
2016 |
DBLP DOI BibTeX RDF |
|
24 | Andrew Bate, Gavin Lowe |
A Debugger for Communicating Scala Objects. |
CPA |
2012 |
DBLP BibTeX RDF |
|
24 | Kevin Chalmers |
A Comparison of Message Passing Interface and Communicating Process Architecture Networking Communication Performance. |
CPA |
2012 |
DBLP BibTeX RDF |
|
24 | C. K. Gunsalus |
Best Practices in Communicating Best Practices - Commentary on: 'Developing and Communicating Responsible Data Management Policies to Trainees and Colleagues'. |
Sci. Eng. Ethics |
2010 |
DBLP DOI BibTeX RDF |
|
24 | Martin Korsgaard, Sverre Hendseth |
Design Patterns for Communicating Systems with Deadline Propagation. |
CPA |
2009 |
DBLP DOI BibTeX RDF |
|
24 | Kevin Chalmers, Jon M. Kerridge |
An Investigation into Distributed Channel Mobility Support for Communicating Process Architectures. |
CPA |
2009 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 5349 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|