10,194 Hits in 5.7 sec

How to avoid drastic software process change (using stochastic stability)

Tim Menzies, Steve Williams, Barry Boehm, Jairus Hihn
2009 2009 IEEE 31st International Conference on Software Engineering  
The key to our technique is SEESAW, a novel stochastic stability tool that (a) considers a very large set of minor changes using stochastic sampling; and (b) carefully selects the right combination of  ...  An alternative to drastic change are internal changes that adjust current options within a software project.  ...  Acknolwedgements Thanks to Phillip Green, Topi Haapio and Andi Marcus and for their feedback on earlier drafts.  ... 
doi:10.1109/icse.2009.5070552 dblp:conf/icse/MenziesWBH09 fatcat:fbxbrcgahrfiphatfjjbk3zism

Deep Reinforcement Learning Control for Radar Detection and Tracking in Congested Spectral Environments [article]

Charles E. Thornton, Mark A. Kozy, R. Michael Buehrer, Anthony F. Martone, Kelly D. Sherbondy
2020 arXiv   pre-print
We demonstrate the DDRQN results in favorable performance and stability compared to DQL and policy iteration.  ...  Finally, we demonstrate the practicality of our proposed approach through a discussion of experiments performed on a software defined radar (SDRadar) prototype system.  ...  Thus, the DDRQN controlled radar is able to generalize smoothly to the more drastic interference changes later in the evaluation interval.  ... 
arXiv:2006.13173v2 fatcat:yeenfr64fnh3ncx2qsjwiaghti

Software Reliability – A Review

Alisha Garg
2016 International Journal of Scientific Research and Management  
In a software development process, the pre estimation of software reliability is required to deliver the software product.  ...  Software reliability is about to define the stability or the life of software system with different properties.  ...  These NHPP models are widely used, they impose certain restrictions or a priori assumptions about the nature of software faults and the stochastic behavior of software failure process. III.  ... 
doi:10.18535/ijsrm/v4i7.13 fatcat:gn5drmg5tfczzlix4ete6dkm4e

Asymmetric Stochastic Switching Driven by Intrinsic Molecular Noise

David Frigola, Laura Casanellas, José M. Sancho, Marta Ibañes, Matjaz Perc
2012 PLoS ONE  
Our study unravels that intrinsic fluctuations, while not required to describe bistability, are fundamental to understand stochastic switching and the dynamical relative stability of multiple states.  ...  The intrinsic fluctuations of these numbers can enable stochastic switching between multiple steady states, inducing phenotypic variability.  ...  We have simulated stochastic trajectories of the concentration x from the Langevin equation using the Heun algorithm [38] and, to avoid unrealistic negative values of x, a reflecting boundary at x~0  ... 
doi:10.1371/journal.pone.0031407 pmid:22363638 pmcid:PMC3283640 fatcat:ozgalllo4rbxzg542exhotrtsq

Systems Biology and Cancer Prevention: All Options on the Table

Simon Rosenfeld, Izet Kapetanovic
2008 Gene Regulation and Systems Biology  
We also make an attempt to outline in big conceptual terms the contours of future work aimed at creation of large-scale computational and informational infrastructure for using as a routine tool in cancer  ...  In this paper, we outline the status quo and approaches to further development of the systems biology concepts with focus on applications in cancer prevention science.  ...  Acknowledgement The authors express their gratitude to Dr. P. Prorok for useful discussions and numerous comments which helped to improve the manuscript.  ... 
doi:10.4137/grsb.s1114 fatcat:f5qpntxj3zacrhxgr7krjbz5ay

SFB/TR 14 AVACS – Automatic Verification and Analysis of Complex Systems (Der Sonderforschungsbereich/Transregio 14 AVACS – Automatische Verifikation und Analyse komplexer Systeme)

Bernd Becker, Andreas Podelski, Werner Damm, Martin Fränzle, Ernst-Rüdiger Olderog, Reinhard Wilhelm
2007 it - Information Technology  
This article surveys scope, organization, and research directions of AVACS, including pointers to key publications.  ...  and their development processes, but which also allows us to exploit their specific characteristics for optimizing our methods.  ...  One trend is to simply measure the size of the embed-ded software.  ... 
doi:10.1524/itit.2007.49.2.118 fatcat:2mb2uwdoazcirmt7ghfq3p7aua

Evolution of phenotypic variance in response to a novel hot environment

