Filters








78,512 Hits in 2.9 sec

A framework for modelling and analysis of software systems scalability

Leticia Duboc, David S. Rosenblum, Tony Wicks
2006 Proceeding of the 28th international conference on Software engineering - ICSE '06  
Scalability is a widely-used term in scientific papers, technical magazines and software descriptions.  ...  A clearer and widely-accepted understanding of scalability is required to restore the usefulness of the term.  ...  The development of a conceptual model naturally followed from this observation. A framework was formalized and applied to the case study.  ... 
doi:10.1145/1134285.1134460 dblp:conf/icse/DubocRW06 fatcat:q5rkbhkk45f55fjybkgbloqepi

A Temporal Blockchain: A Formal Analysis

Richard Dennis, Gareth Owenson, Benjamin Aziz
2016 2016 International Conference on Collaboration Technologies and Systems (CTS)  
We conduct a thorough analysis of related work and present a formal analysis of the new rolling blockchain, comparing the results to a traditional blockchain model to demonstrate that the deletion of data  ...  This paper presents a possible solution to a fundamental limitation facing all blockchain-based systems; scalability.  ...  time period is sufficient, or if a more sophisticated model is required.  ... 
doi:10.1109/cts.2016.0082 dblp:conf/cts/DennisOA16 fatcat:52heguskvbdvrgtcwpq5phhzee

Scaling up Memory-Efficient Formal Verification Tools for Tree Ensembles [article]

John Törnblom, Simin Nadjm-Tehrani
2021 arXiv   pre-print
To guarantee that machine learning models yield outputs that are not only accurate, but also robust, recent works propose formally verifying robustness properties of machine learning models.  ...  In this paper, we formalise the VoTE algorithm presented earlier as a tool description, and extend the tool set with mechanisms for systematic scalability studies.  ...  Unfortunately, there is no well-established competition for formal verification of machine learning models. However, Nicolae et al.  ... 
arXiv:2105.02595v1 fatcat:pnmjlqtvwngznnbgajtw3unhya

Scalable, low-cost, high performance IPM Motor for Hybrid Vehicles

Ayman M. EL-Refaie, James P. Alexander, Steven. Galioto, Manoj R. Shah, Kum-Kang Huh, William D. Gerstler, Jagadeesh Tangudu, Thomas M. Jahns
2010 The XIX International Conference on Electrical Machines - ICEM 2010  
machine (different rotor structure) is built and currently being tested (test will be concluded by end of April) • Development of cost model is almost finalized (fine tuning is still needed) High resistivity  ...  to meet performance, simplicity and scalability requirements •  ...  Second Proof-of-Principle MachineMachine first tested with unmagnetized magnets to separate mechanical losses •Based on the test results, more modifications are planned to reduce mechanical losses at  ... 
doi:10.1109/icelmach.2010.5608275 fatcat:4xzcwuorxrglppw2oxlgxrtgy4

What is scalability?

Mark D. Hill
1990 SIGARCH Computer Architecture News  
In this paper, I first examine formal definitions of scalability, but I fail to lind a useful, rigorous definition of it.  ...  Scalability is a frequently-claimed attribute of multiprocessor systems. While the basic notion is intuitive, scalability has no generally-accepted definition.  ...  A Formal Definition of Scalability?  ... 
doi:10.1145/121973.121975 fatcat:wl7xvnwnnfeb3bvaete6a3l5qu

call for papers - International Conference on Data Mining and NLP (DNLP 2020)

PETER
2020 Zenodo  
, Efficiency, Scalability, and Privacy  Foundations, Algorithms, Models, and Theory  Mining Text, Semi-Structured, Spatio -Temporal, Streaming, Graph, Web, Multimedia  Knowledge Processing  Chunking  ...   Parsing/Grammatical Formalisms  Phonology, Morphology  POS Tagging  Question Answering  Semantic Processing  Speech Recognition and Synthesis  Spoken Language Processing  Statistical and Knowledge  ...  , Efficiency, Scalability, and Privacy  Foundations, Algorithms, Models, and Theory  Mining Text, Semi-Structured, Spatio -Temporal, Streaming, Graph, Web, Multimedia  Knowledge Processing  Chunking  ... 
doi:10.5281/zenodo.4013157 fatcat:wa4gyjf4xvhhvf4nudbqxwmswi

Challenges and Recommendations for Preparing HPC Applications for Exascale [article]

Erika Abraham, Costas Bekas, Ivona Brandic, Samir Genaim, Einar Broch Johnsen, Ivan Kondov, Sabri Pllana, Achim Streit
2015 arXiv   pre-print
We identify challenges that need to be addressed and recommend solutions in key areas of interest, including formal modeling, static analysis and optimization, runtime analysis and optimization, and autonomic  ...  The metric classification should be based on the formal model (see Section II-A).  ...  Formal analyses can be applied to these models to predict their probabilistic behavior.  ... 
arXiv:1503.06974v2 fatcat:ehins3rgmred5itigap3xohooy

International Conference on Data Mining and NLP (DNLP 2020)

Rusev
2020 Zenodo  
, Efficiency, Scalability, and Privacy  Foundations, Algorithms, Models, and Theory  Mining Text, Semi-Structured, Spatio -Temporal, Streaming, Graph, Web, Multimedia  Knowledge Processing  Chunking  ...   Parsing/Grammatical Formalisms  Phonology, Morphology  POS Tagging  Question Answering  Semantic Processing  Speech Recognition and Synthesis  Spoken Language Processing  Statistical and Knowledge  ...  , Efficiency, Scalability, and Privacy  Foundations, Algorithms, Models, and Theory  Mining Text, Semi-Structured, Spatio -Temporal, Streaming, Graph, Web, Multimedia  Knowledge Processing  Chunking  ... 
doi:10.5281/zenodo.4047733 fatcat:ra6lrlysh5gqrazxr3lfredtxi

