This book constitutes the refereed proceedings of the 4th International Conference on Tools and Methods for Program Analysis, TMPA 2017, Moscow, Russia, March 3-4, 2017. The 12 revised full papers and 5 revised short papers presented together with three abstracts of keynote talks were carefully reviewed and selected from 51 submissions. The papers deal with topics such as software test automation, static program analysis, verification, dynamic methods of program analysis, testing and analysis of parallel and distributed systems, testing and analysis of high-load and high-availability systems, analysis and verification of hardware and software systems, methods of building quality software, tools for software analysis, testing and verification.

Prepare for Microsoft Exam MD-100: Windows 10-and help demonstrate your real-world mastery of skills and knowledge required to deploy, configure, secure, manage, and monitor Windows devices and client applications. Designed for Windows administrators, Exam Ref MD-100: Windows 10 focuses on the critical thinking and decision-making acumen needed for success at the Microsoft Certified Associate level. Focus on the expertise measured by these objectives: Deploy Windows Manage devices and data Configure connectivity Maintain Windows This Microsoft Exam Ref MD-100: Windows 10: Organizes its coverage by exam objectives Features strategic, what-if scenarios to challenge you Assumes you have some experience administering Windows 10 and non-Windows devices and technologies About the Exam Exam MD-100: Windows 10 focuses on knowledge needed to deploy Windows; perform post-installation configuration; manage local users, local groups, and devices; configure data access and protection; configure devices with local policies; manage Windows security; configure networking; configure remote connectivity; configure system and data recovery; manage updates; and monitor and manage Windows. About Microsoft Certification Passing this exam and Exam MD-101: Managing Modern Desktops fulfills your requirements for the Microsoft 365 Certified: Modern Desktop Administrator Associate certification credential, demonstrating your ability to install Windows 10 operating systems and deploy and manage modern desktops and devices in an enterprise environment. See full details at: microsoft.com/learn

This book constitutes the refereed proceedings papers from the 8th International Workshop on Performance Modeling, Benchmarking and Simulation of High Performance Computing Systems, PMBS 2017, held in Denver, Colorado, USA, in November 2017. The 10 full papers and 3 short papers included in this volume were carefully reviewed and selected from 36 submissions. They were organized in topical sections named: performance evaluation and analysis; performance modeling and simulation; and short papers.

This course-tested textbook describes the design and implementation of operating systems, and applies it to the MTX operating system, a Unix-like system designed for Intel x86 based PCs. Written in an evolutional style, theoretical and practical aspects of operating systems are presented as the design and implementation of a complete operating system is demonstrated. Throughout the text, complete source code and working sample systems are used to exhibit the techniques discussed. The book contains many new materials on the design and use of parallel algorithms in SMP. Complete coverage on booting an operating system is included, as well as, extending the process model to implement threads support in the MTX kernel, an init program for system startup and a sh program for executing user commands. Intended for technically oriented operating systems courses that emphasize both theory and practice, the book is also suitable for self-study.

This book constitutes the proceedings of the Third International Conference on Technologies and Innovation, CITI 2017, held in Guayaquil, Ecuador, in October 2017. The 24 papers presented in this volume were carefully reviewed and selected from 68 submissions. They were organized in topical sections named: cloud and mobile computing; knowledge based and expert systems; applications in healthcare and wellness; e-learning; and ICT in agronomy.

