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

Hardware (B)
Formal verification and quantitative metrics of MPSoC data dynamics : Formal Aspects of Computing

MPSoC stands for “multiprocessor system-on-a-chip.” This paper treats verification via simulation of the design and expected behavior of such multiprocessor...
Verification (B.1.4...) | Jun 7 18

Computer Systems Organization (C)
Lightweight, obfuscation-resilient detection and family identification of Android malware : ACM Transactions on Software Engineering and Methodology

Malware is undoubtedly one of the most real and potent threats in the smartphone industry. Android’s open ecosystem in terms of code as well as...
Security and Protection (C.2.0...) | Jun 22 18

Full-duplex millimeter-wave communication : IEEE Wireless Communications

The intrinsic properties of massive multiple-input multiple-output (massive MIMO) have paved the way for new innovations in exploiting the available spectrum resources. Full-duplex (FD) communication...
Wireless Communication (C.2.1...) | Jun 6 18

Architectural principles for cloud software : ACM Transactions on Internet Technology

What comes to mind first with cloud system architectures is the ubiquitous use of microservices, supported by total virtualization from hardware to middleware to applications: virtual machines...
Cloud Computing (C.2.4...) | Jun 14 18

Rivulet: a fault-tolerant platform for smart-home applications : Middleware 17

The paper presents Rivulet, a distributed middleware for smart home applications. The main idea of Rivulet is to move from a state-of-the-art cloud-centric architectural solution, where the whole application logic is...
Fault Tolerance (C.4...) | Jun 20 18

Software (D)
Serverless computing: economic and architectural impact : ESEC/FSE 17

The concept of virtual machines has liberated--elegantly and very successfully-- information technology (IT) from hardware constraints. The next step in virtualization now concerns the very programs themselves: in...
Distributed Programming (D.1.3...) | Jun 22 18

Detecting decidable classes of finitely ground logic programs with function symbols : ACM Transactions on Computational Logic

The termination problem of programs is in general an undecidable problem. However, in the context of some programming paradigms, there has been a lot...
Logic Programming (D.1.6) | May 22 18

A metamodeling approach for the identification of organizational smells in multi-agent systems: application to ASPECS : Artificial Intelligence Review

The concept of a code smell is defined as representing a potential problem within a system, typically a programming design system. The idea of a...
Software Quality Assurance (D.2.9...) | May 18 18

Bringing the web up to speed with WebAssembly : PLDI 17

Web browsers have become a primary method of delivering applications both inside corporate networks and from corporations to external customers and suppliers. Such applications require efficient and...
Programming Languages (D.3) | May 23 18

A programmable programming language : Communications of the ACM

Despite its vague title, this article is actually a gentle presentation of the ideas behind the Racket language and ecosystem. Racket, started in 1995, is a descendant of various Lisps, particularly Scheme, with a strong emphasis on...
Language Constructs and Features (D.3.3) | May 25 18

Computer Systems Organization (C)

Analytical methods for network congestion control

This is one of the most comprehensive books I have read recently, and it is a must-read for a serious network designer. This book uses a step-by-step approach to build a mathematical model to understand, design, and fix network congestion. This book...
Network Architecture & Design (C.2.1) | May 3 18

Building the network of the future

Software-defined networking (SDN) and network function virtualization (NFV) have been at the forefront of the R&D networking world since the last decade [1]. However, these new paradigms may not be well understood by many IT professionals. The book is easy to...
Network Architecture & Design (C.2.1) | Apr 26 18

Cloud computing (2nd ed.)

In recent years, the applications and architectural specifications of cloud computing have been major streams of investigation. Besides the cloud’s technical significance at performing practical projects, it has opened a new horizon within the computing...
Distributed Systems (C.2.4) | May 8 18

The network organization

Social networks are an important part of modern society. We can say that social networks partly determined the results of the 2016 US presidential election. Social networks exert their influences by a myriad of nodes and connections between nodes...
Local & Wide-Area Networks (C.2.5) | May 16 18

Fog computing in the Internet of Things

The book is central to the understanding and advanced study of fog computing. It follows an effective model, based on eight scientific papers of a very high level, and is suitable for readers who want an introduction to the area, according to an organization inspired by...
Real-Time & Embedded Systems (C.3...) | May 10 18

Multi-disciplinary engineering for cyber-physical production systems

Cyber-physical systems (CPS) are engines managed and monitored by computer algorithms in tight relation with information and communication technologies. Among the related topics and technologies are the...
Real-Time & Embedded Systems (C.3...) | May 4 18

Software (D)

Raspberry Pi supercomputing and scientific programming: MPI4PY, NumPy, and SciPy for enthusiasts

Raspberry Pi is a single-board computer developed by a British charity to promote a different way of teaching computer science in schools, away from applications and web design and geared toward programming...
Distributed Programming (D.1.3...) | Apr 26 18

Spring 5 recipes: a problem-solution approach (4th ed.)

The Java Spring Framework has been growing; this fourth edition updates the essential Spring features. The book is divided into 17 chapters, presented in a logical order. First, the authors show readers how to...
Object-Oriented Programming (D.1.5) | May 2 18

Towards a synergistic combination of research and practice in software engineering

This book is a collection of 15 papers chosen from 43 delivered at the KKIO Software Engineering Conference in Poland in 2016. The authors of the papers had the opportunity to revise their work prior to publication in this compendium, which is Volume 733 of the...
General (D.2.0) | Apr 18 18

The design of requirements modelling languages

Requirements engineering (RE), an ill-structured problem, could benefit from automation support to capture and reuse the requisite problem-solving knowledge. To engineer a system that will...
Requirements/Specifications (D.2.1) | May 2 18

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