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:

Optimum transistor sizing of CMOS logic circuits using logical effort theory and evolutionary algorithms: Integration, the VLSI Journal
This paper proposes a methodology for optimizing and evaluating chip designs by coupling the well-known logical effort (LE) theory with heuristic...
Heuristic Methods (I.2.8...) | Mar 1 18

Antimagic labeling of regular graphs: Journal of Graph Theory
This paper consists of five interesting lemmas and a theorem on certain antimagic regular graphs. The well-written paper makes for absolutely delightful reading. It contains many newly introduced, well-explained...
Graph Theory (G.2.2) | Mar 1 18

Toward a geographic understanding of the sharing economy: ACM Transactions on Computer-Human Interaction
In the sharing economy (dynamic services for consumers for ride sharing, resource sharing for paid part-time work, and so on), the physical geographical area where the consumer resides...
Collaborative Computing (H.5.3...) | Mar 5 18

The undecidability of arbitrary arrow update logic: Theoretical Computer Science
Arrow update logic is one instance of so-called dynamic epistemic logics. These are logical frameworks that allow for the modeling of change of knowledge or belief. In the special case of arrow update logics, one...
Modal Logic (F.4.1...) | Mar 7 18

Languages with membership determined by single letter factors: Theoretical Computer Science
This paper continues a previous one [1] by the authors, Higgins and Alwan, expanding on the notion of scan languages that require a word to be read completely before determining whether the word belongs...
Automata (F.1.1...) | Mar 8 18

A progression semantics for first-order logic programs: Artificial Intelligence
This paper looks at the relationship between classical logic and practical systems, which employ logic-based techniques to process data. The emphasis is on answer set programming (ASP) and Datalog rather than Prolog. While...
Logic Programming (I.2.3...) | Mar 9 18

Reducing the performance gap between soft scalar CPUs and custom hardware with TILT: ACM Transactions on Reconfigurable Technology and Systems
This paper is an extension of a seminal presentation of thread- and instruction-level parallel template architecture (TILT). TILT is a software...
Other Architecture Styles (C.1.3) | Mar 9 18

Learning Bayesian network parameters from small data sets: International Journal of Approximate Reasoning
Bayesian networks (BNs) represent a powerful statistical tool for uncertainty analysis with applications in many areas, for example, medical diagnosis. Since...
Parameter Learning (I.2.6...) | Mar 12 18

Answer set programming for non-stationary Markov decision processes: Applied Intelligence
Problem solving with computers often involves the exploration of paths from an initial state to a goal state. In addition to the size of this search space...
Markov Processes (G.3...) | Mar 13 18

End-user composition of interactive applications through actionable UI components: Journal of Visual Languages and Computing
This research is related to the development of end-user-designed applications using the mashup platform called EFESTO. This type of...
User Interfaces (H.5.2) | Mar 14 18

Introduction to embedded systems

The design of embedded computing systems has become more important as wireless systems, smart appliances, automotive systems, and many other cyber-physical systems are built upon an embedded system...
Real-Time & Embedded Systems (C.3...) | Mar 1 18

Principles of mobile communication (4th ed.)

Mobile communication technologies have moved us a step closer to realizing the aim of ubiquitous access, anytime on the move. Cellular wireless systems have evolved over the past three decades from the analog-based...
Wireless Communication (C.2.1...) | Mar 2 18

Bridging the gap between requirements engineering and software architecture

This is a very extensive research work on the framework and methodology to improve software architecture and hence software development by using QuaDRA (short for quality-based co-development of the...
Requirements/Specifications (D.2.1) | Mar 2 18

Mastering software variability with FeatureIDE

Inherent variability in different industrial domains and business requirements poses a number of challenges in custom software development. Feature-oriented programming (FOP) based software development is an important approach to ease the customization of...
Integrated Environments (D.2.6...) | Mar 6 18

Low-level programming

Despite the ease of programming in high-level languages, there will always be things that are best programmed in low-level languages (such as speed, resource usage, and size). Assembler is certainly...
Sequential Programming (D.1.4) | Mar 7 18

The incomputable

Computer science is composed of two major areas. One is strongly related to engineering: the architecture and design of computing systems and the development of tools to employ such systems. The other is more related to scientific inquiry, although to those outside...
Computability Theory (F.1.1...) | Mar 7 18

Interpreting Lisp: programming and data structures (2nd ed.)

In writing Interpreting Lisp: programming and data structures, Knott aims to meet several goals in a concise and direct manner: first, to provide a gentle but precise introduction to Lisp; second, to illustrate the flavor of Lisp programming through several idioms; and...
Applicative (Functional) Programming (D.1.1) | Mar 8 18

Embedded system design

This is a difficult book to approach. It is either an encyclopedia, a tour de force, or an ultra-graduate-level textbook. On page 17, the author lists 12 detailed prerequisites and 22 recommended additional...
Real-Time & Embedded Systems (C.3...) | Mar 8 18

Automotive software architectures

The automotive industry is experiencing the most rapid changes in its evolution toward semi- and fully autonomous vehicles. Software is driving the car, augmenting or replacing the human driver. Possibly this is the only book that covers the whole breadth...
Software Architectures (D.2.11) | Mar 9 18

An introduction to machine learning (2nd ed.)

In his introduction, the author states that “machine learning has come of age.” In many ways, if the scope and methods are those established in the book, it is true. But from the point of view of recent research and especially industrial initiatives, this is not true in...
Learning (I.2.6) | Mar 9 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