Learn the pros and the cons of the most frequently used distros in order to find the one that is right for you. You will explore each distro step by step, so that you don't have to endure hours of web surfing, countless downloads, becoming confused by new concepts and, in the worst cases, reading complex and marathon installation guides. You will benefit from the author's long-term experience working with each distro hands on, enabling you to choose the best distro for your long-term needs. The first barrier that a new Linux user has to face is the overwhelming number of "flavors" that this operating system has. These "flavors" are commonly known as distros (from distribution), and to date there are more than three hundred active distros to choose from. So, how to choose one? You can choose the most popular at the moment, or take heed of what your friend says, but are you sure that this is the one that you need? Making the wrong decision on this matter is behind a good number of disappointments with this operating system. You need to choose the distro that is right for you and your needs. Linux offers us a wonderful open source alternative to proprietary software. With Introducing Linux Distros you can decide how to best make it work for you. Start exploring the open source world today. What You'll learn Review what a Linux distro is and which one to select Decide which criteria to follow to make a right decision Examine the most used Linux distros and their unique philosophies install and maintain different Linux distros Who This Book Is For Newcomers to the Linux world that have to deal with the myriad of distributions.

Want to perform programming tasks better, faster, simpler, and make them repeatable? Take a deep dive into Windows PowerShell and discover what this distributed automation platform can do. Whether you're a .NET developer or IT pro, this concise guide will show you how PowerShell's scripting language can help you be more productive on everyday tasks.

Quickly learn how to create PowerShell scripts and embed them into your existing applications, write "little languages" to solve specific problems, and take charge of your code. This book includes example scripts that you can easily pull apart, tweak, and then use in your own PowerShell and .NET solutions.Slice and dice text, XML, CSV, and JSON with easeEmbed PowerShell to provide scripting capabilities for your C# appsCreate GUI applications five to ten times faster with less codeLeverage PowerShell's capabilities to work with the InternetInteract with DLLs and create objects, automatically display properties, and call methods in live interactive sessionsBuild domain-specific languages (DSLs) and vocabularies to express solutions more clearlyWork with Microsoft Office via the Component Object Model (COM)Discover PowerShell v3 features included with Windows 8 and Windows Server 2012

Implement Industrial-Strength Security on Any Linux Server In an age of mass surveillance, when advanced cyberwarfare weapons rapidly migrate into every hacker's toolkit, you can't rely on outdated security methods-especially if you're responsible for Internet-facing services. In Linux (R) Hardening in Hostile Networks, Kyle Rankin helps you to implement modern safeguards that provide maximum impact with minimum effort and to strip away old techniques that are no longer worth your time. Rankin provides clear, concise guidance on modern workstation, server, and network hardening, and explains how to harden specific services, such as web servers, email, DNS, and databases. Along the way, he demystifies technologies once viewed as too complex or mysterious but now essential to mainstream Linux security. He also includes a full chapter on effective incident response that both DevOps and SecOps can use to write their own incident response plan. Each chapter begins with techniques any sysadmin can use quickly to protect against entry-level hackers and presents intermediate and advanced techniques to safeguard against sophisticated and knowledgeable attackers, perhaps even state actors. Throughout, you learn what each technique does, how it works, what it does and doesn't protect against, and whether it would be useful in your environment. Apply core security techniques including 2FA and strong passwords Protect admin workstations via lock screens, disk encryption, BIOS passwords, and other methods Use the security-focused Tails distribution as a quick path to a hardened workstation Compartmentalize workstation tasks into VMs with varying levels of trust Harden servers with SSH, use apparmor and sudo to limit the damage attackers can do, and set up remote syslog servers to track their actions Establish secure VPNs with OpenVPN, and leverage SSH to tunnel traffic when VPNs can't be used Configure a software load balancer to terminate SSL/TLS connections and initiate new ones downstream Set up standalone Tor services and hidden Tor services and relays Secure Apache and Nginx web servers, and take full advantage of HTTPS Perform advanced web server hardening with HTTPS forward secrecy and ModSecurity web application firewalls Strengthen email security with SMTP relay authentication, SMTPS, SPF records, DKIM, and DMARC Harden DNS servers, deter their use in DDoS attacks, and fully implement DNSSEC Systematically protect databases via network access control, TLS traffic encryption, and encrypted data storage Respond to a compromised server, collect evidence, and prevent future attacks Register your product at informit.com/register for convenient access to downloads, updates, and corrections as they become available.

