top

  Info

  • Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
Certifying Software Component Performance Specifications
Certifying Software Component Performance Specifications
Autore Groenda Henning
Pubbl/distr/stampa KIT Scientific Publishing, 2013
Descrizione fisica 1 electronic resource (XIV, 473 p. p.)
Collana The Karlsruhe Series on Software Design and Quality / Ed. by Prof. Dr. Ralf Reussner
Soggetto non controllato Accuracy
Component-Based Software Engineering (CBSE)
Performance Prediction
Common Component Modeling Example (CoCoME)
Certification
ISBN 1000036063
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-9910346861403321
Groenda Henning  
KIT Scientific Publishing, 2013
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
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 electronic resource (XIV, 358 p. p.)
Collana The Karlsruhe Series on Software Design and Quality / Ed. by Prof. Dr. Ralf Reussner
Soggetto non controllato Performance Prediction
Software Architecture
Event-based Systems
Modelling
ISBN 1000032232
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-9910346888303321
Rathfelder Christoph  
KIT Scientific Publishing, 2013
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
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 electronic resource (IV, 291 p. p.)
Collana The Karlsruhe Series on Software Design and Quality / Ed. by Prof. Dr. Ralf Reussner
Soggetto non controllato Multiprocessing System
Operating System Scheduler
Performance Prediction
Coloured Petri Nets
Multicore Processor
ISBN 1000011806
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-9910346923703321
Happe Jens  
KIT Scientific Publishing, 2009
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui