Search results for "timeouts"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
24	Kun Tan, Qian Zhang 0001, Wenwu Zhu 0001	STODER: a robust and efficient algorithm for handling spurious retransmit timeouts in TCP.	GLOBECOM	2005	DBLP DOI BibTeX RDF
24	Thierry E. Klein, Kin K. Leung, Richard Parkinson, Louis G. Samuel	Avoiding spurious TCP timeouts in wireless networks by delay injection.	GLOBECOM	2004	DBLP DOI BibTeX RDF
24	Pasi Sarolahti	Congestion control on spurious TCP retransmission timeouts.	GLOBECOM	2003	DBLP DOI BibTeX RDF
24	Andrei V. Gurtov, Reiner Ludwig	Responding to Spurious Timeouts in TCP.	INFOCOM	2003	DBLP DOI BibTeX RDF
24	Shaojian Fu, Mohammed Atiquzzaman	Modelling TCP Reno with spurious timeouts in wireless mobile environments.	ICCCN	2003	DBLP DOI BibTeX RDF
24	Shuju Wu, Sujata Banerjee	An area-based feedback implosion control mechanism with deterministic timeouts.	GLOBECOM	2001	DBLP DOI BibTeX RDF
24	Howard Bowman	Modelling Timeouts without Timelocks.	ARTS	1999	DBLP DOI BibTeX RDF
24	Matthias Grossglauser	Optimal Deterministic Timeouts for Reliable Scalable Multicast.	IEEE J. Sel. Areas Commun.	1997	DBLP DOI BibTeX RDF
24	Matthias Grossglauser	Optimal Deterministic Timeouts for Reliable Scalable Multicast.	INFOCOM	1996	DBLP DOI BibTeX RDF
24	Guillermo A. Alvarez, Marcelo O. Fernández	Efficient Management of Multiple Outstanding Timeouts.	Inf. Process. Lett.	1995	DBLP DOI BibTeX RDF
24	Soma Chaudhuri, Brian A. Coan, Jennifer L. Welch	Using Adaptive Timeouts to Achieve At-Most-Once Message Delivery.	Distributed Comput.	1995	DBLP DOI BibTeX RDF
24	Edmundo de Souza e Silva, H. Richard Gail, Richard R. Muntz	Polling systems with server timeouts and their application to token passing networks.	IEEE/ACM Trans. Netw.	1995	DBLP DOI BibTeX RDF
24	Soma Chaudhuri, Brian A. Coan, Jennifer L. Welch	Using Adaptive Timeouts to Achive At-Most-Once Message Delivery.	WDAG	1991	DBLP DOI BibTeX RDF
24	Hans Hansson	Modeling Timeouts and Unreliable Media with a Timed Probabilistic Calculus.	FORTE	1991	DBLP BibTeX RDF
24	Wlodzimierz M. Zuberek	Modified D-Time Petri Nets, Timeouts, and Modelling of Communication Protocols.	ICDCS	1986	DBLP BibTeX RDF
24	Wlodzimierz M. Zuberek	Extended D-Timed Petri Nets, Timeouts, and Analysis of Communication Protocols.	ACM Annual Conference	1985	DBLP DOI BibTeX RDF
13	Mohammad Alizadeh, Albert G. Greenberg, David A. Maltz, Jitendra Padhye, Parveen Patel, Balaji Prabhakar, Sudipta Sengupta, Murari Sridharan	Data center TCP (DCTCP).	SIGCOMM	2010	DBLP DOI BibTeX RDF	TCP, ECN, data center network
13	Dragana Damjanovic, Philipp Gschwandtner, Michael Welzl	Why Is This Web Page Coming Up so Slow? Investigating the Loss of SYN Packets.	Networking	2009	DBLP DOI BibTeX RDF	measurements, network protocol, connection management
13	Allan Clark, Adam Duguid, Stephen Gilmore	Passage-End Analysis.	EPEW	2009	DBLP DOI BibTeX RDF
13	Hui Chen 0005, Yufeng Shi, Ye Wang, Laurence Tianruo Yang, Naixue Xiong	Improvement of Directed Diffusion Protocol Based on Data Aggregation.	CSE (1)	2009	DBLP DOI BibTeX RDF
13	Gabriel Ciobanu, Calin Juravle	A Software Platform for Timed Mobility and Timed Interaction.	FMOODS/FORTE	2009	DBLP DOI BibTeX RDF
13	Kalpana Gondi, Yogeshkumar Patel, A. Prasad Sistla	Monitoring the Full Range of omega-Regular Properties of Stochastic Systems.	VMCAI	2009	DBLP DOI BibTeX RDF
13	Mark R. Meiss, John Duncan, Bruno Gonçalves, José J. Ramasco, Filippo Menczer	What's in a session: tracking individual behavior on the web.	Hypertext	2009	DBLP DOI BibTeX RDF	click stream, navigation, popularity, web traffic, web session
13	Simon P. Martin, Isi Mitrani	Analysis of job transfer policies in systems with unreliable servers.	Ann. Oper. Res.	2008	DBLP DOI BibTeX RDF	Job transfers, Unavailable servers, Time-out intervals, Queues with reneging
13	Roman Gershman, Maya Koifman, Ofer Strichman	An approach for extracting a small unsatisfiable core.	Formal Methods Syst. Des.	2008	DBLP DOI BibTeX RDF	Unsatisfiable core, SAT, Resolution
13	Mercedes G. Merayo, Manuel Núñez 0001, Ismael Rodríguez	Extending EFSMs to Specify and Test Timed Systems with Action Durations and Time-Outs.	IEEE Trans. Computers	2008	DBLP DOI BibTeX RDF	Formal methods, Testing and Debugging, Specification techniques
13	George Xylomenos, Michael Makidis	Link Layer Adaptation for Shared Wireless Links.	Mob. Networks Appl.	2008	DBLP DOI BibTeX RDF	adaptive selective repeat, radio link control, link layer protocols
13	Gabriel Ciobanu	Behaviour Equivalences in Timed Distributed pi-Calculus.	Software-Intensive Systems and New Computing Paradigms	2008	DBLP DOI BibTeX RDF
13	Rosie Jones, Kristina Lisa Klinkner	Beyond the session timeout: automatic hierarchical segmentation of search topics in query logs.	CIKM	2008	DBLP DOI BibTeX RDF	query log segmentation, query session, query session boundary detection, search goal
13	Arun Raghavan, Colin Blundell, Milo M. K. Martin	Token tenure: PATCHing token counting using directory-based cache coherence.	MICRO	2008	DBLP DOI BibTeX RDF
13	Jingyu Wang 0001, Jianxin Liao, Xiaomin Zhu 0002	On Preventing Unnecessary Fast Retransmission With Optimal Fragmentation Strategy.	ICC	2008	DBLP DOI BibTeX RDF
13	Bozidar Radunovic, Christos Gkantsidis, Dinan Gunawardena, Peter B. Key	Horizon: balancing tcp over multiple paths in wireless mesh network.	MobiCom	2008	DBLP DOI BibTeX RDF	backpressure, multi-path tcp, congestion control, wireless meshes
13	Rastin Pries, Dirk Staehle, Phuoc Tran-Gia, Thorsten Gutbrod	A Seamless Vertical Handover Approach.	EuroNGI Workshop	2008	DBLP DOI BibTeX RDF	Wireless LAN, UMTS, vertical handover, tight coupling
13	Dmitri Moltchanov, Roman Dunaytsev, Yevgeni Koucheryavy	Cross-Layer Modeling of TCP SACK Performance over Wireless Channels with Completely Reliable ARQ/FEC.	WWIC	2008	DBLP DOI BibTeX RDF
13	James Cheney, Morten Dahl	Resource bound analysis for database queries.	PLAS	2008	DBLP DOI BibTeX RDF	resource bounds, databases, query languages
13	Jaehyung Lee 0003, Soobeen Ahn, Hyunseung Choo	BCR: Balanced Congestion Control after Spurious RTO.	ICCSA (1)	2008	DBLP DOI BibTeX RDF
13	César Andrés, Mercedes G. Merayo, Manuel Núñez 0001	Formal Development of a Complex Information System.	ICONS	2008	DBLP DOI BibTeX RDF
13	Hemant Kumar Rath, Abhay Karandikar	On TCP-aware uplink scheduling in IEEE 802.16 networks.	COMSWARE	2008	DBLP DOI BibTeX RDF
13	Adnan Afsar Khan, Ivan Stojmenovic, Nejib Zaguia	Parameterless Broadcasting in Static to Highly Mobile Wireless Ad Hoc, Sensor and Actuator Networks.	AINA	2008	DBLP DOI BibTeX RDF	sensor and actuator networks, ad hoc networks, wireless networks, Broadcasting
13	A. Prasad Sistla, Abhigna R. Srinivas	Monitoring Temporal Properties of Stochastic Systems.	VMCAI	2008	DBLP DOI BibTeX RDF
13	Edya Ladan-Mozes, Charles E. Leiserson	A consistency architecture for hierarchical shared caches.	SPAA	2008	DBLP DOI BibTeX RDF	mapping collision, message race, progressive protocol, memory hierarchy, deadlock, sequential consistency, cache consistency, shared caches, fat-tree
13	Eric Koskinen, Maurice Herlihy	Dreadlocks: efficient deadlock detection.	SPAA	2008	DBLP DOI BibTeX RDF	parallel programming, concurrency, transactional memory, deadlock, bloom filters, deadlock detection
13	Gabriel Ciobanu, Maciej Koutny	Modelling and Verification of Timed Interaction and Migration.	FASE	2008	DBLP DOI BibTeX RDF	compositional translation, behavioural consistency, mobility, process algebra, high-level Petri nets, timers
13	Xia Li, Peng Yong Kong, Kee Chaing Chua	TCP Performance in IEEE 802.11-Based Ad Hoc Networks with Multiple Wireless Lossy Links.	IEEE Trans. Mob. Comput.	2007	DBLP DOI BibTeX RDF	TCP NewReno, ad hoc networks, congestion control, IEEE 802.11, TCP Reno, TCP modeling
13	Humphrey Rutagemwa, Minghui Shi, Xuemin Shen, Jon W. Mark	Wireless Profiled TCP Performance over Integrated Wireless LANs and Cellular Networks.	IEEE Trans. Wirel. Commun.	2007	DBLP DOI BibTeX RDF
13	Sara Landström, Lars-Åke Larzon	Reducing the TCP acknowledgment frequency.	Comput. Commun. Rev.	2007	DBLP DOI BibTeX RDF	TCP, acknowledgments
13	Ali C. Begen, Yucel Altunbasak	An Adaptive Media-Aware Retransmission Timeout Estimation Method for Low-Delay Packet Video.	IEEE Trans. Multim.	2007	DBLP DOI BibTeX RDF
13	K. Ausavapattanakun, Aria Nosratinia	Analysis of Selective-Repeat ARQ via Matrix Signal-Flow Graphs.	IEEE Trans. Commun.	2007	DBLP DOI BibTeX RDF
13	Jawwad Shamsi, Monica Brockmeyer	SyncProbe: Providing Assurance of Message Latency through Predictive Monitoring of Internet Paths.	HASE	2007	DBLP DOI BibTeX RDF
13	Pedro Furtado 0001	Autonomic Admission Control for Congested Request Processing Systems.	WISE	2007	DBLP DOI BibTeX RDF	qos-broker, QoS, Admission Control, Transactional Systems
13	Ioannis Psaras, Vassilis Tsaoussidis	The TCP Minimum RTO Revisited.	Networking	2007	DBLP DOI BibTeX RDF	Minimum RTO, High Speed Links, Last Mile Wireless, TCP
13	George Xylomenos, Michael Makidis	Adaptive link layer protocols for shared wireless links.	MobiMedia	2007	DBLP DOI BibTeX RDF	selective repeat, UMTS, link layer, RLC
13	Xinjie Li, Monica Brockmeyer	Fast Failure Detection in a Process Group.	IPDPS	2007	DBLP DOI BibTeX RDF
13	Bogdan Aman, Gabriel Ciobanu	Timers and Proximities for Mobile Ambients.	CSR	2007	DBLP DOI BibTeX RDF
13	Sun Meng, Farhad Arbab	On Resource-Sensitive Timed Component Connectors.	FMOODS	2007	DBLP DOI BibTeX RDF	Resource-Sensitive Timed Constraint Automata, Simulation, Coordination, Constraint Automata
13	Vijaynarayanan Subramanian, K. K. Ramakrishnan, Shivkumar Kalyanaraman	Disruption-Tolerant Link-level Mechanisms for Extreme Wireless Network Environments.	COMSWARE	2007	DBLP DOI BibTeX RDF
13	Luca De Cicco, Saverio Mascolo	TCP Congestion Control over 3G Communication Systems: An Experimental Evaluation of New Reno, BIC and Westwood+.	NEW2AN	2007	DBLP DOI BibTeX RDF	congestion control, TCP, UMTS, 3G
13	Xin Yu	Distributed Cache Updating for the Dynamic Source Routing Protocol.	IEEE Trans. Mob. Comput.	2006	DBLP DOI BibTeX RDF	distributed cache updating, mobility, Mobile ad hoc networks, on-demand routing protocols
13	Tony Spiteri Staines	Using a Timed Petri Net (TPN) to Model a Bank ATM.	ECBS	2006	DBLP DOI BibTeX RDF
13	Roman Gershman, Maya Koifman, Ofer Strichman	Deriving Small Unsatisfiable Cores with Dominators.	CAV	2006	DBLP DOI BibTeX RDF
13	Patrício Domingues, Artur Andrzejak 0001, Luís Moura Silva	Using Checkpointing to Enhance Turnaround Time on Institutional Desktop Grids.	e-Science	2006	DBLP DOI BibTeX RDF
13	Mercedes G. Merayo, Manuel Núñez 0001, Ismael Rodríguez	Implementation Relations for Stochastic Finite State Machines.	EPEW	2006	DBLP DOI BibTeX RDF
13	Mun Choon Chan, Ee-Chien Chang, Liming Lu, Peng Song Ngiam	Effect of Malicious Synchronization.	ACNS	2006	DBLP DOI BibTeX RDF	Distributed Denial of Service (DDoS) attacks, low rate DDoS attack, herding, synchronization, Network security, periodicity
13	Fawad Nazir, Mohsan Jameel, Tallat Hussain Tarar, Hamid Abbas Burki, Hafiz Farooq Ahmad, Arshad Ali, Hiroki Suguri	An Efficient Approach Towards IP Network Topology Discovery for Large Multi-Subnet Networks.	ISCC	2006	DBLP DOI BibTeX RDF
13	Francisco Javier Ovalle-Martínez, Amiya Nayak, Ivan Stojmenovic, Jean Carle, David Simplot-Ryl	Area Based Beaconless Reliable Broadcasting in Sensor Networks.	ALGOSENSORS	2006	DBLP DOI BibTeX RDF
13	Jianbo Xu, Siliang Zeng, Fengjiao Qu	A new In-network data aggregation technology of wireless sensor networks.	SKG	2006	DBLP DOI BibTeX RDF
13	Ali C. Begen, Yucel Altunbasak	Redundancy-controllable adaptive retransmission timeout estimation for packet video.	NOSSDAV	2006	DBLP DOI BibTeX RDF
13	Carsten Griwodz, Pål Halvorsen	The fun of using TCP for an MMORPG.	NOSSDAV	2006	DBLP DOI BibTeX RDF	thin streams, MMORPGs, TCP performance
13	Yaniv Eytani, Timo Latvala	Explaining Intermittent Concurrent Bugs by Minimizing Scheduling Noise.	Haifa Verification Conference	2006	DBLP DOI BibTeX RDF	Concurrent debugging, scheduling noise, Java, testing
13	Ricardo de Moraes, Paulo Portugal, Francisco Vasques	A Stochastic Petri Net Model for the Simulation Analysis of the IEEE 802.11e EDCA Communication Protocol.	ETFA	2006	DBLP DOI BibTeX RDF
13	Rob Sherwood, Neil Spring	Touring the internet in a TCP sidecar.	Internet Measurement Conference	2006	DBLP DOI BibTeX RDF	network topology discovery, passenger, record route, sidecar
13	Stylianos Papanastasiou, Lewis M. Mackenzie, Mohamed Ould-Khaoua, Vassilis Charissis	On the interaction of TCP and Routing Protocols in MANETs.	AICT/ICIW	2006	DBLP DOI BibTeX RDF
13	Vinton G. Cerf, Robert E. Kahn	A protocol for packet network intercommunication.	Comput. Commun. Rev.	2005	DBLP DOI BibTeX RDF
13	Xunqi Yu, James W. Modestino, Ivan V. Bajic	Performance analysis of the efficacy of packet-level FEC in improving video transport over networks.	ICIP (2)	2005	DBLP DOI BibTeX RDF
13	Byron Cook, Daniel Kroening, Natasha Sharygina	Cogent: Accurate Theorem Proving for Program Verification.	CAV	2005	DBLP DOI BibTeX RDF
13	Hacène Fouchal, Sébastien Gruson, Ludovic Pierre, Cyril Rabat, Antoine Rollet	Integrated Tool for Testing Timed Systems.	ISSADS	2005	DBLP DOI BibTeX RDF	Validation, Timed Automata, Conformance Testing, Automata Theory, Protocol Engineering
13	Hao Jiang, Constantinos Dovrolis	Why is the internet traffic bursty in short time scales?	SIGMETRICS	2005	DBLP DOI BibTeX RDF	ON-OFF model, TCP pacing, TCP self-clocking, wavelet-based multiresolution analysis, traffic modeling, burstiness
13	Paolo Chini, Giovanni Giambene, Danilo Bartolini, Michele Luglio, Cesare Roseti	Cross-Layer Management of Radio Resources in an Interactive DVB-RCS-Based Satellite Network-(Invited Paper).	ISCIS	2005	DBLP DOI BibTeX RDF	TCP, Satellite Networks, DVB-RCS
13	Alexander Kesselman, Yishay Mansour	Optimizing TCP Retransmission Timeout.	ICN (2)	2005	DBLP DOI BibTeX RDF
13	Yanqing Cui, Vuokko Lantz	Stroke break analysis: a practical method to study timeout value for handwriting recognition input.	Mobile HCI	2005	DBLP DOI BibTeX RDF	distribution, handwriting recognition, stroke, timeout, break
13	Xin Yu, Zvi M. Kedem	A distributed adaptive cache update algorithm for the dynamic source routing protocol.	INFOCOM	2005	DBLP DOI BibTeX RDF
13	Zhihua Hu, Baochun Li	ZAL: Zero-Maintenance Address Allocation in Mobile Wireless Ad Hoc Networks.	ICDCS	2005	DBLP DOI BibTeX RDF
13	Sibusisiwe Chiyangwa, Marta Z. Kwiatkowska	A Timing Analysis of AODV.	FMOODS	2005	DBLP DOI BibTeX RDF
13	Andrea Omicini, Alessandro Ricci, Mirko Viroli	Time-Aware Coordination in ReSpecT.	COORDINATION	2005	DBLP DOI BibTeX RDF
13	Xin Li, Zhenzhou Ji, Mingzeng Hu	Session Table Architecture for Defending SYN Flood Attack.	ICICS	2005	DBLP DOI BibTeX RDF
13	Paul D. Ezhilchelvan, Francisco V. Brasileiro, Neil A. Speirs	A Timeout-Based Message Ordering Protocol for a Lightweight Software Implementation of TMR Systems.	IEEE Trans. Parallel Distributed Syst.	2004	DBLP DOI BibTeX RDF	process replication, physical and logical clocks, fault tolerance, agreement, Byzantine failures, Triple Modular Redundancy (TMR), message ordering
13	Jérôme Viéron, Christine Guillemot	Real-time constrained TCP-compatible rate control for video over the Internet.	IEEE Trans. Multim.	2004	DBLP DOI BibTeX RDF
13	Tim Schattkowsky, Wolfgang Müller 0003	Model-Based Design of Embedded Systems.	ISORC	2004	DBLP DOI BibTeX RDF
13	Xin Yu	Improving TCP performance over mobile ad hoc networks by exploiting cross-layer information awareness.	MobiCom	2004	DBLP DOI BibTeX RDF	best-effort ACK delivery, early packet loss notification, ad hoc networks, mobility, TCP, cross-layer, transport layer
13	Jinyang Li 0001, Jeremy Stribling, Thomer M. Gil, Robert Tappan Morris, M. Frans Kaashoek	Comparing the Performance of Distributed Hash Tables Under Churn.	IPTPS	2004	DBLP DOI BibTeX RDF
13	Nicholas A. Solter, Ashutosh Tripathi	Architecture and Protocol for Reliable Event Delivery to Clients of a High-Availability Cluster.	IPDPS	2004	DBLP DOI BibTeX RDF
13	Jürgen Branke, Pablo Funes, Frederik Thiele	Evolving En-Route Caching Strategies for the Internet.	GECCO (2)	2004	DBLP DOI BibTeX RDF
13	Mina Guirguis, Azer Bestavros, Ibrahim Matta	Exploiting the Transients of Adaptation for RoQ Attacks on Internet Resources.	ICNP	2004	DBLP DOI BibTeX RDF
13	Chien-Liang Fok, Gruia-Catalin Roman, Gregory Hackmann	A Lightweight Coordination Middleware for Mobile Computing.	COORDINATION	2004	DBLP DOI BibTeX RDF
13	Mirko Viroli, Alessandro Ricci	Agent Interaction Semantics by Timed Operating Instructions.	AC	2004	DBLP DOI BibTeX RDF
13	Catalin Dima, Alain Girault, Yves Sorel	Static Fault-Tolerant Real-Time Scheduling with "Pseudo-topological" Orders.	FORMATS/FTRTFT	2004	DBLP DOI BibTeX RDF
13	Mirko Viroli, Alessandro Ricci	Instructions-Based Semantics of Agent Mediated Interaction.	AAMAS	2004	DBLP DOI BibTeX RDF
13	James Aweya, Michel Ouellette, Delfin Y. Montuno	Active queue management with flow proportional buffering.	Int. J. Netw. Manag.	2003	DBLP DOI BibTeX RDF
13	Niels Möller, Karl Henrik Johansson	Influence of Power Control and Link-Level Retransmissions on Wireless TCP.	QofIS	2003	DBLP DOI BibTeX RDF
13	Antoine Rollet, Hacène Fouchal	Testing Protocol Robustness.	IICS	2003	DBLP DOI BibTeX RDF