Search results for "HDLC"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
56	A. Udaya Shankar, Simon S. Lam	An HDLC Protocol Specification and Its Verification Using Image Protocols	ACM Trans. Comput. Syst.	1983	DBLP DOI BibTeX RDF	HDLC protocol, data link control, image protocols, message-passing networks, method of projections, communication protocols, communicating processes
56	Jinpo Wang	Delay and Throughput Analysis for Computer Communications with Balanced HDLC Procedures.	IEEE Trans. Computers	1982	DBLP DOI BibTeX RDF	HDLC, performance evaluation, modeling, network protocols, queueing systems, Computer communications
56	Jacques Labetoulle, Guy Pujolle	HDLC Throughput and Response Time for Bidirectional Data Flow with Nonuniform Frame Sizes.	IEEE Trans. Computers	1981	DBLP DOI BibTeX RDF	HDLC (high-level data link control), performance evaluation, modeling, protocol, Computer networks, queueing networks
54	Hong Linh Truong 0003	Über die Leistungsfähigkeit von HDLC-gesteuerten Datenverbindungen = On the performance of HDLC controlled data links.		1982	RDF
48	Manuel Duque-Antón, M. Bretschneider	Formulas, Processes, and Petri-Nets Applied to the Specification and Verification of a HDLC Protocol.	TAPSOFT, Vol.2	1989	DBLP DOI BibTeX RDF
43	Parosh Aziz Abdulla, Bengt Jonsson 0001	Undecidable Verification Problems for Programs with Unreliable Channels.	ICALP	1994	DBLP DOI BibTeX RDF
29	Darnell J. Moore, Roy Want, Beverly L. Harrison, Anuj Gujar, Kenneth P. Fishkin	Implementing Phicons: Combining Computer Vision with InfraRed Technology for Interactive Physical Icons.	ACM Symposium on User Interface Software and Technology	1999	DBLP DOI BibTeX RDF	HDLC, phicons, physical icons, computer vision, ubiquitous computing, image processing, tangible user interfaces, infrared, physical UI
27	Shiyu Liu, Dongfang Li, Jixing Xue, Guang Yang, Wei Shen, Zhihao Wang	Model Checking for an HDLC IP Core Transparency Error in an Aerospace Industrial Context.	CSSE	2021	DBLP DOI BibTeX RDF
27	Shardeep Kaur Sooch, Meenu Gupta, Rakesh Kumar 0009	Implementing Cyclic Redundancy Check as Error Correction Technique in HDLC.	ICRMAT	2020	DBLP DOI BibTeX RDF
27	Justin Y. Shi	Use HDLC Principles for Distributed Applications.	CIT/IUCC/DASC/PICom	2015	DBLP DOI BibTeX RDF
27	Daniel Mihai Toma, Joaquín del Río, Antoni Mánuel Lázaro	Wireless HDLC Protocol for Energy-Efficient Large-Scale Linear Wireless Sensor Networks.	Int. J. Distributed Sens. Networks	2014	DBLP DOI BibTeX RDF
27	Siwarat Limphapayom, Duong Hoang Le, Wanchalerm Pora	A simulation of a communication between a smart meter and a data concentrator unit conformed to DLMS/COSEM upon an HDLC profile.	ICEIC	2014	DBLP DOI BibTeX RDF
27	Carlos Pignataro, W. Mark Townsley	High-Level Data Link Control (HDLC) Frames over Layer 2 Tunneling Protocol, Version 3 (L2TPv3).	RFC	2006	DBLP DOI BibTeX RDF
27	Luca Martini, Eric C. Rosen, Giles Heron, Andrew G. Malis	Encapsulation Methods for Transport of PPP/High-Level Data Link Control (HDLC) over MPLS Networks.	RFC	2006	DBLP DOI BibTeX RDF
27	Faisal Kaleem, Kang K. Yen	Implementation of HDLC Based Serial Data Communication Using Java.	Communications in Computing	2003	DBLP BibTeX RDF
27	Carsten Bormann	PPP in a Real-time Oriented HDLC-like Framing.	RFC	1999	DBLP DOI BibTeX RDF
27	Thomas D. Ndousse, Srikanta P. R. Kumar	PPP extensions for IP/PPP-HDLC over SONET-SDH/WDM.	ICC	1999	DBLP DOI BibTeX RDF
27	Timucin Ozugur, Mahmoud Naghshineh, Parviz Kermani	Comparison of go-back-N and selective reject ARQ modes of HDLC over half-duplex and full-duplex IR links and the effects of window size and processor speed in utilization.	PIMRC	1998	DBLP DOI BibTeX RDF
27	Michael Ruplitsch, Ahmed Patel	Performance analysis of an HDLC-based protocol with data compression.	Comput. Commun.	1997	DBLP DOI BibTeX RDF
27	D. Fiorini, Marco Chiani, Velio Tralli, C. Salati	Can we trust in HDLC?	Comput. Commun. Rev.	1994	DBLP DOI BibTeX RDF
27	William Allen Simpson	PPP in HDLC-like Framing.	RFC	1994	DBLP DOI BibTeX RDF
27	Michael Sczittnick, Tadeusz Uhl	Aggregation of Systems with HDLC Protocol.	Eur. Trans. Telecommun.	1993	DBLP DOI BibTeX RDF
27	William Allen Simpson	PPP in HDLC Framing.	RFC	1993	DBLP DOI BibTeX RDF
27	Gérard Berry, Georges Gonthier	Incremental Development of an HDLC Entity in Esterel.	Comput. Networks ISDN Syst.	1991	DBLP DOI BibTeX RDF
27	William W. LaRue, Victor S. Frost	A technique for extrapolating the end-to-end performance of HDLC links for a range of lost packet rates.	IEEE Trans. Commun.	1990	DBLP DOI BibTeX RDF
27	Ai-Ying Zhang, Tadao Saito	A transmission delay analysis of multilink hdlc procedure.	Syst. Comput. Jpn.	1989	DBLP DOI BibTeX RDF
27	J. P. Claude	Discrete time queues for modelling an HDLC coupler.	J. Syst. Softw.	1986	DBLP DOI BibTeX RDF
27	Kaoru Kurosawa, Shigeo Tsujii	An Efficient Method to Find Invalid Loops in a Communication Protocol and Its Application to HDLC.	ICC	1986	DBLP BibTeX RDF
27	Wojciech Burakowski, Józef Lubacz, Dariusz Bursztynowski	Protocol HDLC-ABM: Traffic Considerations Given Error Dependent Channel.	ICCC	1986	DBLP BibTeX RDF
27	Teruo Higashino, Masaaki Mori, Yuji Sugiyama, Kenichi Taniguchi, Tadao Kasami	An Algebraic Specification of HDLC Procedures and Its Verification.	IEEE Trans. Software Eng.	1984	DBLP DOI BibTeX RDF
27	A. Udaya Shankar, Simon S. Lam	Specification and verification of an HDLC protocol with arm connection management and full-duplex data transfer.	SIGCOMM	1983	DBLP DOI BibTeX RDF
27	Werner Bux, Karl Kümmerle, Hong Linh Truong 0003	Data Link-Control Performance: Results Comparing HDLC Operational Modes.	Comput. Networks	1982	DBLP DOI BibTeX RDF
27	Harry G. Perros	The HDLC/VS protocol for satellite communications.	Comput. Commun.	1982	DBLP DOI BibTeX RDF
27	G. Funk	Message Error Detecting Properties of HDLC Protocols.	IEEE Trans. Commun.	1982	DBLP DOI BibTeX RDF
27	Joong S. Ma	On the Impact of HDLC Zero Insertion and Deletion on Link Utilization and Reliability.	IEEE Trans. Commun.	1982	DBLP DOI BibTeX RDF
27	Daniel Brand, William H. Joyner Jr.	Verification of HDLC.	IEEE Trans. Commun.	1982	DBLP DOI BibTeX RDF
27	J. Georges, D. Wybaux	A simulation study of the performances of HDLC controlled links.	Perform. Evaluation	1981	DBLP DOI BibTeX RDF
27	J. Selga, J. Rivera	HDLC reliability and the FRBS method to improve it.	SIGCOMM	1981	DBLP DOI BibTeX RDF
27	Malcolm C. Easton	Batch Throughput Efficiency of ADCCP/HDLC/SDLC Selective Reject Protocols.	IEEE Trans. Commun.	1980	DBLP DOI BibTeX RDF
27	Werner Bux, Karl Kümmerle, Hong Linh Truong 0003	Balanced HDLC Procedures: A Performance Analysis.	IEEE Trans. Commun.	1980	DBLP DOI BibTeX RDF
27	Kazuyoshi Morino, Osamu Takahashi	A Technique for Describing High-Level Data Link Control (HDLC) Procedures.	IFIP Congress	1980	DBLP BibTeX RDF
27	Rolf Strothmann	Ein intelligentes HDLC-Interface.	Microcomputing	1979	DBLP BibTeX RDF
27	Erol Gelenbe, Jacques Labetoulle, Guy Pujolle	Performance Evaluation of the HDLC Protocol.	Comput. Networks	1978	DBLP DOI BibTeX RDF
27	Yoshifumi Masunaga	A Probabilistic Automaton Model of the NRM, HDX HDLC Procedure.	Comput. Networks	1978	DBLP DOI BibTeX RDF
27	Louis Pouzin	A restructuring of X25 into HDLC.	Comput. Commun. Rev.	1977	DBLP DOI BibTeX RDF
21	Huafeng Wu, Chaojian Shi, Bo Yu 0019, Haiguang Chen, Chuanshan Gao	Influence of Bit-Error Rate on the Throughput of STDMA Ad-hoc Network.	ICDCS Workshops	2007	DBLP DOI BibTeX RDF
21	Wenjie Li, Lei Shi 0002, Yang Xu 0010, Bin Liu 0001	Efficient Approach to Merge and Segment IP Packets.	ICCNMC	2005	DBLP DOI BibTeX RDF
21	Nedo Celandroni, Franco Davoli, Erina Ferro, Stefano Vignola, Sandro Zappatore, Andrea Zinicola	An experimental study on the quality-of-service of video encoded sequences over an emulated rain-faded Satellite channel.	IEEE J. Sel. Areas Commun.	2004	DBLP DOI BibTeX RDF
21	K. Gopinath, Anil K. Pugalia, K. V. M. Naidu	Formal Proof of Impossibility of Reliability in Crashing Protocols.	IWDC	2004	DBLP DOI BibTeX RDF
21	Christel Baier, Bettina Engelen	Establishing Qualitative Properties for Probabilistic Lossy Channel Systems: An Algorithmic Approach.	ARTS	1999	DBLP DOI BibTeX RDF
21	Srihari Varada, Vitalice K. Oduol, A. Shelat	Data Flow and Buffer Management in Multi-Channel Data Link Controller.	LCN	1999	DBLP DOI BibTeX RDF	TDM networks, Data flow management, ASIC, Buffer management
21	Parosh Aziz Abdulla, Mats Kindahl	Decidability of Simulation and Bisimulation between Lossy Channel Systems and Finite State Systems (Extended Abstract).	CONCUR	1995	DBLP DOI BibTeX RDF
21	A. Udaya Shankar	Verified Data Transfer Protocols with Variable Flow Control.	ACM Trans. Comput. Syst.	1989	DBLP DOI BibTeX RDF
21	Sanjiv Ahuja	On communication software testing (abstract only).	ACM Conference on Computer Science	1987	DBLP DOI BibTeX RDF
21	Tadao Saito, Toshihiko Kato, Hiroshi Inose	Product validation for standardized network protocol.	Operating Systems Engineering	1980	DBLP DOI BibTeX RDF
21	Antony Rybczynski, B. Wessler, R. Despres, J. Wedlake	A new communication protocol for accessing data networks: the international packet-mode interface.	AFIPS National Computer Conference	1976	DBLP DOI BibTeX RDF