Computer performance evaluation(计算机性能评价／会议录)

This volume spans the whole field of computational logic seen from the point of view of logic programming. The topics addressed range from issues concerning the development of programming languages in logic and the application of computational logic to real-life problems, to philosophical studies of the field at the other end of the spectrum. The articles presented cover the contributions of computational logic to databases and artificial intelligence with particular emphasis on automated reasoning, reasoning about actions and change, natural languages, and learning.Together with its companion volume, LNAI 2408, this book commemorates the 60th birthday of Bob Kowalski as one of the founders of and contributors to computational logic.

在线阅读本书

This book constitutes the refereed proceedings of the 12th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation, TOOLS 2002, held in London, UK in April 2002.The 18 revised full papers and six tool papers presented together with an invited contribution were carefully reviewed and selected from 57 submissions. Among the topics addressed are generic techniques like stochastic process algebras and the analysis of Petri nets and Markov chains, as well as the development and employment of tools in areas such as the Internet, software performance engineering, parallel systems, real-time systems, and transaction processing.

Heavy Tails: The Effect of the Service Discipline
The MSbius State-Level Abstract FunctionM Interface
The ProC/B Toolset for the Modelling and Analysis of Process Chains ...
MRMSolve: Distribution Estimation of Large Markov Reward Models
PhFit: A General Phase-Type Fitting Tool
Traffic Modeling of IP Networks Using the
Batch Markovian Arrival Process
PEPA Nets: A Structured Performance Modelling Formalism
Validation of GSPN and SWN Models through the PROD Tool
Software Performance Models from System Scenarios in Use Case Maps...
Applying the UML Performance Profile: Graph Grammar-Based Derivation of LQN Models from UML Specifications
A Passage-Time Preserving Equivalence for Semi-Markov Processes
Symbolic Methods for the State Space Exploration of GSPN Models
PRISM: Probabilistic Symbolic Model Checker
MAMSolver: A Matrix Analytic Methods Tool
The MOMBASA Software Environment - A Toolkit for Performance Evaluation of Multicast-Based Mobility Support
GILK: A Dynamic Instrumentation Tool for the Linux Kernel
Geist: A Web Traffic Generation Tool
DrawNET++: Model Objects to Support Performance Analysis and Simulation of Systems
A Visual Formalism for the Composition of Stochastic Petri Nets
Symbolic Performance Prediction of Data-Dependent Parallel Programs..
Analysis of a Transaction System with Checkpointing, Failures, and Rollback
Analyzing Voice-over-IP Subjective Quality as a Function of Network QoS: A Simulation-Based Methodology and Tool
Hierarchical Workloar Characterization for a Busy Web Server
Enabling Network Caching of Dynamic Web Objects
A Tool for Controlling Response Time in Real-Time Systems
Author Index