Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Home Topics Titles Quotes Blog Featured Help
View:  Show:    

Computer Systems Organization (C)
Understanding co-running behaviors on integrated CPU/GPU architectures : IEEE Transactions on Parallel and Distributed Systems

Graphics processing units (GPUs) are used in many applications that are not necessarily related to graphics. With the rise of big data and machine...
Processor Architectures (C.1) | Aug 8 17

The communication-hiding pipelined BiCGstab method for the parallel solution of large unsymmetric linear systems : Parallel Computing

In the huge matrices used in high-performance computing (HPC), there exist patterns and relations among the members of...
Parallel Architectures (C.1.4) | Aug 10 17

The g-good-neighbor conditional diagnosability of star graphs under the PMC and MM* model : Theoretical Computer Science

A network of processors is said to be diagnosable if its faulty nodes can be reliably identified. Identification of a faulty node depends on it having nonfaulty neighbors. The requirement that each fault-free node in a...
Network Architecture & Design (C.2.1) | Aug 7 17

A scalable data chunk similarity based compression approach for efficient big sensing data processing on cloud : IEEE Transactions on Knowledge and Data Engineering

Marrying sensors and innovative industries (for example, think aircraft engines instrumented for real-time preventive maintenance) leads to the creation...
Cloud Computing (C.2.4...) | Jul 25 17

Software (D)
Repetition between stakeholder (user) and system requirements : Requirements Engineering

While stakeholder or user requirements (URs) should have corresponding system requirements (SysR), the purpose of these requirements is fundamentally different. URs are focused more on defining the...
Requirements/Specifications (D.2.1) | Aug 10 17

Manifest domains: analysis and description : Formal Aspects of Computing

Dines Bjørner in numerous publications suggested a triptych view of software engineering, specified in this paper as follows: “before hardware and software systems can be designed and coded, we must have a reasonable...
Domain Engineering (D.2.13...) | Aug 11 17

Evaluating software architecture evaluation methods : EASE 17

Software architecture plays a vital role in the development of products since it enables ex-ante analysis and tackles fundamentals early. In fact, starting the development of a software product with...
Validation (D.2.4...) | Jul 28 17

Semantics-based program verifiers for all languages : OOPSLA 16

Programming is hard. Verifying correctness of a program is harder. Building an automated tool for program verification is harder still: there are very few tools that can perform verification of non-trivial programs written in real-world programming languages. We...
Software/Program Verification (D.2.4) | Jul 20 17

Test oracle strategies for model-based testing : IEEE Transactions on Software Engineering

For software testing, it is important to know the expected results of test inputs. In a simple form, an oracle helps to determine if a test passed or failed by providing the expected output for a given...
Testing Tools (D.2.5...) | Aug 10 17

The debugging mind-set : Communications of the ACM

The author’s views on debugging as a learnable activity are presented in this article. O’Dell reviews literature from computer science (CS) and psychology and reaches the conclusion that debugging is not a...
Debugging Aids (D.2.5...) | Jul 24 17

Hardware (B)

Enabling the Internet of Things: from integrated circuits to integrated systems

In 18 chapters, this book presents an interesting view of the future: a world filled with an uncountable number of “things” defined as often minute and semiautonomous objects, each connected to the Internet...
Types & Design Styles (B.7.1) | Aug 9 17

Prototyping of concurrent control systems implemented in FPGA devices

This book attempts to provide a bridge between science and engineering in the field of concurrent control systems specified by Petri nets. According to the preface, it would be “useful to CAD researchers...
Gate Arrays (B.7.1...) | Jul 13 17

Computer Systems Organization (C)

Computer organization and design

This is a solid and up-to-date book in an area that has seen exponential change. Before we go any further, a disclaimer: I have been a proud owner of the authors’ famous book Computer architecture: a quantitative approach [1] for over 20 years. This book is 565 pages long...
General (C.0) | Aug 4 17

Emergent computation: a festschrift for Selim G. Akl

The foreword, by David Rappaport and Kai Salomaa, is a very nice summary (five pages) of significant contributions made by Selim G. Akl in several areas of informatics during the course of a very...
Parallel Architectures (C.1.4) | Aug 8 17

Wireless sensor networks

With the emerging fields of Internet of Things (IoT) and wearable technologies, sensor networks have become an important concept. They have applications in many different domains, including healthcare, military, and home automation. The book is a good source for...
Sensor Networks (C.2.1...) | Aug 2 17

Global mobile satellite communications theory

At the core of recent world dynamics involving civil economic and military applications is global mobile satellite communications (GMSC), a vital component of the modern Internet. A very experienced author presents a comprehensive yet relatively simple...
Signal Processing Systems (C.3...) | Jul 26 17

Components and services for IoT platforms

Most Internet of Things (IoT) platform topics are covered in this book, including platform design, simulation, wireless sensor networks (WSNs) in IoT, data management in IoT, and IoT use cases. It addresses the latest enabling technologies in...
Real-Time & Embedded Systems (C.3...) | Jul 20 17

Current technologies in vehicular communication

Divided into six chapters, this is a rather short book acting as an introduction to the state-of-the-art technologies related to communications among vehicles. The first chapter is an introduction to the communications between different types of...
Real-Time & Embedded Systems (C.3...) | Jul 20 17

QoS and energy management in cognitive radio network: case study approach

Quality of service (QoS) in information and communications technology (ICT) and energy management in wireless communication are very attractive topics. Uses of cognitive radio technology as methods for dynamic spectral utilization are...
Signal Processing Systems (C.3...) | Jul 7 17

Soft computing applications in sensor networks

Due to advances in hardware technology, sensors are becoming increasingly common. In addition to forming an important part of the Internet of Things (IoT), many sensors form a communication network called a wireless sensor network (WSN). WSNs can be used in...
Signal Processing Systems (C.3...) | Jul 5 17

Display per column
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright © 2000-2017 ThinkLoud, Inc.
Terms of Use
| Privacy Policy