04753nam 22006375 450 99646602920331620200702042258.03-642-01702-910.1007/978-3-642-01702-5(CKB)1000000000718127(SSID)ssj0000318070(PQKBManifestationID)11254922(PQKBTitleCode)TC0000318070(PQKBWorkID)10308269(PQKB)10702720(DE-He213)978-3-642-01702-5(MiAaPQ)EBC3064133(PPN)134131606(EXLCZ)99100000000071812720100301d2009 u| 0engurnn|008mamaatxtccrHardware and Software: Verification and Testing[electronic resource] 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008, Revised Selected Papers /edited by Hana Chockler, Alan J. Hu1st ed. 2009.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2009.1 online resource (XII, 215 p.) Programming and Software Engineering ;5394International conference proceedings.3-642-01701-0 Includes bibliographical references and index.Section 1: Invited Talks -- Hazards of Verification -- Automata-Theoretic Model Checking Revisited -- Proofs, Interpolants, and Relevance Heuristics -- Is Verification Getting Too Complex? -- Can Mutation Analysis Help Fix Our Broken Coverage Metrics? -- Practical Considerations Concerning HL-to -RT Equivalence Checking -- Section 2: Regular Papers -- A Framework for Inherent Vacuity -- A Meta Heuristic for Effectively Detecting Concurrency Errors -- A Uniform Approach to Three-Valued Semantics for ?-Calculus on Abstractions of Hybrid Automata -- Automatic Boosting of Cross-Product Coverage Using Bayesian Networks -- Efficient Decision Procedure for Bounded Integer Non-linear Operations Using SMT( ) -- Evaluating Workloads Using Comparative Functional Coverage -- Iterative Delta Debugging -- Linear-Time Reductions of Resolution Proofs -- Significant Diagnostic Counterexamples in Probabilistic Model Checking -- Statistical Model Checking of Mixed-Analog Circuits with an Application to a Third Order ????? Modulator -- Structural Contradictions -- Synthesizing Test Models from Test Cases -- Section 3: Tool Papers -- d-TSR: Parallelizing SMT-Based BMC Using Tunnels over a Distributed Framework -- Progress in Automated Software Defect Prediction -- SeeCode – A Code Review Plug-in for Eclipse -- User-Friendly Model Checking: Automatically Configuring Algorithms with RuleBase/PE.This book constitutes the thoroughly refereed post-conference proceedings of the 4th International Haifa Verification Conference, HVC 2008, held in Haifa, Israel in October 2008. The 12 revised full papers and 4 tool papers presented together with 6 invited lectures were carefully reviewed and selected from 49 initial submissions. The papers address all current issues, challenges and future directions of verification for hardware, software, and hybrid systems and present academic research in the verification of systems, generally divided into two paradigms - formal verification and dynamic verification (testing). Within each paradigm, different algorithms and techniques are used for hardware and software systems with a special focus on hybrid methods.Programming and Software Engineering ;5394Software engineeringComputer logicProgramming languages (Electronic computers)Software Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XProgramming Languages, Compilers, Interpretershttps://scigraph.springernature.com/ontologies/product-market-codes/I14037Software engineering.Computer logic.Programming languages (Electronic computers).Software Engineering.Logics and Meanings of Programs.Programming Languages, Compilers, Interpreters.005.1Chockler Hanaedthttp://id.loc.gov/vocabulary/relators/edtHu Alan Jedthttp://id.loc.gov/vocabulary/relators/edtInternational Haifa Verification ConferenceBOOK996466029203316Hardware and Software, Verification and Testing772242UNISA04446nam 22006014a 450 991095758400332120200520144314.097802992192390299219232(CKB)2560000000015977(SSID)ssj0000399171(PQKBManifestationID)11311809(PQKBTitleCode)TC0000399171(PQKBWorkID)10375169(PQKB)10589251(OCoLC)868195148(MdBmJHUP)muse12298(Au-PeEL)EBL3445027(CaPaEBR)ebr10397774(MiAaPQ)EBC3445027(Perlego)4410687(EXLCZ)99256000000001597720060310d2006 ub 0engurcn|||||||||txtccrCentral sites, peripheral visions cultural and institutional crossings in the history of anthropology /edited by Richard Handler1st ed.Madison University of Wisconsin Pressc2006vii, 279 p. illHistory of anthropology ;v. 11Bibliographic Level Mode of Issuance: Monograph9780299219208 0299219208 Includes bibliographical references and index.Anthropology on the periphery of the center -- The power of insult : ethnographic publication and emergent nationalism in the sixteenth century / David Koester -- Escape from the andamans : tracking, offshore incarceration and ethnology in the back of beyond / Kath Weston -- Where was Boas during the renaissance in Harlem? : diffusion, race, and the culture paradigm in the history of anthropology / Brad Evans -- Unfinished business : Robert Gelston Armstrong, the Federal Bureau of Investigation, and the history of anthropology at Chicago and in Nigeria / George W. Stocking, Jr. -- Kroeber and the California claims : historical particularism and cultural ecology in court / Arthur J. Ray.The terms "center" and "periphery" are particularly relevant to anthropologists, since traditionally they look outward from institutional "centers"-universities, museums, government bureaus-to learn about people on the "peripheries." Yet anthropology itself, as compared with economics, politics, or history, occupies a space somewhat on the margins of academe. Still, anthropologists, who control esoteric knowledge about the vast range of human variation, often find themselves in a theoretically central position, able to critique the "universal" truths promoted by other disciplines. Central Sites, Peripheral Visions presents five case studies that explore the dilemmas, moral as well as political, that emerge out of this unique position. From David Koester's analysis of how ethnographic descriptions of Iceland marginalized that country's population, to Kath Weston's account of an offshore penal colony where officials mixed prison work with ethnographic pursuits; from Brad Evans's reflections on the "bohemianism" of both the Harlem vogue and American anthropology, to Arthur J. Ray's study of anthropologists who serve as expert witnesses in legal cases, the essays in the eleventh volume of the History of Anthropology Series reflect on anthropology's always problematic status as centrally peripheral, or peripherally central.Finally, George W. Stocking, Jr., in a contribution that is almost a book in its own right, traces the professional trajectory of American anthropologist Robert Gelston Armstrong, who was unceremoniously expelled from his place of privilege because of his communist sympathies in the 1950s. By taking up Armstrong's unfinished business decades later, Stocking engages in an extended meditation on the relationship between center and periphery and offers "a kind of posthumous reparation, " a page in the history of the discipline for a distant colleague who might otherwise have remained in the footnotes. History of anthropology ;v. 11.AnthropologyHistoryAnthropologyPhilosophyAnthropologyHistory.AnthropologyPhilosophy.301.09Handler Richard1950-446550MiAaPQMiAaPQMiAaPQBOOK9910957584003321Central sites, peripheral visions4355037UNINA