17.382 new books

From: Humanist Discussion Group (by way of Willard McCarty willard.mccarty@kcl.ac.uk)
Date: Wed Nov 05 2003 - 02:59:29 EST

  • Next message: Humanist Discussion Group (by way of Willard McCarty

                   Humanist Discussion Group, Vol. 17, No. 382.
           Centre for Computing in the Humanities, King's College London
                         Submit to: humanist@princeton.edu

             Date: Wed, 05 Nov 2003 07:44:35 +0000
             From: Willard McCarty <willard.mccarty@kcl.ac.uk>
             Subject: new books

    Process Theories
    Crossdisciplinary Studies in Dynamic Categories

    edited by

    Johanna Seibt
    University of Aarhus, Denmark

    Reprinted from AXIOMATHES, 14:1-2

    Processes constitute the world of human experience - from nature to
    cognition to social reality. Yet our philosophical and scientific theories
    of nature and experience have traditionally prioritized concepts for static
    objects and structures. The essays collected here call for a review of the
    role of dynamic categories in the language of theories. They present old
    and new descriptive tools for the modelling of dynamic domains, and argue
    for the merits of process-based explanations in ontology, cognitive
    science, semiotics, linguistics, philosophy of mind, robotics, theoretical
    biology, music theory, and philosophy of chemistry and physics. The
    collection is of interest to professional researchers in any of these
    fields; it establishes - for the very first time - crossdisciplinary
    contact among recent process-based research movements and might witness a
    conceptual paradigm shift in the making.

    Paperback ISBN: 1-4020-1751-0 Date: December 2003 Pages: 304 pp.
    EURO 49.00 / USD 54.00 / GBP 34.00

    Advanced Formal Verification

    Modern circuits may contain up to several hundred million transistors. In
    the meantime it has been observed that verification becomes the major
    bottleneck in design flows, i.e. up to 80% of the overall design costs are
    due to verification. This is one of the reasons why recently several
    methods have been proposed as alternatives to classical simulation.
    Simulation alone cannot guarantee sufficient coverage of the design
    resulting in bugs that may remain undetected.
    As alternatives formal verification techniques have been proposed. Instead
    of simulating a design the correctness is proven by formal techniques.
    There are many different areas where these approaches can be used, like
    equivalence checking, property checking or symbolic simulation. Meanwhile
    these methods have been successfully applied in many industrial projects
    and have become the state-of-the-art technique in several fields. But the
    deployment of the existing tools in real-world projects also showed the
    weaknesses and problems of formal verification techniques. This gave
    motivating impulses for tool developers and researchers.
    Advanced Formal Verification shows latest developments in the verification
    domain from the perspectives of the user and the developer. World leading
    experts describe the underlying methods of today's verification tools and
    describe various scenarios from industrial practice. In the first part of
    the book the core techniques of today's formal verification tools, like SAT
    and BDDs are addressed. In addition, instances known to be difficult, like
    multipliers, are studied. The second part gives insight in professional
    tools and the underlying methodology, like property checking and assertion
    based verification. Finally, to cope with complete system on chip designs
    also analog components have to be considered.
    In this book the state-of-the-art in many important fields of formal
    verification is described. Besides the description of the most recent
    research results, open problems and challenging research areas are
    addressed. Because of this, the book is intended for CAD developers and
    researchers in the verification domain, where formal techniques become a
    core technology to successful circuit and system design. Furthermore, the
    book is an excellent reference for users of verification tools to get a
    better understanding of the internal principles and by this to drive the
    tools to the highest performance. In this context the book is dedicated to
    all people in industry and academia to keep informed about the most recent
    developments in the field of formal verification.

    Hardbound ISBN: 1-4020-7721-1 Date: January 2004 Pages: 260 pp.
    EURO 104.00 / USD 115.00 / GBP 71.00

    Dr Willard McCarty | Senior Lecturer | Centre for Computing in the
    Humanities | King's College London | Strand | London WC2R 2LS || +44 (0)20
    7848-2784 fax: -2980 || willard.mccarty@kcl.ac.uk

    This archive was generated by hypermail 2b30 : Wed Nov 05 2003 - 03:05:02 EST