20 products were found matching your search for Executable in 1 shops:

Book 6 of the Demon Accords. For seventeen years Declan O'Carroll has lived quietly in the upstate Vermont town of Castlebury, waiting impatiently for a chance to get out and meet the great wide world. When an odd new girl appears in town, Declan finds out that the world might be coming to meet him. But the big question remains. . . who is in more danger? Declan or the world?

This classroom-tested textbook provides an accessible introduction to the design, formal modeling, and analysis of distributed computer systems. The book uses Maude, a rewriting logic-based language and simulation and model checking tool, which offers a simple and intuitive modeling formalism that is suitable for modeling distributed systems in an attractive object-oriented and functional programming style.Topics and features: introduces classical algebraic specification and term rewriting theory, including reasoning about termination, confluence, and equational properties; covers object-oriented modeling of distributed systems using rewriting logic, as well as temporal logic to specify requirements that a system should satisfy; provides a range of examples and case studies from different domains, to help the reader to develop an intuitive understanding of distributed systems and their design challenges; examples include classic distributed systems such as transport protocols, cryptographic protocols, and distributed transactions, leader election, and mutual execution algorithms; contains a wealth of exercises, including larger exercises suitable for course projects, and supplies executable code and supplementary material at an associated website.This self-contained textbook is designed to support undergraduate courses on formal methods and distributed systems, and will prove invaluable to any student seeking a reader-friendly introduction to formal specification, logics and inference systems, and automated model checking techniques.

DoD Architecture Framework 2.0: A Guide to Applying System Engineering to Develop Integrated, Executable Architectures is designed to establish a clear understanding of the DoDAF and its purpose, and advance the readers’ skills in applying systems engineering to the DoDAF. Readers will understand what tools, processes, and techniques make a good methodology. The author divided the book into two section to give particular attention to both Theory and Practical Application. The Practical Application section of the book will allow readers to take their knowledge of the DoDAF and develop their ability to execute architectures.

No source code? No problem. With IDA Pro, the interactive disassembler, you live in a source code-optional world. IDA can automatically analyze the millions of opcodes that make up an executable and present you with a disassembly. But at that point, your work is just beginning. With The IDA Pro Book, you'll learn how to turn that mountain of mnemonics into something you can actually use.Hailed by the creator of IDA Pro as "profound, comprehensive, and accurate," the second edition of The IDA Pro Book covers everything from the very first steps to advanced automation techniques. You'll find complete coverage of IDA's new Qt-based user interface, as well as increased coverage of the IDA debugger, the Bochs debugger, and IDA scripting (especially using IDAPython). But because humans are still smarter than computers, you'll even learn how to use IDA's latest interactive and scriptable interfaces to your advantage.Save time and effort as you learn to:–Navigate, comment, and modify disassembly–Identify known library routines, so you can focus your analysis on other areas of the code–Use code graphing to quickly make sense of cross references and function calls–Extend IDA to support new processors and filetypes using the SDK–Explore popular plug-ins that make writing IDA scripts easier, allow collaborative reverse engineering, and much more–Use IDA's built-in debugger to tackle hostile and obfuscated codeWhether you're analyzing malware, conducting vulnerability research, or reverse engineering software, a mastery of IDA is crucial to your success. Take your skills to the next level with this 2nd edition of The IDA Pro Book.

This textbook offers a deep understanding of the essential concepts of programming languages. The approach is analytic and hands-on. The text uses interpreters, written in Scheme, to express the semantics of many essential language elements in a way that is both clear and directly executable. It also examines some important program analyses. Extensive exercises explore many design and implementation alternatives.

In test driven development, you first write an executable test ofwhat your application code must do. Only then do you write thecode itself and, with the test spurring you on, you improve yourdesign. In acceptance test driven development (ATDD), you usethe same technique to implement product features, benefiting fromiterative development, rapid feedback cycles, and better-definedrequirements. TDD and its supporting tools and techniques leadto better software faster.Test Driven brings under one cover practical TDD techniquesdistilled from several years of community experience. With examplesin Java and the Java EE environment, it explores both the techniquesand the mindset of TDD and ATDD. It uses carefully chosen examplesto illustrate TDD tools and design patterns, not in the abstractbut concretely in the context of the technologies you face at work.It is accessible to TDD beginners, and it offers effective and less wellknown techniques to older TDD hands. Purchase of the print book comes with an offer of a free PDF, ePub, and Kindle eBook from Manning. Also available is all code from the book. What's InsideLearn hands-on to test drive Java codeHow to avoid common TDD adoption pitfallsAcceptance test driven development and the Fit frameworkHow to test Java EE components-Servlets, JSPs, and SpringControllersTough issues like multithreaded programs and data access code

A crash course into 8086/8088 assembler programming, in an easy way with practice at each step. You will learn how to use the registers, move data, do arithmetic, and handle text and graphics. You can run these programs on any PC machine and no program exceeds 512 bytes of executable code! The example programs include: · Guess the number. · Tic-Tac-Toe game. · Text graphics. · Mandelbrot set. · F-Bird game. · Invaders game. · Pillman game. · Toledo Atomchess. · bootBASIC language.

