1,296,257 Hits in 5.5 sec

Modeling and Analyzing Periodic Distributed Computations [chapter]

Anurag Agarwal, Vijay K. Garg, Vinit Ogale
2010 Lecture Notes in Computer Science  
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

Vijay K. Garg, Anurag Agarwal, Vinit Ogale
2014 Information and Computation  
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

Syed AsifAliShah, Wajiha Shah
2015 International Journal of Computer Applications  
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

Abdeldjalil Boudjadar, Jin Hyun Kim, Alexandre David, Kim G. Larsen Marius Mikucionis, Ulrik Nyman, Arne Skou, Insup Lee, Linh Thi Xuan Phan
2015 2015 IEEE 18th International Symposium on Real-Time Distributed Computing  
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

Ya-hui Wang, Jian-ting Wang, Liu-qiang Fu
2017 Journal of Vibroengineering  
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

Alvaro Sordo-Ward, Ivan Gabriel-Martín, Paola Bianucci, Giuseppe Mascaro, Enrique R. Vivoni, Luis Garrote
2021 Water  
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

Go Eun Heo, Keun Young Kang, Min Song, Jeong-Hoon Lee
2017 BMC Bioinformatics  
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

Marziyeh Bayati, Mohammed Dahmoune, Jean-Michel Fourneau, Nihal Pekergin, Dimitrios Vekris
2016 Proceedings of the 9th EAI International Conference on Performance Evaluation Methodologies and Tools  
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

Michele Leonardo Bianchi
2015 Journal of Asset Management  
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

H. Baker, R. Ehrhardt
1995 Omega : The International Journal of Management Science  
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

S. Glodež, S. Dervaric, J. Kramberger, M. Šraml
2015 Frattura ed Integrità Strutturale  
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  
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

Dorothée Kapsambelis, David Moncoulon, Martine Veysseire, Jean-Michel Soubeyroux, Jean Cordier
2022 Applied Sciences  
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

Borja Navarro
2015 Proceedings of the Fourth Workshop on Computational Linguistics for Literature  
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]

Pam Binns, Steve Vestal
2001 Lecture Notes in Computer Science  
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