A flexible and scalable experimentation layer

Jan Himmelspach, Roland Ewald, Adelinde M. Uhrmacher
2008 2008 Winter Simulation Conference  
Modeling and simulation frameworks for use in different application domains, throughout the complete development process, and in different hardware environments need to be highly scalable.  ...  We present an experimentation layer for the modeling and simulation framework JAMES II.  ...  Being bound to single execution platforms (e.g., single machines, cluster, grids) or being restricted to single formalisms/languages, simulation algorithms, and data structures limits the scalability of  ... 
doi:10.1109/wsc.2008.4736146 dblp:conf/wsc/HimmelspachEU08 fatcat:iraxghphsfgffcha53wtywxfhq

Preparing HPC Applications for Exascale: Challenges and Recommendations

Erika Abraham, Costas Bekas, Ivona Brandic, Samir Genaim, Einar Broch Johnsen, Ivan Kondov, Sabri Pllana, Achim Streit
2015 2015 18th International Conference on Network-Based Information Systems  
We identify challenges that need to be addressed and recommend solutions in key areas of interest, including formal modeling, static analysis and optimization, runtime analysis and optimization, and autonomic  ...  The metric classification should be based on the formal model (see Section II-A).  ...  Formal analyses can be applied to these models to predict their probabilistic behavior.  ... 
doi:10.1109/nbis.2015.61 dblp:conf/nbis/AbrahamBBGJKPS15 fatcat:vrptx6acgzgblogcmezc5aqrsi

Towards a Reference Software Architecture for Human-AI Teaming in Smart Manufacturing [article]

Philipp Haindl, Georg Buchgeher, Maqbool Khan, Bernhard Moser
2022 arXiv   pre-print
on its scalability.  ...  Our approach uses knowledge graphs to capture product- and process specific knowledge in the manufacturing process and to utilize it for relational machine learning.  ...  We use knowledge graphs and ontologies to formalize these shared mental models of the manufacturing process and the semantics of trust factors for human-AI teaming in an operational manner.  ... 
arXiv:2201.04876v5 fatcat:3hxd3pqomzbi7a6zm54f47hnry

PACT: AN ENVIRONMENT FOR PARALLEL HEURISTIC PROGRAMMING [chapter]

Marc Aguilar, Béat Hirsbrunner
1994 Massively Parallel Processing Applications and Development  
This paper introduces Pact, a new model for parallel heuristic programming on MIMD machines.  ...  Dans ce papier, nous présentons Pact, un nouveau modèle pour la programmation heuristique parallèle sur des machines MIMD.  ...  SCALABILITY: We also tested scalability of the machines which hosted Pact. Scalability by a factor of 10 was achieved without any changes.  ... 
doi:10.1016/b978-0-444-81784-6.50039-7 fatcat:gwxbefppnffo3f2qaw2xhgxxp4

Formalizing common sense for scalable inconsistency-robust information integration using Direct Logic(TM) reasoning and the Actor Model [article]

Carl Hewitt
2015 arXiv   pre-print
of computation (first formalized by Turing) is inadequate to the needs of modern large-scale Internet applications the Actor Model was developed to meet this need.  ...  Using, the Actor Model, this paper proves that Logic Programming is not computationally universal in that there are computations that cannot be implemented using logical inference.  ...  So if an output set of P is infinite, it must contain a nonterminating computation. 39The above proof is quite general and applies to the Abstract State Machine (ASM) model[Blass, Gurevich, Rosenzweig,  ... 
arXiv:0812.4852v103 fatcat:ffzxv7qrgzd4db6fpcexpupdgy

Formal Analysis of Load Balancing in Microservices with Scenario Calculus

Hong Zhu, Hongbo Wang, Ian Bayley
2018 2018 IEEE 11th International Conference on Cloud Computing (CLOUD)  
In this paper, we formalise load balance as an emergent property of the microservices ecosystem, and employ scenario calculus to formally analyse the impact of scheduling on service capability and scalability  ...  However, it is different from load balancing for virtual machines, because workloads on microservices are harder to predict and the number of services in the systems is large.  ...  Existing work can be classified into two categories: (a) devising workload models for task scheduling and service capability management, and (b) allocating virtual machines to physical machines to optimise  ... 
doi:10.1109/cloud.2018.00133 dblp:conf/IEEEcloud/ZhuWB18 fatcat:wfsdy46ci5hn5my7xlamofnnbu

Big Data Analytics using Meta Machine Learning
English

Bharati Suvalka, Sarika kandelwal, Sidharth Singh Sisodia
2014 International Journal of Innovative Research in Science Engineering and Technology  
As "Big Data" grows bigger at a rapid speed, Machine Learning (MACHINE LEARNING) techniques have come to play a vital role in automatic data processing and analytics across a wide spectrum of application  ...  We wish to refer to this science as "Meta-Machine Learning" (MMACHINE LEARNING).  ...  The proposed MACHINE LEARNING techniques to capably learn user behaviors would enable scalability across multiple sites.  ... 
doi:10.15680/ijirset.2014.0308072 fatcat:3qwqpolrerf6jj5c77yqpwdoee
« Previous Showing results 1 — 15 out of 78,512 results