|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 22 occurrences of 19 keywords
|
|
|
Results
Found 2 publication records. Showing 2 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
33 | Oliver C. Ibe, Hoon Choi, Kishor S. Trivedi |
Performance Evaluation of Client-Server Systems. |
IEEE Trans. Parallel Distributed Syst. |
1993 |
DBLP DOI BibTeX RDF |
local areanetwork, parametric sensitivities, message interdependencies, request-replysystems, CSMA/CD network, distributedprocessing, performance evaluation, performance evaluation, distributed system, distributed systems, Petri nets, Markov chain, throughput, client-server systems, stochastic Petri nets, CSMA, file server, file servers, stochastic reward nets, token ring network, mean response time |
33 | Gianfranco Balbo, Giovanni Chiola, Steven C. Bruell, Pozung Chen |
An Example of Modeling and Evaluation of a Concurrent Program Using Colored Stochastic Petri Nets: Lamport's Fast Mutual Exclusion Algorithm. |
IEEE Trans. Parallel Distributed Syst. |
1992 |
DBLP DOI BibTeX RDF |
colored stochastic Petri nets, Lamport concurrentalgorithm, parametric formal proof of liveness, Markovian analysis, distributedprocessing, performance evaluation, distributed systems, Petri nets, concurrency control, Markov processes, concurrent program, correctness, stochastic processes, performanceevaluation, mutual exclusion problem |
Displaying result #1 - #2 of 2 (100 per page; Change: )
|
|