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

Computer Systems Organization (C)
Husky: towards a more efficient and expressive distributed computing framework : Proceedings of the VLDB Endowment

Husky is a continuity point on the scientific approach to massive data computing, an approach that is still at the peak of hype. This approach certainly would...
Distributed Architectures (C.1.4...) | Feb 7 17

Autonomic performance and power control for co-located web applications in virtualized datacenters : IEEE Transactions on Parallel and Distributed Systems

The proliferation of cloud computing and virtualized environments raises several performance issues regarding load balancing and power...
Cloud Computing (C.2.4...) | Mar 21 17


Software (D)
Efficient large-scale trace checking using MapReduce : ICSE 16

In software engineering, software verification and validation has always been a challenging task. On the other hand, the emergence of big data and cloud computing has opened a new horizon...
Software Engineering (D.2) | Feb 13 17

Decidability and complexity for quiescent consistency : LICS 16

Quiescent consistency is a correctness constraint for concurrent objects that attempts to improve concurrent-execution performance by accepting a broader range of possible operation sequences than...
Software/Program Verification (D.2.4) | Mar 1 17

A survey on software fault localization : IEEE Transactions on Software Engineering

The most important software fault localization techniques published through 2014 are reviewed and classified in this paper. Concretely, the information sources of this survey are 331 papers and 54 PhD and master’s theses...
Debug (D.2.5...) | Mar 9 17

Developer micro interaction metrics for software defect prediction : IEEE Transactions on Software Engineering

Predicting whether released software will contain bugs or defects, or will not behave as expected is considered crucial in the software...
Software Quality Assurance (D.2.9...) | Mar 3 17

Model checking Petri nets with names using data-centric dynamic systems : Formal Aspects of Computing

Carl Adam Petri established Petri net theory, in 1962, with the publication of his doctoral thesis, “Kommunikation mit Automaten.” In the following 54 years, a rich and extensive body of...
Verification (D.4.6...) | Mar 10 17

Toward engineering a secure Android ecosystem: a survey of existing techniques : ACM Computing Surveys

Android has clearly surpassed every other mobile operating system in terms of popularity, adoption rates, and alternative uses (Internet of Things, IoT)...
Security & Protection (D.4.6) | Mar 9 17


Data (E)
Modelling timed reactive systems from natural-language requirements : Formal Aspects of Computing

Automated verification of software systems is an important area of current research in both academia and industry. Such methods have the potential to considerably reduce the cost of verification...
Formal Models of Communication (E.4...) | Mar 7 17


Theory Of Computation (F)
Space-efficient path-reporting approximate distance oracles : Theoretical Computer Science

Graph spanners are sparse subgraphs that preserve distances between nodes of the original graph to an approximation that is bounded, usually given...
Routing & Layout (F.2.2...) | Feb 10 17


Computer Systems Organization (C)

Cloud computing

Cloud computing is no longer cutting edge, but has moved into the mainstream and become just one more option available for the delivery of information technology (IT) services. Once service providers...
Cloud Computing (C.2.4...) | Mar 1 17


Software (D)

Android Studio game development: concepts and design

Total application revenue from the Google Play Store was $3.3B in Q4 2016, an 82 percent increase with respect to 2015 [1]. Moreover, 90 percent of that revenue is from game applications [2]. Thus...
General (D.1.0) | Mar 1 17

How to use objects: code and concepts

Object orientation was developed and has evolved as an effective software development methodology to model the complexities of real-life phenomena and outperform other legacy methods, which were lagging...
Object-Oriented Programming (D.1.5) | Feb 21 17

Murach’s Android programming (2nd ed.)

Murach Books has become a reliable resource for high-level computer programing languages, software for client/server procedures, and database applications. This book is the natural progression of these...
Object-Oriented Programming (D.1.5) | Feb 8 17

Designing software architectures: a practical approach

It is often forgotten that common sense is the least common of the senses. Sensible design advice, guidelines, and heuristics are often no more than just that: plain old common sense. However, rational...
Software Architectures (D.2.11) | Mar 15 17

Emerging trends in the evolution of service-oriented and enterprise architectures

Projects to modernize mission-critical IT services in established businesses suffer technical and nontechnical change management challenges. This collection of chapters presents an in-depth analysis...
Software Architectures (D.2.11) | Mar 10 17

Evidence-based software engineering and systematic reviews

I reviewed a hard cover 399-page book composed of three parts and an appendix. The first part is titled “Evidence-Based Practices in Software Engineering,” which constitutes almost half of the book. The...
Design Tools & Techniques (D.2.2) | Mar 17 17

System verification: proving the design solution satisfies the requirements (2nd ed.)

Do you work on the development of a complex system either as a procurer/sponsor or as a contractor/implementer, or do you intend to become a member of such a team? You will be much more successful if you are familiar with the general...
Software/Program Verification (D.2.4) | Mar 2 17

Programming for computations - Python: a gentle introduction to numerical simulations with Python

Python is widely used in computational science, numerical methods, and scientific programming courses and in computer science. There are many good textbooks available for such courses, but...
Python (D.3.2...) | Feb 9 17

Learn to program with Python

Since I have already learned how to program (almost 60 years ago), I thought that reading this book would be a good way to learn Python. I’m rather disappointed. The author is trying to teach: the elements of programming...
Python (D.3.2...) | Feb 8 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