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.
2008 International Symposium on Performance Evaluation of Computer and Telecommunication Systems : 16-18 June 2008
| 2008 International Symposium on Performance Evaluation of Computer and Telecommunication Systems : 16-18 June 2008 |
| Pubbl/distr/stampa | New York : , : IEEE, , 2009 |
| Descrizione fisica | 1 online resource (163 pages) |
| Soggetto topico |
Electronic digital computers - Evaluation
Computer networks - Evaluation |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996201335303316 |
| New York : , : IEEE, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
2013 ACM/IEEE International Workshop on System Level Interconnect Prediction (SLIP 2013) : Austin, Texas, USA 2 June 2013 / / International Workshop on System-Level Interconnect Prediction
| 2013 ACM/IEEE International Workshop on System Level Interconnect Prediction (SLIP 2013) : Austin, Texas, USA 2 June 2013 / / International Workshop on System-Level Interconnect Prediction |
| Pubbl/distr/stampa | Piscataway, N.J. : , : IEEE, , 2013 |
| Descrizione fisica | 1 online resource (58 pages) : illustrations |
| Disciplina | 621.395 |
| Soggetto topico |
Integrated circuits - Very large scale integration - Design and construction
Computer architecture Electronic digital computers - Evaluation Multiprocessors |
| ISBN | 1-4673-6173-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
2013 ACM/IEEE International Workshop on System Level Interconnect Prediction
System Level Interconnect Prediction |
| Record Nr. | UNISA-996279802703316 |
| Piscataway, N.J. : , : IEEE, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
2013 ACM/IEEE International Workshop on System Level Interconnect Prediction (SLIP 2013) : Austin, Texas, USA 2 June 2013 / / International Workshop on System-Level Interconnect Prediction
| 2013 ACM/IEEE International Workshop on System Level Interconnect Prediction (SLIP 2013) : Austin, Texas, USA 2 June 2013 / / International Workshop on System-Level Interconnect Prediction |
| Pubbl/distr/stampa | Piscataway, N.J. : , : IEEE, , 2013 |
| Descrizione fisica | 1 online resource (58 pages) : illustrations |
| Disciplina | 621.395 |
| Soggetto topico |
Integrated circuits - Very large scale integration - Design and construction
Computer architecture Electronic digital computers - Evaluation Multiprocessors |
| ISBN | 1-4673-6173-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
2013 ACM/IEEE International Workshop on System Level Interconnect Prediction
System Level Interconnect Prediction |
| Record Nr. | UNINA-9910132360803321 |
| Piscataway, N.J. : , : IEEE, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
ACM SIGMETRICS performance evaluation review
| ACM SIGMETRICS performance evaluation review |
| Pubbl/distr/stampa | [New York?], : ACM SIGMETRICS |
| Disciplina | 001.64 |
| Soggetto topico |
Computers - Evaluation
Computer software - Evaluation Electronic digital computers - Evaluation |
| ISSN | 1557-9484 |
| Formato | Materiale a stampa |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910375863303321 |
| [New York?], : ACM SIGMETRICS | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
ACM SIGMETRICS performance evaluation review
| ACM SIGMETRICS performance evaluation review |
| Pubbl/distr/stampa | [New York?], : ACM SIGMETRICS |
| Disciplina | 001.64 |
| Soggetto topico |
Computers - Evaluation
Computer software - Evaluation Electronic digital computers - Evaluation |
| ISSN | 1557-9484 |
| Formato | Materiale a stampa |
| Livello bibliografico | Periodico |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996207488903316 |
| [New York?], : ACM SIGMETRICS | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
AI, Data, and Digitalization : First International Symposium, SAIDD 2023, Sogndal, Norway, May 9–10, 2023, Revised Selected Papers / / edited by Rajendra Akerkar
| AI, Data, and Digitalization : First International Symposium, SAIDD 2023, Sogndal, Norway, May 9–10, 2023, Revised Selected Papers / / edited by Rajendra Akerkar |
| Edizione | [1st ed. 2024.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 |
| Descrizione fisica | 1 online resource (X, 203 p. 55 illus., 46 illus. in color.) |
| Disciplina |
621.39
004.6 |
| Collana | Communications in Computer and Information Science |
| Soggetto topico |
Computer engineering
Computer networks Electronic digital computers - Evaluation Computer systems Data structures (Computer science) Information theory Coding theory Computer Engineering and Networks Computer Communication Networks System Performance and Evaluation Computer System Implementation Data Structures and Information Theory Coding and Information Theory |
| ISBN | 3-031-53770-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Geolocation data as a research tool for the organization of the settlement system and mobility mapping - case study of the spatial mobility model in Czechia -- Returning Home Strategy Analysis using Mobile Sensing Data in Tohoku Earthquake -- Terminology Saturation Analysis: Refinements and Applications -- How To Be a Well-Prepared Organizer: Studying the Causal Effects of City Events on Human Mobility -- Human Cognition Modeling for the Metaverse-oriented Design System -- Patient self-reports for explainable machine learning predictions of risks to psychotherapy outcomes -- I-KNOW-FOO: Interlinking and Creating KNOWledge Graphs for near-zero CO2 emission diets and sustainable FOOd production -- Extreme and Sustainable Graph Processing for Green Finance Investment and Trading -- A Comprehensive Framework for Detecting Behavioural Anomalies in the Elderly -- Violence-inducing Behavior Prevention in Social-Cyber Space -- Artificial Intelligence inthe public sector in Norway AI development as a hop-on-hop-off journey -- Challenges in regulating online hate-speech within the Norwegian context -- Digital and AI maturity of enterprises in Sogn og Fjordane, a rural region of Norway. . |
| Record Nr. | UNINA-9910845081403321 |
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Analysis and synthesis of computer systems [[electronic resource] /] / E. Gelenbe and Isi Mitrani
| Analysis and synthesis of computer systems [[electronic resource] /] / E. Gelenbe and Isi Mitrani |
| Autore | Gelenbe E. <1945-> |
| Edizione | [2nd ed.] |
| Pubbl/distr/stampa | London, : Imperial College Press, c2010 |
| Descrizione fisica | 1 online resource (324 p.) |
| Disciplina | 004.24 |
| Altri autori (Persone) | MitraniI |
| Collana | Advances in computer science and engineering: Texts |
| Soggetto topico |
Electronic digital computers - Evaluation
Queuing theory |
| Soggetto genere / forma | Electronic books. |
| ISBN |
1-282-75992-2
9786612759925 1-84816-396-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Preface to the Second Edition; Contents; 1. Basic Tools of Probabilistic Modelling; 2. The Queue with Server of Walking Type and Its Applications to Computer System Modelling; 3. Queuing Network Models; 4. Queuing Networks with Multiple Classes of Positive and Negative Customers and Product Form Solution; 5. Markov-Modulated Queues; 6. Diffusion Approximation Methods for General Queuing Networks; 7. Approximate Decomposition and Iterative Techniques for Closed Model Solution; 8. Synthesis Problems in Single-Resource Systems: Characterisation and Control of Achievable Performance
9. Control of Performance in Multiple-Resource Systems 10. A Queue with Server of Walking Type; Index |
| Record Nr. | UNINA-9910456123803321 |
Gelenbe E. <1945->
|
||
| London, : Imperial College Press, c2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Analysis and synthesis of computer systems [[electronic resource] /] / E. Gelenbe and Isi Mitrani
| Analysis and synthesis of computer systems [[electronic resource] /] / E. Gelenbe and Isi Mitrani |
| Autore | Gelenbe E. <1945-> |
| Edizione | [2nd ed.] |
| Pubbl/distr/stampa | London, : Imperial College Press, c2010 |
| Descrizione fisica | 1 online resource (324 p.) |
| Disciplina | 004.24 |
| Altri autori (Persone) | MitraniI |
| Collana | Advances in computer science and engineering: Texts |
| Soggetto topico |
Electronic digital computers - Evaluation
Queuing theory |
| ISBN |
1-282-75992-2
9786612759925 1-84816-396-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Preface to the Second Edition; Contents; 1. Basic Tools of Probabilistic Modelling; 2. The Queue with Server of Walking Type and Its Applications to Computer System Modelling; 3. Queuing Network Models; 4. Queuing Networks with Multiple Classes of Positive and Negative Customers and Product Form Solution; 5. Markov-Modulated Queues; 6. Diffusion Approximation Methods for General Queuing Networks; 7. Approximate Decomposition and Iterative Techniques for Closed Model Solution; 8. Synthesis Problems in Single-Resource Systems: Characterisation and Control of Achievable Performance
9. Control of Performance in Multiple-Resource Systems 10. A Queue with Server of Walking Type; Index |
| Record Nr. | UNINA-9910780880803321 |
|
Gelenbe E. <1945->
|
||
| London, : Imperial College Press, c2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Analysis and synthesis of computer systems [[electronic resource] /] / E. Gelenbe and Isi Mitrani
| Analysis and synthesis of computer systems [[electronic resource] /] / E. Gelenbe and Isi Mitrani |
| Autore | Gelenbe E. <1945-> |
| Edizione | [2nd ed.] |
| Pubbl/distr/stampa | London, : Imperial College Press, c2010 |
| Descrizione fisica | 1 online resource (324 p.) |
| Disciplina | 004.24 |
| Altri autori (Persone) | MitraniI |
| Collana | Advances in computer science and engineering: Texts |
| Soggetto topico |
Electronic digital computers - Evaluation
Queuing theory |
| ISBN |
1-282-75992-2
9786612759925 1-84816-396-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Preface to the Second Edition; Contents; 1. Basic Tools of Probabilistic Modelling; 2. The Queue with Server of Walking Type and Its Applications to Computer System Modelling; 3. Queuing Network Models; 4. Queuing Networks with Multiple Classes of Positive and Negative Customers and Product Form Solution; 5. Markov-Modulated Queues; 6. Diffusion Approximation Methods for General Queuing Networks; 7. Approximate Decomposition and Iterative Techniques for Closed Model Solution; 8. Synthesis Problems in Single-Resource Systems: Characterisation and Control of Achievable Performance
9. Control of Performance in Multiple-Resource Systems 10. A Queue with Server of Walking Type; Index |
| Record Nr. | UNINA-9910809103903321 |
|
Gelenbe E. <1945->
|
||
| London, : Imperial College Press, c2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Applying Formal Methods: Testing, Performance, and M/E-Commerce : FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004 / / edited by Manuel Núnez, Zakaaria Maamar, Fernando Pelayo, Key Pousttchi, Fernando Rubio
| Applying Formal Methods: Testing, Performance, and M/E-Commerce : FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004 / / edited by Manuel Núnez, Zakaaria Maamar, Fernando Pelayo, Key Pousttchi, Fernando Rubio |
| Edizione | [1st ed. 2004.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
| Descrizione fisica | 1 online resource (XI, 379 p.) |
| Disciplina | 005.13/1 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Computer networks Computer science Electronic digital computers - Evaluation Computers and civilization Software Engineering Computer Communication Networks Computer Science Logic and Foundations of Programming System Performance and Evaluation Computers and Society |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | TheFormEMC -- Formal Analysis of the Internet Open Trading Protocol -- Life-Cycle E-commerce Testing with OO-TTCN-3 -- Specification of Autonomous Agents in E-commerce Systems -- An Approach for Assessment of Electronic Offers -- A Decomposition Based Approach for Design of Supply Aggregation and Demand Aggregation Exchanges -- A Construction Kit for Modeling the Security of M-commerce Applications -- A Minimal Market Model in Ephemeral Markets -- A Process-Oriented Approach Towards Structured Market Modelling -- EPEW -- Formal Specification of Symbolic-Probabilistic Systems -- How Synchronisation Strategy Approximation in PEPA Implementations Affects Passage Time Performance Results -- A Bounded True Concurrency Process Algebra for Performance Evaluation -- Branching Time Equivalences for Interactive Markov Chains -- System Contents Versus System Delay for Discrete-Time Queueing Systems with Renewal Arrivals -- Delay Analysis for a Discrete-Time GI-D-c Queue with Arbitrary-Length Service Times -- Adaptive Fuzzy Queue Management and Congestion Avoidance in TCP/AQM Networks -- Modeling and Analysis of Dual Block Multithreading -- Performance Evaluation of a SNAP-Based Grid Resource Broker -- Describing IEEE 802.11 Wireless Mechanisms by Using the ?-Calculus and Performance Evaluation Process Algebra -- An Analytical Design of a Practical Replication Protocol for Distributed Systems -- PEPA Nets in Practice: Modelling a Decentralised Peer-to-Peer Emergency Medical Application -- Integrating System Performance Engineering into MASCOT Methodology through Discrete-Event Simulation -- ITM -- Symbolic Performance and Dependability Evaluation with the Tool CASPA -- Modeling and Testing Agent Systems Based on Statecharts -- Testing of Autonomous Agents Described as Utility State Machines -- Generation of Integration Tests for Self-Testing Components -- Model-Checking Plus Testing: From Software Architecture Analysis to Code Testing -- A Meta-model for TTCN-3. |
| Record Nr. | UNINA-9910144346203321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
