02770nam0 22005293i 450 UBO228878020231121125858.020080910d1955 ||||0itac50 barusfresuz01i xxxe z01nŽan Melʹe i narodnye istoki ego mirovozzrenijaB. F. PoršnevMoskvaIzdatelʹstvo Akademii nauk SSSR195571 p.21 cmDoklady sovetskoj delegacii na 10. mezdunarodnom kongresse istorikov v RimeFront. e testo anche in francese.001BVE07971092001 Doklady sovetskoj delegacii na 10. mezdunarodnom kongresse istorikov v RimeJean Meslier et les sources populaires de ses idees.UBO2288801Meslier, JeanFIRRMLC327116I944.033092Storia della Francia. Regno di Luigi XIV, 1643-1715. Persone.21Poršnev, Boris FëdorovičIEIV025563070451880Akademija nauk SSSRCFIV053436070Congresso Internazionale di Scienze Storiche <10. ; 1955 ; Roma>IEIV003420070Porchnev, Boris FedorovicRAVV104921Poršnev, Boris FëdorovičPorchnev, Boris FëdorovičUFIV120786Poršnev, Boris FëdorovičPorchnev, BorisUFIV120787Poršnev, Boris FëdorovičPoršnev, BorisUFIV121381Poršnev, Boris FëdorovičPoršnev, Boris F.UFIV121382Poršnev, Boris FëdorovičPorchnev, Boris FedorovicUFIV121383Poršnev, Boris FëdorovičPorchnev, Boris F.UFIV121384Poršnev, Boris FëdorovičPorchnev, B.UTOV562526Poršnev, Boris FëdorovičAcadémie des sciences de l'URSSBVEV025926Akademija nauk SSSRUSSR academy of sciencesBVEV027265Akademija nauk SSSRAcademy of sciences of USSRCFIV053437Akademija nauk SSSRAccademia delle scienze dell'URSSCFIV142905Akademija nauk SSSRAcademia de ciencias da URSSLO1V187046Akademija nauk SSSRAkademie der Wissenschaften der UdSSRTO0V399405Akademija nauk SSSRITIT-0120080910IT-RM0460 IT-FR0017 Biblioteca Dell' Archivio Centrale Dello StatoRM0460 Biblioteca umanistica Giorgio ApreaFR0017 NUBO2288780Biblioteca umanistica Giorgio Aprea 52DFA COLL N 16 52FLS0000341295 VMB RS C 2015040920150409 27 52Žan Melʹe i narodnye istoki ego mirovozzrenija3640461UNICAS02879nam 2200565 a 450 991043776070332120170815151736.01-283-64017-11-4614-1359-110.1007/978-1-4614-1359-2(CKB)3400000000086035(EBL)1030867(OCoLC)811840480(SSID)ssj0000767207(PQKBManifestationID)11475554(PQKBTitleCode)TC0000767207(PQKBWorkID)10733108(PQKB)10240959(DE-He213)978-1-4614-1359-2(MiAaPQ)EBC1030867(PPN)168295229(EXLCZ)99340000000008603520120705d2012 uy 0engur|n|---|||||txtccrSystem-level validation high-level modeling and directed test generation techniques /Mingsong Chen ... [et al.]New York Springer20121 online resource (258 p.)Description based upon print version of record.1-4614-1358-3 Includes bibliographical references and index.Introduction -- Modeling and Specification of SoC Designs -- Automated Generation of Directed Tests -- Functional Test Compaction.- Property Clustering and Learning Techniques -- Decision Ordering Based Learning Techniques -- Synchronized Generation of Directed Tests -- Learning-Oriented Property Decomposition Approaches -- Directed Test Generation for Multicore Architectures -- Test Generation for Cache Coherence Validation.- Reuse of System-Level Tests for Implementation Validation -- Conclusion.This book covers state-of-the art techniques for high-level modeling and validation of complex hardware/software systems, including those with multicore architectures.  Readers will learn to avoid time-consuming and error-prone validation from the comprehensive coverage of system-level validation, including high-level modeling of designs and faults, automated generation of directed tests, and efficient validation methodology using directed tests and assertions.  The methodologies described in this book will help designers to improve the quality of their validation, performing as much validation as possible in the early stages of the design, while reducing the overall validation effort and cost.Information resources managementInformation technologyInformation resources management.Information technology.003.3Chen Mingsong1060861Blasch Erik986166MiAaPQMiAaPQMiAaPQBOOK9910437760703321System-level validation2515972UNINA