: ACM Transactions on Reconfigurable Technology and Systems
Transforming gate-level Boolean logic into functionally equivalent lookup tables (LUTs) is a key step in the compilation of a design into field-programmable gate arrays (FPGAs). Tools typically deploy a...
General (B.5.0) | Apr 3 19
NV-clustering: normally-off computing using non-volatile datapaths
: IEEE Transactions on Computers
The much-needed downscaling of different core system architectures is significantly challenged by static power dissipation. The authors present a solution via middleware-transparent...
Logic Design (B.6) | Jun 19 19
Computer Systems Organization (C)
Neural network classifiers using a hardware-based approximate activation function with a hybrid stochastic multiplier
: ACM Journal on Emerging Technologies in Computing Systems
Li et al. present a novel approach for optimizing neural network implementations, that is, “a new architecture of stochastic neural networks” with a hidden...
Neural Nets (C.1.3...) | May 1 19
EmerGence: a delay tolerant web application for disaster relief
: HotMobile 19
Providing communication services in disaster-affected areas is important. The authors introduce an app for such situations that runs on the back of networks powered by unmanned aircraft systems (drones)...
Network Architecture & Design (C.2.1) | Jun 19 19
Survey on fog computing
: Journal of Network and Computer Applications
In the Internet of things (IoT), is there a difference between edge and fog computing?
By now we all understand the cloud computing paradigm in which end devices (anything from sensors and smartphones to industrial...
Distributed Networks (C.2.1...) | Apr 3 19
Three bits suffice: explicit support for passive measurement of Internet latency in QUIC and TCP
: IMC 18
The Internet measurement of round-trip time (RTT) is important as an indication of performance and latency. While the Ping utility can and does measure RTT, widespread use increases overhead. This...
Network Protocols (C.2.2) | Jun 17 19
The human infrastructure of El Paquete, Cuba’s offline Internet
Cubans do not have online access to the Internet, nor instantaneous communication with people outside of Cuba. Even cellphone technology inside Cuba is limited. Responding to that void, an informal network...
Local & Wide-Area Networks (C.2.5) | Apr 29 19
SDN flow entry management using reinforcement learning
: ACM Transactions on Autonomous and Adaptive Systems
Software-defined networking (SDN) technology makes for smoother network management and configuration. It allows network resources to be efficiently assigned to both prolonged and short-term traffic...
Performance of Systems (C.4) | Apr 24 19
Impact of virtualization on cloud computing energy consumption: empirical study
: ISCSIC 18
Intensive computation in tasks such as weather forecasting and scientific solar system exploration requires high-speed processors and huge data...
Performance of Systems (C.4) | Apr 5 19
The PCL theorem
: Journal of the ACM
Transactional memory is one approach to making highly parallel programming manageable. In such approaches, parallel memory accesses are treated somewhat similarly to transactions in a database system, ideally guaranteeing properties similar to the ACID...
Concurrent Programming (D.1.3) | Apr 15 19
Design automation techniques for approximation circuits: verification, synthesis and test
Finding the optimal energy savings corresponding to different quality constraints is one of the most important driving forces in approximate design, particularly for complex system on chips (SoCs) with multiple Internet protocols (IPs) integrated on edge devices...
Types & Design Styles (B.7.1) | Apr 12 19
Computer Systems Organization (C)
Networks (2nd ed.)
In this revised and expanded edition of his 2010 seminal work [1,2], Newman updates the content to reflect developments in the field. The book is very comprehensive and consists of 18 chapters. It is divided into four distinct parts: “The Empirical Study of Networks,” “Fundamentals of Network Theory...
General (C.0) | Apr 22 19
Advanced Raspberry Pi (2nd ed.)
The history of broadly understood electronics development includes the creation of new paradigms that became milestones: the discovery of transistors, the release of the 8051 microprocessor, the discovery of light-emitting diode (LED) indicators, the...
General (C.0) | Apr 11 19
Migrating to Azure
Migrating to Azure covers the fundamentals of migrating, securing, and deploying legacy applications on the Microsoft Azure cloud. Due to their high availability and cost effectiveness, cloud computing technologies have been increasingly used for application deployment...
Cloud Computing (C.2.4...) | Jun 18 19
A philosophy of software design
I distinctly recall the first class I taught in software design, in 1980. One student from that course is now a computer science (CS) professor and department head at a major college in Tel Aviv. This anecdote, with its dating, is relevant to this book. It is well known that a...
General (D.0) | Jun 3 19
Declarative logic programming
What is declarative logic programming and why is it relevant? These are just two of the many questions answered in Declarative logic programming, edited by Michael Kifer and Yanhong Annie Liu. The compiled chapters aim to fill in any gaps in the current literature related to...
Logic Programming (D.1.6) | Jun 26 19
Bitwise: a life in code
This is perhaps the most peculiar book I have ever reviewed. It is essentially a collection of philosophical and autobiographical essays on the subject of computing, specifically on topics the author finds interesting. Whether you, the reader, will find the book interesting or not is a...
General (D.2.0) | May 2 19
Handbook of model checking
Due to the proliferation and pervasiveness of hardware and software entities in everyday life, ascertaining their trustworthiness is of paramount importance. Model checking is a logic-based approach that determines whether the abstract model of an entity conforms to a...
Model Checking (D.2.4...) | May 20 19
Software fault detection and correction
This book addresses the stages of fault detection and fault correction in software engineering from a dynamic perspective, that is, the life cycle of the software product, including maintenance phases or an agile methodology.
Software reliability necessitates...
Testing & Debugging (D.2.5) | May 30 19
C++ templates (2nd ed.)
The evolution of the C++ language has created the need for revised material on C++ templates. It’s great to see this second edition of C++ templates out at this moment, as it provides a definitive guide to C++ templates with the latest C++ standards.
C++ (D.3.2...) | May 24 19