Search results for "communication protocols"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Maricela Bravo, José Velázquez	An Ontology-Based Approach for Discovering Semantic Relations between Agent Communication Protocols.	OTM Conferences	2008	DBLP DOI BibTeX RDF	ontologies, translator, Agent communication protocols
3	YoungJoon Byun, Beverly A. Sanders	A pattern-based development methodology for communication protocols.	SAC	2005	DBLP DOI BibTeX RDF	design pattern, communication protocols, pattern language, development methodology, SPIN model checker
3	Madieyna Lamine Fall, Sylvain Delisle	A software tool for the development of MAS communication protocols based on conversations.	AAMAS	2005	DBLP DOI BibTeX RDF	MAS, software tools, communication protocols, conversations, development environments
3	Mohamed Jmaiel	A Unified Algebraic Framework for Specifying Communication Protocols. (PDF / PS)	ICFEM	2000	DBLP DOI BibTeX RDF	Formal specification, Petri nets, Temporal logic, Process Algebra, Communication protocols, Algebraic Specification
3	Hisaaki Katagiri, Keiichi Yasumoto, Akira Kitajima, Teruo Higashino, Kenichi Taniguchi	Hardware implementation of communication protocols modeled by concurrent EFSMs with multi-way synchronization.	DAC	2000	DBLP DOI BibTeX RDF	concurrent EFSMs, mutli-way synchronization, high-level synthesis, communication protocols, LOTOS, Lotos
3	K. Vijayananda	Distributed fault detection in communication protocols using extended finite state machines. (PDF / PS)	ICPADS	1996	DBLP DOI BibTeX RDF	distributed fault detection, run-time fault detection, coding defects, memory problems, protocol faults, vocabulary faults, sequencing faults, parallel decomposition method, multiple observers, distributed fault detection mechanism, fault tolerant computing, finite state machines, transport protocols, encoding, communication protocols, fault coverage, extended finite state machines
3	Johnny Öberg, Anshul Kumar, Ahmed Hemani	Grammar-Based Hardware Synthesis of Data Communication Protocols. (PDF / PS)	ISSS	1996	DBLP DOI BibTeX RDF	Grammar-based Specification, Data Communication Protocols, Design Space Exploration, Hardware Synthesis
3	Mohamed Bettaz, Mourad Maouche, Kamel Barkaoui	Formal Specification of Communication Protocols with Object-Based ECATNets.	EUROMICRO	1996	DBLP DOI BibTeX RDF	object-based ECATNets, specification framework, Ethernet protocol, formal specification, formal specification, Petri nets, prototyping, communication protocols, abstract data types, rewriting logic, rewriting system
3	Chie Dou	Formal Specification of Communication Protocols Based on a Timed-SDL: Validation and Performance Prospects.	EUROMICRO	1996	DBLP DOI BibTeX RDF	Timed-SDL, performance prospects, CCITT Z.100, probabilistic specifications, performance evaluations, real time systems, formal specification, formal specification, validation, communication protocols, SDL, temporal properties, telecommunication systems, formal notation
3	Ali Assi, Bozena Kaminska	Modeling of communication protocols in VHDL.	Great Lakes Symposium on VLSI	1995	DBLP DOI BibTeX RDF	ISO/CCITT class O, VLSI, VLSI, high level synthesis, VHDL, transport protocols, transport protocol, communication protocols, hardware description languages, hardware implementations, high level design, ISO standards
3	Andrew A. Hanish, Tharam S. Dillon	Object-oriented modelling of communication protocols for re-use.	ICCCN	1995	DBLP DOI BibTeX RDF	industrial implementations, reuseable software modules, reuseable model elements, message sequence encoding, protocol entities, ISO/OSI Reference Model, generalised model, interlayer communication model, modified TTCN notation, Petri nets, protocols, communication protocols, networking protocols, object-oriented modelling, formal descriptions, protocol implementation, alternating bit protocol
3	Ching-Hua Chow, Simon S. Lam	PROSPEC: An Interactive Programming Environment for Designing and Verifying Communication Protocols.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	communication protocols verification, PROSPEC, interactive programming environment, fair reachability analysis, multiphase construction, protocol projection, BSC, X.21, X.25, Telnet document transfer protocols, protocols, specification, software tools, programming environments, graphical interface, interactive programming
2	Haiwei Wu, Haiye Yu, Haoyu Yang, Lei Zhang, Keling Zhang, Huiyu Cui	Communication Protocols Realization of the Prediction and Evaluation Light Environment Embedded Systems.	MVHI	2010	DBLP DOI BibTeX RDF	light measurement, embedded systems, communication protocols
2	Torsten Hoefler, Christian Siebert, Andrew Lumsdaine	Scalable communication protocols for dynamic sparse data exchange.	PPOPP	2010	DBLP DOI BibTeX RDF	alltoall, distributed termination, irregular algorithms, nonblocking collective operations, sparse data exchange
2	Carlos E. Pereira, Peter Neumann	Industrial Communication Protocols.	Handbook of Automation	2009	DBLP DOI BibTeX RDF
2	Ji Ma, Mehmet A. Orgun, Abdul Sattar	Theories of Trust for Communication Protocols.	ATC	2009	DBLP DOI BibTeX RDF
2	Evren Onem, Huseyin Birkan Yilmaz, Fatih Alagöz, Tuna Tugcu	On communication protocols for tactical navigation assistance.	MOBILWARE	2008	DBLP DOI BibTeX RDF	C-TRAMAF, Gossip-based ad hoc routing, N-Gossip, digital battlefield, tactical navigation, communication protocols, cross layer
2	Maricela Bravo, José Velázquez	Measuring Heterogeneity between Web-Based Agent Communication Protocols.	OTM Workshops	2008	DBLP DOI BibTeX RDF	measuring heterogeneity, Agent communication protocols
2	Idoia Berges, Jesús Bermúdez, Alfredo Goñi, Arantza Illarramendi	Semantic Web Technology for Agent Communication Protocols.	ESWC	2008	DBLP DOI BibTeX RDF	agents, Protocol, Communication acts
2	Prabhu Shankar Kaliappan, Hartmut König, Vishnu Kumar Kaliappan	Designing and Verifying Communication Protocols Using Model Driven Architecture and Spin Model Checker.	CSSE	2008	DBLP DOI BibTeX RDF
2	Michael Hilker, Katja Luther	Artificial Cell Communication in Distributed Systems.	AINA	2008	DBLP DOI BibTeX RDF	Biologically-Inspired Systems, Distributed Systems, Multi-Agent Systems, Network Security, Artificial Immune Systems, Communication Protocols
2	Traian Pop, Paul Pop, Petru Eles, Zebo Peng	Analysis and Optimisation of Hierarchically Scheduled Multiprocessor Embedded Systems.	International Journal of Parallel Programming	2008	DBLP DOI BibTeX RDF	Static/dynamic communication protocols, Hierarchical schedulers, Multiprocessor embedded systems
2	Lorenzo Alvisi, Jeroen Doumen, Rachid Guerraoui, Boris Koldehofe, Harry C. Li, Robbert van Renesse, Gilles Trédan	How robust are gossip-based communication protocols?	Operating Systems Review	2007	DBLP DOI BibTeX RDF	security, robustness, gossiping, incentives
2	Valery A. Nepomniaschy, Gennady I. Alekseev, Victor S. Argirov, Dmitri M. Beloglazov, Alexandre V. Bystrov, Eugene A. Chetvertakov, Tatiana G. Churina, Sergey P. Mylnikov, Ruslan M. Novikov	Application of Modified Coloured Petri Nets to Modeling and Verification of SDL Specified Communication Protocols.	CSR	2007	DBLP DOI BibTeX RDF
2	Mahdi Niamanesh, Rasool Jalili	Formalizing Compatibility and Substitutability in Communication Protocols Using I/O-Constraint Automata.	FSEN	2007	DBLP DOI BibTeX RDF
2	Daisuke Kikuchi, Naoki Kobayashi	Type-Based Verification of Correspondence Assertions for Communication Protocols.	APLAS	2007	DBLP DOI BibTeX RDF
2	Jesús Martínez, Pedro Merino, Alberto Salmeron	Applying MDE Methodologies to Design Communication Protocols for Distributed Systems.	CISIS	2007	DBLP DOI BibTeX RDF
2	Torsten Braun	Tutorial 2: Communication Protocols in Wireless Sensor Networks.	ISCC	2007	DBLP DOI BibTeX RDF
2	Shigeru Watanabe, Kenshu Seto, Y. Ishikawa, Satoshi Komatsu, Masahiro Fujita	Protocol Transducer Synthesis using Divide and Conquer approach.	ASP-DAC	2007	DBLP DOI BibTeX RDF	out-of-order transactions, large scale system on a chip, IP-based design, automatic protocol transducer synthesis, nonblocking transactions, design methodologies, communication protocols, protocol conversion, divide and conquer approach
2	Hideki Ochiai, Patrick Mitran, Vahid Tarokh	Variable-Rate Two-Phase Collaborative Communication Protocols for Wireless Networks.	IEEE Transactions on Information Theory	2006	DBLP DOI BibTeX RDF
2	Tristan Le Gall, Bertrand Jeannet, Thierry Jéron	Verification of Communication Protocols Using Abstract Interpretation of FIFO Queues.	AMAST	2006	DBLP DOI BibTeX RDF
2	Guillermo L. Taboada, Juan Touriño, Ramon Doallo	Efficient Java Communication Protocols on High-speed Cluster Interconnects.	LCN	2006	DBLP DOI BibTeX RDF
2	Senem Velipasalar, Chang Hong Lin, Jason Schlessman, Wayne Wolf	Design and Verification of Communication Protocols for Peer-to-Peer Multimedia Systems.	ICME	2006	DBLP DOI BibTeX RDF
2	Zarrin Langari, Richard J. Trefler	Formal Modeling of Communication Protocols by Graph Transformation.	FM	2006	DBLP DOI BibTeX RDF
2	Ulle Endriss	Temporal Logics for Representing Agent Communication Protocols.	AC	2006	DBLP DOI BibTeX RDF
2	Dubravka Ilic, Elena Troubitsyna, Linas Laibinis, Sari Leppänen	Formal Verification of Consistency in Model-Driven Development of Distributed Communicating Systems and Communication Protocols.	ISoLA	2006	DBLP DOI BibTeX RDF
2	James Brusey, Duncan C. McFarlane	Designing Communication Protocols for Holonic Control Devices Using Elementary Nets.	HoloMAS	2005	DBLP DOI BibTeX RDF
2	Kaushalya Premadasa, Björn Landfeldt	Dynamically Re-Configurable Communication Protocols using Key Identifiers.	MobiQuitous	2005	DBLP DOI BibTeX RDF
2	Jaime Ramírez, Angélica de Antonio	Consistency Verification of the Reasoning in a Deliberative Agent with Respect to the Communication Protocols.	ESAW	2005	DBLP DOI BibTeX RDF
2	Adrian Carlos Ferreira, Marcos Aurélio Vilaça, Leonardo B. Oliveira, Eduardo Habib, Hao Chi Wong, Antonio Alfredo Ferreira Loureiro	On the Security of Cluster-Based Communication Protocols for Wireless Sensor Networks.	ICN	2005	DBLP DOI BibTeX RDF
2	Kaushalya Premadasa, Björn Landfeldt	An Elaboration on Dynamically Re-configurable Communication Protocols Using Key Identifiers.	HPCC	2005	DBLP DOI BibTeX RDF
2	Yu Lei, S. Purushothaman Iyer	An Approach to Unfolding Asynchronous Communication Protocols.	FM	2005	DBLP DOI BibTeX RDF	State Space Search, Software Verification, Unfolding, EFSM
2	Emmanuel Conchon, Johan Garcia	Increasing the determinism of network emulation to evaluate communication protocols.	CoNEXT	2005	DBLP DOI BibTeX RDF	performance evaluation, multicast, wireless, emulation
2	Ralf Burda, Jörn Seger	A Tool Framework for Generation of Application Optimized Communication Protocols.	CNSR	2005	DBLP DOI BibTeX RDF	optimization, autonomous agents, protocol design
2	Ulle Endriss	Temporal logics for normative agent communication protocols.	AAMAS	2005	DBLP DOI BibTeX RDF	protocol conformance, model checking
2	Nik Nailah Binti Abdullah	The induction of communication protocols.	AAMAS	2005	DBLP DOI BibTeX RDF	human learning and communication, activity theory, agent communication, situated cognition, FIPA-ACL
2	Hong-Jun Dai, Tian-Zhou Chen, Chun Chen, Jiang-Wei Huang	CDP: Component Development Platform for Communication Protocols.	ICESS	2005	DBLP DOI BibTeX RDF
2	Anthony Chung, Tao Huang	Two Approaches for the Improvement in Testability of Communication Protocols.	ACIS-ICIS	2005	DBLP DOI BibTeX RDF
2	Kai Juan Wong, D. K. Arvind	Specknets: New Challenges for Wireless Communication Protocols.	ICITA	2005	DBLP DOI BibTeX RDF
2	Soonuk Seol, Myungchul Kim, Samuel T. Chanson, Sungwon Kang	Interoperability test generation and minimization for communication protocols based on the multiple stimuli principle.	IEEE Journal on Selected Areas in Communications	2004	DBLP DOI BibTeX RDF
2	Jaime Ramírez, Angélica de Antonio	Formal Consistency Verification of Deliberative Agents with Respect to Communication Protocols.	FAABS	2004	DBLP DOI BibTeX RDF
2	Vasco Thudichum Vasconcelos, António Ravara, Simon J. Gay	Session Types for Functional Multithreading.	CONCUR	2004	DBLP DOI BibTeX RDF	static typechecking, specification of communication protocols, concurrent programming, Session types
2	Wuxu Peng, Kia Makki	Lossy Communicating Finite State Machines.	Telecommunication Systems	2004	DBLP DOI BibTeX RDF	concurrency model, verification, specification, communication protocols
2	Jingyang Zhou, Zhiyong Jia, Daoxu Chen	Designing Reliable Communication Protocols for Mobile Agent.	ICDCS Workshops	2003	DBLP DOI BibTeX RDF
2	Claudio Basile, Long Wang, Zbigniew Kalbarczyk, Ravishankar K. Iyer	Group Communication Protocols under Errors.	SRDS	2003	DBLP DOI BibTeX RDF
2	Robert Siegmund, Dietmar Müller	Efficient modeling and synthesis of on-chip communication protocols for network-on-chip design.	ISCAS	2003	DBLP DOI BibTeX RDF
2	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
2	Elsa L. Gunter, Anca Muscholl, Doron Peled	Compositional message sequence charts.	STTT	2003	DBLP DOI BibTeX RDF	Finite-state communication protocols, Message sequence charts, Partial-order methods
2	Jiannong Cao, Xinyu Feng, Jian Lu, Sajal K. Das	Mailbox-Based Scheme for Designing Mobile Agent Communication Protocols.	IEEE Computer	2002	DBLP DOI BibTeX RDF
2	Kees G. W. Goossens, Om Prakash Gangwal	The Cost of Communication Protocols and Coordination Languages in Embedded Systems.	COORDINATION	2002	DBLP DOI BibTeX RDF
2	Dawid Kurzyniec, Tomasz Wrzosek, Vaidy S. Sunderam, Aleksander Slominski	Experiments with multi-protocol RMI in Java.	Java Grande	2002	DBLP DOI BibTeX RDF	Java, communication protocols, RMI, RPC
2	V. A. Nepomniaschy, Gennady I. Alekseev, Alexandre V. Bystrov, Sergey P. Mylnikov, E. V. Okunishnikova, P. A. Chubarev, Tatiana G. Churina	Verification of Estelle-Specified Communication Protocols Using High-Level Petri Nets.	Programming and Computer Software	2001	DBLP DOI BibTeX RDF
2	Barry O'Rourke, Steve Wisniewski, Thilo Demmeler, Paolo Giusto	Rapid Prototyping of Automotive Communication Protocols.	IEEE International Workshop on Rapid System Prototyping	2001	DBLP DOI BibTeX RDF
2	Anca Muscholl, Doron Peled	From Finite State Communication Protocols to High-Level Message Sequence Charts.	ICALP	2001	DBLP DOI BibTeX RDF	HMSC, bounded automata, partial order specification, specification, Message sequence charts
2	Shigeki Kitazawa, Masakazu Soshi, Atsuko Miyaji	An Agent-Based Model of Anonymous Communication Protocols. (PDF / PS)	WETICE	2001	DBLP DOI BibTeX RDF
2	Francisco Vilar Brasileiro, Fabíola Greve, Frederic Tronel, Michel Hurfin, Jean-Pierre Le Narzul	Eva: An Event-Based Framework for Developing Specialized Communication Protocols.	NCA	2001	DBLP DOI BibTeX RDF
2	Andrea Coccoli, Andrea Bondavalli, Felicita Di Giandomenico	Analysis and Estimation of the Quality of Service of Group Communication Protocols.	ISORC	2001	DBLP DOI BibTeX RDF
2	Juraj Hromkovic	Randomized Communication Protocols (A Survey).	SAGA	2001	DBLP DOI BibTeX RDF	two-party protocols, communication complexity, Randomized computing
2	Atsushi Fukada, Akio Nakata, Junji Kitamichi, Teruo Higashino, Ana R. Cavalli	A Conformance Testing Method for Communication Protocols Modeled as Concurrent DFSMs. (PDF / PS)	ICOIN	2001	DBLP DOI BibTeX RDF
2	Pablo Argón, Giorgio Delzanno, Supratik Mukhopadhyay, Andreas Podelski	Model Checking Communication Protocols.	SOFSEM	2001	DBLP DOI BibTeX RDF
2	Ioannis Chatzigiannakis, Sotiris E. Nikoletseas, Nearchos Paspallis, Paul G. Spirakis, Christos D. Zaroliagis	An Experimental Study of Basic Communication Protocols in Ad-hoc Mobile Networks.	Algorithm Engineering	2001	DBLP DOI BibTeX RDF
2	Jerzy Brzezinski, Michal Sajkowski	Detection of Livelocks in Communication Protocols by Means of a Polygon Time Structure. (PDF / PS)	SRDS	2000	DBLP DOI BibTeX RDF
2	Juraj Hromkovic, Martin Sauerhoff	Tradeoffs between Nondeterminism and Complexity for Communication Protocols and Branching Programs.	STACS	2000	DBLP DOI BibTeX RDF
2	Christophe Sibertin-Blanc, Chihab Hanachi, Janette Cardoso	Communication Protocols as First-class Components of Multiagent Systems.	ICMAS	2000	DBLP DOI BibTeX RDF
2	Vassilios Tsaoussidis, Hussein G. Badr	TCP-Probing: Towards an Error Control Schema with Energy and Throughput Performance Gains. (PDF / PS)	ICNP	2000	DBLP DOI BibTeX RDF	throughput performance gain, TCP-probing, battery-powered devices, service characteristics, standard TCP, probing mechanism, immediate recovery strategy, wired/wireless channels, TCP header, Tahoe, New Reno, energy performance, wireless networks, mobile devices, energy efficiency, congestion control, computer networks, transport protocols, communication protocols, error correction, energy conservation, error control, telecommunication congestion control, telecommunication standards, network environments, Reno, wired networks
2	M. Cecilia Bastarrica, Steven A. Demurjian, Alexander A. Shvartsman	Comprehensive Specification of Distributed Systems Using I5 and IOA.	SCCC	2000	DBLP DOI BibTeX RDF	distributed systems specification, incompatible components, IOA formal language, I5 specification framework, architectural definition, semantic specification, software architecture, formal specification, standardization, distributed processing, specification languages, specification language, communication protocols, configuration management, configuration management
2	Gyula Csopaki, Gábor András Horváth, Gábor Kovács	Communication Protocol Implementation in Java.	IDMS	2000	DBLP DOI BibTeX RDF	Java, compilation, communication protocols, SDL, formal description
2	Fabrizio Petrini, Wu-chun Feng	Time-Sharing Parallel Jobs in the Presence of Multiple Resource Requirements.	JSSPP	2000	DBLP DOI BibTeX RDF	Performance Evaluation, Communication Protocols, Distributed Operating Systems, Parallel Job Scheduling
2	Mattias O'Nils, Axel Jantsch	Synthesis of DMA Controllers from Architecture Independent Descriptions of HW/SW Communication Protocols.	VLSI Design	1999	DBLP DOI BibTeX RDF
2	Nina T. Bhatti, Richard D. Schlichting	Configurable Communication Protocols for Mobile Computing. (PDF / PS)	ISADS	1999	DBLP DOI BibTeX RDF
2	Babak Falsafi, David A. Wood	Parallel Dispatch Queue: A Queue-Based Programming Abstraction to Parallelize Fine-Grain Communication Protocols.	HPCA	1999	DBLP DOI BibTeX RDF
2	José Meseguer	A Logical Framework for Distributed Systems and Communication Protocols.	FORTE	1998	DBLP BibTeX RDF
2	Shin'ichi Nagano, Hiroyuki Fujita, Yoshiaki Kakuda, Tohru Kikuno	Application of Real-Time Temporal Logic to Design Fault Detection in Responsive Communication Protocols.	Asian Test Symposium	1998	DBLP DOI BibTeX RDF
2	Carsten Damm	On Boolean vs. Modular Arithmetic for Circuits and Communication Protocols.	MFCS	1998	DBLP DOI BibTeX RDF
2	Johnny Öberg, Ahmed Hemani, Anshul Kumar	Scheduling of Outputs in Grammar-based Hardware Synthesis of Data Communication Protocols.	DATE	1998	DBLP DOI BibTeX RDF
2	Panagiotis Melas, Ed Zaluska	Performance of Message-Passing Systems using a Zero-Copy Communication Protocol.	IEEE PACT	1998	DBLP DOI BibTeX RDF	zero-copy protocols, BIP, communication models performance, latency, communication protocols, bandwidth, cluster of workstations, message-passing systems
2	Sungwon Kang, Myungchul Kim	Interoperability Test Suite Derivation for Symmetric Communication Protocols.	FORTE	1997	DBLP BibTeX RDF
2	Jinsong Zhu, Son T. Vuong	Generalized Metric Based Test Selection and Coverage Measure for Communication Protocols.	FORTE	1997	DBLP BibTeX RDF
2	Mark Hayden, Robbert van Renesse	Optimizing Layered Communication Protocols. (PDF / PS)	HPDC	1997	DBLP DOI BibTeX RDF
2	David C. Roberts, David A. Grossman, Ophir Frieder, R. Bernstein, E. Bisfiop	Performance testing of communication protocols for three-tier computing: results for ICA and X window protocols.	ICCCN	1997	DBLP DOI BibTeX RDF	three-tier computing, ICA protocols, X window protocols, Windows NT operating system, data server, stored databases, Tier 1, Tier 2, client program, desktop machines, Tier 3, intelligence computer architecture, Microsoft Office 97, Lotus Notes applications, user interface, data compression, data compression, communication protocols, network traffic, application server, performance testing, network bandwidth, multi-user environment
2	J. Williams, Mark J. Clement	Distributed Polyphonic Music Synthesis. (PDF / PS)	HPDC	1997	DBLP DOI BibTeX RDF	polyphonic music synthesis, music synthesis, distributed music synthesis, Csound music synthesis package, multiple servers, networks, music, communication protocols, distributed multimedia
2	Efstratios Thomopoulos, Louise E. Moser, P. M. Melliar-Smith	Analyzing the latency of the Totem multicast protocols.	ICCCN	1997	DBLP DOI BibTeX RDF	Totem multicast protocols, multicast group communication protocols, latency analysis, reliable totally ordered delivery, logical token-passing ring, single-ring network, two-ring network, four-ring network, multiple-ring networks, mean latency, latency distribution, distributed systems, protocols, local area networks, LAN, probability density functions, gateways, protocols performance, message delivery, message filtering
2	John Heinlein, Kourosh Gharachorloo, Robert P. Bosch Jr., Mendel Rosenblum, Anoop Gupta	Coherent Block Data Transfer in the FLASH Multiprocessor. (PDF / PS)	IPPS	1997	DBLP DOI BibTeX RDF	FLASH multiprocessor, block data transfer, multiple communication protocols, embedded protocol processor, protocol, shared memory, prefetching, cache storage, FLASH, cache coherence protocol, multiprocessor architecture, MAGIC
2	Rong-Yuh Hwang	An Efficient Technique of Instruction Scheduling on a Superscalar-Based Mulprocessor. (PDF / PS)	IPPS	1997	DBLP DOI BibTeX RDF	FLASH multiprocessor, block data transfer, multiple communication protocols, embedded protocol processor, protocol, shared memory, prefetching, cache storage, FLASH, cache coherence protocol, multiprocessor architecture, MAGIC
2	Yuko Onoe, Hideyuki Tokuda	Evaluation of media scaling applied multicast protocol.	RTCSA	1997	DBLP DOI BibTeX RDF	media scaling evaluation, distributed multimedia integration environment, transmission control methods, on real-time communication protocols, flow-monitoring, flow-adjusting functions, average packet-loss rate, quality of service, multimedia systems, jitters, multicast protocol
2	Daisuke Teratani, Yoshiaki Kakuda, Tohru Kikuno	A New Model with Time Constraints for Conformance Testing of Communication Protocols.	Asian Test Symposium	1996	DBLP DOI BibTeX RDF
2	Shin'ichi Nagano, Yoshinori Hatakeyama, Yoshiaki Kakuda, Tohru Kikuno	Timed Reachability Analysis Method for EFSM-based Communication Protocols and Its Experimental Evaluation.	ICNP	1996	DBLP DOI BibTeX RDF
2	David Lee, Mihalis Yannakakis	Optimization problems from feature testing of communication protocols.	ICNP	1996	DBLP DOI BibTeX RDF
2	Bernard Boigelot, Patrice Godefroid	Symbolic Verification of Communication Protocols with Infinite State Spaces Using QDDs (Extended Abstract).	CAV	1996	DBLP DOI BibTeX RDF
2	Pedro Merino, José M. Troya	EVP: Integration of FDTs for the Analysis and Verification of Communication Protocols.	CAV	1996	DBLP DOI BibTeX RDF