Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Browse by topic Browse by titles Authors Reviewers Browse by issue Browse Help

Select Issue:

Evolution or revolution: Artificial Intelligence Review
Software testing consumes a considerable amount of the cost and time of software development, but it is one of the most crucial phases; it cannot be skipped. Software testing is therefore referred to as “a necessary...
Artificial Intelligence (I.2) | Dec 1 17

Have you lost the thread? Discovering ongoing conversations in scattered dialog blocks: ACM Transactions on Interactive Intelligent Systems
This interesting read addresses the problem of discovering conversations within dialog blocks. Parallel conversational threads occur in many scenarios...
Learning (I.2.6) | Dec 4 17

Traleika Glacier: Parallel Computing
Exascale computers require new technologies in both hardware and software because of the increased gap between various memory structures and computational units and the decreased reliability of components due the sheer size of the machine and small scale of the individual...
Processor Architectures (C.1) | Dec 4 17

Incremental bounded model checking for embedded software: Formal Aspects of Computing
Bounded model checking is employed in tools for the formal verification of C programs such as the C bounded model checker (CBMC). The key idea of this technique is to unwind unbounded program loops to a...
Model Checking (D.2.4...) | Dec 4 17

The science of brute force: Communications of the ACM
This paper’s main contribution is a nice introduction of the Boolean satisfiability (SAT) problem to the general public. The basic idea is that the brute force approach of SAT to problem solving, called brute reasoning, is relevant. Despite the untamed aspect of brute...
Software/Program Verification (D.2.4) | Dec 6 17

MixedTrails: Data Mining and Knowledge Discovery
This well-written paper includes adequate definitions to enable a layperson to understand the principles (generative processes of heterogeneous sequence data of human movement in a city) examined in its simulated...
Markov Processes (G.3...) | Dec 7 17

Improving loop dependence analysis: ACM Transactions on Architecture and Code Optimization
Research on multicore utilization embraces three major categories of topics: investigations regarding the issues of multicore interaction functionality, operating system affairs and compilers, and programming...
SIMD Processors (C.1.2...) | Dec 7 17

Decentralised peer-to-peer data dissemination in wireless sensor networks: Pervasive and Mobile Computing
Can edge sensor data reliably route through unreliable networks using a unique decentralized routing framework? New research describes how using a framework of peer-to-peer (P2P) wireless sensor...
Peer-to-Peer Computing (C.2.1...) | Dec 8 17

Natural complexity

Author Paul Charbonneau defines science as “a way of knowing.” Since the Renaissance, the natural sciences have had two main ways of knowing: empirical analysis of observational data from the real world, and theoretical arguments (in the most rigorous form...
Model Development (I.6.5) | Dec 4 17

Practical packet analysis

The study of the operation of network protocols, as well as the improvement of a network’s functionality and security, are the main aspects that network packet analysis considers. Known as both a software protocol analysis and a packet sniffer application...
Network Monitoring (C.2.3...) | Dec 5 17

Introduction to data science

Data science is an emerging discipline spurred by the need to extract meaningful information and gain insights from large amounts of complex data. Data science encompasses many areas from mathematics, statistics, and information and computer sciences. This book contains a broad range of timely topics and...
Mathematical Software (G.4) | Dec 6 17

Non-volatile in-memory computing by spintronics

With quintillions of calculations per second, exascale computing is a challenge for the world of scientific discovery and for advancing economic competitiveness. In certain applications such as climate change and...
Performance of Systems (C.4) | Dec 11 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