[go: up one dir, main page]
More Web Proxy on the site http://driver.im/

Balbo et al., 1994 - Google Patents

On the computation of performance characteristics of concurrent programs using GSPNs

Balbo et al., 1994

Document ID
1076435831881059493
Author
Balbo G
Donatelli S
Franceschinis G
Mazzeo A
Mazzocca N
Ribaudo M
Publication year
Publication venue
Performance Evaluation

External Links

Snippet

Petri net based models are proposed in this paper as the vehicles for the characterization of the processing and communication parameters of concurrent programs. A technique for the construction of a GSPN model as a direct translation of a concurrent program is used and a …
Continue reading at www.sciencedirect.com (other versions)

Classifications

    • 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
    • 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
    • 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/3466—Performance evaluation by tracing or monitoring
    • 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
    • G06F8/00—Arrangements for software engineering
    • G06F8/40—Transformations of program code
    • G06F8/41—Compilation
    • 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/3604—Software analysis for verifying properties of programs
    • 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
    • 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
    • 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
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06N—COMPUTER SYSTEMS BASED ON SPECIFIC COMPUTATIONAL MODELS

Similar Documents

Publication Publication Date Title
Goševa-Popstojanova et al. Architecture-based approach to reliability assessment of software systems
Jensen et al. Colored Petri nets: a graphical language for formal modeling and validation of concurrent systems
Fairley Tutorial: Static analysis and dynamic testing of computer software
Nudler et al. Tools for the efficient development of efficient parallel programs
Van Gemund Performance modeling of parallel systems
Balbo et al. Understanding parallel program behavior through petri net models
Rolia Predicting the performance of software systems.
Hall et al. Combined network complexity measures
Friese et al. Generating performance models for irregular applications
Balbo et al. On the computation of performance characteristics of concurrent programs using GSPNs
Cicirelli et al. Analyzing stochastic reward nets by model checking and parallel simulation
Altenbernd Timing analysis, scheduling, and allocation of periodic hard real-time tasks
Balsamo et al. Software performance: state of the art and perspectives
Donatelli et al. Modelling and analysis of distributed software using gspns
Kiskis et al. SWSL: A synthetic workload specification language for real-time systems
CA2216667A1 (en) A method of determining causal connections between events recorded during process execution
Becker The analysis and design of concurrency using box structures
Sanguinetti A technique for integrating simulation and system design
Sciammarella et al. Modelling analysis and implementation of distributed probabilistic timed actors using theatre
Ancilotti et al. A development environment for hard real-time applications
Papaefstathiou Design of a performance technology infrastructure to support the construction of responsive software
Krichen Improving and optimizing verification and testing techniques for distributed information systems
Martínez et al. Evaluating a formal methodology for dynamic tuning of large‐scale parallel applications
MacKay Hierarchical modeling for parallel and distributed software applications
Andersson et al. A framework for analysis of timing and resource utilization targeting complex embedded systems