Computer Society Press

Model-based methodologies for pervasive and embedded software; proceedings.

The eight papers selected for the April 2008 workshop propose a framework for defining model language metamodels for CASE tools, an aspect-oriented executable modeling UML 2.0 profile for designing pervasive applications, and chaotic models for comparing the concurrency structures of two architectures. Other topics include software quality metrics, verifiable workflow management systems, context-aware composition and adaptation, OO and AO models of a UAV control system, and separation of distributed real-time embedded concerns. No subject index is provided. (Annotation ©2008 Book News Inc. Portland, OR)

Networks-on-chip; proceedings.

The 19 papers and eight posters selected for the April 2008 symposium present recent research on tuning network-on-chip architectures for specific purposes, FPGA-based and reconfigurable NOC design, low power and reliable link design, topology and routing, and globally asynchronous locally synchronous NOC architectures. The contributors propose slow-silent virtual channels for low power on-chip networks, bandwidth aware and congestion avoiding routing algorithms, real-time communication analysis with wormhole switching, and a network of time-division multiplexed wiring for FPGAs. No subject index is provided. (Annotation ©2008 Book News Inc. Portland, OR)

Parallel, distributed and network-based processing; proceedings.

The 56 regular papers and 27 short papers selected for the February 2008 conference present recent research on parallel and distributed algorithms, network architectures, parallel programming models, distributed management and resource selection, runtime support, performance prediction, scheduling, and load balancing. Special sessions focus on bioinformatics, simulation and optimization of P2P environments, next generation of web computing, security in networked systems, and virtualization in distributed systems. The international contributors model asynchronous systems using probability distribution functions, compare onloading and offloading strategies to improve network interfaces, and exploit data- and thread-level parallelism for image correlation. No subject index is provided. (Annotation ©2008 Book News Inc. Portland, OR)

Quality electronic design; proceedings.

The over 90 papers of this proceedings were first presented at the 9th International Symposium on Quality Electronic Design, held in San Jose, CA, in March 2008. The papers are grouped by session, with topics that include speed-up and timing of integrated circuits, SER and noise tolerance, robust SRAM and analog circuits, process variations, processor test verification and delay diagnosis, and modeling and analysis in physical design. Author indexed only. (Annotation ©2008 Book News Inc. Portland, OR)

Real-time and embedded technology and applications; proceedings.

In addition to real-time and embedded systems, the April 2008 symposium explores embedded systems hardware/software interaction and co-design, verification and debugging tools, and benchmarks. The 35 papers are divided into nine sessions on power management, execution time analysis, quality of service, model-based development, scheduling, operating systems, and network security. Topics include distributed resource kernels, modular code generation from triggered and timed block diagrams, using trace scratchpads to reduce execution times, applying wireless technology in real-time industrial process control, and a hybrid DVS scheme for interactive 3D games. No subject index is provided. (Annotation ©2008 Book News Inc. Portland, OR)

Similarity search and applications; proceedings.

This new conference supports theoreticians and practitioners involved with similarity searching in general spaces (metric or non-metric) or in using distance-based as opposed to coordinate-based techniques. These proceedings from the April 2008 workshop include two invited papers (on evolving models of biological sequence similarity and facets of approximate similarity search) along with 15 regular papers covering such subjects as the process of searching in specific metric spaces, spaces and similarities, distributed indexes, index organization and reorganization, and advanced similarity problems. Regular paper topics include hierarchical progressive exact retrieval, high-dimensional similarity retrieval using dimensional choice, genomic sequence applications, visual similarity and sign language, counting distance permutations, combining metric features in large collections, bulk-loading peer-to-peer networks, a dynamic pivot selection technique, a data structure for similarity joins in metric spaces, and a review of the complexity of reverse similarity search. The editors include an author index and papers include references. (Annotation ©2008 Book News Inc. Portland, OR)

Simulation symposium; proceedings.

