Results 221 to 230 of about 178,062 (266)
Some of the next articles are maybe not open access.
Performability modeling with UltraSAN
Proceedings of the Fourth International Workshop on Petri Nets and Performance Models PNPM91, 1991Stochastic extensions to Petri nets have received growing attention during the past decade as a model for evaluating the performance, dependability, and performability of computer hardware, software, and networks. Their formal structure permits solution by analytic means in many cases.
Joseph A. Couvillion +7 more
openaire +1 more source
Programming and Computer Software, 2011
Metamodels ensuring the adequacy of the results of performance testing and its parts were developed; these parts are statement of the problem, initial data, and analysis of experimental results. Tools for the adaptation of metamodels to the characteristics of a specific automated load testing experiment and for the estimation of performance of a wide ...
B. A. Pozin, Igor V. Galakhov
openaire +1 more source
Metamodels ensuring the adequacy of the results of performance testing and its parts were developed; these parts are statement of the problem, initial data, and analysis of experimental results. Tools for the adaptation of metamodels to the characteristics of a specific automated load testing experiment and for the estimation of performance of a wide ...
B. A. Pozin, Igor V. Galakhov
openaire +1 more source
Compositional Performance Modelling with the TIPPtool
Performance Evaluation, 1998Summary: Stochastic process algebras have been proposed as compositional specification formalisms for performance models. In this paper, we describe a tool which aims at realising all beneficial aspects of compositional performance modelling, the TIPPtool.
Holger Hermanns +4 more
openaire +2 more sources
2013
Pilot as the controller of the aircraft whose performance is key for aviation safety. This paper investigated three main pilot models at present. The models all can solve the problems they are expected to well, but there is no model that has integrated architecture for pilot information processed.
Xiaoyan Zhang 0006, Hongjun Xue
openaire +1 more source
Pilot as the controller of the aircraft whose performance is key for aviation safety. This paper investigated three main pilot models at present. The models all can solve the problems they are expected to well, but there is no model that has integrated architecture for pilot information processed.
Xiaoyan Zhang 0006, Hongjun Xue
openaire +1 more source
Modeling organizational performance indicators
Information Systems, 2010Performance measurement and analysis is crucial for steering the organization to realize its strategic and operational goals. Relevant performance indicators and their relationships to goals and activities need to be determined and analyzed. Current organization modeling approaches do not reflect this in an adequate way. This paper attempts to fill the
Popova, V., Sharpanskykh, A.
openaire +2 more sources
The Pipeline Performance Model: A Generic Executable Performance Model for GPUs
2019 27th Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP), 2019This paper presents the pipeline performance model, a generic GPU performance model, which helps understand the performance of GPU code by using a code representation that is very close to the source code. The code is represented by a graph in which the nodes correspond to the source code instructions and the edges to data dependences between them ...
Jan G. Cornelis, Jan Lemeire
openaire +2 more sources
Generation of Performance Models
1998A hybrid method for performance modeling of parallel programs is presented, where the runtime of large sequential segments is estimated statically and the parallel program structure is evaluated by simulation. AUGUR (automatic model generation with user response) is a tool that assists the user during performance model generation starting from the ...
Hermann Mierendorff, Helmut Schwamborn
openaire +1 more source
Nurse Educator, 1992
This study identified major factors that contributed to peak performance among eight nursing educators. The peak performers were interviewed 3 times over 8 years. Intense commitment to a mission, continual performance assessment, concentration on satisfaction and rewards, and the ability to set priorities and seek social support were delineated as ...
openaire +2 more sources
This study identified major factors that contributed to peak performance among eight nursing educators. The peak performers were interviewed 3 times over 8 years. Intense commitment to a mission, continual performance assessment, concentration on satisfaction and rewards, and the ability to set priorities and seek social support were delineated as ...
openaire +2 more sources
Model checking performability properties
Proceedings International Conference on Dependable Systems and Networks, 2003Model checking has been introduced as an automated technique to verify whether functional properties, expressed in a formal logic like computational tree logic (CTL), do hold in a formally-specified system. We present a number of computational procedures to perform model checking of continuous stochastic reward logic (CSRL) over finite Markov reward ...
Boudewijn R. Haverkort +4 more
openaire +1 more source
Performance Modeling and Evaluation of MPI
Journal of Parallel and Distributed Computing, 2001zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Khalid Al-Tawil, Csaba Andras Moritz
openaire +2 more sources