Search results for "timeout"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
11	Hanna Klaudel, Franck Pommereau	A Concurrent Semantics of Static Exceptions in a Parallel Programming Language.	ICATPN	2001	DBLP DOI BibTeX RDF	parallel programming, Petri nets, semantics, Exceptions
11	Saverio Mascolo, Claudio Casetti, Mario Gerla, M. Y. Sanadidi, Ren Wang 0001	TCP westwood: Bandwidth estimation for enhanced transport over wireless links.	MobiCom	2001	DBLP DOI BibTeX RDF	TCP/IP
11	Mahesh K. Marina, Samir Ranjan Das	Performance of Route Caching Strategies in Dynamic Source Routing.	ICDCS Workshops	2001	DBLP DOI BibTeX RDF
11	Irineu Sotoma, Edmundo R. M. Madeira	DPCP (Discard Past Consider Present) -- A Novel Approach to Adaptive Fault Detection in Distributed Systems.	FTDCS	2001	DBLP DOI BibTeX RDF
11	Mila E. Majster-Cederbaum, Jinzhao Wu	Action Refinement for True Concurrent Real Time.	ICECCS	2001	DBLP DOI BibTeX RDF	timed event structure, timed process algebra, action refinement, true concurrency
11	G. Sai Kiran Reddy, C. Siva Ram Murthy, G. Manimaran	Reconfiguration Based Failure Restoration in Wavelength-Routed WDM Networks.	DSN	2000	DBLP DOI BibTeX RDF	Failure restoration, Service disruption, Reconfiguration, Heuristic algorithms, Lightpath, WDM optical networks
11	Tajana Simunic, Luca Benini, Peter W. Glynn, Giovanni De Micheli	Dynamic Power Management of Laptop Hard Disk.	DATE	2000	DBLP DOI BibTeX RDF
11	Tajana Simunic, Luca Benini, Peter W. Glynn, Giovanni De Micheli	Dynamic power management for portable systems.	MobiCom	2000	DBLP DOI BibTeX RDF
11	Yih-Chun Hu, David B. Johnson 0001	Caching strategies in on-demand routing protocols for wireless ad hoc networks.	MobiCom	2000	DBLP DOI BibTeX RDF
11	Haining Wang, Kang G. Shin, Hongjie Xin, Douglas S. Reeves	A Simple Refinement of Slow-Start of TCP Congestion Control.	ISCC	2000	DBLP DOI BibTeX RDF	Congestion Control, TCP, Slow-start
11	Jon M. Kerridge, Peter H. Welch, David Wood	Synchronization Primitives for Highly Parallel Discrete Event Simulations.	HICSS	1999	DBLP DOI BibTeX RDF
11	Alexander Ost, Boudewijn R. Haverkort	Analysis of windowing mechanisms with infinite-state stochastic Petri nets.	SIGMETRICS Perform. Evaluation Rev.	1998	DBLP DOI BibTeX RDF	window flow control, congestion control, stochastic Petri nets, matrix-geometric methods
11	Sarantos Kapidakis, Sotirios Terzis, Jakka Sairamesh	A Management Architecture for Measuring and Monitoring the Behavior of Digital Libraries.	ECDL	1998	DBLP DOI BibTeX RDF
11	Pratyush Moghé, Michael H. Evengelista	RAP-rate adaptive polling for network management applications.	NOMS	1998	DBLP DOI BibTeX RDF
11	Jitendra Padhye, Victor Firoiu, Donald F. Towsley, James F. Kurose	Modeling TCP Throughput: A Simple Model and Its Empirical Validation.	SIGCOMM	1998	DBLP DOI BibTeX RDF	TCP/IP
11	Oliver Suciu, Flaviu Cristian	Evaluating the Performance of Group Membership Protocols.	ICECCS	1998	DBLP DOI BibTeX RDF	Performance Evaluation, Fault-Tolerance, Distributed System, Performance Metric, Asynchronous System, Group Membership
11	Michel Raynal	A Case Study of Agreement Problems in Distributed Systems: Non-Blocking Atomic Commitment.	HASE	1997	DBLP DOI BibTeX RDF
11	Evguenii I. Goldberg, Luca P. Carloni, Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli	Negative thinking by incremental problem solving: application to unate covering.	ICCAD	1997	DBLP DOI BibTeX RDF	negative thinking, discrete optimization, covering problem
11	Ching-Chuan Chiang, Mario Gerla, Lixia Zhang 0001	Shared Tree Wireless Network Multicast.	ICCCN	1997	DBLP DOI BibTeX RDF	Hard state, Soft Stat, Clustering, Routing, Multicast, Multihop Wireless Networks
11	Daichi Funato, Kinuko Yasuda, Hideyuki Tokuda	TCP-R: TCP mobility support for continuous operation.	ICNP	1997	DBLP DOI BibTeX RDF	TCP-R, TCP mobility support, continuous operation, TCP redirection, end-to-end mobility support, computational complexity, complexity, mobile environments, mobile computing environments, FreeBSD, IP address
11	John B. Carter, John K. Bennett, Willy Zwaenepoel	Techniques for Reducing Consistency-Related Communication in Distributed Shared-Memory Systems	ACM Trans. Comput. Syst.	1995	DBLP DOI BibTeX RDF	cache consistency protocols, distributed shared memory, memory models, virtual shared memory, release consistency
11	Carlos Montez, Joni da Silva Fraga, Jean-Marie Farines, Olinto Furtado, Frank Siqueira	A Programming Model for Real-Time Applications in Open Distributed Systems.	FTDCS	1995	DBLP DOI BibTeX RDF	distributed systems, real-time systems, CORBA, reflection, open systems
11	Chim-fu Yeung, Sheung-lun Hung, Kam-yiu Lam	Performance Evaluation of a New Distributed Deadlock Detection Algorithm.	SIGMOD Rec.	1994	DBLP DOI BibTeX RDF
11	Randy Appleton	Deadlock detection in a multidatabase.	ACM Southeast Regional Conference	1992	DBLP DOI BibTeX RDF
11	Peter B. Danzig, Katia Obraczka, Anant Kumar	An Analysis of Wide-Area Name Server Traffic: A Study of the Internet Domain Name System.	SIGCOMM	1992	DBLP DOI BibTeX RDF	Internet
11	Tommaso Bolognesi, Ferdinando Lucidi	Timed Process Algebras with Urgent Interactions and a Unique Powerful Binary Operator.	REX Workshop	1991	DBLP DOI BibTeX RDF	timed process algebra, timed Petri Net
11	Lixia Zhang	Why TCP timers don't work well.	SIGCOMM	1986	DBLP DOI BibTeX RDF
11	Harry Rudin	The Dimension of Time in Protocol Specification.	Networking in Open Systems	1986	DBLP DOI BibTeX RDF
11	Wolfgang Jürgensen, Son T. Vuong	Formal specification and validation of ISO transport protocol components, using petri nets.	Comput. Commun. Rev.	1984	DBLP DOI BibTeX RDF