Presenting the 33 papers of the 41st Annual Simulation Symposium, held in April 2008 in Ottawa, Canada, this proceedings also includes the keynote address by Rajkumar Buyya (computer science, software engineering, U. of Melbourne, Australia) on the modeling and simulation potential within service and utility oriented distributed computing systems. The papers are grouped into 10 sessions that addressed topics that include network modeling and simulation, performance modeling, and dependability simulation. Individual paper topics include executable protocol models as a requirements engineering tool, and logical process based sequential simulation cloning. Author indexed only. (Annotation ©2008 Book News Inc. Portland, OR)

Software architecture; proceedings.

A February 2008 conference brought together software engineering practitioners and researchers from industry and academia to exchange experiences and ideas related to aspects of software architecture. Research papers, experience reports, case studies, and working sessions from the conference are collected here, reflecting perspectives from across the discipline. Some major themes examined are management, patterns and styles, requirements and design, architecture and organization, analysis and design, architecture documentation frameworks, generation and transformation, and architecture and adaptation. Some specific topics include simulation of software architectures for functional analysis, extraction of component-based architecture from object-oriented systems, teaching software architecture design, and the role of dependency links in ensuring architectural view consistency. There is no subject index. (Annotation ©2008 Book News Inc. Portland, OR)

Software engineering education and training; proceedings.

This proceedings volume presents selected papers from the eponymous twenty-first annual conference, held April 2008, with the theme "Educating the Net Generation of Software Engineers." Editors Saiedian (U. of Kansas) and Williams (North Carolina State U.) provide first the presentations from the keynote speakers Bertrand Meyer and Marco Piccioni (both: computer science, Zurich), and Nancy R. Mead (Software Engineering Institute) and the abstract of keynote speaker Michael Tiemann of Redhat. Following sections present 24 technical papers in the areas of the Net generation and the real world; security and SE education, capstone courses and soft skills, degree offerings, objects and components, studio and industry projects, tools and methodologies, and knowledge source and evidence. The title closes with assessments of workshop and tutorial presentations, including a course module providing the DigitalHome case study material. (Annotation ©2008 Book News Inc. Portland, OR)

Storage network architecture and parallel I/Os; proceedings.

Papers from a September 2007 workshop, 18 in all, are presented in four sections: storage reliability and fault tolerance; parallel IO, storage networking, and QoS; storage systems evaluation and benchmarking; and object storage systems. Some areas examined include snapshots and continuous data replication in cluster storage environments, controlling network bandwidth to support storage QoS, a fat-tree based heterogeneous multi-tier storage architecture, and a benchmark suite for unstructured data processing. Other topics include enhancing the performance of NFSv4 with RDMA, parity redundancy in a clustered storage system, and a packet forwarding method for the ISCSI virtualization switch. There is no subject index. (Annotation ©2008 Book News Inc. Portland, OR)

Symbolic and numeric algorithms for scientific computing; proceedings.

Most of the 75 papers selected for the September 2007 symposium are arranged into seven workshops on agents for complex systems, grid computing applications development, iterative methods for nonlinear equations, natural computing, embedded systems, rule-based applications, and workflows. The researchers propose a principal directions-based algorithm for classification tasks, implication- based support measures for fuzzy association rules, a tool for calculating exponential run-time properties, and Wikipedia-based kernels for text categorization. Other topics include an agent for constraint acquisition and emergence, a performance analysis of message parsing tools for the grid, a bio-inspired approach for a dynamic railway problem, and grid services for mining fuzzy association rules. No subject index is provided. (Annotation ©2008 Book News Inc. Portland, OR)

Wireless and mobile technologies in education; proceedings.

Collects the 20 papers and 25 poster presentations selected for the March 2008 conference, with sessions on language learning, games and sports, ubiquitous learning, mobile devices, collaborative learning, and information retrieval. Topics include a sports program promoting science and math, writing vocabulary words on a tablet PC, tools for students doing mobile fieldwork, classroom interaction through mobile devices, and a knowledge management system for Kenyan rural farms. No subject index is provided. (Annotation ©2008 Book News Inc. Portland, OR)