Certifying Software Component Performance Specifications
| Certifying Software Component Performance Specifications |
| Autore | Groenda Henning |
| Pubbl/distr/stampa | KIT Scientific Publishing, 2013 |
| Descrizione fisica | 1 online resource (XIV, 473 p. p.) |
| Collana | The Karlsruhe Series on Software Design and Quality / Ed. by Prof. Dr. Ralf Reussner |
| Soggetto non controllato |
Accuracy
Certification Common Component Modeling Example (CoCoME) Component-Based Software Engineering (CBSE) Performance Prediction |
| ISBN | 1000036063 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910346861403321 |
Groenda Henning
|
||
| KIT Scientific Publishing, 2013 | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Modelling Event-Based Interactions in Component-Based Architectures for Quantitative System Evaluation
| Modelling Event-Based Interactions in Component-Based Architectures for Quantitative System Evaluation |
| Autore | Rathfelder Christoph |
| Pubbl/distr/stampa | KIT Scientific Publishing, 2013 |
| Descrizione fisica | 1 online resource (XIV, 358 p. p.) |
| Collana | The Karlsruhe Series on Software Design and Quality / Ed. by Prof. Dr. Ralf Reussner |
| Soggetto non controllato |
Event-based Systems
Modelling Performance Prediction Software Architecture |
| ISBN | 1000032232 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910346888303321 |
Rathfelder Christoph
|
||
| KIT Scientific Publishing, 2013 | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Predicting software performance in symmetric multi-core and multiprocessor Environments
| Predicting software performance in symmetric multi-core and multiprocessor Environments |
| Autore | Happe Jens |
| Pubbl/distr/stampa | KIT Scientific Publishing, 2009 |
| Descrizione fisica | 1 online resource (IV, 291 p. p.) |
| Collana | The Karlsruhe Series on Software Design and Quality / Ed. by Prof. Dr. Ralf Reussner |
| Soggetto non controllato |
Coloured Petri Nets
Multicore Processor Multiprocessing System Operating System Scheduler Performance Prediction |
| ISBN | 1000011806 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910346923703321 |
Happe Jens
|
||
| KIT Scientific Publishing, 2009 | ||
| Lo trovi qui: Univ. Federico II | ||
| ||