Recently, the pressure for fast processing and efficient storage of large data with complex relations increased beyond the capability of traditional databases. Typical examples include iPhone applications, computer aided design - both electrical and mechanical, biochemistry applications, and incremental compilers. Serialization, which is sometimes used in such situations is notoriously tedious and error prone. In this book, Jiri Soukup and Petr Machacek show in detail how to write programs which store their internal data automatically and transparently to disk. Together with special data structure libraries which treat relations among objects as first-class entities, and with a UML class-diagram generator, the core application code is much simplified. The benchmark chapter shows a typical example where persistent data is faster by the order of magnitude than with a traditional database, in both traversing and accessing the data. The authors explore and exploit advanced features of object-oriented languages in a depth hardly seen in print before. Yet, you as a reader need only a basic knowledge of C++, Java, C#, or Objective C. These languages are quite similar with respect to persistency, and the authors explain their differences where necessary. The book targets professional programmers working on any industry applications, it teaches you how to design your own persistent data or how to use the existing packages efficiently. Researchers in areas like language design, compiler construction, performance evaluation, and no-SQL applications will find a wealth of novel ideas and valuable implementation tips. Under http://www.codefarms.com/book, you will find a blog and other information, including a downloadable zip file with the sources of all the listings that are longer than just a few lines - ready to compile and run.

Unearth some of the most significant attacks threatening iOS applications in recent times and learn methods of patching them to make payment transactions and personal data sharing more secure. When it comes to security, iOS has been in the spotlight for a variety of reasons. Although a tough system to manipulate, there are still critical security bugs that can be exploited. In response to this issue, author Kunal Relan offers a concise, deep dive into iOS security, including all the tools and methods to master reverse engineering of iOS apps and penetration testing.What you will learn: * Get a deeper understanding of iOS infrastructure and architecture* Obtain deep insights of iOS security and jailbreaking* Master reverse engineering techniques for securing your iOS Apps* Discover the basics of application development for iOS* Employ security best practices for iOS applications Who is this book for: Security professionals, Information Security analysts, iOS reverse engineers, iOS developers, and readers interested in secure application development in iOS.

Learn how computer vision works, how augmented reality renders digital graphics into the physical world via an iPhone's camera, and how to incorporate these technologies into your own apps. This book shows you how to take full advantage of computer vision technologies. Interacting with other people online usually involves user-generated images and videos; whether it be "memes", short videos, or heavily-modified images. Before smart phones, generating this content required a professional using high-level image and video editing software. Not any more. This book will teach you to use computer vision in the most popular ways, such as for facial recognition, image to text analysis and, of course, recording a video of a dancing hot dog in your living room. Starting with the history of computer vision, image and video processing fundamentals, and an introduction to developing augmented reality applications, you'll learn to incorporate computer vision both in the content you create and the apps you develop for end users. Computer Vision and Augmented Reality in iOS reveals how every user with access to the Internet and a smart phone can easily generate heavily-modified images and videos. What You'll Learn Incorporate mathematics related to computer vision into your apps Host computer vision models remotely for mobile use Implement visual-inertial state estimation algorithms for mobile augmented reality Who This Book Is For Professionals or post graduate students in software development or engineering who have a basic understanding of how software development works and are interested in implementing computer vision into their development. It's recommended that readers already have a working knowledge of C++ and Swift.

This book enables you to unleash the entertainment potential of your Windows 10 PC, tablet, or phone-or any combination of the three! Learn how to stream movies and TV shows, manage your media collection, purchase new media, and upload your music collection to the cloud. Ian Dixon and Garry Whittaker take the hassle out of managing and enjoying music, TV, and movies from your own collection and beyond. Whether you already have an extensive music and video collection, or are just getting started, this book will help you get the best entertainment from Windows. In this book, you will learn how to: Get started building your personal media cloud so you can access your music and videos from anywhere in the world and on any device Stream from thousands of radio stations to your Windows 10 phone, tablet, or laptop Find out what type of media files work with Windows 10 Stream movies and TV shows from Netflix, and stream music to Windows, Android, and iOS devices Use Windows 10 to wirelessly access media stored on Windows 7, Windows 8.1 and Windows 10 PCs around the home ...and more! Who This Book Is For This book is for home users who are either new to Windows or upgrading from previous versions of the operating system and want to enjoy music, movies and TV shows on any Windows device.

