[go: up one dir, main page]

Mikkilineni et al., 2015 - Google Patents

Oracles in software networks: A new scientific and technological approach to designing self-managing distributed computing processes

Mikkilineni et al., 2015

View PDF
Document ID
9765382164162897161
Author
Mikkilineni R
Morana G
Burgin M
Publication year
Publication venue
Proceedings of the 2015 European Conference on Software Architecture Workshops

External Links

Snippet

For Turing and the majority of computer scientists, an Oracle is a device that supplies a Turing machine with the values of some function (on the natural numbers or words in some alphabet) that is not recursively, eg, Turing-machine, computable. Now technological …
Continue reading at triadicautomata.com (PDF) (other versions)

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F9/00—Arrangements for programme control, e.g. control unit
    • G06F9/06—Arrangements for programme control, e.g. control unit using stored programme, i.e. using internal store of processing equipment to receive and retain programme
    • G06F9/46—Multiprogramming arrangements
    • G06F9/50—Allocation of resources, e.g. of the central processing unit [CPU]
    • G06F9/5061—Partitioning or combining of resources
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
    • G06F17/50—Computer-aided design
    • G06F17/5009—Computer-aided design using simulation
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06N—COMPUTER SYSTEMS BASED ON SPECIFIC COMPUTATIONAL MODELS
    • G06N5/00—Computer systems utilising knowledge based models
    • G06N5/02—Knowledge representation
    • G06N5/022—Knowledge engineering, knowledge acquisition
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/30—Monitoring
    • G06F11/34—Recording or statistical evaluation of computer activity, e.g. of down time, of input/output operation; Recording or statistical evaluation of user activity, e.g. usability assessment
    • G06F11/3409—Recording or statistical evaluation of computer activity, e.g. of down time, of input/output operation; Recording or statistical evaluation of user activity, e.g. usability assessment for performance assessment
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06N—COMPUTER SYSTEMS BASED ON SPECIFIC COMPUTATIONAL MODELS
    • G06N5/00—Computer systems utilising knowledge based models
    • G06N5/04—Inference methods or devices
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06Q—DATA PROCESSING SYSTEMS OR METHODS, SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL, SUPERVISORY OR FORECASTING PURPOSES; SYSTEMS OR METHODS SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL, SUPERVISORY OR FORECASTING PURPOSES, NOT OTHERWISE PROVIDED FOR
    • G06Q10/00—Administration; Management
    • G06Q10/06—Resources, workflows, human or project management, e.g. organising, planning, scheduling or allocating time, human or machine resources; Enterprise planning; Organisational models
    • G06Q10/063—Operations research or analysis
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06N—COMPUTER SYSTEMS BASED ON SPECIFIC COMPUTATIONAL MODELS
    • G06N3/00—Computer systems based on biological models
    • G06N3/02—Computer systems based on biological models using neural network models
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06N—COMPUTER SYSTEMS BASED ON SPECIFIC COMPUTATIONAL MODELS
    • G06N99/00—Subject matter not provided for in other groups of this subclass
    • G06N99/005—Learning machines, i.e. computer in which a programme is changed according to experience gained by the machine itself during a complete run
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/36—Preventing errors by testing or debugging software
    • G06F11/3668—Software testing
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F2201/00—Indexing scheme relating to error detection, to error correction, and to monitoring
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F21/00—Security arrangements for protecting computers, components thereof, programs or data against unauthorised activity
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F15/00—Digital computers in general; Data processing equipment in general
    • G06F15/16—Combinations of two or more digital computers each having at least an arithmetic unit, a programme unit and a register, e.g. for a simultaneous processing of several programmes
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06Q—DATA PROCESSING SYSTEMS OR METHODS, SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL, SUPERVISORY OR FORECASTING PURPOSES; SYSTEMS OR METHODS SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL, SUPERVISORY OR FORECASTING PURPOSES, NOT OTHERWISE PROVIDED FOR
    • G06Q50/00—Systems or methods specially adapted for a specific business sector, e.g. utilities or tourism
    • G06Q50/10—Services
    • G06Q50/20—Education

Similar Documents

Publication Publication Date Title
Orhean et al. New scheduling approach using reinforcement learning for heterogeneous distributed systems
Maurer et al. Adaptive resource configuration for cloud infrastructure management
Imteaj et al. FedPARL: Client activity and resource-oriented lightweight federated learning model for resource-constrained heterogeneous IoT environment
Mikkilineni et al. Oracles in software networks: A new scientific and technological approach to designing self-managing distributed computing processes
Song et al. Solution to PSPACE‐Complete Problem Using P Systems with Active Membranes with Time‐Freeness
Song et al. Asynchronous spiking neural P systems with anti-spikes
Nita et al. FIM-SIM: fault injection module for CloudSim based on statistical distributions
Eulig et al. Toward falsifying causal graphs using a permutation-based test
Lecuyer et al. Harvesting randomness to optimize distributed systems
Braha Patterns of ties in problem-solving networks and their dynamic properties
Skopik et al. Discovering and managing social compositions in collaborative enterprise crowdsourcing systems
Sahli et al. Model-Checking Cloud Systems Using BigMC.
Funika et al. Automatic management of cloud applications with use of proximal policy optimization
Canaval et al. Distributed simulation of NEPs based on-demand cloud elastic computation
Kesarev et al. Parallel simulation of community-wide information spreading in online social networks
Chatzikonstantinou et al. Task specification and reasoning in dynamically altered contexts
Blochinger Towards Robustness in Parallel SAT Solving.
Wolf et al. Artificial agents, cloud computing, and quantum computing: Applying Floridi’s method of levels of abstraction
Luo et al. Time‐Free Solution to SAT Problem by Tissue P Systems
Mascart et al. Simulation scalability of large brain neuronal networks thanks to time asynchrony
Cheng et al. A cooperative grid computing approach to automated theorem finding and automated problem proposing
Piccolo Analysis and modelling of engineering systems using Data Science and Network Science
Alexander Extended subdomains: a solution to a problem of Hernández-Orallo and Dowe
Leporati Time and Space Complexity of P Systems—And Why They Matter
Cedeno Pipelines for computational social science experiments and model building