Computer programming & software development books

The traveling salesman problem (TSP) is a combinatorial optimization problem that is mathematically modeled as a...  Read More >>

With the emergence of agent-oriented software engineering methodologies, software developers have a new set of tools...  Read More >>

This research effort develops a program using MATLAB to solve the equations of motion for the atmospheric reentry...  Read More >>

Currently, there are two distinct approaches to assist information technology managers in the successful implementation...  Read More >>

The software protection community is always seeking new methods for defending their products from unwanted reverse...  Read More >>

This technical report presents research on developing faster algorithms for solving parametric shortest path and...  Read More >>

""A Syntax-directed FORTRAN Statement Checker"" delves into the intricacies of creating a system for verifying FORTRAN...  Read More >>

""Compilation Techniques for VLIW Architectures"" explores the intricate methods of optimizing code for Very Long...  Read More >>

""Machine Code Optimization: Improving Executable Object Code"" delves into the intricate techniques for refining...  Read More >>

This book explores the expected parallel time and sequential space complexity of various graph and digraph problems....  Read More >>

Advances in technology have led to the use of simple to use automated debugging tools which can be extremely helpful...  Read More >>

Unauthorized reverse-engineering of programs and algorithms is a major problem for the software industry. Every...  Read More >>

Real-time malware analysis requires processing large amounts of data storage to look for suspicious files. This...  Read More >>

The intelligence community is faced with an extensive amount of data. Software programs are being developed to examine...  Read More >>

This thesis defines a methodology for the creation of multiagent systems, the Multiagent Systems Engineering (MaSE)...  Read More >>

Currently, no standard methodology exists that enables cockpit display engineers to evaluate software tools used...  Read More >>

Four nuclear fallout mapping tools are studied to determine which tool predicts the most accurate fallout dose-rate...  Read More >>

The Distributor's Pallet Packing Problem is to load a set of distinct boxes with given dimensions on pallets or...  Read More >>

Software protection is of great interest to commercial industry. Millions of dollars and years of research are invested...  Read More >>

This technical report examines the computational complexity of motion planning algorithms, specifically focusing...  Read More >>

The Schematic Protection Model is specified in SAL and theorems about Take-Grant and New Technology File System...  Read More >>

""The SETL Project Master Catalog"" is a comprehensive listing of reports, working papers, and computer-readable...  Read More >>

The Java SSL/TLS package distributed with the J2SE 1.4.2 runtime is a Java implementation of the SSLv3 and TLSv1...  Read More >>

Software capabilities have steadily increased over the last half century. The Department of Defense has seized this...  Read More >>

Using formal methods to create automatic code generation systems is one of the goals of Knowledge Based Software...  Read More >>