Global ETD Search

Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.

Results

Showing 1 to 17 of 17 for “"Erlang"”.

  1. Work on new event sources for detectEr

    … is an actor-based runtime verification tool for Erlang programs. It uses the tracing mechanism of the Erlang virtual machine to trace messages sent between Erlang processes, creating events that are matched against correctness properties defined in the logic mHML. This thesis describes work that …

    reykjavik Repository record for Work on new event sources for detectEr (opens in a new tab)

  2. Optimierung der Personaleinsatzplanung in Call Centern - Theoretische Systematisierung und empirische Überprüfung

    … alle die Gemeinsamkeit, dass sie auf dem sog. Erlang C-Modell basieren, das mit einigen Nachteilen behaftet ist. Die Problematik liegt dabei in den äußerst restriktiven Modellannahmen, ohne die eine Berechnung des Personaleinsatzes nicht möglich wäre. In der vorliegenden Arbeit wurde zum …

    passau-thes Repository record for Optimierung der Personaleinsatzplanung in Call Centern - Theoretische Systematisierung und empirische Überprüfung (opens in a new tab)

  3. Access size and order in queueing systems

    … generated. Cost of access is discussed. Cost per erlang curves, from which optimum access size is determined, are generated. Algorithms for generating these curves are developed. A stage in a progressive telephone switching system is designed as an example.

    vt Repository record for Access size and order in queueing systems (opens in a new tab)

  4. Analysis of some simple policies for dynamic resource allocation

    … allocation in load sharing networks with Erlang-type statistics. The emphasis is on the performance of simple allocation strategies that can be implemented on-line. The resource allocation problem is formulated as a stochastic optimal control problem. Variants of a simple least load …

    uiuc Repository record for Analysis of some simple policies for dynamic resource allocation (opens in a new tab)

  5. A Markov process methodology for modeling machine interactions in timber harvesting systems

    … with only two probability distributions, the Erlang and mixed Erlang, for modeling time based activities (such as cycle times) of the interacting machines. These probability distributions in turn, provide the necessary data for developing a system of algebraic equations for solving the Markov …

    vt Repository record for A Markov process methodology for modeling machine interactions in timber harvesting systems (opens in a new tab)

  6. Atstatymo lygties sprendinio aproksimavimas klasikiniame rizikos modelyje /

    … of two exponential distributions, and the second Erlang distribution. Subsequently, utilizing classical numerical integration schemes such as left and right Riemann sums, trapezoidal rule, and Simpson’s rule, four methods suitable for the recovery equation are derived. We empirically assess the …

    vilnius Repository record for Atstatymo lygties sprendinio aproksimavimas klasikiniame rizikos modelyje / (opens in a new tab)

  7. Modeling of birth and death oscillations in provinces of Canada

    … properties of the new proposed Log-Logistic Erlang (LLogE) distribution. Additionally we analyse birth, death oscillation of Canadian provinces in depth as well as the correlation between birth and death and those with temperature that has been collected from center of population of each …

    regina Repository record for Modeling of birth and death oscillations in provinces of Canada (opens in a new tab)

  8. Telephone traffic queues in a customer call center

    … To do this we primarily utilize traditional Erlang models to analyze performance measure such as call blocking wait times and labor utilization. We find that some modifications to staffing levels at both down times and peak times would improve the aforementioned performance measures. Some …

    utc Repository record for Telephone traffic queues in a customer call center (opens in a new tab)

  9. Wireless digital point to multipoint link utilizing wideband CDMA

    … terms of it's bit error rate, user capacity and Erlang with addition of users to the system.

    cape-town Repository record for Wireless digital point to multipoint link utilizing wideband CDMA (opens in a new tab)

  10. A Class of Mixture of Experts Models for General Insurance Ratemaking and Reserving

    … fit the multivariate claim frequencies using an Erlang count expert function. Apart from showing excellent fitting results, we can interpret the fitted model in an insurance perspective and visualize the relationship between policyholders' information and their risk level. We further demonstrate …

    toronto-retro Repository record for A Class of Mixture of Experts Models for General Insurance Ratemaking and Reserving (opens in a new tab)

  11. Analysis and simulation of computer controlled cellular mobile radio systems

    … the first yields modified forms of the familiar Erlang and Engset formulas, while the second gives more complicated but more accurate formulas. The results of computer simulations to establish the accuracy of the formulas are described. New teletraffic formulas are also derived for the congestion …

    aston Repository record for Analysis and simulation of computer controlled cellular mobile radio systems (opens in a new tab)

  12. Administração de tráfego telefônico: utilização de método numérico e simulação para estimar congestionamento e demanda de tráfego em sistemas de perda (loss systems)

    … escoamento de chamadas, através da Fórmula B de Erlang para sistemas de perda, que tem origem no processo estocástico de nascimento e morte “número de meios ocupados em determinado instante”. Os resultados de congestionamento obtidos por método numérico e simulação se apresentaram bastante …

    aberta Repository record for Administração de tráfego telefônico: utilização de método numérico e simulação para estimar congestionamento e demanda de tráfego em sistemas de perda (loss systems) (opens in a new tab)

  13. Time-dependence in Markovian decision processes.

    … process with state transitions determined by the Erlang distribution. Although this process is originally classed as a generalized semi-Markov decision process, we re-define it as a time-inhomogeneous SMDP. We show that even for a simply stated process with desirable state-space properties, the …

    adelaide Repository record for Time-dependence in Markovian decision processes. (opens in a new tab)

  14. Modeling And Optimization Of Non-Profit Hospital Call Centers With Service Blending

    … and mixing staffing policy are evaluated. Erlang C queuing model is used to decide the minimum number of operators required by inbound calls. Theoretical analysis and numerical experiments illustrate that through dynamically assigning the inbound and outbound calls to operators under …

    wayne-thes Repository record for Modeling And Optimization Of Non-Profit Hospital Call Centers With Service Blending (opens in a new tab)

  15. Reversibility and flows in queueing networks

    … where the service times are restricted to the Erlang distributed. To do this we need to introduce the concept of the quasi-reversed process of a Markov renewal process. A closed queueing network is constructed where the queue length process is not reversible yet the input process is the reverse …

    vt Repository record for Reversibility and flows in queueing networks (opens in a new tab)

  16. Transient analysis of D(t)/M(t)/1 queuing system with applications to computing airport delays

    … because of the "richness" of the family of Erlang distributions, Ek, can be used to approximate most M(t)/G(t)/1 models that may arise in airport applications. It can be seen that these models, when used together, provide bounds on estimated airport delays, with the D(t)/D(t)/1 model most …

    mit Repository record for Transient analysis of D(t)/M(t)/1 queuing system with applications to computing airport delays (opens in a new tab)

  17. Prediction And Allocation Of Live To Virtual Communication Bridging Resources

    This document summarizes a research effort focused on improving live-to-virtual (L-V) communication systems. The purpose of this work is to address a significant challenge facing the tactical communications training community through the development of the Live-to-Virtual Relay Radio Prediction …

    ucf