IEEE Computer Society Press's Books

Partial Contents: Real-Time Concurrency; Animation & Model Checking; Foundations; Systems; Controllers; Test Sets; Applications; Testing Applications

The proceedings of the January 1999 conference consist of 103 papers, 11 talks, and six tutorials. The papers are grouped under the headings of TCAD to ECAD, low power, testing, co-design and synthesis, analog design, multi-valued logic, verification, digital signal processor (DSP), logic synthesis,

These conference papers on software engineering and technology include coverage of: telecommunications; software engineering; embedded systems; and languages and databases.

The proceedings of ISMVL-92, held in Sendai, Japan, May 1992, comprise, in addition to 59 contributed papers, five invited presentations: High-Speed Digital Circuits for a Josephson Computer by S. Hasuo; On the Performance of Multivalued Integrated Circuits--Past, Present and Future by D. Etiemble;

This text on computer communications and networking covers some of the proceedings of the 4th Brazilian Symposium on Neural Networks held in 1997.

Aimed at researchers, professors, practitioners, students and other computing professionals, this is a collection of papers on computational intelligence, specifically visual surveillance.

Partial Contents: Formal/Analytic Methods for Dependability; Reliability Modeling; Survivability & Security; Formal Methods; Design for High Assurance; Fault Analysis & Predication; Testing & Analysis of High-Assurance Systems; High-Assurance in Intelligent Systems

This volume comprises papers arising from the 7th Enabling Technologies workshop - WET-ICE '98. Topics include: access to information; collaboration; mobile agents;coordination; mobile computing; and intelligent agents and multi-agent systems.

The proceedings from the October 1999 conference include 107 technical presentations from 14 different countries. Not restricted to presented papers, this volume includes both the keynote and plenary addresses, poster presentations, as well as the proceedings of two tutorials, one on CAD and one on benchmarking, selecting, and debugging microcontrollers. Topics covered include applied verification techniques, computer arithmetic, intelligent memory, design convergence, test generation and delay testing, microarchitecture, and digital signal processors. No subject index. Annotation copyrighted by Book News, Inc., Portland, OR.

Contains 113 papers presented at the April 1999 meetings. Arrangement is in 21 sections covering such topics as: algorithmic paradigms and primitives; latency tolerance and performance modeling; communication, run-time systems; scalable computing; communication and protocols for clusters; communication libraries; routing and broadcasting; miscellaneous architecture; advanced software for applications support; scientific engineering systems; signal processing; data mining and databases; and biological and discrete systems. Also included are abstracts of the panel discussions and the two keynote addresses from each of the symposiums. No subject index. Annotation copyrighted by Book News, Inc., Portland, OR

Twenty-five papers presented at the October 1999 conference are grouped into sessions having the broad topics of software synthesis, requirements elicitation, reuse, test synthesis, analysis, verification, transformation, architecture, and automated testing. Among the topics are data mining library reuse patterns in user-selected applications, industrial applications of software synthesis via category theory, automated translation of UML models of architectures for verification and simulation using SPIN, verification of picture generated code, evolving object-oriented designs with refactorings, automatically detecting mismatches during component-based and model-based development, and an overview of Lutess: a specification- based tool for testing synchronous software. There are also 25 short papers that represent novel work not yet fully mature. No subject index. Annotation copyrighted by Book News, Inc., Portland, OR.

Based on the 9th IEEE International Workshop on Program Comprehension (IWPC 2001), this volume covers such topics as: software quality analysis; architecture recovery; reverse engineering; tools and environments; program comprehension studies; metrics and slicing; and clustering techniques.

This two-volume set contains the proceedings of the July 2001 conference on computer vision. The 205 papers discuss sensors and early vision, stereo and multiple views, segmentation and matching, learning in vision, shape representation and recovery, stereo and multiple views, segmentation and matching, object recognition, tracking, video analysis, reflectance, image databases, vision systems and texture, and demo overviews. There is no subject index. The included CD-ROM contains a full version of the proceedings. c. Book News Inc.

Proceedings of a June 2000 symposium, addressing issues that face software developers working with parallel and distributed systems. Papers come from 10 different countries, representing worldwide interest in the topic. This year's meeting focuses on distributed systems development, reflecting the growth in the deployment and importance of large scale distributed applications. Subjects include scalability issues in CORBA, formalization and verification of coherence protocols with the gamma framework, a formalism for hierarchical mobile agents, and a case study of exploratory visualization of distributed computations. Lacks a subject index. Annotation copyrighted by Book News, Inc., Portland, OR.

Book's by IEEE Computer Society Press

Second International Conference on Formal Engineering Methods

Second International Conference on Formal Engineering Methods

Twelfth International Conference on VLSI Design

Twelfth International Conference on VLSI Design

1998 IEEE Workshop on Application-Specific Software Engineering and Technology

1998 IEEE Workshop on Application-Specific Software Engineering and Technology

Proceedings

Proceedings

IVth Brazilian Symposium on Neural Networks

IVth Brazilian Symposium on Neural Networks

1998 IEEE Workshop on Visual Surveillance

1998 IEEE Workshop on Visual Surveillance

High-assurance Systems Engineering Symposium

High-assurance Systems Engineering Symposium

Seventh IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WET ICE '98) : Proceedings

Seventh IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WET ICE '98) : Proceedings

International Conference on Computer Design (ICCD '99)

International Conference on Computer Design (ICCD '99)

13th International Parallel Processing Symposium & 10th Symposium on Parallel and Distributed Processing

13th International Parallel Processing Symposium & 10th Symposium on Parallel and Distributed Processing

The 14th IEEE International Conference on Automated Software Engineering

The 14th IEEE International Conference on Automated Software Engineering

Program Comprehension

Program Comprehension

Eighth IEEE International Conference on Computer Vision

Eighth IEEE International Conference on Computer Vision

Software Engineering for Parallel and Distributed Systems

Software Engineering for Parallel and Distributed Systems

Username

Password

Username

Password

Password again

Birthday

Email