COFF, Common Object File Format, is the formal definition for the structure of machine code files in the UNIX System V.3 environment. All machine-code files--fully linked executables, compiled applications, or system libraries--are COFF files. There is hardly a system-related task that does not require some knowledge of COFF, from understanding assembly source to implementing a proprietary system enhancement. This handbook explains the COFF data structure and its manipulation.Contents include:Basics of COFF.Assembly code relocation process.COFF file headers.Relocation structures.Linking.The COFF system in UNIX.Magic numbers.The COFF symbolic debug system.

Business owners possess an undeniable expertise about their business and the industry within which they operate, yet this knowledge seldom translates into a clear, executable strategy for selling that business. For most, the task of selling a business is an issue they have little experience with, often culminating in an ineffective selling strategy. In The Intelligent Exit, Mark Carmichael distills and shares the wisdom and experience gained during a 20+ year career as a serial entrepreneur turned M&A deal maker. From his top tips on developing, implementing and executing a winning sell-side strategy to some candid insights on what to look for when choosing an M&A advisor, this book brings together powerful advice on what is for many, the most important financial transaction of their lifetime. Written in a conversational tone, The Intelligent Exit addresses the fundamentals and proven strategies that will significantly improve the probability of success when selling a business. Learn the rules, strategies and tactics before you get in the game, and discover how to effectively position your company to achieve your best possible exit.

RAPTOR is a visual programming language based upon executable flowcharts. A fully functional programming language, RAPTOR simplifies the syntax of programming by using six simple graphical symbols and a simple to use development environment. These features allow the programmer to focus on the algorithmic reasoning and problem solving common to all programming. This text guides the reader through an incremental development of fundamental programming skills and understanding of algorithmic reasoning.

A crash course into 8086/8088 assembler programming, in an easy way with practice at each step. You will learn how to use the registers, move data, do arithmetic, and handle text and graphics. You can run these programs on any PC machine and no program exceeds 512 bytes of executable code! The example programs include: · Guess the number. · Tic-Tac-Toe game. · Text graphics. · Mandelbrot set. · F-Bird game. · Invaders game. · Pillman game. · Toledo Atomchess. · bootBASIC language.

Learning how to write C/C++ code is only the first step. To be a serious programmer, you need to understand the structure and purpose of the binary files produced by the compiler: object files, static libraries, shared libraries, and, of course, executables. Advanced C and C++ Compiling explains the build process in detail and shows how to integrate code from other developers in the form of deployed libraries as well as how to resolve issues and potential mismatches between your own and external code trees. With the proliferation of open source, understanding these issues is increasingly the responsibility of the individual programmer. Advanced C and C++ Compiling brings all of the information needed to move from intermediate to expert programmer together in one place -- an engineering guide on the topic of C/C++ binaries to help you get the most accurate and pertinent information in the quickest possible time. What you'll learn The details of the build process, including compiling and linking The inner workings of static libraries, shared libraries, and executables Ways to properly architect code for smooth integration of future changes Tips for troubleshooting problems with compiling and linking as well as run-time problems How to use operating system-specific (Linux and Windows) tools for analysis of binary files Who this book is for C/C++ software designers aspiring to senior levels, software architects, build engineers, and Linux system administrators. Table of ContentsMultitasking OS Basics  Simple Program Lifetime StagesProgram Execution StagesThe Impact of Reusing ConceptWorking with Static Libraries Designing Dynamic Libraries: BasicsLocating the LibrariesDesigning Dynamic Libraries: Advanced TopicsHandling Duplicate Symbols When Linking In Dynamic LibrariesDynamic Libraries Versioning Dynamic Libraries Miscellaneous TopicsThe Linux ToolboxLinux HowTo'sWindows Toolbox

DoD Architecture Framework 2.0: A Guide to Applying System Engineering to Develop Integrated, Executable Architectures is designed to establish a clear understanding of the DoDAF and its purpose, and advance the readers’ skills in applying systems engineering to the DoDAF. Readers will understand what tools, processes, and techniques make a good methodology. The author divided the book into two section to give particular attention to both Theory and Practical Application. The Practical Application section of the book will allow readers to take their knowledge of the DoDAF and develop their ability to execute architectures.

Harness the power of MATLAB to resolve a wide range of machine learning challenges. This book provides a series of examples of technologies critical to machine learning. Each example solves a real-world problem. All code in MATLAB Machine Learning Recipes:  A Problem-Solution Approach is executable. The toolbox that the code uses provides a complete set of functions needed to implement all aspects of machine learning. Authors Michael Paluszek and Stephanie Thomas show how all of these technologies allow the reader to build sophisticated applications to solve problems with pattern recognition, autonomous driving, expert systems, and much more.What you'll learn:How to write code for machine learning, adaptive control and estimation using MATLABHow these three areas complement each otherHow these three areas are needed for robust machine learning applicationsHow to use MATLAB graphics and visualization tools for machine learningHow to code real world examples in MATLAB for major applications of machine learning in big data Who is this book for: The primary audiences are engineers, data scientists and students wanting a comprehensive and code cookbook rich in examples on machine learning using MATLAB.

