Filters








3,115 Hits in 5.2 sec

Exploring Design Alternatives for RAMP Transactions Through Statistical Model Checking [chapter]

Si Liu, Peter Csaba Ölveczky, Jatin Ganhotra, Indranil Gupta, José Meseguer
2017 Lecture Notes in Computer Science  
In this paper we explore and extend the design space of the recent RAMP (Read Atomic Multi-Partition) transaction system for large-scale partitioned data stores.  ...  The developers of RAMP did implement and validate three design alternatives for RAMP, and sketched three additional designs.  ...  for eight RAMP designs, six of them never implemented before, through statistical model checking [22, 24] using PVeStA [4] .  ... 
doi:10.1007/978-3-319-68690-5_18 fatcat:fqe45le7jnan5iprwy64zpnspe

Generating Correct-by-Construction Distributed Implementations from Formal Maude Designs [chapter]

Si Liu, Atul Sandur, José Meseguer, Peter Csaba Ölveczky, Qi Wang
2020 Lecture Notes in Computer Science  
In this way, formal models of distributed systems analyzed within the same formal framework for both logical and performance properties are automatically transformed into correct-by-construction implementations  ...  for which similar performance trends can be shown.  ...  We thank the anonymous reviewers for helpful comments on a previous version of this paper.  ... 
doi:10.1007/978-3-030-55754-6_2 fatcat:7xvmzmsaafdare4nizhofjirm4

A Symbiotic Human–Machine Learning Approach for Production Ramp-up

Stefanos Doltsinis, Pedro Ferreira, Niels Lohse
2018 IEEE Transactions on Human-Machine Systems  
They presented a dynamic model to balance the needs for deliberate learning through experiments and for increased production yield.  ...  Alternatively, a policy can be learned directly, and it is even possible to learn a partial model [27] .  ...  He has received a number of awards for his work in assembly automation.  ... 
doi:10.1109/thms.2017.2717885 fatcat:julrvzvkpbhtfpye3y6drnydfq

Manycore simulation for peta-scale system design: Motivation, tools, challenges and prospects

Javad Zarrin, Rui L. Aguiar, João Paulo Barraca
2017 Simulation modelling practice and theory  
Abstract The architecture design of peta-scale computing systems is complex and presents lots of difficulties to designs, as current tools lack support for relevant features of future scenarios.  ...  In this paper, we present the challenges for simulating future large scale manycore environments, and we investigate the adequacy of current modeling and simulation tools, methodologies and techniques.  ...  This can be done through using model checking/validation mechanism provided by MDE approach.  ... 
doi:10.1016/j.simpat.2016.12.014 fatcat:j2acoyv235awfjkz6w7krvzh44

Users' Perception on Knowledge Transfer via Mobile Money Services

Nurdiana Azizan, Noraizah Abu Bakar, Asma Abdul Rahman
2021 Malaysian Journal of Science Health & Technology  
Szulanski's intra-organizational KT model consists of four stages, namely initiation, implementation, ramp-up, and integration.  ...  ISM is a well-established methodology for identifying relationships among specific items, which define a problem or an issue.  ...  Step 7: Check for consistency -Review the developed ISM model for conceptual inconsistency. Step 8: Conduct the MICMAC analysis -Classify key elements using MICMAC analysis.  ... 
doi:10.33102/mjosht.v5i1.131 fatcat:vufglcb3jzc7hpgvf7dvi7glke

Canopus: A Domain-Specific Language for Modeling Performance Testing

Maicon Bernardino, Avelino F. Zorzo, Elder M. Rodrigues
2016 2016 IEEE International Conference on Software Testing, Verification and Validation (ICST)  
Our statistical analysis showed that the results were valid, i.e., that to design performance testing models using Canopus is better than using UML.  ...  Our results indicate that, for performance modeling, effort using Canopus was lower than using UML.  ...  Our statistical analysis showed that the results were valid, i.e., that for designing performance testing models, using our DSL is better than using UML.  ... 
doi:10.1109/icst.2016.13 dblp:conf/icst/BernardinoZR16 fatcat:7swi7yah5jbxzcxgwkqahnuq24

The adoption behaviours of freeway electronic toll collection: A latent class modelling approach

Yu-Chiun Chiou, Rong-Chang Jou, Chu-Yun Kao, Chiang Fu
2013 Transportation Research Part E: Logistics and Transportation Review  
Effective marketing strategies for different groups are then proposed accordingly.  ...  The price of an e-pass and the discount for ETC tolls are identified as the two most important factors affecting ETC adoption.  ...  In this study, the statistical software SPSS 17.0 was used for the orthogonal design and produced a total of 16 scenarios.  ... 
doi:10.1016/j.tre.2012.09.003 fatcat:p4eyhcofgvfo7asgl3n5jvcnge

The Impact of Wind Generation on Wholesale Electricity Prices in the Hydro-Rich Pacific Northwest

