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

General Literature (A)
A survey of tool-supported assurance case assessment techniques : ACM Computing Surveys

Assurance case assessment techniques find application in the study of complex system reliability and safety, for example, nuclear reactors, energy systems, aircraft, and so on. As the...
Introductory And Survey (A.1) | Mar 1 21


Hardware (B)
SOD: making smartphone smart on demand with radio interface management : ACM Transactions on Autonomous and Adaptive Systems

Smartphone batteries don’t last as long as they used to. Why? Applications consume a lot of energy. However, the authors show that, besides the display...
General (B.0) | Apr 20 21


Computer Systems Organization (C)
Data-driven model-based detection of malicious insiders via physical access logs : ACM Transactions on Modeling and Computer Simulation

Employees with security clearance will perhaps continue to pose the ultimate security threat to businesses, organizations...
Security & Protection (C.2.0...) | Mar 8 21

Orchestrating big data analysis workflows in the cloud : ACM Computing Surveys

When processing different big data workflows, many new and (so far) unknown patterns and performance requirements are visible. We are forced to search new processing models and...
Cloud Computing (C.2.4...) | Mar 2 21


Software (D)
Applications of distributed ledger technologies to the Internet of Things: a survey : ACM Computing Surveys

If you have ever wondered how the Internet of Things (IoT)--the interconnection of physical and virtual things through existing and evolving communication...
Distributed Programming (D.1.3...) | Mar 22 21

Tapir: embedding recursive fork-join parallelism into LLVM’s intermediate representation : ACM Transactions on Parallel Computing

A typical compiler has a front end that analyzes the source text and converts it to a language-independent IR whose structure and operations support...
Parallel Programming (D.1.3...) | Feb 22 21

Coding-data portability in systematic literature reviews: a W3C’s open annotation approach : EASE 19

Systematic literature reviews (SLRs) involve several steps: the planning step, which identifies the scope of literature according to the research goals, and develops a coding protocol; the analysis step, which...
Software Engineering (D.2) | Apr 9 21

An analysis of inheritance hierarchy evolution : EASE 19

This is a refreshing paper on ten open-source systems and their use of “inheritance” programing concepts. Computer languages have evolved with the type-safe extensibility concept of inheritance, which is embodied in object...
General (D.2.0) | Apr 13 21

Parallel cost analysis : ACM Transactions on Computational Logic

In this paper, the authors present “static cost analysis for distributed systems that exploits the parallelism among distributed locations to infer a more precise estimation of the parallel cost.” Such a parallel cost analysis can be of use when...
General (D.2.0) | Apr 2 21

CPS design with learning-enabled components: a case study : RSP 19

Cyber-physical systems (CPSs) integrate hardware/software components with mechanical/electronic equipment to operate in applications for robotics, avionics, smart grids, and the like. This paper presents a case study for...
General (D.2.0) | Mar 29 21


General Literature (A)

Diversity in visualization

Diversity in visualization is a small book, spanning 88 pages (nine chapters plus references and editor/author bios). Yet it is very surprising, in a very good sense. The book is the result of "observations ... based on the analysis of data about the IEEE VIS family of...
General (A.0) | Feb 26 21


Hardware (B)

Algorithms for optimization

Anyone wanting to publish a book in a respectable and classical research field needs to find a niche to justify the originality. This statement includes the area of mathematical optimization, which interests Kochenderfer and Wheeler. They decided to focus on the...
Optimization (B.1.4...) | Apr 27 21


Software (D)

Righting software

The history of software systems development is filled with projects that have either failed or experienced severe problems, ranging from cost or schedule overruns to falling short of customer needs and serious quality defects. The rollout of the federal health insurance exchange website in the US...
General (D.0) | May 11 21

Soft computing: techniques in engineering science

Soft computing is that part of computational science that is applied to problems characterized by uncertainty and imprecision. The techniques of soft computing include fuzzy sets, numbers, and logic; neural...
General (D.1.0) | Apr 22 21

Carl Adam Petri

Every computer scientist studies Petri nets in their early academic years. Petri nets are a powerful yet very intuitive modeling tool for concurrent and distributed systems. Such networks were introduced by Carl Adam Petri (1926-2010) in his PhD thesis, in 1962...
Petri Nets (D.2.2...) | Mar 25 21

Reasoning with probabilistic and deterministic graphical models: exact algorithms (2nd ed.)

Many problems related to learning and reasoning can make use of graphical models where a knowledge structure is compactly encoded into a graph. When dependencies (or independencies) among...
Graphical Environments (D.2.6...) | May 4 21

The kollected Kode Vicious: opinionated advice for programmers

Readers of Communications of the ACM and ACM Queue are surely familiar with the magazines’ “Dear Abby”-like column, written by George V. Neville-Neil, under his persona Kode Vicious, or KV. This book is a...
General (D.3.0) | Apr 30 21

Modern data mining algorithms in C++ and CUDA C

In his earlier book from 2018, Data mining algorithms in C++ [1], the author indicated that a “volume 2 will appear some day.” This is it. It builds on the techniques and tools of the earlier book and follows a similar style of presentation. Each chapter presents a...
C++ (D.3.2...) | May 5 21

Modern Fortran explained

First introduced in 1957, FORTRAN was designed to be easier than an assembler language for writing algebraic equations on a computer. In this, FORTRAN was spectacularly successful. More than 60 years later, Fortran (officially renamed since Fortran 90)...
Fortran (D.3.2...) | Mar 19 21

Essential C# 8.0 (7th ed.)

This book describes the C#, a general-purpose programming language used in the commercial world. The book has a very detailed explanation of various language constructs. The constructs are explained with code listings and their background concepts. The...
C# (D.3.2...) | Mar 11 21

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