This is Linux for those of us who don't mind typing. All Linux users and administrators tend to like the flexibility and speed of Linux administration from the command line in byte-sized chunks, instead of fairly standard graphical user interfaces. Beginning the Linux Command Line is verified against all of the most important Linux distributions, and follows a task-oriented approach which is distribution agnostic. Now this Second Edition of Beginning the Linux Command Line updates to the very latest versions of the Linux Operating System, including the new Btrfs file system and its management, and systemd boot procedure and firewall management with firewalld! Updated to the latest versions of Linux Work with files and directories, including Btrfs! Administer users and security, and deploy firewalld Understand how Linux is organized, to think Linux!

iOS eCommerce App Development with Parse uses a real-world app example to teach you how to build a complete eCommerce iPhone app powered by Parse - the most popular and powerful Platform As A Service (BaaS) provider. In this comprehensive guide you will learn every step: collecting requirements, architecting the app, designing the visual interface, creating the data model, managing products and the shopping cart, processing the payment, and fulfilling the order - always with secure best practice in mind. You will also learn how to manage user account creation, login with Facebook and Twitter, verify users via email, pay with Stripe and Apple Pay, send email with Mailgun, and manage customer payment methods and order history. Intermediate knowledge of iOS development and object-oriented programming is assumed, and basic knowledge of e-commerce principles will be of benefit too. The author is a successful iPhone app developer whose real-world experience is now brought to print. Master iOS eCommerce app development with Parse using this book today.

Artificial Intelligence is the most exciting technology of the century, and Deep Learning is, quite literally, the "brain" behind the world's smartest Artificial Intelligence systems out there. Grokking Deep Learning is the perfect place to begin the deep learning journey. Rather than just learning the "black box" API of some library or framework, readers will actually understand how to build these algorithms completely from scratch. Key Features: Build neural networks that can see and understand images Build an A.I. that will learn to defeat you in a classic Atari game Hands-on Learning Written for readers with high school-level math and intermediate programming skills. Experience with Calculus is helpful but not required. ABOUT THE TECHNOLOGY Deep Learning is a subset of Machine Learning, which is a field dedicated to the study and development of machines that can learn, often with the goal of eventually attaining general artificial intelligence.

Learn how to code for the iMac, Mac mini, Mac Pro, and MacBook using Swift, Apple's hottest programming language. Fully updated to cover the new MacBook Touch Bar, macOS Programming for Absolute Beginners will not only teach complete programming novices how to write macOS programs, but it can also help experienced programmers moving to the Mac for the first time. You will learn the principles of programming, how to use Swift and Xcode, and how to combine your knowledge into writing macOS programs. If you've always wanted to learn coding but felt stymied by the limitation of simplistic programming languages or intimidated by professional but complicated programming languages, then you'll want to learn Swift. Swift is your gateway to both Mac and iOS app development while being powerful and easy to learn at the same time, and macOS Programming for Absolute Beginners is the perfect place to start - add it to your library today.What You'll Learn Master the basic principles of object-oriented programming Use Xcode, the main programming tool used for both macOS and iOS development See what makes Swift unique and powerful as a programming language and why you should learn it Create macOS programs using Swift and Xcode Apply interface principles that follow Apple's Human Interface Guidelines Take advantage of the new Touch Bar Who This Book Is For People who want to learn programming for the first time and for experienced programmers wanting to learn Xcode and the Mac for the first time.