Cooking with America's Team celebrates the gold medal winning team of American chefs at the 2004 Culinary Olympics. Featuring over 100 recipes complemented with full-color photography, Cooking with America's Team is the first cookbook of its kind to offer fool-proof, executable recipes-created by successful working chefs, many of whom are U.S.-certified master chefs-that appeal equally to professionals and cooking enthusiasts.

Maude is a language and system based on rewriting logic. In this comprehensive account, you’ll discover how Maude and its formal tool environment can be used in three mutually reinforcing ways: as a declarative programming language, as an executable formal specification language, and as a formal verification system. Examples used throughout the book illustrate key concepts, features, and the many practical uses of Maude.

No source code? No problem. With IDA Pro, you live in a source code-optional world. IDA can automatically analyze the millions of opcodes that make up an executable and present you with a disassembly. But at that point, your work is just beginning. With The IDA Pro Book, you'll learn how to turn that mountain of mnemonics into something you can actually use. Hailed by the creator of IDA Pro as the "long-awaited" and "information-packed" guide to IDA, The IDA Pro Book covers everything from the very first steps to advanced automation techniques. While other disassemblers slow your analysis with inflexibility, IDA invites you to customize its output for improved readability and usefulness. You'll save time and effort as you learn to: Identify known library routines, so you can focus your analysis on other areas of the code Extend IDA to support new processors and filetypes, making disassembly possible for new or obscure architectures Explore popular plug-ins that make writing IDA scripts easier, allow collaborative reverse engineering, and much more Utilize IDA's built-in debugger to tackle obfuscated code that would defeat a stand-alone disassembler You'll still need serious assembly skills to tackle the toughest executables, but IDA makes things a lot easier. Whether you're analyzing the software on a black box or conducting hard-core vulnerability research, a mastery of IDA Pro is crucial to your success. Take your skills to the next level with The IDA Pro Book.

Harness the power of MATLAB to resolve a wide range of machine learning challenges. This book provides a series of examples of technologies critical to machine learning. Each example solves a real-world problem. All code in MATLAB Machine Learning Recipes:  A Problem-Solution Approach is executable. The toolbox that the code uses provides a complete set of functions needed to implement all aspects of machine learning. Authors Michael Paluszek and Stephanie Thomas show how all of these technologies allow the reader to build sophisticated applications to solve problems with pattern recognition, autonomous driving, expert systems, and much more.What you'll learn:How to write code for machine learning, adaptive control and estimation using MATLABHow these three areas complement each otherHow these three areas are needed for robust machine learning applicationsHow to use MATLAB graphics and visualization tools for machine learningHow to code real world examples in MATLAB for major applications of machine learning in big data Who is this book for: The primary audiences are engineers, data scientists and students wanting a comprehensive and code cookbook rich in examples on machine learning using MATLAB.

Provides a step-by-step presentation of structured C for engineering technology with programming examples and problems from a variety of disciplines. The CD-ROM contains all of the source and executable files for each example in the text, plus a 32-bit C/C++ compiler. Previous edition: c1998. Softcover. DLC: C (Computer programming language).

Learning how to write C/C++ code is only the first step. To be a serious programmer, you need to understand the structure and purpose of the binary files produced by the compiler: object files, static libraries, shared libraries, and, of course, executables. Advanced C and C++ Compiling explains the build process in detail and shows how to integrate code from other developers in the form of deployed libraries as well as how to resolve issues and potential mismatches between your own and external code trees. With the proliferation of open source, understanding these issues is increasingly the responsibility of the individual programmer. Advanced C and C++ Compiling brings all of the information needed to move from intermediate to expert programmer together in one place -- an engineering guide on the topic of C/C++ binaries to help you get the most accurate and pertinent information in the quickest possible time. What you'll learn The details of the build process, including compiling and linking The inner workings of static libraries, shared libraries, and executables Ways to properly architect code for smooth integration of future changes Tips for troubleshooting problems with compiling and linking as well as run-time problems How to use operating system-specific (Linux and Windows) tools for analysis of binary files Who this book is for C/C++ software designers aspiring to senior levels, software architects, build engineers, and Linux system administrators. Table of ContentsMultitasking OS Basics  Simple Program Lifetime StagesProgram Execution StagesThe Impact of Reusing ConceptWorking with Static Libraries Designing Dynamic Libraries: BasicsLocating the LibrariesDesigning Dynamic Libraries: Advanced TopicsHandling Duplicate Symbols When Linking In Dynamic LibrariesDynamic Libraries Versioning Dynamic Libraries Miscellaneous TopicsThe Linux ToolboxLinux HowTo'sWindows Toolbox