Il sistema di qualita del software : il processo di pianificazione, realizzazione e controllo / Stefano Nocentini |
Autore | NOCENTINI, Stefano |
Pubbl/distr/stampa | Milano : Etas libri, 1993 |
Descrizione fisica | XIII, 289 p. ; 23 cm |
Disciplina | 004.24 |
Collana | Informatica |
Soggetto topico | Elaboratori elettronici - valutazione |
ISBN | 88-453-0642-9 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ita |
Record Nr. | UNISA-990002789750203316 |
NOCENTINI, Stefano
![]() |
||
Milano : Etas libri, 1993 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation [[electronic resource] ] : 22nd International Workshop, PATMOS 2012, Newcastle upon Tyne, UK, September 4-6, 2012, Revised Selected Papers / / edited by José L. Ayala, Delong Shang, Alex Yakovlev |
Edizione | [1st ed. 2013.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
Descrizione fisica | 1 online resource (IX, 258 p. 150 illus.) |
Disciplina | 004.24 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Electronic digital computers—Evaluation
Computer simulation Computer networks Computer hardware description languages Logic design Compilers (Computer programs) System Performance and Evaluation Computer Modelling Computer Communication Networks Register-Transfer-Level Implementation Logic Design Compilers and Interpreters |
ISBN | 3-642-36157-9 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Sleep-Transistor Based Power-Gating Tradeoff Analyses -- Modelling and Analysis of Manufacturing Variability Effects from Process to Architectural Level -- Non-invasive Power Simulation at System-Level with SystemC -- A Standard Cell Optimization Method for Near-Threshold Voltage Operations -- An Extended Metastability Simulation Method for Synchronizer Characterization -- Phase Space Based NBTI Model -- Fast Propagation of Hamming and Signal Distances for Register-Transfer Level Datapaths -- Noise Margin Based Library Optimization Considering Variability in Sub-threshold -- TCP Window Based DVFS for Low Power Network Controller SoC -- A Generic Architecture for Robust Asynchronous Communication Links -- Direct Statistical Simulation of Timing Properties in Sequential Circuits -- On-Chip NBTI and PBTI Tracking through an All-Digital Aging Monitor Architecture -- Two-Phase MOBILE Interconnection Schemes for Ultra-Grain Pipeline Applications -- Design of a 150 mV Supply, 2 MIPS, 90nm CMOS, Ultra-Low-Power Microprocessor -- Run-Time Measurement of Harvested Energy for Autarkic Sensor Operation -- Observability Conditions and Automatic Operand-Isolation in High-Throughput Asynchronous Pipelines -- Dynamic Power Management of a Computer with Self Power-Managed Components -- Case Studies of Logical Computation on Stochastic Bit Streams. |
Record Nr. | UNISA-996465983903316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation [[electronic resource] ] : 22nd International Workshop, PATMOS 2012, Newcastle upon Tyne, UK, September 4-6, 2012, Revised Selected Papers / / edited by José L. Ayala, Delong Shang, Alex Yakovlev |
Edizione | [1st ed. 2013.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
Descrizione fisica | 1 online resource (IX, 258 p. 150 illus.) |
Disciplina | 004.24 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Electronic digital computers—Evaluation
Computer simulation Computer networks Computer hardware description languages Logic design Compilers (Computer programs) System Performance and Evaluation Computer Modelling Computer Communication Networks Register-Transfer-Level Implementation Logic Design Compilers and Interpreters |
ISBN | 3-642-36157-9 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Sleep-Transistor Based Power-Gating Tradeoff Analyses -- Modelling and Analysis of Manufacturing Variability Effects from Process to Architectural Level -- Non-invasive Power Simulation at System-Level with SystemC -- A Standard Cell Optimization Method for Near-Threshold Voltage Operations -- An Extended Metastability Simulation Method for Synchronizer Characterization -- Phase Space Based NBTI Model -- Fast Propagation of Hamming and Signal Distances for Register-Transfer Level Datapaths -- Noise Margin Based Library Optimization Considering Variability in Sub-threshold -- TCP Window Based DVFS for Low Power Network Controller SoC -- A Generic Architecture for Robust Asynchronous Communication Links -- Direct Statistical Simulation of Timing Properties in Sequential Circuits -- On-Chip NBTI and PBTI Tracking through an All-Digital Aging Monitor Architecture -- Two-Phase MOBILE Interconnection Schemes for Ultra-Grain Pipeline Applications -- Design of a 150 mV Supply, 2 MIPS, 90nm CMOS, Ultra-Low-Power Microprocessor -- Run-Time Measurement of Harvested Energy for Autarkic Sensor Operation -- Observability Conditions and Automatic Operand-Isolation in High-Throughput Asynchronous Pipelines -- Dynamic Power Management of a Computer with Self Power-Managed Components -- Case Studies of Logical Computation on Stochastic Bit Streams. |
Record Nr. | UNINA-9910484142403321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation [[electronic resource] ] : 20th International Workshop, PATMOS 2010, Grenoble, France, September 7-10, 2010, Revised Selected Papers / / edited by Rene van Leuken, Gilles Sicard |
Edizione | [1st ed. 2011.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 |
Descrizione fisica | 1 online resource (XII, 260 p. 130 illus., 53 illus. in color.) |
Disciplina | 004.24 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Electronic digital computers—Evaluation
Computer simulation Computer networks Software engineering Computer science Algorithms System Performance and Evaluation Computer Modelling Computer Communication Networks Software Engineering Computer Science Logic and Foundations of Programming |
ISBN | 3-642-17752-2 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996466038903316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Introduction to computer system performance evaluation / K. Kant ; with contributions by M. M. Srinivasan |
Autore | Kant, Krishna |
Pubbl/distr/stampa | New York [etc.], : McGraw-Hill, 1992 |
Descrizione fisica | XXII, 620 p. ; 25 cm |
Disciplina |
004.2
004.24 |
Collana | McGraw-Hill Computer science series |
Soggetto topico | Elaboratori elettronici - Valutazione |
ISBN | 0070335869 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISANNIO-UBO1721869 |
Kant, Krishna
![]() |
||
New York [etc.], : McGraw-Hill, 1992 | ||
![]() | ||
Lo trovi qui: Univ. del Sannio | ||
|
ISPASS : 2019 IEEE International Symposium on Performance Analysis of Systems and Software : proceedings : 24-26 March 2019, Madison, Wisconsin / / Institute of Electrical and Electronics Engineers |
Pubbl/distr/stampa | Piscataway, New Jersey : , : Institute of Electrical and Electronics Engineers, , 2019 |
Descrizione fisica | 1 online resource (xiii, 320 pages) |
Disciplina | 004.24 |
Soggetto topico |
Computer systems - Evaluation
Computer systems - Reliability |
ISBN | 1-7281-0746-6 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910320656103321 |
Piscataway, New Jersey : , : Institute of Electrical and Electronics Engineers, , 2019 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
ISPASS : 2019 IEEE International Symposium on Performance Analysis of Systems and Software : proceedings : 24-26 March 2019, Madison, Wisconsin / / Institute of Electrical and Electronics Engineers |
Pubbl/distr/stampa | Piscataway, New Jersey : , : Institute of Electrical and Electronics Engineers, , 2019 |
Descrizione fisica | 1 online resource (xiii, 320 pages) |
Disciplina | 004.24 |
Soggetto topico |
Computer systems - Evaluation
Computer systems - Reliability |
ISBN | 1-7281-0746-6 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996577960003316 |
Piscataway, New Jersey : , : Institute of Electrical and Electronics Engineers, , 2019 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
ISPASS : 2018 IEEE International Symposium on Performance Analysis of Systems and Software : proceedings : 2-4 April 2018, Belfast, Northern Ireland, United Kingdom / / IEEE Computer Society |
Pubbl/distr/stampa | Los Alamitos, California : , : IEEE Computer Society, , 2018 |
Descrizione fisica | 1 online resource (244 pages) |
Disciplina | 004.24 |
Soggetto topico |
Computer systems - Evaluation
Computer software - Evaluation |
ISBN | 1-5386-5010-X |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996280708203316 |
Los Alamitos, California : , : IEEE Computer Society, , 2018 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
ISPASS : 2018 IEEE International Symposium on Performance Analysis of Systems and Software : proceedings : 2-4 April 2018, Belfast, Northern Ireland, United Kingdom / / IEEE Computer Society |
Pubbl/distr/stampa | Los Alamitos, California : , : IEEE Computer Society, , 2018 |
Descrizione fisica | 1 online resource (244 pages) |
Disciplina | 004.24 |
Soggetto topico |
Computer systems - Evaluation
Computer software - Evaluation |
ISBN | 1-5386-5010-X |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910280916603321 |
Los Alamitos, California : , : IEEE Computer Society, , 2018 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
IT Quality Management [[electronic resource] /] / by Wolfgang W. Osterhage |
Autore | Osterhage Wolfgang W |
Edizione | [1st ed. 2014.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 |
Descrizione fisica | 1 online resource (139 p.) |
Disciplina |
003.3
004 004.24 004.6 005.74 |
Soggetto topico |
Architecture, Computer
Management information systems Computer science Computer software—Reusability Computer organization Computer system failures Database management Computer System Implementation Management of Computing and Information Systems Performance and Reliability Computer Systems Organization and Communication Networks System Performance and Evaluation Database Management |
ISBN | 3-662-43767-8 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Objectives -- Project Organisation -- Quality Management in the Context of Acceptance -- Subproject Organisation Quality Management -- Acceptance Directive -- Methods of Data and Software Migration -- Special Cases -- Documentation -- Security Aspects -- Project Management -- Project Controlling -- References -- Subject Index. |
Record Nr. | UNINA-9910298970803321 |
Osterhage Wolfgang W
![]() |
||
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|