This concise step-by-step guide includes the best practices and patterns that help readers of all levels to unearth the potential of Materialize. A responsive framework based on Google's innovative Material Design language, Materialize provides CSS and JavaScript features similar to other popular frameworks such as Bootstrap and Foundation. With the advent of Material Design, developers can no longer overlook its importance and resourcefulness in web design and development. However, incorporating this toolkit in the web application can be quite a juggle. Compared to other design languages available in the market today, Materialize is the only one that adds depth and motion to its application elements. Ideal for web designers and developers, Introducing Materialize is your comprehensive training guide to the newest design language you need to learn. What You'll Learn Learn why Materialize is so popular and resourceful Get up and Running with this awesome toolkit Quick start with Materialize and creating unique designs Downloading and Installing the framework Get a grip on the fundamentals of Material Design Gather comprehensive knowledge about the framework Unearth the potential of this framework for real time implementation Who This Book Is For Ideal for web developers and designers with good experience of UI technologies such as HTML, CSS, JavaScript and jQuery. This book does not require prior experience of any responsive framework. It caters to readers on all levels ranging from beginners to experienced professionals.

Filled with over 150 essential, practical recipes that empower Unix users to regain lost timespent creating and testing shell scripts. The majority of scripts included are POSIX-compliantand supported by many of the major shell variants, including Bash, ksh, and sh.Each real-world example recipe follows the same problem-solution structure, meaningcross-referencing is easy and fast. Recipe topics include file conversion (DOS, UNIX, andMac), system administration, resource monitoring, filename management, complex datecalculations, screen control capabilities, and much more. Completely updated for this second edition and taking all the changes of the past tenyears into account, every recipe in this book is now relevant for a modern audience. AuthorsChris Johnson's and Jayant Varma's code is clear, direct, and applicable. Add this excellentreference to your library today.

Program audio and sound for Linux using this practical, how-to guide. You will learn how to use DSPs, sampled audio, MIDI, karaoke, streaming audio, and more. Linux Sound Programming takes you through the layers of complexity involved in programming the Linux sound system. You'll see the large variety of tools and approaches that apply to almost every aspect of sound. This ranges from audio codecs, to audio players, to audio support both within and outside of the Linux kernel. What You'll Learn Work with sampled audio Handle Digital Signal Processing (DSP) Gain knowledge of MIDI Build a Karaoke-like application Handle streaming audio Who This Book Is For Experienced Linux users and programmers interested in doing multimedia with Linux.

Similar to Microsoft's Visual Studio suite of tools, the Xcode integrated development environment (IDE) and tools platform contain everything you need to create Mac OS X and iOS apps. As powerful as the Xcode Tools are, they can be difficult to learn. Most Mac OS X and iOS development books focus on Cocoa and Cocoa Touch programming, as they should. They teach enough Xcode for you to create the projects in the book. But there's more to writing real apps than writing code. Real apps must be tested and debugged to make sure they run properly and must be profiled to make sure they run fast enough. Most iOS programming books aren't going to show you how to profile your program or find memory leaks in it.Pro Xcode picks up where other books leave off. It teaches the latest Xcode IDE and tools, not a particular language or programming framework. With this book, you can spend more time writing, debugging, and profiling your Mac OS X and/or iOS apps and less time searching and reading documentation. This book doesn't stop with Xcode and Interface Builder. It covers a dozen developer tools, both graphical and command-line tools. You will learn how to profile your code and check for memory leaks with Instruments. Write shaders with OpenGL Shader Builder, debug OpenGL ES apps with frame capture, and uncover performance problems with OpenGL ES Performance Detective. And, learn storyboarding for iOS apps and converting Objective-C projects to use automatic reference counting. If you want to spend more time creating, testing, and profiling your applications and less time wading through Apple's documentation, get a copy of this book.

