Humanist Discussion Group, Vol. 17, No. 382.
Centre for Computing in the Humanities, King's College London
www.kcl.ac.uk/humanities/cch/humanist/
www.princeton.edu/humanist/
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
(1)
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
(2)
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
www.kcl.ac.uk/humanities/cch/wlm/
This archive was generated by hypermail 2b30 : Wed Nov 05 2003 - 03:05:02 EST