Welcome!
To use the personalized features of this site, please log in or register.
If you have forgotten your username or password, we can help.
My Menu
Marked Items 
Alerts
Order History
Saved Items
All
Favorites
    
Book Chapter Printable view
Compositional Performance Analysis Using Probabilistic I/O Automata

Compositional Performance Analysis Using Probabilistic I/O Automata

Book SeriesLecture Notes in Computer Science
PublisherSpringer Berlin / Heidelberg
ISSN0302-9743 (Print) 1611-3349 (Online)
VolumeVolume 1877/2000
BookCONCUR 2000 — Concurrency Theory
DOI10.1007/3-540-44618-4
Copyright2000
ISBN978-3-540-67897-7
DOI10.1007/3-540-44618-4_3
Pages25-28
Subject CollectionComputer Science
SpringerLink DateSaturday, January 01, 2000
Add to marked items

Compositional Performance Analysis Using Probabilistic I/O Automata

Eugene W. Stark5 Contact Information

(5)  Department of Computer Science, State University of New York at Stony Brook, Stony Brook, NY 11794, USA
Abstract
In this talk, I give an overview of some recent work, by my colleagues and me at Stony Brook, concerning compositional specification and performance analysis techniques for finite-state reactive systems in which probability and timing play a significant role.
Research supported in part by AFOSR Grant F49620-96-1-0087.

Contact Information Eugene W. Stark
Email: stark@cs.sunysb.edu
Fulltext Preview (Small, Large)
Image of the first page of the fulltext

References secured to subscribers.
more options
Find


Export this chapter
Export this chapter as RIS | Text
 
Frequently asked questions | General information on journals and books | Send us your feedback | Impressum | Contact
© Springer. Part of Springer Science+Business Media
Privacy, Disclaimer, Terms and Conditions, © Copyright Information
Remote Address: 38.107.191.109 • Server: mpweb07
HTTP User Agent: CCBot/1.0 (+http://www.commoncrawl.org/bot.html)