Chi-Keung Woo, Jay Zarnikau, Jonathan Kadish, Ira Horowitz, Jianhui Wang, Arne Olson
2013 IEEE Transactions on Power Systems  
We find that increased wind generation reduces wholesale market prices by a small, but statistically-significant, amount.  ...  We explore this question by analyzing the impact of wind generation on wholesale electricity prices in the Pacific Northwest region of the United States.  ...  Singh and Erlich explored how alternative market designs affect the compensation to wind generators in a competitive wholesale market [15] .  ... 
doi:10.1109/tpwrs.2013.2265238 fatcat:ibgfwftei5gafcmjjou2e23h6q

Argus: Interactive a priori Power Analysis [article]

Xiaoyi Wang, Alexander Eiselmayer, Wendy E. Mackay, Kasper Hornbæk, Chat Wacharamanotham
2020 arXiv   pre-print
We created Argus, a tool that supports interactive exploration of statistical power: Researchers specify experiment design scenarios with varying confounds and effect sizes.  ...  ., order and fatigue effects, to calculate the statistical power of a given experiment design.  ...  We also thank Michel Beaudouin-Lafon for initial feedback and some vision directions in the beginning of the project.  ... 
arXiv:2009.07564v1 fatcat:7c3orwqdhrdwrp3ev7cflq4fby

Multi-processor operating system emulation framework with thermal feedback for systems-on-chip

Salvatore Carta, Andrea Acquaviva, Pablo G. Del Valle, David Atienza, Giovanni De Micheli, Fernando Rincon, Luca Benini, Jose M. Mendias
2007 Proceedings of the 17th great lakes symposium on Great lakes symposium on VLSI - GLSVLSI '07  
This framework includes the hardware and software components needed to accurately model complex MPSoCs architectures, and to test the effects of run-time thermal management strategies at the OS/middleware  ...  An alternative to cycle-accurate simulators for thermal evaluation is MPSoC hardware emulation [3, 5, 2, 6] .  ...  When a task reaches a checkpoint, it checks for migration requests performed by the master daemon.  ... 
doi:10.1145/1228784.1228787 dblp:conf/glvlsi/CartaAVAMRBM07 fatcat:2yojwaiiyvbcvhwptzmqkojn4m

Creating an Illusion of Movement between the Hands Using Mid-Air Touch

Dario Pittera, Damien Ablart, Marianna Obrist
2019 IEEE Transactions on Haptics  
Here, we explore the reproducibility of the intermanual tactile illusion of movement between two free hands by employing mid-air tactile stimulation.  ...  In the first experiment, we investigate the occurrence of the illusion when using a static focal point, and we define a perceptive model.  ...  Therefore, we extracted six linear and six quadratic terms for each subject. We checked the distribution of these data through a Shapiro-Wilk test.  ... 
doi:10.1109/toh.2019.2897303 pmid:30716050 fatcat:emqsgpkbirf5pek7g4ojs22e4m

Computational intelligent hybrid model for detecting disruptive trading activity

Jia Zhai, Yi Cao, Yuan Yao, Xuemei Ding, Yuhua Li
2017 Decision Support Systems  
The hybrid model is designed to work in an on-line scheme. The limit order stream is transformed, calculated and extracted as a feature stream.  ...  The hybrid model is designed to work in an on-line scheme. The limit order stream is transformed, calculated and extracted as a feature stream.  ...  a model update check.  ... 
doi:10.1016/j.dss.2016.09.003 fatcat:j2f56x26ybec7frzel3owjikf4

Wind Farms in North America [chapter]

Ben Hoen
2013 Towers, Turbines and Transmission Lines  
Each model is therefore designed to not only test for the reliability of the overall results, but also to explore the myriad of potential effects from a variety of perspectives.  ...  Key results for these robustness checks are presented in Table A1 .8 in Appendix 1.  ... 
doi:10.1002/9781118533215.ch11 fatcat:cmiasoqzgnft7kr7cmvjryklni

Why Use Debit Instead of Credit? Consumer Choice in a Trillion-Dollar Market

Jonathan Zinman
2004 Social Science Research Network  
Conclusion I close by summarizing evidence on the predictive power of alternative consumer choice models in the market for retail payments, and by discussing related implications.  ...  For the moment the model ignores (or subsumes in X) debit transaction fees, cash back motives, rewards incentives, and differences in acceptance.  ...  I conduct simulations with two alternative values of C, a weak version (7%) drawn from the 1996 SOC, and a strong version (40%) chosen with reference to other survey findings (see text).  ... 
doi:10.2139/ssrn.574147 fatcat:dwfncrr23ndhhdmmpz6axfnkhu

High Speed Cycle-Approximate Simulation of Embedded Cache-Incoherent and Coherent Chip-Multiprocessors

Christopher Thompson, Miles Gould, Nigel Topham
2018 International journal of parallel programming  
The platform comprises clusters of 1-8 processor cores, connected through a per-cluster arbiter to an ARM AMBA AXI [3] based packet switched network, which connects cores to memory banks and devices, such  ...  increasingly attractive for use in embedded systems.  ...  For example, each cycle the interconnect model checks to see if each core has an active transaction, and if not when the next transaction is due (by checking the pending transactions in the buffer).  ... 
doi:10.1007/s10766-018-0566-x fatcat:pmvu23xlafaejhva5o2vzldr4e
« Previous Showing results 1 — 15 out of 3,115 results