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.
.. International Symposium on Problems of Redundancy in Information and Control Systems
| .. International Symposium on Problems of Redundancy in Information and Control Systems |
| Pubbl/distr/stampa | [Piscataway, NJ] : , : [IEEE] |
| Descrizione fisica | online resource |
| Disciplina | 004.24 |
| Soggetto topico |
Electronic data processing - Reliability
Automatic control - Reliability Redundancy (Engineering) |
| Soggetto genere / forma | Conference papers and proceedings. |
| ISSN | 2694-5215 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
Proceedings
REDUNDANCY Problems of Redundancy in Information and Control Systems (RED), ... International Symposium on RED International Symposium "Problems of Redundancy in Information and Control Systems" |
| Record Nr. | UNINA-9910626188103321 |
| [Piscataway, NJ] : , : [IEEE] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
2001 IEEE International Symposium on Performance Analysis of Systems and Software : ISPASS, November 4-6, 2001, Tucson, Arizona / / Institute of Electrical and Electronics Engineers
| 2001 IEEE International Symposium on Performance Analysis of Systems and Software : ISPASS, November 4-6, 2001, Tucson, Arizona / / Institute of Electrical and Electronics Engineers |
| Pubbl/distr/stampa | Piscataway, New Jersey : , : IEEE, , 2001 |
| Descrizione fisica | 1 online resource (x, 185 pages) : illustrations |
| Disciplina | 004.24 |
| Soggetto topico |
Computer systems - Evaluation
Computer systems - Reliability |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 2001 IEEE International Symposium on Performance Analysis of Systems and Software [front matter] -- MASE: a novel infrastructure for detailed microarchitectural modeling -- Early design phase power/performance modeling through statistical simulation -- Performance analysis using pipeline visualization -- Implementation and evaluation of a best-effort scheduling algorithm in an embedded real-time system -- An evaluation of the POSIX trace standard implemented in RT-linux -- Cycle accurate thread timer for linux environmenthang -- About the sensitivity of the HLRC-DU protocol on diff and page sizes -- Geist: a generator for e-commerce & internet server traffic -- Performance characterization experience of multi-tier e-business systems using queuing operational analysis -- Understanding control flow transfer and its predictability in java processing -- The effects of context switching on branch predictor performance -- Estimating internal memory fragmentation for java programs under the binary buddy policy -- An evaluation of search tree techniques in the presence of caches -- Automatic memory hierarchy characterization -- Using program and user information to improve file prediction performance -- Efficient profile-based evaluation of randomising set index functions for cache memories -- Workload characterization of multithreaded java servers -- Behavior and performance of interactive multi-player game servers -- Parallel simulation of multiprocessor execution: implementation and results for simplescalar -- Locality-aware predictive scheduling of network processors -- Statistical usage testing applied to mobile network verification -- Balancing thoughput and fairness in SMT processors -- An empirical study of the scalability aspects of instruction distribution algorithms for clustered processors -- How to compare the performance of two SMT microarchitectures -- Author index. |
| Altri titoli varianti | Performance Analysis of Systems and Software, 2001. ISPASS. 2001 IEEE International Symposium on |
| Record Nr. | UNISA-996199727303316 |
| Piscataway, New Jersey : , : IEEE, , 2001 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
2010 IEEE International Symposium on Performance Analysis of Systems and Software
| 2010 IEEE International Symposium on Performance Analysis of Systems and Software |
| Pubbl/distr/stampa | [Place of publication not identified], : IEEE, 2010 |
| Descrizione fisica | 1 online resource (ix, 248 pages) : illustrations |
| Disciplina | 004.24 |
| Soggetto topico | Computer systems - Evaluation |
| ISBN |
9781424460243
1424460247 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910139122103321 |
| [Place of publication not identified], : IEEE, 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
2011 IEEE International Symposium on Performance Analysis of Systems and Software
| 2011 IEEE International Symposium on Performance Analysis of Systems and Software |
| Pubbl/distr/stampa | [Place of publication not identified], : IEEE, 2011 |
| Descrizione fisica | 1 online resource : illustrations |
| Disciplina | 004.24 |
| Soggetto topico | Computer systems - Evaluation |
| ISBN |
9781612843681
1612843689 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910141148003321 |
| [Place of publication not identified], : IEEE, 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
2012 IEEE 18th Pacific Rim International Symposium on Dependable Computing (PRDC)
| 2012 IEEE 18th Pacific Rim International Symposium on Dependable Computing (PRDC) |
| Pubbl/distr/stampa | [Place of publication not identified], : IEEE, 2012 |
| Descrizione fisica | 1 online resource |
| Disciplina | 004.24 |
| Soggetto topico | Electronic digital computers - Reliability |
| ISBN |
9780769548852
0769548857 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910133571903321 |
| [Place of publication not identified], : IEEE, 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
2013 International Symposium on Performance Evaluation of Computer and Telecommunication Systems (SPECTS) / / Institute of Electrical and Electronics Engineers
| 2013 International Symposium on Performance Evaluation of Computer and Telecommunication Systems (SPECTS) / / Institute of Electrical and Electronics Engineers |
| Pubbl/distr/stampa | Piscataway, N.J. : , : Institute of Electrical and Electronics Engineers, , 2013 |
| Descrizione fisica | 1 online resource |
| Disciplina | 004.24 |
| Soggetto topico | Computer systems - Evaluation |
| ISBN | 1-56555-351-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
2013 International Symposium on Performance Evaluation of Computer and Telecommunication Systems
2013 International Symposium on Performance Evaluation of Computer and Telecommunication Systems (SPECTS) Performance Evaluation of Computer and Telecommunication Systems |
| Record Nr. | UNISA-996279955703316 |
| Piscataway, N.J. : , : Institute of Electrical and Electronics Engineers, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
2013 International Symposium on Performance Evaluation of Computer and Telecommunication Systems (SPECTS) / / Institute of Electrical and Electronics Engineers
| 2013 International Symposium on Performance Evaluation of Computer and Telecommunication Systems (SPECTS) / / Institute of Electrical and Electronics Engineers |
| Pubbl/distr/stampa | Piscataway, N.J. : , : Institute of Electrical and Electronics Engineers, , 2013 |
| Descrizione fisica | 1 online resource |
| Disciplina | 004.24 |
| Soggetto topico | Computer systems - Evaluation |
| ISBN | 1-56555-351-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
2013 International Symposium on Performance Evaluation of Computer and Telecommunication Systems
2013 International Symposium on Performance Evaluation of Computer and Telecommunication Systems (SPECTS) Performance Evaluation of Computer and Telecommunication Systems |
| Record Nr. | UNINA-9910133233103321 |
| Piscataway, N.J. : , : Institute of Electrical and Electronics Engineers, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
2020 50th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) / / Institute of Electrical and Electronics Engineers
| 2020 50th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) / / Institute of Electrical and Electronics Engineers |
| Pubbl/distr/stampa | Piscataway, New Jersey : , : IEEE, , 2020 |
| Descrizione fisica | 1 online resource |
| Disciplina | 004.24 |
| Soggetto topico | Computer systems - Reliability |
| ISBN | 1-7281-5809-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | 2020 50th Annual IEEE/IFIP International Conference on Dependable Systems and Networks |
| Record Nr. | UNINA-9910437345503321 |
| Piscataway, New Jersey : , : IEEE, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
2020 50th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) / / Institute of Electrical and Electronics Engineers
| 2020 50th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) / / Institute of Electrical and Electronics Engineers |
| Pubbl/distr/stampa | Piscataway, New Jersey : , : IEEE, , 2020 |
| Descrizione fisica | 1 online resource |
| Disciplina | 004.24 |
| Soggetto topico | Computer systems - Reliability |
| ISBN | 1-7281-5809-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | 2020 50th Annual IEEE/IFIP International Conference on Dependable Systems and Networks |
| Record Nr. | UNISA-996575522103316 |
| Piscataway, New Jersey : , : IEEE, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
25 years of model checking : history, achievements, perspectives / Orna Grumberg, Helmut Veith (Eds.)
| 25 years of model checking : history, achievements, perspectives / Orna Grumberg, Helmut Veith (Eds.) |
| Pubbl/distr/stampa | Berlin (etc.) : Springer, copyr. 2008 |
| Descrizione fisica | VI, 230 p. : ill. ; 24 cm |
| Disciplina | 004.24 |
| Collana | Lecture Notes in Computer Science, Festschrift |
| Soggetto topico | Sistemi Complessi |
| ISBN | 978-3-540-69849-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990003147120203316 |
| Berlin (etc.) : Springer, copyr. 2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
