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.
Filters
A framework for modelling and analysis of software systems scalability
2006
Proceeding of the 28th international conference on Software engineering - ICSE '06
Preserved Fulltext
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
2016
2016 International Conference on Collaboration Technologies and Systems (CTS)
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.
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]
2021
arXiv
pre-print
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.
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
2010
The XIX International Conference on Electrical Machines - ICEM 2010
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.
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 Machine •Machine 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?
1990
SIGARCH Computer Architecture News
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, 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)
2020
Zenodo
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.
, 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]
2015
arXiv
pre-print
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.
Other Versions
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)
2020
Zenodo
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.
, 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
2008
2008 Winter Simulation Conference
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.
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
2015
2015 18th International Conference on Network-Based Information Systems
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.
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]
2022
arXiv
pre-print
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.
Other Versions
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]
1994
Massively Parallel Processing Applications and Development
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.
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]
2015
arXiv
pre-print
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.
Other Versions
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
2018
2018 IEEE 11th International Conference on Cloud Computing (CLOUD)
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.
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
2014
International Journal of Innovative Research in Science Engineering and Technology
English
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.
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