Learn IT - Books tags heuristics

Tools and Algorithms for the Construction and Analysis of Systems: 17th International Conference

Springer, 2011

This volume contains the proceedings of the 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2011). TACAS 2011 took place in Saarbr¨ucken, Germany, March 28–31, 2011, as part of the 14th European Joint Conferences on Theory and Practice of Software (ETAPS 2011), whose...

Verifying Concurrent Processes Using Temporal Logic (Lecture Notes in Computer Science) (v. 129)

Springer, 1982

Concurrent processes can exhibit extremely complicated behavior, and neither informal reasoning nor testing is reliable enough to establish their correctness. In this thesis, we develop a new technique for the verification of parallel programs. The technique is stated in terms of axioms and inference rules, and it is used to prove...

Advanced FPGA Design: Architecture, Implementation, and Optimization

John Wiley & Sons, 2007

In the design-consulting business, I have been exposed to countless FPGA (Field Programmable Gate Array) designs, methodologies, and design techniques. Whether my client is on the Fortune 100 list or is just a start-up company, they will inevitably do some things right and many things wrong. After having been exposed to a wide variety of...

Resource-Adaptive Cognitive Processes (Cognitive Technologies)

Springer, 2010

This book investigates the adaptation of cognitive processes to limited resources. The central topics of this book are heuristics considered as results of the adaptation to resource limitations, through natural evolution in the case of humans, or through artificial construction in the case of computational systems; the construction and...

Clean Code: A Handbook of Agile Software Craftsmanship (Robert C. Martin Series)

Prentice Hall, 2008

Even bad code can function. But if code isn’t clean, it can bring a development organization to its knees. Every year, countless hours and significant resources are lost because of poorly written code. But it doesn’t have to be that way.

Noted software expert Robert C. Martin presents a revolutionary paradigm with...

Adaptive and Multilevel Metaheuristics (Studies in Computational Intelligence)

Springer, 2008

One of the keystones in practical metaheuristic problem-solving is the fact that tuning the optimization technique to the problem under consideration is crucial for achieving top performance. This tuning/customization is usually in the hands of the algorithm designer, and despite some methodological attempts, it largely remains a scientific art....

The Art of Systems Architecting, Second Edition

CRC Press, 2000

The only way to develop this skill is to serve an apprenticeship with a proven practitioner. However, there are simply not enough gurus to go around, and I would recommend this book both for students of the discipline and as serious reading for experienced designers who wish to recognize and maintain their expertise.
-E. James in Computing...

Software Engineering Foundations: A Software Science Perspective

Auerbach Publications, 2007

A groundbreaking book in this field, Software Engineering Foundations: A Software Science Perspective integrates the latest research, methodologies, and their applications into a unified theoretical framework. Based on the author's 30 years of experience, it examines a wide range of underlying theories from philosophy, cognitive informatics,...

Artificial Intelligence for Advanced Problem Solving Techniques

Information Science Publishing, 2008

One of the most important functions of artificial intelligence, automated problem solving, consists mainly of the development of software systems designed to find solutions to problems. These systems utilize a search space and algorithms in order to reach a solution.

Artificial Intelligence for Advanced Problem Solving...

Tools and Algorithms for the Construction and Analysis of Systems: 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences

Springer, 2004

This volume contains the proceedings of the 10th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2004). TACAS 2004 took place in Barcelona, Spain, from March 29th to April 2nd, as part of the 7th European Joint Conferences on Theory and Practice of Software (ETAPS 2004), whose aims,...

Model Checking Software

Springer, 2004

This book constitutes the refereed proceedings of the 11th International SPIN workshop on Model Checking Software, SPIN 2004, held in Barcelona, Spain, in April 2004.

The 19 revised full papers presented together with the abstracts of an invited talk and 2 tutorials were carefully reviewed and selected from 48 submissions. The papers are...

Dissemination of Information in Optical Networks:: From Technology to Algorithms (Texts in Theoretical Computer Science. An EATCS Series)

Springer, 2007

Optical networks and the related technologies, network management software and services have undergone remarkable developments, and such networks are now the ultra-high-speed backbone networks for communication. Wavelength-Division Multiplexing (WDM), the ability to support multiple communication pathways over the same fiber, enables efficient use...

Result Page: 5 4 3 2 1