Learning PowerShell is a custom-built, handcrafted, painstakingly curated book designed to get you from total PowerShell newbie to confident PowerShell user in as little as four weeks. This book assumes no prior knowledge, perfect for non-developers and GUI addicts who recognize that PowerShell is the future but need a good bit of handholding to achieve mastery. It is also a simple guide for the hundreds of thousands of PowerShell users who have not attained the level of PowerShell knowledge that they really need. With Learning PowerShell at your side, you will see that you don't have to be a developer to use PowerShell and you don't need to be a scripting wizard to derive value from integrating PowerShell into your daily administrative activities. The book is a learning resource that covers every topic worth discussing for a PowerShell beginner, with a depth of explanation unparalleled by any book currently on the market. With this book, you don't have to have a lot of time to learn the language and you can begin applying what you master almost immediately. Even skeptics of PowerShell, and command lines in general, will come away with a renewed sense of respect for the language and ideas on how to put it to use.

Designing for iOS with Sketch takes you through the process of designing your iOS app using Bohemian Code's Sketch. Sketch is a powerful new design program that is quickly replacing Adobe PhotoShop for many designers designing for mobile apps and the mobile web. This book will introduce you to the program and then take you through the steps of designing your very own app. It includes examples and shortcuts as well as a helpful list of plugins and 3rd party resources that will greatly improve your workflow.

Teaches you how to improve your hands -on knowledge of Linux using challenging, real-world scenarios. Each chapter explores a topic that has been chosen specifically to demonstrate how to enhance your base Linux system, and resolve important issues. This book enables sysadmins, DevOps engineers, developers, and other technical professionals to make full use of Linux's rocksteady foundation. Explore specific topics in networking, e mail, filesystems, encryption, system monitoring, security, servers, and more-- including systemd and GPG. Understand salient security concerns and how to mitigate them. Applicable to almost all Linux flavors--Debian, Red Hat, Ubuntu, Linux Mint, CentOS--Practical Linux Topics c an be used to reference other Unix- type systems with little modification. Improve your practical know -how and background knowledge on servers and workstations alike, increase your ability to troubleshoot and ultimately solve the daily challenges encountered by all professional Linux users. Empower your Linux skills by adding Power Linux Topics to your library today. What You'll Learn Solve a variety of challenges faced by sysadmins and DevOps engineers Understand the security implications of the actions you take Study the history behind some of the packages that you are using for a greater in- depth understanding Become a professional at troubleshooting Extend your knowledge by learning about multiple OSs and third-party packages Who This Book Is For Having mastered the basics of running Linux systems this book takes you one step further to help you master the elements of Linux which you may have struggled with in the past. You have progressed past the basic stages of using Linux and want to delve into the more complex aspects. Practical Linux instantly offers answers to problematic scenarios and provides invaluable information for future reference. It is an invaluable addition to any Linux library.

This book comprehensively illustrates quality-ware scheduling in key-value stores. In addition, it provides scheduling strategies and a prototype framework of quality-aware scheduler as well as a demonstration of online applications. The book offers a rich blend of theory and practice which is suitable for students, researchers and practitioners interested in distributed systems, NoSQL key-value stores and scheduling.

This book provides an overview of modern boot firmware, including the Unified Extensible Firmware Interface (UEFI) and its associated EFI Developer Kit II (EDKII) firmware. The authors have each made significant contributions to developments in these areas. The reader will learn to use the latest developments in UEFI on modern hardware, including open source firmware and open hardware designs. The book begins with an exploration of interfaces exposed to higher-level software and operating systems, and commences to the left of the boot timeline, describing the flow of typical systems, beginning with the machine restart event. Software engineers working with UEFI will benefit greatly from this book, while specific sections of the book address topics relevant for a general audience: system architects, pre-operating-system application developers, operating system vendors (loader, kernel), independent hardware vendors (such as for plug-in adapters), and developers of end-user applications. As a secondary audience, project technical leaders or managers may be interested in this book to get a feel for what their engineers are doing. The reader will find: An overview of UEFI and underlying Platform Initialization (PI) specifications How to create UEFI applications and drivers Workflow to design the firmware solution for a modern platform Advanced usages of UEFI firmware for security and manageability