Search results for "timeouts"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
74	Chao-Ju Hou, Kang G. Shin	Incorporation of Optimal Timeouts into Distributed Real-Time Load Sharing.	IEEE Trans. Computers	1994	DBLP DOI BibTeX RDF	optimal timeouts, distributed real-time load sharing, timeout mechanism, state-region change broadcasts, communication timeouts, system load, task attributes, hypothesis testing problem, Bayesian technique, region-change broadcasts, broadcast information, task transfer, broadcast message, state-region changes, broadcast interval, scheduling, real-time systems, parallel algorithms, resource allocation, fault tolerant computing, software reliability, multiprocessing systems, Bayes methods, distributed real-time system, node failures
63	James S. Plank, Matthew S. Allen, Richard Wolski	The Effect of Timeout Prediction and Selection on Wide Area Collective Operations.	NCA	2001	DBLP DOI BibTeX RDF
63	Biplab Sikdar 0001, Shivkumar Kalyanaraman, Kenneth S. Vastola	Analytic models for the latency and steady-state throughput of TCP tahoe, Reno, and SACK.	IEEE/ACM Trans. Netw.	2003	DBLP DOI BibTeX RDF	performance evaluation, modeling, TCP, TCP/IP, retransmission timeouts
62	Sung-Wook Ryu, Eul-Gyu Im, B. Clifford Neuman	Distributed Garbage Collection by Timeouts and Backward Inquiry.	COMPSAC	2003	DBLP DOI BibTeX RDF	Cyclic Garbage, Back-Tracing, Distributed objects, Timeouts, Distributed Garbage Collection
62	Sarantos Kapidakis, Sotirios Terzis, Jakka Sairamesh	A framework for performance monitoring, load balancing, adaptive timeouts and quality of service in digital libraries.	Int. J. Digit. Libr.	2000	DBLP DOI BibTeX RDF	Adaptive timeouts, Dienst servers, NCSTRL, Quality of service, Load balancing, Performance management
49	Pasi Sarolahti, Markku Kojo, Kimmo E. E. Raatikainen	F-RTO: an enhanced recovery algorithm for TCP retransmission timeouts.	Comput. Commun. Rev.	2003	DBLP DOI BibTeX RDF
38	Vijay Vasudevan, Amar Phanishayee, Hiral Shah, Elie Krevat, David G. Andersen, Gregory R. Ganger, Garth A. Gibson, Brian Mueller	Safe and effective fine-grained TCP retransmissions for datacenter communication.	SIGCOMM	2009	DBLP DOI BibTeX RDF	datacenter networks, incast, performance, throughput
38	Misook Bae, Jun Park, Buhyun Hwang, Jiseung Nam	Effective Processing over Continuous Data Stream.	CIT	2007	DBLP DOI BibTeX RDF
38	Misook Bae, Buhyun Hwang, Jiseung Nam	Adaptive Processing for Continuous Query over Data Stream.	ISPA	2007	DBLP DOI BibTeX RDF	processing continuous query, inaccuracy, data stream, latency, sliding window, timeout
38	Carl K. Chang, Yi-Te Tseng, Ugo A. Buy	Compiling process algebraic specifications into timed automata.	COMPSAC	1997	DBLP DOI BibTeX RDF	Language of Timed Processes, process algebraic specification compilation, process-algebra-based specification language, process descriptions, periodic constraints, sporadic constraints, periodic behavior modelling, finite representation, delays, computations, timed automata, translation, algebraic specification, real-time applications, deadlines, execution time, automatic verification, timeouts, timing requirement, LTP, timed transition systems
38	Richard Gerber 0001, Insup Lee 0001	A Layered Approach to Automating the Verification of Real-Time Systems.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	CSR Application Language, high-level language constructs, periodic processes, configuration schema, CCSR process algebra, resource-based computation model, prioritized transition system, reachability analyzer, CCSR semantics, exception state, multisensor robot example, calculus of communicating systems, real-time systems, real-time systems, verification, formal specification, formal verification, specification, exception handling, exception handling, interrupts, correctness, deadlines, high level languages, timeouts, communication links, system resources, layered approach
36	Mercedes G. Merayo, Manuel Núñez 0001, Ismael Rodríguez	Extending EFSMs to Specify and Test Timed Systems with Action Durations and Timeouts.	FORTE	2006	DBLP DOI BibTeX RDF
36	Ian J. Hayes	Reasoning about Timeouts.	MPC	2002	DBLP DOI BibTeX RDF
25	Alptekin Küpçü, Anna Lysyanskaya	Brief announcement: impossibility results for optimistic fair exchange with multiple autonomous arbiters.	PODC	2009	DBLP DOI BibTeX RDF	distributed arbiters, optimistic fair exchange, trusted third party
25	Consolee Mbarushimana, Alireza Shahrabi	A TCP Enhancement for QoS-Aware Mobile Ad-Hoc Networks.	NBiS	2008	DBLP DOI BibTeX RDF	Spurious, QoS, MANET, TCP, Variant
25	Simon Peter 0001, Andrew Baumann, Timothy Roscoe, Paul Barham 0001, Rebecca Isaacs	30 seconds is not enough!: a study of operating system timer usage.	EuroSys	2008	DBLP DOI BibTeX RDF	kernel interface design, scheduling, adaptability, timers
25	Humphrey Rutagemwa, Sangheon Pack, Xuemin Shen, Jon W. Mark	Cross-layer Design and Analysis of Wireless Profiled TCP for Vertical Handover.	ICC	2007	DBLP DOI BibTeX RDF
25	Mildrey Carbonell, José María Sierra, Jose Antonio Onieva, Javier López 0001, Jianying Zhou 0001	Estimation of TTP Features in Non-repudiation Service.	ICCSA (2)	2007	DBLP DOI BibTeX RDF
25	Michael Backes 0001, Dennis Hofheinz, Jörn Müller-Quade, Dominique Unruh	On fairness in simulatability-based cryptographic systems.	FMSE	2005	DBLP DOI BibTeX RDF	scheduling, fairness, cryptographic protocols, simulatability
25	Deepak Vembar, Zhidian Du	AQM performance in multiple congested link networks.	ACM Southeast Regional Conference (2)	2005	DBLP DOI BibTeX RDF
25	Christoph Lindemann, Oliver P. Waldhorst	Exploiting epidemic data dissemination for consistent lookup operations in mobile applications.	ACM SIGMOBILE Mob. Comput. Commun. Rev.	2004	DBLP DOI BibTeX RDF
25	Raul Ceretta Nunes, Ingrid Jansch-Pôrto	QoS of Timeout-Based Self-Tuned Failure Detectors: The Effects of the Communication Delay Predictor and the Safety Margin.	DSN	2004	DBLP DOI BibTeX RDF
25	Michael Scharf, Marc Necker, Bernd Gloss	The Sensitivity of TCP to Sudden Delay Variations in Mobile Networks.	NETWORKING	2004	DBLP DOI BibTeX RDF
25	Anthony C. C. Lo, Geert J. Heijenk, Ignas G. Niemegeers	On the Performance of TCP Vegas over UMTS/WCDMA Channels with Large Round-Trip Time Variations. (PDF / PS)	PWC	2004	DBLP DOI BibTeX RDF
25	Mildrey Carbonell, Jose Antonio Onieva, Javier López 0001, Deborah Galpert, Jianying Zhou 0001	Timeout Estimation Using a Simulation Model for Non-repudiation Protocols.	ICCSA (1)	2004	DBLP DOI BibTeX RDF
25	Ulf Bodin, Arne Simonsson	Effects on TCP from Radio-Block Scheduling in WCDMA High Speed Downlink Shared Channels.	QofIS	2003	DBLP DOI BibTeX RDF
25	Christoph Lindemann, Oliver P. Waldhorst	Consistency mechanisms for a distributed lookup service supporting mobile applications.	MobiDE	2003	DBLP DOI BibTeX RDF	ad-hoc networked databases, consistency maintenance in weakly connected environments, epidemic algorithms for data dissemination, data caching
25	Lavy Libman, Ariel Orda	Optimal retrial and timeout strategies for accessing network resources.	IEEE/ACM Trans. Netw.	2002	DBLP DOI BibTeX RDF	connection establishment, packet retransmission, timeout strategy, network pricing, noncooperative games
25	Nitin H. Vaidya	Weak duplicate address detection in mobile ad hoc networks.	MobiHoc	2002	DBLP DOI BibTeX RDF	duplicate address detection, mobile ad hoc networks, auto-configuration
25	H. T. Kung 0001, Koan-Sin Tan, Pai-Hsiang Hsiao	TCP with sender-based delay control.	ISCC	2002	DBLP DOI BibTeX RDF
25	Matthew S. Allen, Richard Wolski, James S. Plank	Adaptive Timeout Discovery Using the Network Weather Service.	HPDC	2002	DBLP DOI BibTeX RDF
25	Marcos Kawazoe Aguilera, Wei Chen 0013, Sam Toueg	Heartbeat: A Timeout-Free Failure Detector for Quiescent Reliable Communication.	WDAG	1997	DBLP DOI BibTeX RDF
25	Maurice Herlihy, Martin S. McKendry	Timestamp-Based Orphan Elimination.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	timestamp based orphan elimination, distributed transaction system, aborted transaction, two-phase protocols, real-time clocks, concurrency control method, distributed processing, concurrency control, database management systems, transaction processing
25	Alejandro Russo, Andrei Sabelfeld	Securing Timeout Instructions in Web Applications.	CSF	2009	DBLP DOI BibTeX RDF	internal timing covert channel, information-flow, web security, non-interference, timeouts
25	Kong Ke, Xu Zheng-he	On Methods of Water Rights Original Allocation and Reallocation.	ESIAT (2)	2009	DBLP DOI BibTeX RDF	water rights, Selten Equilibrium, Nash Bargaining Theorem, timeouts market, allocation
25	Jitendra Padhye, Victor Firoiu, Donald F. Towsley, James F. Kurose	Modeling TCP Reno performance: a simple model and its empirical validation.	IEEE/ACM Trans. Netw.	2000	DBLP DOI BibTeX RDF	modeling, TCP, TCP/IP, empirical validation, retransmission timeouts
24	Rob van Glabbeek	Reactive bisimulation semantics for a process algebra with timeouts.	Acta Informatica	2023	DBLP DOI BibTeX RDF
24	Aleksandr S. Tvardovskii, Nina Yevtushenko 0001	Deriving homing sequences for Finite State Machines with timeouts.	Comput. J.	2023	DBLP DOI BibTeX RDF
24	Pasindu Tennage, Cristina Basescu, Lefteris Kokoris-Kogias, Ewa Syta, Philipp Jovanovic, Vero Estrada-Galiñanes, Bryan Ford	QuePaxa: Escaping the tyranny of timeouts in consensus.	SOSP	2023	DBLP DOI BibTeX RDF
24	Philipp Hoenisch, Subhra Mazumdar 0001, Pedro Moreno-Sanchez, Sushmita Ruj	LightSwap: An Atomic Swap Does Not Require Timeouts At Both Blockchains.	IACR Cryptol. ePrint Arch.	2022	DBLP BibTeX RDF
24	Wenxi Zhang	Obtaining Fuzzing Results with Different Timeouts.	ICST Workshops	2022	DBLP DOI BibTeX RDF
24	Aleksandr S. Tvardovskii, Nina Yevtushenko 0001	Adaptive Experiments for State Identification in Finite State Machines with Timeouts.	MCU	2022	DBLP DOI BibTeX RDF
24	Philipp Hoenisch, Subhra Mazumdar 0001, Pedro Moreno-Sanchez, Sushmita Ruj	LightSwap: An Atomic Swap Does Not Require Timeouts at both Blockchains.	DPM/CBT@ESORICS	2022	DBLP DOI BibTeX RDF
24	Tomas Hernandez-Quintanilla, Eduardo Magaña, Daniel Morató, Mikel Izal	On the reduction of authoritative DNS cache timeouts: Detection and implications for user privacy.	J. Netw. Comput. Appl.	2021	DBLP DOI BibTeX RDF
24	Giovane C. M. Moura, Moritz Müller, Marco Davids, Maarten Wullink, Cristian Hesselman	Fragmentation, Truncation, and Timeouts: Are Large DNS Messages Falling to Bits?	PAM	2021	DBLP DOI BibTeX RDF
24	Alexandre Fonte, Edmundo Monteiro, Marília Curado	Protecting Intelligent Route Control Against Spurious Timeouts.	COMSNETS	2021	DBLP DOI BibTeX RDF
24	Miguel Benito-Parejo, Mercedes G. Merayo	Using Genetic Algorithms To Select Test Cases For Finite State Machines With Timeouts.	CEC	2021	DBLP DOI BibTeX RDF
24	Brian Brubach, Karthik Abinav Sankararaman, Aravind Srinivasan, Pan Xu 0001	Attenuate Locally, Win Globally: Attenuation-Based Frameworks for Online Stochastic Matching with Timeouts.	Algorithmica	2020	DBLP DOI BibTeX RDF
24	Stefanos Peros, Emekcan Aras, Wouter Joosen, Danny Hughes 0001	Kairos: a self-configuring approach for short and accurate event timeouts in IoT.	MobiQuitous	2020	DBLP DOI BibTeX RDF
24	Thomas Laurent 0003, Fionnuala Wall, Anthony Ventresque	On the impact of timeouts and JVM crashes in Pitest.	ICST Workshops	2020	DBLP DOI BibTeX RDF
24	Omer Nguena Timo, Dimitri Prestat, Antoine Rollet	Multiple Mutation Testing for Timed Finite State Machine with Timed Guards and Timeouts.	ICTSS	2019	DBLP DOI BibTeX RDF
24	Bogdan Aman, Gabriel Ciobanu	Verification of Multi-agent Systems with Timeouts for Migration and Communication.	ICTAC	2019	DBLP DOI BibTeX RDF
24	Omer Nguena Timo, Dimitri Prestat, Florent Avellaneda	Fault Detection in Timed FSM with Timeouts by SAT-Solving.	QRS	2019	DBLP DOI BibTeX RDF
24	Brian Brubach, Karthik Abinav Sankararaman, Aravind Srinivasan, Pan Xu 0001	Attenuate Locally, Win Globally: An Attenuation-based Framework for Online Stochastic Matching with Timeouts.	CoRR	2018	DBLP BibTeX RDF
24	Omer Nguena Timo, Dimitri Prestat, Florent Avellaneda	Fault Detection for Timed FSM with Timeouts by Constraint Solving.	CoRR	2018	DBLP BibTeX RDF
24	Aleksandr S. Tvardovskii, Khaled El-Fakih, Nina Yevtushenko 0001	Deriving Tests with Guaranteed Fault Coverage for Finite State Machines with Timeouts.	ICTSS	2018	DBLP DOI BibTeX RDF
24	James C. Davis 0001, Eric R. Williamson, Dongyoon Lee	A Sense of Time for JavaScript and Node.js: First-Class Timeouts as a Cure for Event Handler Poisoning.	USENIX Security Symposium	2018	DBLP BibTeX RDF
24	Ahmed Mohamed Abdelmoniem, Brahim Bensaou	Curbing Timeouts for TCP-Incast in Data Centers via A Cross-Layer Faster Recovery Mechanism.	INFOCOM	2018	DBLP DOI BibTeX RDF
24	Brian Brubach, Karthik Abinav Sankararaman, Aravind Srinivasan, Pan Xu 0001	Attenuate Locally, Win Globally: An Attenuation-based Framework for Online Stochastic Matching with Timeouts.	AAMAS	2017	DBLP BibTeX RDF
24	Lubos Korenciak, Vojtech Rehák, Adrian Farmadin	Extension of PRISM by Synthesis of Optimal Timeouts in Fixed-Delay CTMC.	CoRR	2016	DBLP BibTeX RDF
24	Prasanthi Sreekumari, Jae-Il Jung, Meejeong Lee	A simple and efficient approach for reducing TCP timeouts due to lack of duplicate acknowledgments in data center networks.	Clust. Comput.	2016	DBLP DOI BibTeX RDF
24	Lubos Korenciak, Vojtech Rehák, Adrian Farmadin	Extension of PRISM by Synthesis of Optimal Timeouts in Fixed-Delay CTMC.	IFM	2016	DBLP DOI BibTeX RDF
24	S. Sathya Priya, Krishnan Murugan	Improving TCP Performance in Wireless Networks by Detection and Avoidance of Spurious Retransmission Timeouts.	J. Inf. Sci. Eng.	2015	DBLP BibTeX RDF
24	Mercedes G. Merayo, Alberto Núñez	Passive testing of communicating systems with timeouts.	Inf. Softw. Technol.	2015	DBLP DOI BibTeX RDF
24	Eleni-Constantina Davri, Kimon P. Kontovasilis, Charalabos Skianis	Optimized network coding efficiency under QoS constraints in two-way relay networks with timeouts.	ICC	2015	DBLP DOI BibTeX RDF
24	Davide Ancona, Daniela Briola, Viviana Mascardi	Protocols with Exceptions, Timeouts, and Handlers: A Uniform Framework for Monitoring Fail-Uncontrolled and Ambient Intelligence Systems.	WOA	2015	DBLP BibTeX RDF
24	Ramakrishna Padmanabhan, Patrick Owen, Aaron Schulman, Neil Spring	Timeouts: Beware Surprisingly High Delay.	Internet Measurement Conference	2015	DBLP DOI BibTeX RDF
24	Prasanthi Sreekumari, Meejeong Lee	Adjusting the TCP Sending Rate and Retransmissions after Retransmission Timeouts Based on One-Way Queuing Delay in Wireless Mesh Network.	Wirel. Pers. Commun.	2014	DBLP DOI BibTeX RDF
24	Eduardo Gonzalez, Stan McClellan, Wuxu Peng	RTOmin as a balancing parameter between fast retransmissions and timeouts within stream control transmission protocol (SCTP).	ICSAI	2014	DBLP DOI BibTeX RDF
24	Yu Xia 0001, Ting Wang 0001, Zhiyang Su, Mounir Hamdi	Preventing passive TCP timeouts in data center networks with packet drop notification.	CloudNet	2014	DBLP DOI BibTeX RDF
24	Consolee Mbarushimana, Alireza Shahrabi	Alleviating contention-induced spurious timeouts in QoS-aware MANETs.	Ad Hoc Networks	2013	DBLP DOI BibTeX RDF
24	Prasanthi Sreekumari, Meejeong Lee	TCP NRT: a new TCP algorithm for differentiating non-congestion retransmission timeouts over multihop wireless networks.	EURASIP J. Wirel. Commun. Netw.	2013	DBLP DOI BibTeX RDF
24	Prasanthi Sreekumari, Meejeong Lee, Sang-Hwa Chung	A Sender Side Algorithm for Handling Retransmission Timeouts of TCP NewReno over Multi-hop Wireless Networks.	AINA	2013	DBLP DOI BibTeX RDF
24	Prasanthi Sreekumari, Meejeong Lee	An Efficient TCP Algorithm for Differentiating Random Packet Losses from Spurious Retransmission Timeouts in Multi-hop Wireless Networks.	HPCC-ICESS	2012	DBLP DOI BibTeX RDF
24	Mercedes G. Merayo	Passive Testing of Timed Systems with Timeouts.	QSIC	2012	DBLP DOI BibTeX RDF
24	Prasanthi Sreekumari, Sang-Hwa Chung	A new TCP mechanism for reducing retransmission timeouts over multi-hop wireless networks.	SAC	2011	DBLP DOI BibTeX RDF
24	Michal Munk, Martin Drlík	Influence of Different Session Timeouts Thresholds on Results of Sequence Rule Analysis in Educational Data Mining.	DICTAP (1)	2011	DBLP DOI BibTeX RDF
24	Allen Van Gelder	Careful Ranking of Multiple Solvers with Timeouts and Ties.	SAT	2011	DBLP DOI BibTeX RDF
24	Mikkel Thorup	Timeouts with time-reversed linear probing.	INFOCOM	2011	DBLP DOI BibTeX RDF
24	Mi-Young Park, Sang-Hwa Chung	Detecting TCP Retransmission Timeouts Non-related to Congestion in Multi-Hop Wireless Networks.	IEICE Trans. Inf. Syst.	2010	DBLP DOI BibTeX RDF
24	Lucas Dias Palhao Mendes, Jose Marcos Camara Brito	Effects of the use of an IEEE 802.11 Snoop Agent on TCP timeouts.	WCNIS	2010	DBLP DOI BibTeX RDF
24	Zakaria Al-Qudah, Michael Rabinovich, Mark Allman	Web Timeouts and Their Implications.	PAM	2010	DBLP DOI BibTeX RDF
24	Sean Tozer, Tim Brecht, Ashraf Aboulnaga	Q-Cop: Avoiding bad query mixes to minimize client timeouts under heavy loads.	ICDE	2010	DBLP DOI BibTeX RDF
24	Mi-Young Park, Sang-Hwa Chung	Distinguishing the Cause of TCP Retransmission Timeouts in Multi-hop Wireless Networks.	HPCC	2010	DBLP DOI BibTeX RDF
24	Pasi Sarolahti, Markku Kojo, Kazunori Yamamoto, Max Hata	Forward RTO-Recovery (F-RTO): An Algorithm for Detecting Spurious Retransmission Timeouts with TCP.	RFC	2009	DBLP DOI BibTeX RDF
24	Fei Xin, Abbas Jamalipour	Detecting spurious timeouts in wireless cellular networks using DS-Agent.	Wirel. Commun. Mob. Comput.	2008	DBLP DOI BibTeX RDF
24	Consolee Mbarushimana, Alireza Shahrabi	Resource Efficiency in MANETs: Effect of Spurious Timeouts and Routing Protocol Dynamics.	VTC Fall	2008	DBLP DOI BibTeX RDF
24	Consolee Mbarushimana, Alireza Shahrabi	Resource Efficient TCP: Reducing Contention-Induced Spurious Timeouts in QoS -Aware MANETs.	AINA	2008	DBLP DOI BibTeX RDF	Spurious, TCP, Resource, 802.11e
24	David Malone, Douglas J. Leith, Anshuman Aggarwal, Ian Dangerfield	Spurious TCP timeouts in 802.11 networks.	WiOpt	2008	DBLP DOI BibTeX RDF
24	Mercedes G. Merayo, Robert M. Hierons, Manuel Núñez 0001	Extending Stream X-Machines to Specify and Test Systems with Timeouts.	SEFM	2008	DBLP DOI BibTeX RDF
24	Florian Liers, Christian Burkhardt, Andreas Mitschele-Thiel	Static RRC Timeouts for Various Traffic Scenarios.	PIMRC	2007	DBLP DOI BibTeX RDF
24	Mercedes G. Merayo, Manuel Núñez 0001, Ismael Rodríguez	Testing Finite State Machines Presenting Stochastic Time and Timeouts.	EPEW	2007	DBLP DOI BibTeX RDF
24	Tristan Glatard, Xavier Pennec	Optimizing jobs timeouts on clusters and production grids.	CCGRID	2007	DBLP DOI BibTeX RDF
24	Francesco Vacirca, Thomas Ziegler 0001, Eduard Hasenleithner	An algorithm to detect TCP spurious timeouts and its application to operational UMTS/GPRS networks.	Comput. Networks	2006	DBLP DOI BibTeX RDF
24	N. J. Kothari, B. M. Gambhava, Kankar S. Dasgupta	RTT Utilization by Detecting Avoidable Timeouts.	ICON	2006	DBLP DOI BibTeX RDF
24	Rob J. van Glabbeek	On Specifying Timeouts.	APC 25	2005	DBLP DOI BibTeX RDF
24	Pasi Sarolahti, Markku Kojo	Forward RTO-Recovery (F-RTO): An Algorithm for Detecting Spurious Retransmission Timeouts with TCP and the Stream Control Transmission Protocol (SCTP).	RFC	2005	DBLP DOI BibTeX RDF
24	Florian Liers, Andreas Mitschele-Thiel	UMTS data capacity improvements employing dynamic RRC timeouts.	PIMRC	2005	DBLP DOI BibTeX RDF
24	Fei Xin, Abbas Jamalipour	TCP throughput performance and fairness in wireless networks under spurious timeouts.	ICC	2005	DBLP DOI BibTeX RDF
24	Shaojian Fu, Mohammed Atiquzzaman	DualRTT: detecting spurious timeouts in wireless mobile environments.	IPCCC	2005	DBLP DOI BibTeX RDF