Vol. 2. : La parola e la musica nel divenire dell'umanesimo : atti del 13. Convegno internazionale del Centro di studi umanistici : Montepulciano, Palazzo Tarugi, 1976 / a cura di Giovannangiola Tarugi

• Record Nr.: UNISA990001444710203316
• Autore: Centro di studi umanistici Angelo Poliziano
• Pubbl/distr/stampa: Firenze : L. S. Olschki, 1981
• Descrizione fisica: XIV, 152 p. ; 25 cm
• Disciplina: 901.9
• Soggetti: Umanesimo - Congressi - 1976; Congressi - Montepulciano - 1976
• Collocazione: VI.3.B. 2705/2(V E 824 2)
• Lingua di pubblicazione: Italiano
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Note generali: In testa al front.: Centro di studi umanistici Angelo Poliziano, Fondazione Secchi Tarugi

A puritane set forth in his lively colours, or, K. James his description of a puritan [[electronic resource] ] : whereunto is added the round-heads character with the character of an holy sister all fitted for the times

• Record Nr.: UNISA996396515103316
• Autore: James, King of England, <1566-1625.>
• Pubbl/distr/stampa: London, : Printed for N.B., 1642
• Descrizione fisica: [2], 6 p
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Note generali: "The round-heads character" and "The holy-sisters character" in verse.; "A puritan set forth" extracted from the Basilikon doron. Cf. BM.; Reproduction of original in Thomason Collection, British Library.
• Sommario/riassunto: eebo-0158

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation : 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

• Record Nr.: UNINA9910484142403321
• Pubbl/distr/stampa: Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013
• ISBN: 3-642-36157-9
• Edizione: [1st ed. 2013.]
• Descrizione fisica: 1 online resource (IX, 258 p. 150 illus.)
• Collana: Theoretical Computer Science and General Issues, , 2512-2029 ; ; 7606
• Altri autori (Persone): AyalaJose L; ShangDelong; YakovlevAlex
• Disciplina: 004.24
• Soggetti: 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
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Note generali: Bibliographic Level Mode of Issuance: Monograph
• Nota di bibliografia: Includes bibliographical references and index.
• 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.
• Sommario/riassunto: This book constitutes the refereed proceedings of the 22nd International Conference on Integrated Circuit and System Design, PATMOS 2012, held in Newcastle, UK Spain, in September 2012. The 25 revised full papers presented were carefully reviewed and selected from numerous submissions. The paper feature emerging challenges in methodologies and tools for the design of upcoming generations of integrated circuits and systems, including reconfigurable hardware such as FPGAs. The technical program focus on timing, performance and power consumption as well as architectural aspects with particular emphasis on modeling, design, characterization, analysis and optimization.