A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
Modeling and Analyzing Periodic Distributed Computations
[chapter]
2010
Lecture Notes in Computer Science
Preserved Fulltext
Given a d-diagram that represents an infinite distributed computation, we solve the problem of determining if a global predicate ever became true in the computation. ...
In this work, we develop the theory and associated algorithms for predicate detection in infinite runs. ...
Just as finite directed acyclic graphs (dag's) have been used to represent and analyze finite computations, d-diagrams may be used for representing periodic infinite distributed computations for monitoring ...
doi:10.1007/978-3-642-16023-3_17
fatcat:3riodg647nac7bx2rsptxukrsq
Modeling, analyzing and slicing periodic distributed computations
2014
Information and Computation
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Given a d-diagram that represents an infinite distributed computation, we solve the problem of determining if a global predicate ever became true in the computation. ...
In this work, we develop the theory and associated algorithms for predicate detection in infinite runs. ...
Acknowledgments We are grateful to the reviewers of this paper for many helpful comments and suggestions. ...
doi:10.1016/j.ic.2013.11.002
fatcat:gyif4nypzbamfaxudwe6kv5gfi
Idle and Busy Period Analysis of Two Class Data Traffic through Queueing Technique
2015
International Journal of Computer Applications
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
In this paper we use a queueing theory approach to model the system with two class data traffic.we develop and analyze the idle and busy period of two class data traffic through queueing system using Markov ...
The cumulative distribution function of the busy period for each state is also calculated for the various arrival rates. ...
Computing queueing length and waiting time distributions in finite-buffer discrete-time multi-server queues with late and early arrivals, Computers and Mathematics with Applications, vol. (48): 1557-1573 ...
doi:10.5120/19178-0652
fatcat:ybvihncyhngqlf52ywr3a4xxzy
Flexible Framework for Statistical Schedulability Analysis of Probabilistic Sporadic Tasks
2015
2015 IEEE 18th International Symposium on Real-Time Distributed Computing
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
In this paper, we present a flexible schedulability analysis framework for periodic and sporadic tasks having probabilistic attributes where the computation time scales linearly in the size of analyzed ...
To evaluate our approach, we compare the time used for computing response times and the analysis results using similar task models to that of a related analytical approach. ...
During this process, the two analyzers, PoMD Analyzer and RT Analyzer, track In our PSA model, a clock can be used as a stopwatch that stops and resumes according to some conditions. ...
doi:10.1109/isorc.2015.21
dblp:conf/isorc/BoudjadarKDLMNS15
fatcat:uzwgaddppreg3dufw7ygm3hn2a
Full-spectrum noise prediction of the high-speed train head under multi-physics coupling excitations based on statistical energy analysis
2017
Journal of Vibroengineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Then the aerodynamic model of the high-speed train was established, and the pressure and velocity distributions on the train surface were computed. ...
With the increase of the analyzed frequency, both directivity and periodicity were shown more obviously. ...
With the increase of the analyzed frequency, both directivity and periodicity were shown more obviously. 2) The aerodynamic model of the high-speed train was established, and the pressure and velocity ...
doi:10.21595/jve.2016.16878
fatcat:sv7brtph5zbz5fzyz6r2cd3pl4
Stochastic Hybrid Event Based and Continuous Approach to Derive Flood Frequency Curve
2021
Water
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
The proposed hybrid method permits to generate hydrological forcing by using a fully distributed physically based model but reducing the computation times on the order from months to hours. ...
This study proposes a methodology that combines the advantages of the event-based and continuous models, for the derivation of the maximum flow and maximum hydrograph volume frequency curves, by combining ...
Acknowledgments: The authors acknowledge the computer resources and technical assistance provided by the Centro de Supercomputación y Visualización de Madrid (CeSViMa). ...
doi:10.3390/w13141931
fatcat:ferfx6fjyzd43mw6qkhh32icf4
Analyzing the field of bioinformatics with the multi-faceted topic modeling technique
2017
BMC Bioinformatics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Results: We analyze the ACT Model results in each period. ...
The ACT model is capable of incorporating the paper, author, and conference into the topic distribution simultaneously. ...
Availability of data and materials Not applicable. ...
doi:10.1186/s12859-017-1640-x
pmid:28617229
pmcid:PMC5471940
fatcat:de6izduijbczpjvyaz545lps7e
A tool based on traffic traces and stochastic monotonicity to analyze data centers and their energy consumption
2016
Proceedings of the 9th EAI International Conference on Performance Evaluation Methodologies and Tools
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Our method is numerically based but it takes into account some stochastic properties of the model to speed up the computation. ...
The tool uses real traffic traces to model arrivals, and it allows to consider general discrete arrival processes. ...
This model is analyzed numerically to compute the transient distributions for the energy consumption and the performance evaluation. ...
doi:10.4108/eai.14-12-2015.2262652
dblp:journals/ew/BayatiDFPV16
fatcat:mpt7j7c4z5gwzliew7jl5yonqq
Are the log-returns of Italian open-end mutual funds normally distributed? A risk assessment perspective
2015
Journal of Asset Management
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
In this paper we conduct an empirical analysis of daily log-returns of Italian open-end mutual funds and their respective benchmarks in the period from February 2007 to June 2013. ...
First, we estimate the classical normal-based model on the log-returns of a large set of funds. Then we compare it with three models allowing for asymmetry and heavy tails. ...
For the funds that we analyze and for the time period that we investigate, the CTS model seems to be more satisfactory in daily log-returns analysis, compared with the normal and all other TS models, since ...
doi:10.1057/jam.2015.30
fatcat:vl2wqvsu3fcgtnnrquxiccacmu
A dynamic inventory model with random replenishment quantities
1995
Omega : The International Journal of Management Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
A periodic-review, random-demand inventory model is analyzed under the assumption that replenishment quantities are random fractions of the amounts ordered. ...
Results of a previous study of a single-period model are generalized to form an easily computed heuristic adaptation of the (s, S) policy for use in this environment. ...
In the remainder of this paper, we analyze a multi-period model with independently distributed demands and an expected-cost optimality criterion. ...
doi:10.1016/0305-0483(94)00038-c
fatcat:axuzja66gfbp3e756cntz3mcwi
Fatigue crack initiation and propagation in lotus-type porous material
2015
Frattura ed Integrità Strutturale
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
The irregular pores distribution in transversal and longitudinal direction, regarding the external loading, is considered in the computational models. ...
Therefore, further computational analyses regarding crack initiation and crack propagation period have been done only for pores distribution in transversal direction. ...
Figure 3 : 3 2D computational model for pores distribution in transversal (a) and longitudinal (b) direction. ...
doi:10.3221/igf-esis.35.18
fatcat:ssstgx4fbvdivavtx7bybvwy5a
Page 1115 of American Society of Civil Engineers. Collected Journals Vol. 124, Issue 11
[page]
1998
American Society of Civil Engineers. Collected Journals
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
The model may be used
to analyze the propagation and decay of any substance with a first-order reaction rate. ...
Liou and Kroon (1987) developed a model to compute the decay or growth of a waterborne substance in a distribution system. ...
Modeling the Impact of Extreme Droughts on Agriculture under Current and Future Climate Conditions Using a Spatialized Climatic Index
2022
Applied Sciences
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
Therefore, the objective of this paper was to analyze the frequency and the intensity of extreme drought in 2050 and their impact on crop yield losses (grassland and cereals) in France. ...
Then, using the ARPEGE-Climat Model developed by Meteo-France, DOWKI was projected in 2050 and grassland, soft winter wheat, and winter barley yield losses were simulated. ...
Analyzing the Link between DOWKI and Yield Losses DOWKI values and yield losses were computed for each department over the historical period 2000-2018. ...
doi:10.3390/app12052481
fatcat:53gqnjaadfe7bh63htxhh6zm2i
A computational linguistic approach to Spanish Golden Age Sonnets: metrical and semantic aspects
2015
Proceedings of the Fourth Workshop on Computational Linguistics for Literature
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Second, we are applying distributional semantic models in order to, on one hand, extract semantic regularities from sonnets, and on the other hand to group together sonnets and poets according to these ...
Several computational linguistics techniques are applied to analyze a large corpus of Spanish sonnets from the 16th and 17th centuries. The analysis is focused on metrical and semantic aspects. ...
Compositional-distributional semantic models Recently a new model of computational semantics has been proposed: the compositional-distributional model (Baroni, 2013) . ...
doi:10.3115/v1/w15-0712
dblp:conf/clfl/Navarro15
fatcat:2myknxa24vhzxawjljmjmkmn5y
Formalizing Software Architectures for Embedded Systems
[chapter]
2001
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
of traditional stochastic performance models • limited resource sharing with deterministic tasks • often averages, not distributions Result: analytic models for response time distributions of slack-scheduled ...
and syntax
Computation and communication
Reliability and safety
Implementing systems
Research Activities
Integrated partitioned time-and-event workloads
Efficient low-latency distributed system ...
Safety Modeling Safety Modeling Language should be extended ...
doi:10.1007/3-540-45449-7_31
fatcat:cnixxfci7rda7e5vb5r4ucykda
« Previous
Showing results 1 — 15 out of 1,296,257 results