38 results on '"timeouts"'
Search Results
2. Safe Asynchronous Mixed-Choice for Timed Interactions
- Author
-
Pears, Jonah, Bocchi, Laura, King, Andy, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Jongmans, Sung-Shik, editor, and Lopes, Antónia, editor
- Published
- 2023
- Full Text
- View/download PDF
3. MAG: Types for Failure-Prone Communication
- Author
-
Le Brun, Matthew Alan, Dardha, Ornela, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, and Wies, Thomas, editor
- Published
- 2023
- Full Text
- View/download PDF
4. Adaptive Experiments for State Identification in Finite State Machines with Timeouts
- Author
-
Tvardovskii, Aleksandr, Yevtushenko, Nina, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Durand-Lose, Jérôme, editor, and Vaszil, György, editor
- Published
- 2022
- Full Text
- View/download PDF
5. Performance of UDP in Comparison with TCP in Vehicular Communication Networks
- Author
-
Seetha Ramanjaneyulu, B., Annapurna, K., Ravi Sekhar, Y., Xhafa, Fatos, Series Editor, Suma, V., editor, Fernando, Xavier, editor, Du, Ke-Lin, editor, and Wang, Haoxiang, editor
- Published
- 2022
- Full Text
- View/download PDF
6. Time in SCCharts
- Author
-
Schulz-Rosengarten, Alexander, von Hanxleden, Reinhard, Mallet, Frédéric, de Simone, Robert, Deantoni, Julien, Angrisani, Leopoldo, Series Editor, Arteaga, Marco, Series Editor, Panigrahi, Bijaya Ketan, Series Editor, Chakraborty, Samarjit, Series Editor, Chen, Jiming, Series Editor, Chen, Shanben, Series Editor, Chen, Tan Kay, Series Editor, Dillmann, Rüdiger, Series Editor, Duan, Haibin, Series Editor, Ferrari, Gianluigi, Series Editor, Ferre, Manuel, Series Editor, Hirche, Sandra, Series Editor, Jabbari, Faryar, Series Editor, Jia, Limin, Series Editor, Kacprzyk, Janusz, Series Editor, Khamis, Alaa, Series Editor, Kroeger, Torsten, Series Editor, Liang, Qilian, Series Editor, Martin, Ferran, Series Editor, Ming, Tan Cher, Series Editor, Minker, Wolfgang, Series Editor, Misra, Pradeep, Series Editor, Möller, Sebastian, Series Editor, Mukhopadhyay, Subhas, Series Editor, Ning, Cun-Zheng, Series Editor, Nishida, Toyoaki, Series Editor, Pascucci, Federica, Series Editor, Qin, Yong, Series Editor, Seng, Gan Woon, Series Editor, Speidel, Joachim, Series Editor, Veiga, Germano, Series Editor, Wu, Haitao, Series Editor, Zhang, Junjie James, Series Editor, Kazmierski, Tom J., editor, Steinhorst, Sebastian, editor, and Große, Daniel, editor
- Published
- 2020
- Full Text
- View/download PDF
7. Orchestrator for Synchronizing Network Events in SDNs.
- Author
-
Lokesh, Bommareddy and Rajagopalan, Narendran
- Abstract
In Software-defined networks (SDNs), synchronization among network devices is an emergent phenomenon for enhancing the network scalability while preserving the centralized control. Owing to the fixed timeout values attributed to flow rules by the controller, flow table entries that are installed simultaneously are likely to timeout simultaneously and tend to trigger packet_in events at once during the upcoming sampling period. This phenomena in SDNs lead to serious performance and scalability issues when a large number of packet_in events are invoked simultaneously. In the proposed model, the orchestrating agent and the controller duo modulate an ensemble of networking devices from their heterogeneous frequency and incoherent nature of querying the controller into a conciliatory and systematic manner. The orchestrating agent modulates the control flows by altering timeouts, especially for long-lived TCP connections so that the devices do not overwhelm the controller with bursty requests during the future events. In addition, flow_mods to intermediate devices over a multi-hop path are scheduled based on the estimated flow setup latency to avoid redundant packet_ins. The proposed orchestrating agent is implemented in conjunction with the Floodlight controller. The experimental results show that apart from the influence of external delays majority of the flows were well-synchronized and the results show significant improvement in scalability and in the overall performance of the network. [ABSTRACT FROM AUTHOR]
- Published
- 2021
- Full Text
- View/download PDF
8. Automatically adapting system pace towards user pace — Empirical studies.
- Author
-
Cockburn, Andy, Goguey, Alix, Gutwin, Carl, Chen, Zhe, Suwanaposee, Pang, and Dowding, Stewart
- Subjects
- *
USER experience , *EMPIRICAL research - Abstract
An interactive application's overall pace of interaction is a combination of the user's pace and the system's pace, and if the system's pace is mismatched to the user's pace (e.g., timeouts or animations are too fast or slow for the user), usability and user experience can be impaired. Through a series of four studies, we investigated whether users prefer systems where the system's pace better matches their own pace. All of the studies used common drag-and-drop interactions with hierarchical folder widgets, in which a folder would expand when the cursor hovered over it for a timeout period. If the system pace in these interactions is too fast (i.e., the timeout is too short), then the user's performance and subjective experience is likely to be impaired because of unintended expansions; and if the system pace is too slow (i.e., the timeout is too long), then performance and experience could be impaired by unnecessary delay before folders expand. The first experiment was designed to validate the premise that fast-paced users prefer a fast system pace to a slow one (and the inverse for slow-paced users), and results confirmed this premise. The second study used the first experiment's data to look for measures of user pace that could enable automatic adaptation of system pace, and also examined whether participants adjusted their pace towards that of the system. The study found reliable measures of user pace and showed that participants do entrain to the system's pace. The third and fourth studies examined whether users would prefer a system that adapted its pace to the user over a system that used a static baseline pace. Results indicated that a majority of fast-paced users preferred the adaptive interface, but that slow-paced users generally preferred the static baseline interface. We discuss several design implications, including opportunities for systems to improve user experience for fast users by automatically adapting system pace to user pace. • Empirically shows that user preferences for system pace covary with user pace. • Analyses performance measures that can be used to automatically adapt system pace. • Shows that users converge their rate of interaction towards that of the system. • Shows that fast-paced users prefer an adaptive system pace to static pace. [ABSTRACT FROM AUTHOR]
- Published
- 2024
- Full Text
- View/download PDF
9. Rate Adjustment Mechanism for Controlling Incast Congestion in Data Center Networks
- Author
-
Sreekumari, Prasanthi, Kacprzyk, Janusz, Series editor, Pal, Nikhil R., Advisory editor, Bello Perez, Rafael, Advisory editor, Corchado, Emilio S., Advisory editor, Hagras, Hani, Advisory editor, Kóczy, László T., Series editor, Kreinovich, Vladik, Advisory editor, Lin, Chin-Teng, Advisory editor, Lu, Jie, Advisory editor, Melin, Patricia, Advisory editor, Nedjah, Nadia, Advisory editor, Nguyen, Ngoc Thanh, Advisory editor, Wang, Jun, Advisory editor, and Latifi, Shahram, editor
- Published
- 2018
- Full Text
- View/download PDF
10. T-RACKs: A Faster Recovery Mechanism for TCP in Data Center Networks.
- Author
-
Abdelmoniem, Ahmed M. and Bensaou, Brahim
- Subjects
SERVER farms (Computer network management) ,MAGNITUDE (Mathematics) ,IP networks ,TRAFFIC congestion - Abstract
Cloud interactive data-driven applications generate swarms of small TCP flows that compete for the small switch buffer space in data-center. Such applications require a small flow completion time (FCT) to be effective. Unfortunately, TCP is myopic with respect to the composite nature of application data. In addition it tends to artificially inflate the FCT of individual flows by several orders of magnitude, because of its Internet-centric design, that fixes the retransmission timeout (RTO) to be at least hundreds of milliseconds. To better understand this problem, in this paper, we use empirical measurements in a small data center testbed to study, at a microscopic level, the effects of various types of packet losses on TCP’s performance. In particular, we single out packet losses that impact the tail end of small flows, as well as bursty losses that span a significant fraction of small TCP congestion windows, and show a non-negligible effect of such losses on the FCT. Based on this, we propose the so-called, timely-retransmitted ACKs (or T-RACKs), a simple loss recovery mechanism that conceals the drawbacks of the long RTO even in the presence of heavy packet losses. Interestingly enough, T-RACKS achieves this transparently to TCP itself as it does not require any change to TCP in the tenant’s virtual machine (VM) or container. T-RACKs can be implemented as a software shim layer in the hypervisor between the VMs and the server’s NIC or in hardware as a networking function in a SmartNIC. Simulation and real testbed results show remarkable performance improvements. [ABSTRACT FROM AUTHOR]
- Published
- 2021
- Full Text
- View/download PDF
11. Knowledge Dynamics and Behavioural Equivalences in Multi-Agent Systems
- Author
-
Bogdan Aman and Gabriel Ciobanu
- Subjects
mobile agents ,timeouts ,knowledge as set of trees ,behavioural equivalences ,Mathematics ,QA1-939 - Abstract
We define a process calculus to describe multi-agent systems with timeouts for communication and mobility able to handle knowledge. The knowledge of an agent is represented as sets of trees whose nodes carry information; it is used to decide the interactions with other agents. The evolution of the system with exchanges of knowledge between agents is presented by the operational semantics, capturing the concurrent executions by a multiset of actions in a labelled transition system. Several results concerning the relationship between the agents and their knowledge are presented. We introduce and study some specific behavioural equivalences in multi-agent systems, including a knowledge equivalence able to distinguish two systems based on the interaction of the agents with their local knowledge.
- Published
- 2021
- Full Text
- View/download PDF
12. The Timeout in Sports: A Study of Its Effect on Volleyball
- Author
-
Carmen Fernández-Echeverría, Jara González-Silva, Inma T. Castro, and M. Perla Moreno
- Subjects
coach management ,timeouts ,formative stages ,volleyball ,binary logistic regression ,Psychology ,BF1-990 - Abstract
The purpose of this study was to analyse the variables (lost rallies and score difference) that determine the timeout effect (positive or no effect) in volleyball, in balanced and unbalanced sets. 232 timeouts, requested by the coaches of 66 male and female teams participating in the Spanish Championship in the Under-14 and Under-16 categories, were analysed. The variables considered in this study were timeout effects, lost rallies and score differences. To analyse the timeout effect, a binary logistic regression model was applied. The results of this model show that, in balanced sets, the variables that predict the timeout effect are the number of rallies (≤2 lost rallies) and the score difference (2–3 points), whilst in unbalanced sets, and the variable that predicts the timeout effect is the number of lost rallies (3 lost rallies). These results show the importance of bearing these variables in mind when timeouts are managed and requested by coaches, in order to optimise the team’s performance.
- Published
- 2019
- Full Text
- View/download PDF
13. The Timeout in Sports: A Study of Its Effect on Volleyball.
- Author
-
Fernández-Echeverría, Carmen, González-Silva, Jara, Castro, Inma T., and Perla Moreno, M.
- Subjects
VOLLEYBALL ,LOGISTIC regression analysis ,REGRESSION analysis ,SPORTS - Abstract
The purpose of this study was to analyse the variables (lost rallies and score difference) that determine the timeout effect (positive or no effect) in volleyball, in balanced and unbalanced sets. 232 timeouts, requested by the coaches of 66 male and female teams participating in the Spanish Championship in the Under-14 and Under-16 categories, were analysed. The variables considered in this study were timeout effects, lost rallies and score differences. To analyse the timeout effect, a binary logistic regression model was applied. The results of this model show that, in balanced sets, the variables that predict the timeout effect are the number of rallies (≤2 lost rallies) and the score difference (2–3 points), whilst in unbalanced sets, and the variable that predicts the timeout effect is the number of lost rallies (3 lost rallies). These results show the importance of bearing these variables in mind when timeouts are managed and requested by coaches, in order to optimise the team's performance. [ABSTRACT FROM AUTHOR]
- Published
- 2019
- Full Text
- View/download PDF
14. Timeouts
- Author
-
Everett, Gregory E., Ferrero-Baker, Brooke, Goldstein, Sam, editor, and Naglieri, Jack A., editor
- Published
- 2011
- Full Text
- View/download PDF
15. Applied and Computational Mathematics for Digital Environments.
- Author
-
Demidova, Liliya and Demidova, Liliya
- Subjects
Mathematics & science ,Research & information: general ,CNN classifier ,Calculus ,Fokker-Planck equation ,SVM classifier ,UMAP algorithm ,behavioural equivalences ,complex numbers ,computer algebra system ,control synthesis ,cooperative co-evolution ,data analysis ,dataset ,decision-making ,density of transport links ,digital platforms ,entropy ,evolutionary algorithm ,experimental virtual environment ,features ,fractal dimension ,image segmentation ,increasing traffic capacity ,kNN classifier ,knowledge as set of trees ,large-scale global optimization ,machine learning ,machine learning algorithm ,management ,mathematical model for evaluating the effectiveness of integrating information technology ,memetic algorithm ,mobile agents ,mobile robot ,monitoring ,multiscale analysis ,n/a ,nonlinear dynamics ,nonsmooth minimization methods ,oncological disease ,optimal control ,outdoor environments ,percolation threshold ,power law ,problem decomposition ,processes in social systems ,relaxation subgradient methods ,self-adaptive differential evolution ,space dilation ,stabilization ,statistics ,symbolic computation ,symbolic regression ,system on chip ,timeouts ,transport link density ,transport network ,virtual simulation infrastructures ,wxMaxima - Abstract
Summary: The present reprint contains the 11 papers that were accepted and published in the Special Issue "Applied and Computational Mathematics for Digital Environments" of the MDPI Mathematics journal. The topics of interest include, among others, scientific research, applied tasks, and problems in the following areas: The construction of mathematical and information models of intelligent computer systems for monitoring and controlling the parameters of digital environments; The development of intelligent optimization algorithms that search for optimal parameter values of mathematical and information models in digital environments; Software and mathematical technologies in the implementation of intelligent monitoring and computer control of the parameters of digital environments; The development and application of mathematical and information models, machine learning methods, and artificial intelligence for the analysis and processing of big data in digital environments. I hope that this reprint will be useful to those who are interested in the real-world applications of applied and computational mathematics for digital environments in terms of solving actual, practical problems in all spheres of human life and activity.
16. The use of timeouts in volleyball, depending on the team score.
- Author
-
ABREU, ANTONIO, FERNÁNDEZ-ECHEVERRIA, CARMEN, GONZALEZ-SILVA, JARA, CLAVER, FERNANDO, CONEJERO, MANUEL, and MORENO, M. PERLA
- Abstract
In the management of team sport competition, timeouts are one of the main tools of the coach to stop the game. It could be used on changing trends or the rhythm of the game, and also on providing relevant information to the players. So, it may have an important effect in sporting success. The main objective of the research was to analyse the use of timeouts (TO) in U-19 male volleyball teams, as well as the effect of the game on then, depending on the match score (winning-balanced, or losing). 171 timeouts, requested by coaches of the 21 teams participating in the U-19 male Spanish Championship 2012, were analysed. The variables considered in this study were: match score (TO requested when winning-balanced score or when losing); score difference (0-1 points, 2-3 points, 4 or more points); lost rallies (0-1 rallies, 2 rallies, ≥ 3 rallies); game period (initial moment of the set, final moment of the set); timeout effect (positive timeout effect and time out with no effect). The results showed that variables significantly associated with the TO request with different score (winning-balanced, losing) were: score difference, game period and timeout effect. Specifically, contributed positively to the association: TO request with winning-balanced score with the score difference of 0-1 points, with the final moments of the set and with the positive timeout effect; TO request with a losing score with the score difference of 4 or more points, in the initial moments of the set and with no effect of the timeout. This results could be taken into account in the process of team management in competition, in volleyball formative stages. [ABSTRACT FROM AUTHOR]
- Published
- 2017
- Full Text
- View/download PDF
17. Multiple Congestion Points and Congestion Reaction Mechanisms for Improving DCTCP Performance in Data Center Networks
- Author
-
Prasanthi Sreekumari
- Subjects
TCP ,data centers ,timeouts ,double threshold ,Information technology ,T58.5-58.64 - Abstract
For addressing problems such as long delays, latency fluctuations, and frequent timeouts in conventional Transmission Control Protocol (TCP) in a data center environment, Data Center TCP (DCTCP) has been proposed as a TCP replacement to satisfy the requirements of data center networks. It is gaining more popularity in academic as well as industry areas due to its performance in terms of high throughput and low latency, and is widely deployed in data centers. However, according to the recent research about the performance of DCTCP, authors have found that most times the sender’s congestion window reduces to one segment, which results in timeouts. In addition, the authors observed that the nonlinear marking mechanism of DCTCP causes severe queue oscillation, which results in low throughput. To address the above issues of DCTCP, we propose multiple congestion points using double threshold and congestion reaction using window adjustment (DT-CWA) mechanisms for improving the performance of DCTCP by reducing the number of timeouts. The results of a series of simulations in a typical data center network topology using Qualnet network simulator, the most widely used network simulator, demonstrate that the proposed window-based solution can significantly reduce the timeouts and noticeably improves the throughput compared to DCTCP under various network conditions.
- Published
- 2018
- Full Text
- View/download PDF
18. Моделирование метода ранней диагностики потерь трафика реального времени в программно-конфигурируемых сетях на основе аппарата сетей Петри
- Subjects
таймауты ,real-time traffic ,контроллер ,сети Петри ,программно-конфигурируемые сети ,flow tables ,Petri nets ,switch ,timeouts ,Ethernet ,OpenFlow ,трафик реального времени ,таблицы потоков ,CPN Tools ,controller ,коммутатор ,software defined network - Abstract
В статье рассмотрена и исследована модель метода ранней диагностики потерь трафика реального времени в программно-конфигурируемых сетях (ПКС) при передаче разнородного трафика в коммутаторе OpenFlow на основе цветных временных иерархических сетей Петри и с использованием пакета моделирования CPN Tools. Разработаны и описаны подсети Петри, моделирующие основной процесс передачи трафика в ПКС. Проведено экспериментальное моделирование с различной загрузкой коммутатора и сравнение результатов разработанного метода с классическим методом передачи разнородного трафика в ПКС., Introduction. The classic computer network is Ethernet with support for Quality of Service (QoS). The further development of computer networks was the emergence of distributed networks, such as Time-Triggered Ethernet, software defined networks (SDN), cloud computing. The reason for the transition to the development of distributed networks was the limitation of the classical Ethernet computer network for further developments and variations in traffic transmission according to the IEEE 802.1 standard. In SDN the main protocol is OpenFlow, the protocol allows you to process and manage heterogeneous traffic. The main disadvantages of the OpenFlow protocol include a significant increase in the frame search time in the flow tables and a message to the controller about its removal at a late stage of diagnostics until a search occurs in all flow tables, in case of its inconsistency in fields. The aim of the research is improving the efficiency of loss diagnostics of real-time traffic in SDN. Tasks: the construction of a classification of the type of traffic at the switch input, the construction of a Petri subnet of the process of transmitting real-time traffic to the timeout controls in the SDN, the construction of a Petri subnet of the control of hard and idle timeouts, modification of the subnets of the flow table, comparison of the flow with the flow table, experimental modeling with different switch loading and comparison of the results of the developed method with the classical transfer of heterogeneous traffic to the SDN. Methods. A model of the method of early diagnosis of real-time traffic losses in the SDN based on color time hierarchical Petri nets using a free distributed package CPN Tools has been developed and described. The hard timeout and idle timeout control subnets developed recognize the loss of real-time traffic frames at an early stage, and this circumstance allows you to inform the SDN controller about the retransmission of the frame. In connection with the introduction of timeout control by separate subnets, traffic transmission through flow tables is greatly simplified, since there is no control of storage, processing of timeouts using the OpenFlow protocol. Results.An experimental study and comparison of the developed models based on the apparatus of Petri nets was carried out. Measurements of the time from entering the flow table 0 to N and how much time in clock pulses was required to determine the desired rule from the flow table were taken into account. According to the data obtained, the method of early diagnosis of real-time traffic losses in the SDN has proven its effectiveness and provides a reduction in the delay for transmitting real-time traffic with normal switch load 0.8 by 36% on average, the delay of real-time traffic is reduced due to early diagnosis of timeouts in the SDN., ВЕСТНИК ПОВОЛЖСКОГО ГОСУДАРСТВЕННОГО ТЕХНОЛОГИЧЕСКОГО УНИВЕРСИТЕТА. СЕРИЯ: РАДИОТЕХНИЧЕСКИЕ И ИНФОКОММУНИКАЦИОННЫЕ СИСТЕМЫ, Выпуск 2 (54) 2022, Pages 47-60
- Published
- 2022
- Full Text
- View/download PDF
19. Knowledge Dynamics and Behavioural Equivalences in Multi-Agent Systems
- Author
-
Gabriel Ciobanu and Bogdan Aman
- Subjects
Multiset ,Theoretical computer science ,Computer science ,General Mathematics ,Carry (arithmetic) ,Process calculus ,Multi-agent system ,behavioural equivalences ,Operational semantics ,timeouts ,knowledge as set of trees ,Dynamics (music) ,Transition system ,Computer Science (miscellaneous) ,QA1-939 ,mobile agents ,Engineering (miscellaneous) ,Equivalence (measure theory) ,Mathematics - Abstract
We define a process calculus to describe multi-agent systems with timeouts for communication and mobility able to handle knowledge. The knowledge of an agent is represented as sets of trees whose nodes carry information, it is used to decide the interactions with other agents. The evolution of the system with exchanges of knowledge between agents is presented by the operational semantics, capturing the concurrent executions by a multiset of actions in a labelled transition system. Several results concerning the relationship between the agents and their knowledge are presented. We introduce and study some specific behavioural equivalences in multi-agent systems, including a knowledge equivalence able to distinguish two systems based on the interaction of the agents with their local knowledge.
- Published
- 2021
20. A simple and efficient approach for reducing TCP timeouts due to lack of duplicate acknowledgments in data center networks.
- Author
-
Sreekumari, Prasanthi, Jung, Jae-Il, and Lee, Meejeong
- Subjects
- *
SERVER farms (Computer network management) , *TCP/IP , *COMMUNICATION infrastructure , *WEB search engines - Abstract
The problem of TCP incast in data centers attracts a lot of attention in our research community. TCP incast is a catastrophic throughput collapse that occurs when multiple senders transmitting TCP data simultaneously to a single aggregator. Based on several experiments, researchers found that TCP timeouts are the primary cause of incast problem. Particularly, timeouts due to insufficient duplicate acknowledgments is unavoidable when at least one of the last three segments is lost from the tail of a window. As a result, this type of timeouts should be avoided to improve the goodput of TCP in data center networks. A few attempts have been made to reduce timeouts, but still the problem is not completely solved especially in the case of timeouts due to insufficient duplicate acknowledgments. In this paper, we present an efficient TCP fast retransmission approach, called TCP-EFR, which is capable to reduce TCP timeouts due to lack of duplicate acknowledgments which is caused by the loss of packets from the tail of a window in data center networks. TCP-EFR makes changes in the fast retransmission and recovery algorithm of TCP by using the congestion signal mechanism of DCTCP based on instantaneous queue length. In addition, TCP-EFR controls the sending rate for avoiding the overflow of switch buffer in order to reduce the loss of packets. The results of a series of simulations in single as well as multiple bottleneck topologies using qualnet 4.5 demonstrates that TCP-EFR can significantly reduce the timeouts due to inadequate duplicate acknowledgments and noticeably improves the performance compared to DCTCP, ICTCP and TCP in terms of goodput, accuracy and stability under various network conditions. [ABSTRACT FROM AUTHOR]
- Published
- 2016
- Full Text
- View/download PDF
21. T-RACKs: A Faster Recovery Mechanism for TCP in Data Center Networks
- Author
-
Mohamed Abdelmoniem Sayed, Ahmed, Bensaou, Brahim, Mohamed Abdelmoniem Sayed, Ahmed, and Bensaou, Brahim
- Abstract
Cloud interactive data-driven applications generate swarms of small TCP flows that compete for the small switch buffer space in data-center. Such applications require a small flow completion time (FCT) to be effective. Unfortunately, TCP is myopic with respect to the composite nature of application data. In addition it tends to artificially inflate the FCT of individual flows by several orders of magnitude, because of its Internet-centric design, that fixes the retransmission timeout (RTO) to be at least hundreds of milliseconds. To better understand this problem, in this paper, we use empirical measurements in a small data center testbed to study, at a microscopic level, the effects of various types of packet losses on TCP's performance. In particular, we single out packet losses that impact the tail end of small flows, as well as bursty losses that span a significant fraction of small TCP congestion windows, and show a non-negligible effect of such losses on the FCT. Based on this, we propose the so-called, timely-retransmitted ACKs (or T-RACKs), a simple loss recovery mechanism that conceals the drawbacks of the long RTO even in the presence of heavy packet losses. Interestingly enough, T-RACKS achieves this transparently to TCP itself as it does not require any change to TCP in the tenant's virtual machine (VM) or container. T-RACKs can be implemented as a software shim layer in the hypervisor between the VMs and the server's NIC or in hardware as a networking function in a SmartNIC. Simulation and real testbed results show remarkable performance improvements. IEEE
- Published
- 2021
22. Interaction Pace and User Preferences
- Author
-
Zhe Chen, Carl Gutwin, Alix Goguey, Andy Cockburn, Pang Suwanaposee, Université Grenoble Alpes (UGA), University of Saskatchewan [Saskatoon] (U of S), and University of Canterbury [Christchurch]
- Subjects
Computer science ,05 social sciences ,020207 software engineering ,02 engineering and technology ,Cursor (databases) ,timeouts ,Interaction pace convergence ,Human–computer interaction ,user preferences ,0202 electrical engineering, electronic engineering, information engineering ,0501 psychology and cognitive sciences ,Convergence (relationship) ,[INFO.INFO-HC]Computer Science [cs]/Human-Computer Interaction [cs.HC] ,Timeout ,Speech rate ,050107 human factors ,Pace - Abstract
International audience; The overall pace of interaction combines the user's pace and the system's pace, and a pace mismatch could impair user preferences (e.g., animations or timeouts that are too fast or slow for the user). Motivated by studies of speech rate convergence, we conducted an experiment to examine whether user preferences for system pace are correlated with user pace. Subjects frst completed a series of trials to determine their user pace. They then completed a series of hierarchical drag-and-drop trials in which folders automatically expanded when the cursor hovered for longer than a controlled timeout. Results showed that preferences for timeout values correlated with user pace-slow-paced users preferred long timeouts, and fast-paced users preferred short timeouts. Results indicate potential benefts in moving away from fxed or customisable settings for system pace. Instead, systems could improve preferences by automatically adapting their pace to converge towards that of the user. CCS CONCEPTS • Human-centered computing → HCI theory, concepts and models; Empirical studies in HCI.
- Published
- 2021
- Full Text
- View/download PDF
23. Passive Testing of Timed Systems with Timeouts.
- Author
-
Merayo, Mercedes G.
- Abstract
This paper presents a framework to perform passive testing for systems where time aspects affect their behavior. Temporal aspects can be associated with both performance of actions and delays/timeouts. Actually, timeouts have the capability of affecting the subsequent behaviors of the system. Therefore, the expected functional behavior of the studied systems must take into account the possible timeouts. In our approach, so called invariants represent the most relevant expected properties of the implementation under test. We present algorithms to decide both the correctness of the proposed invariants with respect to a given specification and the correctness of the traces extracted from the implementation under test with respect to a set of invariants. The soundness of the method related to a specific implementation relation is also shown. [ABSTRACT FROM PUBLISHER]
- Published
- 2012
- Full Text
- View/download PDF
24. ATM Enhanced Acessibility for Disabled Persons: A Study of Time Limits
- Author
-
Lopes, Jo��o Brisson, Pereira, Leonor Moniz, and Cordeiro, Ant��nio Raposo
- Subjects
usability ,timeouts ,experimental studies ,user centred design ,ATM ,ComputingMilieux_COMPUTERSANDSOCIETY ,Accessibility ,human activities - Abstract
This paper presents an accessibility study carried out to determine the most appropriate timeout values that allow users with disabilities to use ATM terminals to carry out banking operations. The paper describes the methodology applied to the study which consisted of a questionnaire phase, followed by a test phase which took place in an ATM test bed from which recommendations were drawn. This study addressed the diversity of problems presented by users with visual disabilities (low vision and blindness), motor disabilities (wheelchair, assistive walking devices and limited dexterity) and intellectual disabilities., Interac����o 2006 - 2�� Confer��ncia Nacional em Interac����o Pessoa-M��quina, Sess��es T��cnicas, 19, 25, Jo��o Brisson Lopes, Leonor Moniz Pereira, and Ant��nio Raposo Cordeiro, Accessibility, user centred design, usability, experimental studies, ATM, timeouts
- Published
- 2021
- Full Text
- View/download PDF
25. Alleviating contention-induced spurious timeouts in QoS-aware MANETs.
- Author
-
Mbarushimana, C. and Shahrabi, A.
- Subjects
QUALITY of service ,AD hoc computer networks ,COMPUTER network protocols ,COMPUTER networks ,BANDWIDTHS ,DATA transmission systems ,COMPUTER simulation - Abstract
Abstract: The bandwidth is one of the most precious resources in Mobile Ad Hoc Networks (MANETs); their network protocols should therefore be able to achieve an increase in efficiency of bandwidth utilisation. TCP, which implements flow control to regulate the network traffic, plays a significant role in shaping the workload of the network. However, spurious TCP retransmissions can increase the link utilisation, consequently limiting the amount of spare bandwidth available as extensively reported in the literature. This problem is exacerbated by the presence of high priority traffic and traffic differentiation introduced in IEEE 802.11e. In this paper, we focus on the optimisation of TCP for resource efficiency, by limiting the number of contention-induced retransmissions. Using a cross-layer technique, TCP can be notified of the medium contention state and adjusts its retransmission timer accordingly. Our simulation results demonstrate the effectiveness of our proposal in various scenarios. A 15% gain in resource utilisation is obtained, fewer packets are retransmitted thus reducing the overall power consumption and TCP goodput is improved. [Copyright &y& Elsevier]
- Published
- 2013
- Full Text
- View/download PDF
26. Effects of coaches' timeouts on basketball teams' offensive and defensive performances according to momentary differences in score and game period.
- Author
-
Gómez, MiguelA., Jiménez, Sergio, Navarro, Rafael, Lago-Penas, Carlos, and Sampaio, Jaime
- Subjects
- *
BASKETBALL , *ANALYSIS of variance , *ATHLETIC ability , *CHI-squared test , *COACHES (Athletics) , *STATISTICS , *DATA analysis , *INTER-observer reliability , *REPEATED measures design - Abstract
The aim of the present study was to assess the effects of game timeouts on basketball teams' offensive and defensive performances according to momentary differences in score and game period. The sample consisted of 144 timeouts registered during 18 basketball games randomly selected from the 2007 European Basketball Championship (Spain). For each timeout, five ball possessions were registered before (n=493) and after the timeout (n=475). The offensive and defensive efficiencies were registered across the first 35 min and last 5 min of games. A k-means cluster analysis classified the timeouts according to momentary score status as follows: losing (-10 to -3 points), balanced (-2 to 3 points), and winning (4 to 10 points). Repeated-measures analysis of variance identified statistically significant main effects between pre and post timeout offensive and defensive values. Chi-square analysis of game period identified a higher percentage of timeouts called during the last 5 min of a game compared with the first 35 min (64.9±9.1% vs. 35.1±10.3%; χ2=5.4, P<0.05). Results showed higher post timeout offensive and defensive performances. No other effect or interaction was found for defensive performances. Offensive performances were better in the last 5 min of games, with the least differences when in balanced situations and greater differences when in winning situations. Results also showed one interaction between timeouts and momentary differences in score, with increased values when in losing and balanced situations but decreased values when in winning situations. Overall, the results suggest that coaches should examine offensive and defensive performances according to game period and differences in score when considering whether to call a timeout. [ABSTRACT FROM AUTHOR]
- Published
- 2011
- Full Text
- View/download PDF
27. Comprehensive performance analysis of a TCP session over a wireless fading link with queueing.
- Author
-
Abouzeid, A.A., Roy, S., and Azizoglu, M.
- Abstract
A link model-driven approach toward transmission control protocol (TCP) performance over a wireless link is presented. TCP packet loss behavior is derived from an underlying two-state continuous time Markov model. The approach presented here is (to our knowledge) the first that simultaneously considers (1) variability of the round-trip delay due to buffer queueing; (2) independent and nonindependent (bursty) link errors; (3) TCP packet loss due to both buffer overflow and channel errors; and (4) the two modes of TCP packet loss detection (duplicate acknowledgments and timeouts). The analytical results are validated against simulations using the ns-2 simulator for a wide range of parameters; slow and fast fading links; small and large link bandwidth-delay products. For channels with memory, an empirical rule is presented for categorizing the impact of channel dynamics (fading rate) on TCP performance. [ABSTRACT FROM PUBLISHER]
- Published
- 2003
- Full Text
- View/download PDF
28. Time in SCCharts
- Author
-
Robert de Simone, Reinhard von Hanxleden, Alexander Schulz-Rosengarten, Julien Deantoni, Frédéric Mallet, Christian-Albrechts-Universität zu Kiel (CAU), Department of Computer Science [Kiel], Logical Time for Formal Embedded System Design (KAIROS), Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-COMmunications, Réseaux, systèmes Embarqués et Distribués (Laboratoire I3S - COMRED), Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (I3S), Université Nice Sophia Antipolis (... - 2019) (UNS), COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA)-Université Nice Sophia Antipolis (... - 2019) (UNS), COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA)-Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (I3S), COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA), Université Côte d'Azur (UCA), Institut National de Recherche en Informatique et en Automatique (Inria), COMUE Université Côte d'Azur (2015-2019) (COMUE UCA), Université Nice Sophia Antipolis (1965 - 2019) (UNS), COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA)-Université Nice Sophia Antipolis (1965 - 2019) (UNS), and COMmunications, Réseaux, systèmes Embarqués et Distribués (Laboratoire I3S - COMRED)
- Subjects
Time-event-triggered ,Computer science ,Cost accounting ,Multirate timed automata ,Physical execution time ,02 engineering and technology ,computer.software_genre ,KIELER ,Sequential constructiveness ,Synchronous languages ,0202 electrical engineering, electronic engineering, information engineering ,Timing constraints ,Model-based engineering ,Timed automata ,Reactive system ,Real-time systems ,Dynamic ticks ,Timeouts ,computer.programming_language ,Clocks ,020203 distributed computing ,Clock constraint specification language ,Determinism ,Lustre (programming language) ,Programming language ,020207 software engineering ,Multiform notion of time ,Timing specification ,Periodic executions ,Automaton ,Esterel ,Event-triggered ,Time-triggered ,Life-critical system ,Reactive systems ,Initialize-update-read protocol ,Safety-critical systems ,[INFO.INFO-ES]Computer Science [cs]/Embedded Systems ,computer ,SCCharts - Abstract
Best Paper Award; International audience; Synchronous languages, such as the recently proposed SCCharts language, have been designed for the rigorous specification of real-time systems. Their sound semantics, which builds on an abstraction from physical execution time, make these languages appealing, in particular for safety-critical systems. However, they traditionally lack built-in support for physical time. This makes it rather cumbersome to express things like time-outs or periodic executions within the language. We here propose several mechanisms to reconcile the synchronous paradigm with physical time. Specifically, we propose extensions to the SCCharts language to express clocks and execution periods within the model. We draw on several sources, in particular timed automata, the Clock Constraint Specification Language, and the recently proposed concept of dynamic ticks. We illustrate how these extensions can be mapped to the SCChart language core, with minimal requirements on the run-time system, and we argue that the same concepts could be applied to other synchronous languages such as Esterel, Lustre or SCADE.
- Published
- 2019
- Full Text
- View/download PDF
29. The Timeout in Sports: A Study of Its Effect on Volleyball
- Author
-
I. T. Castro, Jara González-Silva, Carmen Fernández-Echeverría, and M. Perla Moreno
- Subjects
Coach management ,lcsh:BF1-990 ,volleyball ,binary logistic regression ,Binary logistic regression ,Logistic regression ,Formative stages ,timeouts ,Variable (computer science) ,formative stages ,Volleyball ,lcsh:Psychology ,Order (business) ,Statistics ,Psychology ,Championship ,Timeout ,coach management ,General Psychology ,Timeouts ,Original Research - Abstract
The purpose of this study was to analyse the variables (lost rallies and score difference) that determine the timeout effect (positive or no effect) in volleyball, in balanced and unbalanced sets. 232 timeouts, requested by the coaches of 66 male and female teams participating in the Spanish Championship in the Under-14 and Under-16 categories, were analysed. The variables considered in this study were timeout effects, lost rallies and score differences. To analyse the timeout effect, a binary logistic regression model was applied. The results of this model show that, in balanced sets, the variables that predict the timeout effect are the number of rallies ( 2 lost rallies) and the score difference (2–3 points), whilst in unbalanced sets, and the variable that predicts the timeout effect is the number of lost rallies (3 lost rallies). These results show the importance of bearing these variables in mind when timeouts are managed and requested by coaches, in order to optimise the team’s performance., This study was possible thanks to the contribution of the Consejería de Economía e Infraestructuras de la Junta de Extremadura (Spain) through the European Regional Development fund. A way to make Europe (GR18129).
- Published
- 2019
30. Knowledge Dynamics and Behavioural Equivalences in Multi-Agent Systems.
- Author
-
Aman, Bogdan and Ciobanu, Gabriel
- Subjects
- *
MULTIAGENT systems , *TELECOMMUNICATION systems , *LOCAL knowledge , *INFORMATION sharing - Abstract
We define a process calculus to describe multi-agent systems with timeouts for communication and mobility able to handle knowledge. The knowledge of an agent is represented as sets of trees whose nodes carry information; it is used to decide the interactions with other agents. The evolution of the system with exchanges of knowledge between agents is presented by the operational semantics, capturing the concurrent executions by a multiset of actions in a labelled transition system. Several results concerning the relationship between the agents and their knowledge are presented. We introduce and study some specific behavioural equivalences in multi-agent systems, including a knowledge equivalence able to distinguish two systems based on the interaction of the agents with their local knowledge. [ABSTRACT FROM AUTHOR]
- Published
- 2021
- Full Text
- View/download PDF
31. Análisis del proceso de atención de pacientes y diseño de un modelo de optimización del servicio de atención del Centro Médico, Entorno y Compañía, Ltda., en la ciudad de Bogotá, D.C.
- Author
-
Enciso Jaramillo, Jorge Humberto, Cruz Castillo, Luisa Fernanda, Enciso Jaramillo, Jorge Humberto, and Cruz Castillo, Luisa Fernanda
- Abstract
En el presente proyecto se realizó un modelo de optimización para la reducción en los tiempos de atención a los usuarios en el Centro Médico Entorno y Compañía, LTDA. Este análisis se realizó mediante la implementación de herramientas como el PESTAL, el análisis de las cinco fuerzas de Porter, la matriz DOFA, lo que permitió conocer el estado actual del Centro Médico, con respecto a su sector, y establecer estrategias, que permitieran desarrollar un modelo de optimización para cumplir con el objetivo del proyecto. Se realizó el estudio técnico de tal forma, que se logran identificar los procesos actuales y el manejo actual del Centro Médico, con el fin de desarrollar un plan de acción, donde se invirtiera un monto de dinero, para ayudar a cumplir con el modelo de optimización. Por último se analizan los temas administrativos y ambientales del Centro Médico, y el estudio financiero, para saber si el proyecto se puede ejecutar y es viable.
- Published
- 2019
32. The use of timeouts in volleyball, depending on the team score
- Author
-
Fernando Claver, Jara González-Silva, Antonio Abreu, Manuel Conejero, Carmen Fernández-Echeverría, and M. Perla Moreno
- Subjects
Time-out ,Team sport ,Applied psychology ,Formative stages ,Moment (mathematics) ,Volleyball ,Educación Física y Deportiva ,Championship ,Set (psychology) ,Timeout ,Psychology ,Association (psychology) ,Timeouts ,Match score ,Team management - Abstract
In the management of team sport competition, timeouts are one of the main tools of the coach to stop the game. It could be used on changing trends or the rhythm of the game, and also on providing relevant information to the players. So, it may have an important effect in sporting success. The main objective of the research was to analyse the use of timeouts (TO) in U-19 male volleyball teams, as well as the effect of the game on then, depending on the match score (winning-balanced, or losing). 171 timeouts, requested by coaches of the 21 teams participating in the U-19 male Spanish Championship 2012, were analysed. The variables considered in this study were: match score (TO requested when winning-balanced score or when losing); score difference (0-1 points, 2-3 points, 4 or more points); lost rallies (0-1 rallies, 2 rallies, ≥ 3 rallies); game period (initial moment of the set, final moment of the set); timeout effect (positive timeout effect and time out with no effect). The results showed that variables significantly associated with the TO request with different score (winning-balanced, losing) were: score difference, game period and timeout effect. Specifically, contributed positively to the association: TO request with winning-balanced score with the score difference of 0-1 points, with the final moments of the set and with the positive timeout effect; TO request with a losing score with the score difference of 4 or more points, in the initial moments of the set and with no effect of the timeout. This results could be taken into account in the process of team management in competition, in volleyball formative stages. This work was supported by the Consejería de Economía e Infraestructuras de la Junta de Extremadura (Spain) through the European Regional Development fund.
- Published
- 2017
- Full Text
- View/download PDF
33. On Specifying Timeouts.
- Author
-
van Glabbeek, Rob
- Subjects
ALGEBRA ,MATHEMATICAL analysis ,MATHEMATICS ,CALCULUS ,SCIENCE - Abstract
Abstract: This paper raises the question on how to specify timeouts in process algebra, and finds that the basic formalisms fall short in this task. [Copyright &y& Elsevier]
- Published
- 2006
- Full Text
- View/download PDF
34. Multiple Congestion Points and Congestion Reaction Mechanisms for Improving DCTCP Performance in Data Center Networks.
- Author
-
Sreekumari, Prasanthi
- Subjects
- *
COMPUTER network protocols , *SERVER farms (Computer network management) , *INTERNET traffic - Abstract
For addressing problems such as long delays, latency fluctuations, and frequent timeouts in conventional Transmission Control Protocol (TCP) in a data center environment, Data Center TCP (DCTCP) has been proposed as a TCP replacement to satisfy the requirements of data center networks. It is gaining more popularity in academic as well as industry areas due to its performance in terms of high throughput and low latency, and is widely deployed in data centers. However, according to the recent research about the performance of DCTCP, authors have found that most times the sender’s congestion window reduces to one segment, which results in timeouts. In addition, the authors observed that the nonlinear marking mechanism of DCTCP causes severe queue oscillation, which results in low throughput. To address the above issues of DCTCP, we propose multiple congestion points using double threshold and congestion reaction using window adjustment (DT-CWA) mechanisms for improving the performance of DCTCP by reducing the number of timeouts. The results of a series of simulations in a typical data center network topology using Qualnet network simulator, the most widely used network simulator, demonstrate that the proposed window-based solution can significantly reduce the timeouts and noticeably improves the throughput compared to DCTCP under various network conditions. [ABSTRACT FROM AUTHOR]
- Published
- 2018
- Full Text
- View/download PDF
35. FastLane: Agile Drop Notification for Datacenter Networks
- Author
-
CALIFORNIA UNIV BERKELEY DEPT OF ELECTRICAL ENGINEERING AND COMPUTER SCIENCES, Zats, David, Iyer, Anand P, Ananthanarayanan, Ganesh, Katz, Randy H, Stoica, Ion, Vahdat, Amin, CALIFORNIA UNIV BERKELEY DEPT OF ELECTRICAL ENGINEERING AND COMPUTER SCIENCES, Zats, David, Iyer, Anand P, Ananthanarayanan, Ganesh, Katz, Randy H, Stoica, Ion, and Vahdat, Amin
- Abstract
The drive towards richer and more interactive web content places increasingly stringent requirements on datacenter networks. The speed with which such networks respond to packet drops limits their ability to meet high-percentile flow completion time SLOs. Indirect notifications to packet drops (e.g., duplicates in an end-to-end acknowledgment sequence) are an important limitation to the agility of response to packet drops. We propose FastLane, a new in-network drop notification mechanism. FastLane enhances switches to send high-priority per-flow drop notifications to sources, thus informing sources as quickly as possible. Consequently, sources can retransmit packets sooner and throttle transmission rates earlier. Sources also can make better decisions, given more precise information and the ability to differentiate between out-of-order delivery and packet loss. We demonstrate, through simulation and implementation, that FastLane reduces 99.9th percentile completion times of short flows by up to 75%. These benefits come at minimal cost -- safeguards ensure that FastLane consumes no more that 1% of bandwidth and 2.5% of buffers.
- Published
- 2013
36. Use of the timeout procedure in a child psychiatry inpatient milieu: Combining dynamic and behavioral approaches
- Author
-
Kennedy, Patricia, Kupst, Mary Jo, Westman, Gary, Zaar, Caryl, Pines, Richard, and Schulman, Jerome L.
- Published
- 1990
- Full Text
- View/download PDF
37. A Markov Model for the EpiChord Peer-to-Peer Overlay in an XCAST Enabled Network
- Author
-
STIRLING UNIV (UNITED KINGDOM), Kolberg, Mario, Kolberg, Florence, Brown, Alan, Buford, John, STIRLING UNIV (UNITED KINGDOM), Kolberg, Mario, Kolberg, Florence, Brown, Alan, and Buford, John
- Abstract
Structured Peer to Peer (P2P) overlay networks are becoming increasingly popular. Multi-hop systems achieve a successful lookup in O(log N) hops, whereas one-hop systems approach O(1) hops. Both approaches, but especially one-hop overlays suffer from a high number of identical messages being sent to a number of nodes on the overlay. Previous work showed that P2P networks benefit from the integration of the overlay network with the underlay network in which multi-destination multicast routing is available. This allows combining identical messages from the same source into joint multi-destination multicast messages to significantly reduce the number of messages. Our experimentation has centered around the one-hop EpiChord overlay. Here the problem is described using a Markov Model for more advanced analysis. The Markov Model is believed to be novel in two aspects: it is the first to investigate one-hop overlays and it is the first to study the performance of multi-destination multicast including the consideration of retransmissions of requests., See also ADM002055. Presented at the IEEE International Conference of Communications, held in Glasgow, Scotland on 24-28 June 2007. Published in the Proccedings the IEEE International Conference of Communications, p1935-1942, 2007. The original document contains color images.
- Published
- 2007
38. On Specifying Timeouts
- Author
-
Rob van Glabbeek
- Subjects
Fairness ,General Computer Science ,Computer science ,Programming language ,Process calculus ,Concurrency ,Liveness ,Petri nets ,Parallel computing ,Petri net ,computer.software_genre ,Theoretical Computer Science ,Task (project management) ,Process Algebra ,Priorities ,Algebra over a field ,computer ,Timeouts ,Computer Science(all) - Abstract
This paper raises the question on how to specify timeouts in process algebra, and finds that the basic formalisms fall short in this task.
- Full Text
- View/download PDF
Catalog
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.