Wei‐Yun Lai, Christian Schlötterer
2021 Molecular Ecology  
Classic quantitative genetics provides a theoretical framework to predict how selection on phenotypic mean affects the variance.  ...  Our observation that selection could drive changes in the variance of gene expression could have important implications for studies of adaptation processes in natural and experimental populations.  ...  Ana Marija Jakšić, Neda Barghi, François Mallard and Kathrin Otte contributed to the common garden experiment. Illumina sequencing was performed at the VBCF NGS Unit (  ... 
doi:10.1111/mec.16274 pmid:34775658 fatcat:y6x54gwdobeptoknfx7mg65iza

Floater survival affects population persistence. The role of prey availability and environmental stochasticity

Vincenzo Penteriani, Fermín Otalora, Miguel Ferrer
2005 Oikos  
Changes in prey behaviour due to predation pressure (e.g. shifting from diurnal to nocturnal activity) can decrease their availability for predators even if the density significantly exceeds the predator  ...  influenced stability and dynamics of the breeding segment of populations in reproductive areas.  ...  The Junta de Andalucía also contributed to the financial support of some parts of this project.  ... 
doi:10.1111/j.0030-1299.2005.13514.x fatcat:fonwlodbfbfdnfgeez2zhsidye

Design and Stability Analysis for Anytime Control via Stochastic Scheduling

Luca Greco, Daniele Fontanelli, Antonio Bicchi
2011 IEEE Transactions on Automatic Control  
Stochastic models of the scheduler and of algorithm execution times are used to infer probabilities that controllers of different complexity can be executed at different periods.  ...  (in a suitable stochastic sense).  ...  ACKNOWLEDGMENT The authors wish to thank B. Picasso for useful comments and discussion on "Almost Sure" stability.  ... 
doi:10.1109/tac.2010.2058497 fatcat:djmc4v5g6nakrls7z5ftdrlhfy

Application Analysis of Radial Basis Function Neural Network Algorithm of Genetic Algorithm for Environmental Restoration and Treatment Effect Evaluation of Decommissioned Uranium Tailings Ponds

Kun Wei, Guokai Xiong, Zhenghua Xu, Yong Liu, Huihua Chen
2021 Computational Intelligence and Neuroscience  
stabilization process of decommissioned uranium tailings ponds was carried out by using mathematical methods.  ...  Using the powerful nonlinear mapping function of the artificial neural network, a radial basis function neural network algorithm was constructed to predict the environmental stability of the uranium tailing  ...  To verify the above theoretical results, we give algorithms on how to solve for the weights of the output layer of the stochastic radial basis function neural network. t j � 􏽘 m i β i g X i + y j � �  ... 
doi:10.1155/2021/1650096 pmid:34868285 pmcid:PMC8635904 fatcat:3lqcw3z5szbgjaga3euxkj5y7u

Software Engineering Meets Control Theory

Antonio Filieri, Martina Maggio, Konstantinos Angelopoulos, Nicolas D'Ippolito, Ilias Gerostathopoulos, Andreas Berndt Hempel, Henry Hoffmann, Pooyan Jamshidi, Evangelia Kalyvianaki, Cristian Klein, Filip Krikava, Sasa Misailovic (+6 others)
2015 2015 IEEE/ACM 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems  
The paper documents the process and illustrates its use in an example that walks through all necessary steps for self-adaptive controller synthesis. 2 The set is continuous if we assume to use a scheduler  ...  This paper discusses a control design process for software systems which enables automatic analysis and synthesis of a controller that is guaranteed to have the desired properties and behavior.  ...  Cloud Computing and Commerce (IC4), the European Union's Seventh Framework Programme FP7/2007-2013 under grant agreement 610802 "CloudWave" and the ERC advanced grants 267856 "Lucretius: Foundations for Software  ... 
doi:10.1109/seams.2015.12 dblp:conf/icse/FilieriMADGHHJK15 fatcat:wc3nrvrvvffvtlls5rllircsdy

Improving the Performance of Route Control Middleboxes in a Competitive Environment

M. Yannuzzi, X. Masip-Bruin, E. Marin-Tordera, J. Domingo-Pascual, A. Fonte, E. Monteiro
2008 IEEE Network  
We show that by blending randomization with adaptive filtering techniques, it is possible to drastically reduce the interference between competing route controllers, and this can be achieved without penalizing  ...  to the Internet.  ...  On the one hand, the research community could formally study the stability properties of IRC practices and provide guidelines on how to design IRC systems with guaranteed stability.  ... 
doi:10.1109/mnet.2008.4626233 fatcat:znps4b6spbfjjfxped2a44qx7y

Calibration of Microsimulation with Heuristic Optimization Methods

Jingtao Ma, Hu Dong, H. Michael Zhang
2007 Transportation Research Record  
Because of its stochastic nature and complexity, the calibration problem, usually formulated as an optimization problem, is often solved using heuristic methods.  ...  In this study, we develop another heuristics calibration algorithm based on the simultaneous perturbation stochastic approximation (SPSA) scheme, and applied it to calibration several networks coded in  ...  ACKNOWLEDGEMENTS This work is supported by a Caltrans grant TO 5508. We would like to thank Mr.  ... 
doi:10.3141/1999-22 fatcat:s2w6wzjj6fgmblbfrhxjsritf4

Exploring the Boundaries of Robust Stability Under Uncertain Communication: An NCS Toolbox Applied to a Wireless Control Setup

2014 IEEE Control Systems  
Stochastic stability analysis techniques, such as the one used in this article, are suitable in situations when the probability distribution can be accurately described and does not change over time.  ...  The collision avoidance CSMA/CA mechanism, used to ensure reliable radio communication, effectively avoids the possible interference caused by coexistence, that is, packet dropouts rarely occur.  ... 
doi:10.1109/mcs.2014.2320394 fatcat:ggplrmzd4vb77ojns2k5xa5gna

Structured Overlay Networks as an Enabler for Future Internet ServicesStrukturierte Overlay Netze als Wegbereiter für NGI Dienste

Gerald Kunzmann, Andreas Binzenhöfer, Fabian Stäber
2009 it - Information Technology  
We then show how all these ideas have been put into practice in terms of a distributed carrier grade communication platform.  ...  There are many different approaches to realize structured overlay networks which in their core functions share the same basic principles.  ...  Introduction In the last decades, the Internet has drastically changed the way we publish, exchange, and process information.  ... 
doi:10.1524/itit.2008.0509 fatcat:vzydb7s56jh2fmg4e3t5xchlga
« Previous Showing results 1 — 15 out of 10,194 results