[go: up one dir, main page]

TEKULU, 2019 - Google Patents

Process algebra for performance evaluation

TEKULU, 2019

View PDF
Document ID
16330031482412937672
Author
TEKULU A
Publication year

External Links

Snippet

Process algebras are formalisms widely used to represent concurrent systems such as biological systems. An algebraic specification of a system is composed of processes that interact and communicate between them or are synchronized over a set of actions. Algebraic …
Continue reading at www.politesi.polimi.it (PDF) (other versions)

Classifications

    • 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
    • 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
    • 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
    • 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
    • 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/10—Office automation, e.g. computer aided management of electronic mail or groupware; Time management, e.g. calendars, reminders, meetings or time accounting
    • 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
    • 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
    • H—ELECTRICITY
    • H04—ELECTRIC COMMUNICATION TECHNIQUE
    • H04L—TRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
    • H04L41/00—Arrangements for maintenance or administration or management of packet switching networks
    • H04L41/14—Arrangements for maintenance or administration or management of packet switching networks involving network analysis or design, e.g. simulation, network model or planning
    • H04L41/145—Arrangements for maintenance or administration or management of packet switching networks involving network analysis or design, e.g. simulation, network model or planning involving simulating, designing, planning or modelling of a network
    • 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
    • G06N—COMPUTER SYSTEMS BASED ON SPECIFIC COMPUTATIONAL MODELS
    • G06N99/00—Subject matter not provided for in other groups of this subclass
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F19/00—Digital computing or data processing equipment or methods, specially adapted for specific applications
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06N—COMPUTER SYSTEMS BASED ON SPECIFIC COMPUTATIONAL MODELS
    • G06N7/00—Computer systems based on specific mathematical models
    • G06N7/005—Probabilistic networks

Similar Documents

Publication Publication Date Title
Agrawal et al. Vidur: A large-scale simulation framework for llm inference
US7536292B2 (en) Method of generating a performance model from a functional model
Marzolla Simulation-based performance modeling of UML software architectures.
Gehlot From petri nets to colored petri nets: A tutorial introduction to nets based formalism for modeling and simulation
Eldabi et al. Tutorial on means of hybrid simulation
Spinner et al. Stochastic modeling and analysis using QPME: Queueing petri net modeling environment v2. 0
Scheerer et al. Design-time validation of runtime reconfiguration strategies: An environmental-driven approach
Liu et al. Net-structure-based conditions to decide compatibility and weak compatibility for a class of inter-organizational workflow nets
Jaeger et al. From statistical model checking to run-time monitoring using a bayesian network approach
Fu et al. Modeling and performance analysis of product development process network
Bemthuis et al. Using process mining for face validity assessment in agent-based simulation models: an exploratory case study
Warnke et al. Population-based CTMCS and agent-based models
Sanislav et al. An agent-oriented approach for cyber-physical system with dependability features
Mikov et al. Program tools and language for Network simulation and analysis
TEKULU Process algebra for performance evaluation
CN105022870B (en) A kind of service-oriented software performance modeling and simulation analysis method based on CPN
Li et al. Search-based uncertainty-wise requirements prioritization
Casale et al. Tools for performance evaluation of computer systems: historical evolution and perspectives
Han et al. Transformation rules from AADL to improved colored GSPN for integrated modular avionics
Mikov et al. Implementation of simulation process under incomplete knowledge using domain ontology
de Oliveira et al. Performance testing from UML models with resource descriptions
Viroli et al. A self-organising solution to the collective sort problem in distributed tuple spaces
Mikov et al. An Ontology-based Approach to the Incomplete Simulation Model Analisis and its Automatic Completion
Moreira et al. A study of a machine condition monitoring system using petri nets
Padilla et al. M&S methodological challenges