03398nam 22007575 450 99646603890331620230405235640.03-642-17752-210.1007/978-3-642-17752-1(CKB)2670000000064733(SSID)ssj0000476301(PQKBManifestationID)11312481(PQKBTitleCode)TC0000476301(PQKBWorkID)10479507(PQKB)10994133(DE-He213)978-3-642-17752-1(MiAaPQ)EBC3066344(PPN)149906285(EXLCZ)99267000000006473320110115d2011 u| 0engurnn|008mamaatxtccrIntegrated 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 Sicard1st ed. 2011.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2011.1 online resource (XII, 260 p. 130 illus., 53 illus. in color.) Theoretical Computer Science and General Issues,2512-2029 ;6448Bibliographic Level Mode of Issuance: Monograph3-642-17751-4 Includes bibliographical references and index.This book constitutes the refereed proceedings of the 20th International Conference on Integrated Circuit and System Design, PATMOS 2010, held in Grenoble, France, in September 2010. The 24 revised full papers presented and the 9 extended abstracts were carefully reviewed and are organized in topical sections on design flows; circuit techniques; low power circuits; self-timed circuits; process variation; high-level modeling of poweraware heterogeneous designs in SystemC-AMS; and minalogic.Theoretical Computer Science and General Issues,2512-2029 ;6448Electronic digital computers—EvaluationComputer simulationComputer networksSoftware engineeringComputer scienceAlgorithmsSystem Performance and EvaluationComputer ModellingComputer Communication NetworksSoftware EngineeringComputer Science Logic and Foundations of ProgrammingAlgorithmsElectronic 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.Algorithms.004.24van Leuken Reneedthttp://id.loc.gov/vocabulary/relators/edtSicard Gillesedthttp://id.loc.gov/vocabulary/relators/edtBOOK996466038903316Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation772134UNISA02220oam 2200565 a 450 991070296360332120110207113943.0(CKB)3460000000116891(OCoLC)462157816(EXLCZ)99346000000011689120091102g20099999 ua 0engurbn||||a||||txtrdacontentcrdamediacrrdacarrierSexual assault in the military[electronic resource] hearing before the Subcommittee on National Security and Foreign Affairs of the Committee on Oversight and Government Reform, House of RepresentativesWashington U.S. G.P.O.20091 online resource (v.) illustrationsTitle from pt. 1 title screen (viewed on Nov. 2, 2009)."One Hundred Tenth Congress, second session, July 31, 2008"--Pt. [1]."One Hundred Tenth Congress, second session, September 10, 2008"--Pt. 2."One Hundred Eleventh Congress, first session, June 25, 2009"--Pt. 3."One Hundred Eleventh Congress, second session, February 24, 2010"--Pt. 4.Paper version available for sale by the Supt. of Docs., U.S. G.P.O."Serial no. 110-187"--Pt. [1]."Serial no. 110-188"--Pt. 2."Serial no. 111-22"--Pt. 3."Serial no. 111-73"--Pt. 4.Includes bibliographical references.pts. [1]-2. [Without special titles] -- pt. 3. Context and causes -- pt. 4. Are we making progress?Sexual assault in the military RapeUnited StatesSoldiersCrimes againstUnited StatesWomen soldiersCrimes againstUnited StatesMilitary offensesUnited StatesRapeSoldiersCrimes againstWomen soldiersCrimes againstMilitary offensesGPOGPOGPOUBYOCLCQGPOBOOK9910702963603321Sexual assault in the military3454590UNINA