- Table View
- List View
Running Mac OS X Panther
by James N. DavidsonApple® has shown no mercy to the Macintosh® power user---that dedicated individual who knows their Mac® inside and out: what makes it tick, and what makes it tick better. In the rapid evolution of Mac OS® X, there have been three major releases, and each new release challenges the power user to once more stay ahead of the learning curve. Mac OS X Panther is no exception to that rule. With more than 100 new features, including a new Finder, Expos , FileVault, and an improved BSD Unix core, there's plenty here to master. Fortunately, power users have a secret weapon in Running Mac OS X Panther . This book takes readers deep inside Mac OS X's core, revealing the inner workings of Panther for those who want to get the most out of their system. Running Mac OS X Panther is the ultimate Swiss Army Knife⠢ for power users who want to customize, tweak, and generally rev up their Mac. The easy-to-follow format is organized into three primary parts: Getting Started introduces you to Mac OS X--where it came from, how it's put together, and how it works Administration Essentials gives you the tools you need to examine how your system is running and adjust all the knobs behind its operation Networking and Network Services covers all the ways Mac OS X interfaces with the world around it, including wireless and spontaneous networking Developer Tools, including Xcode, for Mac OS X are discussed throughout the book where needed to accomplish the task at hand. The appendices that follow include handy quick reference materials for things such as Open Firmware. Written for readers who are inquisitive and confident enough to dig into their Macintosh system, Running Mac OS X Panther doesn't waste time talking about silly Finder tips or glossing over the messier details. This book dives right in and explains how your Mac works. You may not be a Mac guru when you start this book, but once you've read it, you'll be well on your way.
Running Mac OS X Tiger
by James N. Davidson Jason DeraleauRunning Mac OS X Tiger is the ideal resource for power users and system administrators like you who want to tweak Tiger, the new release of Mac OS X, to run faster, better, or just differently. If you areready to dig deep into your Mac, this book expertly guides you to the core of Mac OS X. It helps you understand the inner workings of the operating system so you can know how to get the most out of it. And it gives you countless ideas--and step-by-step instruction--for customizing and revving up Tiger to your specific needs and your liking. Completely revised and updated for Mac OS X Tiger, Running Mac OS X Tiger covers all the new features and functionality of Tiger. You can count on authors Jason Deraleau and James Duncan Davidson to give what you need--and not bother with what you don't. They don't spend time on Finder tips and keyboard shortcuts; they focus on showing you what makes a Mac tick and, more importantly, how you can make it tick just the way you want it to. Easy to follow and intuitively organized, Running Mac OS X Tiger is divided into three parts: "Getting Started" introduces Mac OS X and explains how it's put together and why it works; "Administration Essentials" gives you the tools you need to examine how your system is running and adjust all the knobs behind its operation; and "Networking and Network Services" covers the ways Mac OS X interfaces with the world around it, including wireless and spontaneous networking. Developer Tools for Mac OS X, including Xcode, are discussed throughout the book as appropriate. For the growing number of intermediate to advanced users who are ready and eager to customize Mac OS X, Running Mac OS X Tiger delivers everything you need to become master of your Mac.
Running Microsoft Workloads on AWS: Active Directory, Databases, Development, and More
by Ryan PothecaryDid you know that Amazon Web Services runs nearly double the amount of Microsoft Workloads in the cloud than any other provider?Running Microsoft Workloads in AWS is your single-source solution for learning the best practice skills and guidance that AWS consultants offer their customers in the field. Over 70% of enterprise workloads are based on Microsoft technologies and AWS has been running these technologies in the AWS Cloud for more than 12 years—far longer than Microsoft’s own Azure cloud platform. This book introduces AWS foundations and compares them to traditional Microsoft architectures, showing you how to design your AWS Cloud platform to run your current Microsoft solutions. It covers the crucial area of identity and access control, showing how to implement Active Directory inside the AWS platform and the most secure ways of enabling Single Sign On from your own data centers and from Microsoft AzureAD. The book goes in-depth and shows how developers across the globe are using their existing .NET skills to develop directly on top of AWS, using current AWS development services such as AWS Code Pipeline, AWS Code Build, and AWS Code Deploy to create the next generation of cloud-native applications using the most popular cloud serverless service—AWS Lambda. What You Will LearnBe familiar with the basic building blocks of AWS and how the terminology differs from your own data center and Microsoft AzureUnderstand Amazon Machine Images (AMI) strategies and solutions to best manage the trade-off between speed and manageabilityRun one of the most popular Microsoft products: SQL Server on AWSBe aware of the different database architecture designs for using Amazon RDS and Amazon EC2Read an overview of Serverless Development in the AWS cloud from a Microsoft .NET perspectiveKnow migration strategies for moving your Microsoft Workloads to the AWS Cloud Who This Book Is For Covers high-level concepts and solutions for CTOs and CCTOs; provides a solution for architects; and dives deep into the topic for administrators and DevOps engineers
Running Weblogs with Slash
by Brian Aker David KriegerSlash is the open-source software system that drives the hugely popular Slashdot web site and many others. Slash implements the kind of web site that has come to be called a "weblog": a moderated list, in reverse-chronological order, of timely items, with links to further discussion on-site, or to further information off-site. Anyone who wants to get a weblog site up and running will want to read Running Weblogs with Slash.
Running Windows Containers on AWS: A complete guide to successfully running Windows containers on Amazon ECS, EKS, and AWS Fargate
by Marcio MoralesScale up your Windows containers seamlessly on AWS powered by field-proven expertise and best practices on Amazon ECS, EKS, and FargatePurchase of the print or Kindle book includes a free PDF eBookKey FeaturesLeverage the most recent best practices to run and manage Windows containers on AWSLearn about AWS tools to containerize and run Windows containers on AWSDeeper understanding on how Amazon ECS, EKS, and Fargate supports Windows containersBook DescriptionWindows applications are everywhere, from basic intranet applications to high-traffic public APIs. Their prevalence underscores the importance of combining the same tools and experience for managing a modern containerized application with existing critical Windows applications to reduce costs, achieve outstanding operational excellence, and modernize quickly. This comprehensive guide to running and managing Windows containers on AWS looks at the best practices from years of customer interactions to help you stay ahead of the curve.Starting with Windows containers basics, you'll learn about the architecture design that powers Amazon ECS, EKS, and AWS Fargate for Windows containers. With the help of examples and best practices, you'll explore in depth how to successfully run and manage Amazon ECS, EKS, and AWS Fargate clusters with Windows containers support. Next, the book covers day 2 operations in detail, from logging and monitoring to using ancillary AWS tools that fully containerize existing legacy .NET Framework applications into containers without any code changes. The book also covers the most common Windows container operations, such as image lifecycle and working with ephemeral hosts.By the end of this book, you'll have mastered how to run Windows containers on AWS and be ready to start your modernization journey confidently.What you will learnGet acquainted with Windows container basicsRun and manage Windows containers on Amazon ECS, EKS, and AWS FargateEffectively monitor and centralize logs from Windows containersProperly maintain Windows hosts and keep container images up to dateManage ephemeral Windows hosts to reduce operational overheadWork with the container image cache to speed up the container's boot timeWho this book is forThis book is targeted towards DevOps engineer, SREs, solution architects, or a Windows sysadmin who wants to learn more about running Windows containers on AWS. In order to learn from this book, you should have a basic understanding of containers, Docker, and Kubernetes. The book is also beneficial for Windows application developers who want to explore how to achieve better application scalability using containers as a compute layer.
Running a Successful Live Service Game: Live Outside of Game Updates
by Sergei VasiukThis book unveils the secrets of extraordinarily successful games and hands you a smarter way to create exceptional engagement and convert it into revenue. It teaches you detailed LiveOps techniques that show you how to keep your game appealing through engaging events, personalized experiences, and smart monetization.You’ll discover the "3 LAPs of Operations" framework—a dynamic, question-driven process that you can implement to systematically boost retention and achieve your game's financial goals. The book delves into the intricate business of live service games, explaining how to enhance your operational efficiency with precise toolset implementations and analytics.While some studio leaders merely talk about "riding the trend", this approach is far too passive. Embrace the shift towards people-driven game development, where your players evolve from mere consumers into active co-creators. This transformation allows you to construct your own trend, known as People's LiveOps, where you engage your most devoted fans and offer them opportunities to earn a living through their creations.Essential for professionals in live service games, this book is also invaluable for aspiring talents and seasoned experts aiming to enter or excel in the gaming industry.
Running with Robots: The American High School's Third Century
by Greg Toppo Jim TracyHow the technological changes that are reshaping the future of work will transform the American high school as well.What will high school education look like in twenty years? High school students are educated today to take their places in a knowledge economy. But the knowledge economy, based on the assumption that information is a scarce and precious commodity, is giving way to an economy in which information is ubiquitous, digital, and machine-generated. In Running with Robots, Greg Toppo and Jim Tracy show how the technological advances that are already changing the world of work will transform the American high school as well.Toppo and Tracy--a journalist and an education leader, respectively--look at developments in artificial intelligence and other fields that promise to bring us not only driverless cars but doctorless patients, lawyerless clients, and possibly even teacherless students. They visit schools from New York City to Iowa that have begun preparing for this new world. Toppo and Tracy intersperse these reports from the present with bulletins from the future, telling the story of a high school principal who, Rip Van Winkle-style, sleeps for twenty years and, upon awakening in 2040, can hardly believe his eyes: the principal's amazingly efficient assistant is a robot, calculation is outsourced to computers, and students, grouped by competence and not grade level, focus on the conceptual. The lesson to be learned from both the present and the book's thought-experiment future: human and robotic skillsets are complementary, not in competition. We can run with robots, not against them.
Runtime Reconfiguration in Networked Embedded Systems
by Zoltan Papp George ExarchakosThisbook focuses on the design and testing of large-scale, distributed signalprocessing systems, with a special emphasis on systems architecture, toolingand best practices. Architecture modeling, model checking, model-basedevaluation and model-based design optimization occupy central roles. Targetsystems with resource constraints on processing, communication or energy supplyrequire non-trivial methodologies to model their non-functional requirements,such as timeliness, robustness, lifetime and "evolution" capacity. Besides thetheoretical foundations of the methodology, an engineering process andtoolchain are described. Real-world cases illustrate the theory and practicetested by the authors in the course of the Europeanproject ARTEMIS DEMANES. The book can be used as a "cookbook" for designers andpractitioners working with complex embedded systems like sensor networks for thestructural integrity monitoring of steel bridges, and distributed micro-climatecontrol systems for greenhouses and smart homes.
Runtime Verification
by Yliès Falcone César SánchezThis book constitutes the refereed proceedings of the 16th International Conference on Runtime Verification, RV 2016, held in Madrid, Spain, in September 2016. The 18 revised full papers presented together with 4 short papers, 3 tool papers, 2 tool demonstration papers, and 5 tutorials, were carefully reviewed and selected from 72 submissions. The RV conference is concerned with all aspects of monitoring and analysis of hardware, software and more general system executions. Runtime verification techniques are lightweight techniques to assess correctness, reliability, and robustness; these techniques are significantly more powerful and versatile than conventional testing, and more practical than exhaustive formal verification.
Runtime Verification
by Ezio Bartocci Rupak MajumdarThis book constitutes the refereed proceedings of the 6th International Conference on Runtime Verification, RV 2015, held in Vienna, Austria, in September 2015. The 15 revised full papers presented together with 4 short papers, 2 tool papers, 4 tutorials, 3 invited talks, and 2 software competition papers were carefully reviewed and selected from 45 submissions. The discussion of the conference centers around two main aspects. The first is to understand wether the runtime verification techniques can practically complement the traditional methods proving programs correct before their execution, such as model checking and theorem proving. The second concerns with formal methods and how their application can improve traditional ad-hoc monitoring techniques used in performance monitoring, hardware design emulation and simulation, etc.
Runtime Verification: 18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings (Lecture Notes in Computer Science #11237)
by Martin Leucker Christian ColomboThis book constitutes the refereed proceedings of the 18th International Conference on Runtime Verification, RV 2018, held in Limassol, Cyprus, in November 2018. The 21 full papers presented together with 3 short papers and 3 tool papers were carefully reviewed and selected from 49 submissions. The RV conference is concerned with all aspects of monitoring and analysis of hardware, software and more general system executions. Runtime verification techniques are lightweight techniques to assess correctness, reliability, and robustness; these techniques are significantly more powerful and versatile than conventional testing, and more practical than exhaustive formal verification.Chapter “Hardware-based Runtime Verification with Embedded Tracing Units and Stream Processing” is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
Runtime Verification: 19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings (Lecture Notes in Computer Science #11757)
by Leonardo Mariani Bernd FinkbeinerThis book constitutes the refereed proceedings of the 19th International Conference on Runtime Verification, RV 2019, held in Porto, Portugal, in October 2019.The 25 regular papers presented in this book were carefully reviewed and selected from 38 submissions.The RV conference is concerned with all aspects of monitoring and analysis of hardware, software and more general system executions. Runtime verification techniques are lightweight techniques to assess system correctness, reliability, and robustness; these techniques are significantly more powerful and versatile than conventional testing, and more practical than exhaustive formal verification.Chapter “Assumption-Based Runtime Verification with Partial Observability and Resets” and chapter “NuRV: a nuXmv Extension for Runtime Verification“ are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
Runtime Verification: 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6–9, 2020, Proceedings (Lecture Notes in Computer Science #12399)
by Dejan Ničković Jyotirmoy DeshmukhThis book constitutes the refereed proceedings of the 20th International Conference on Runtime Verification, RV 2020, held in Los Angeles, CA, USA, in October 2020. The conference was held virtually due to the COVID-19 pandemic. The 14 regular papers and 2 short papers presented in this book were carefully reviewed and selected from 43 submissions. Also included are an invited paper, 5 tutorial papers, 6 tool papers, and a benchmark paper. The RV conference is concerned with all aspects of monitoring and analysis of hardware, software and more general system executions. The papers are organized in the following topical sections: runtime verification for autonomy; runtime verification for software; runtime verification with temporal logic specifications; stream-based monitoring; and runtime verification for cyber-physical systems.
Runtime Verification: 21st International Conference, RV 2021, Virtual Event, October 11–14, 2021, Proceedings (Lecture Notes in Computer Science #12974)
by Dana Fisman Lu FengThis book constitutes the refereed proceedings of the 21st International Conference on Runtime Verification, RV 2021, held virtually during October 11-14, 2021.The 11 regular papers and 7 short/tool/benchmark papers presented in this book were carefully reviewed and selected from 40 submissions. Also included is one tutorial paper. The RV conference is concerned with all aspects of monitoring and analysis of hardware, software and more general system executions.
Runtime Verification: 22nd International Conference, RV 2022, Tbilisi, Georgia, September 28–30, 2022, Proceedings (Lecture Notes in Computer Science #13498)
by Thao Dang Volker StolzThis book constitutes the refereed proceedings of the 22nd International Conference on Runtime Verification, RV 2022, held in Tbilisi, Georgia, during September 28-30, 2022. The 12 regular papers and 10 short papers presented in this book were carefully reviewed and selected from 40 submissions. The RV conference is concerned with all aspects of monitoring and analysis of hardware, software and more general system executions. Runtime verification techniques are crucial for system correctness, reliability, and robustness; they provide an additional level of rigor and effectiveness compared to conventional testing, and are generally more practical than exhaustive formal verification.
Runtime Verification: 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3–6, 2023, Proceedings (Lecture Notes in Computer Science #14245)
by Panagiotis Katsaros Laura NenziThis book constitutes the refereed proceedings of the 23rd International Conference on Runtime Verification, RV 2023, held in Thessaloniki, Greece, during October 3–6, 2023. The 13 full papers and 7 short papers presented in this book together with 4 tutorial papers and 2 invited papers were carefully reviewed and selected from 39 submissions. The RV conference is concerned with all aspects of novel lightweight formal methods to monitor, analyze, and guide the runtime behavior of software and hardware systems. Runtime verification techniques are crucial for system correctness, reliability, and robustness; they provide an additional level of rigor and effectiveness compared to conventional testing and are generally more practical than exhaustive formal verification.
Runtime Verification: 24th International Conference, RV 2024, Istanbul, Turkey, October 15–17, 2024, Proceedings (Lecture Notes in Computer Science #15191)
by Erika Ábrahám Houssam AbbasThis book constitutes the refereed proceedings of the 24th International Conference on Runtime Verification, RV 2024, held in Istanbul, Turkey, during October 15-17, 2024. The 11 full papers, 5 short papers and 2 tool papers included in this book were carefully reviewed and selected from 31 submissions. They were organized in topical sections as follows: Invited Paper; Cyber-physical Systems; Temporal Logics; Speci cation and Visualization; Deep Neural Networks; and Distributed Systems.
Rural Marketing: Growing the Non-urban Consumer
by Sanal Kumar VelayudhanRural markets offer a sizable and resilient pool of consumers to organizations and marketers. This book offers a comprehensive understanding of the fundamentals of rural marketing that influence consumer behaviour within the framework of a rapidly changing economy. The book: - includes in-depth discussions on critical issues in rural markets as well as case-studies that examine their socio-cultural nuances, peculiarities, and their economic and technological environments; - looks at concepts that are unique to rural markets from the perspective of the buyer and the marketer and analyses buying behaviour and its influences as well as the pricing, value, and positioning of products by brands; - analyses emerging trends and the future of these markets and the introduction of digitization and ecommerce in rural areas; - offers marketing tools and a detailed understanding of rural markets for professionals working in small or low-income markets. The cutting-edge learning tools presented in this book will make it of interest to professionals, students, and researchers working in rural marketing and management, business and economics, management studies, business planning, and marketing.
Russell Simmons: From the Streets to the Music Business (Extraordinary Success with a High School)
by Shaina C. IndovinoIn the last few decades, more and more people are going to college to further their education. It's hard to become a scientist, a professor, or a businessperson without getting some sort of college degree--but college isn't always necessary to achieve success. Some people are ready to enter the workforce right after high school. Russell Simmons was one of those people. The music mogul began his career promoting parties and concerts for rappers and DJs few people outside of New York City had ever heard of. Today, he's helped to spread hip-hop music and culture around the globe. Few people have changed music and business as much as Russell Simmons. And what's most amazing about his story is that the music business mogul has done it all without a college degree!
Russian Social Media Influence: Understanding Russian Propaganda in Eastern Europe
by Todd C. Helmus Andrew Radin Zev Winkelman William Marcellino Andriy Bega Elizabeth Bodine-Baron Madeline Magnuson Joshua MendelsohnRussia employs a sophisticated social media campaign against former Soviet states that includes news tweets, nonattributed comments on web pages, troll and bot social media accounts, and fake hashtag and Twitter campaigns. Nowhere is this threat more tangible than in Ukraine. Researchers analyzed social media data and conducted interviews with regional and security experts to understand the critical ingredients to countering this campaign.
Rust Atomics and Locks: Low-Level Concurrency in Practice
by Mara BosThe Rust programming language is extremely well suited for concurrency, and its ecosystem has many libraries that include lots of concurrent data structures, locks, and more. But implementing those structures correctly can be very difficult. Even in the most well-used libraries, memory ordering bugs are not uncommon.In this practical book, Mara Bos, leader of the Rust library team, helps Rust programmers of all levels gain a clear understanding of low-level concurrency. You'll learn everything about atomics and memory ordering and how they're combined with basic operating system APIs to build common primitives like mutexes and condition variables. Once you're done, you'll have a firm grasp of how Rust's memory model, the processor, and the role of the operating system all fit together.With this guide, you'll learn:How Rust's type system works exceptionally well for programming concurrency correctlyAll about mutexes, condition variables, atomics, and memory orderingWhat happens in practice with atomic operations on Intel and ARM processorsHow locks are implemented with support from the operating systemHow to write correct code that includes concurrency, atomics, and locksHow to build your own locking and synchronization primitives correctly
Rust Brain Teasers: Exercise Your Mind
by Herbert WolversonThe Rust programming language is consistent and does its best to avoid surprising the programmer. Like all languages, though, Rust still has its quirks. But these quirks present a teaching opportunity. In this book, you'll work through a series of brain teasers that will challenge your understanding of Rust. By understanding the gaps in your knowledge, you can become better at what you do and avoid mistakes. Many of the teasers in this book come from the author's own experience creating software. Others derive from commonly asked questions in the Rust community. Regardless of their origin, these brain teasers are fun, and let's face it: who doesn't love a good puzzle, right? What better way to exercise your brain and increase your Rust programming knowledge than with a collection of dynamic brain teasers? As you read through each of these puzzles and try to work out the answers, you'll not only learn about Rust's unique quirks and peculiarities, you'll also have loads of fun along the way. Dive right in and get started with example code and sample problems that cover numbers and text, shadowing and memory, and everything in between. Try to figure out why a particular program won't compile, why it produces unexpected output, or why it panics and terminates with an error message. Once you've run the code and read the answer, it's time to get to the heart of the matter with a detailed explanation. Learn why a program produced the result it did, and discover how similar issues might affect the code you write in your own programs, even in production. Sourced from engaging discussions within the Rust community, real-world problems, and even reader feedback, these challenges will certainly surprise, enlighten, and entertain you. Are you ready to experience Rust like never before? Then sharpen your brain and get ready for a challenge! What You Need: This book assumes you have some knowledge of the Rust programming language. To work through the brain teasers in this book, you'll need a working Rust environment on any platform. You can install Rust by visiting https://rustup.rs/. You'll also need a text editor or Rust-friendly IDE.
Rust Cookbook
by Vigneshwer Dhinakaran75-80 recipes for learning Rust programming About This Book • Learn to build high-performance Rust units and integrate them into your existing application • Work through recipes on performance, robustness, security, memory management, and scalability • Work through recipes to build foreign function interface with C, JS, and Python Who This Book Is For If you want to write Rust programs, then this book is for you. This book is for those who have a basic knowledge of Rust or any programming language. If you are a C/C developer who is migrating to Rust for various reasons, this book is ideal for you. What You Will Learn • Understand system programming language problems and see how Rust provides unique solutions • Get to know the core concepts of Rust to develop fast and safe applications • Explore the possibility of integrating Rust units into existing applications to make them more efficient • Achieve better parallelism, security, and performance • Explore ways to package your Rust application and ship it for deployment in a production environment • Discover how to build web applications and services using Rust to provide high-performance to the end user In Detail If you are building concurrent applications, server-side programs, or high-performance applications, you will benefit from this language. This book comes with a lot of application-specific recipes to kick-start your development of real-world high-performance applications with the Rust programming language and integrating Rust units into your existing applications. In this book, you will find some 80 practical recipes written in Rust that will allow you to use the code samples right away in your existing applications. These recipes have been tested with stable rust compiler versions of 1.14.0 and above. This book will help you understand the core concepts of the Rust language, enabling you to develop efficient and high-performance applications by incorporating features such as zero cost abstraction and better memory management. We'll delve into advanced-level concepts such as error handling, macros, crates, and parallelism in Rust. Toward the end of the book, you will learn how to create HTTP servers and web services, building a strong foundational knowledge in server-side programming and enabling you to deliver solutions to build high-performance and safer production-level web applications and services using Rust. Style and approach This book helps you learn the core concepts of Rust faster by taking a recipe-based approach, where you can try out different code snippets to understand a concept.
Rust Essentials
by Ivo BalbaertThis book is intended for software developers interested in systems level and application programming, and are looking for a quick entry into using Rust and understanding the core features of the framework. It is assumed that you have a basic understanding of Java, C#, Ruby, Python or JavaScript.
Rust Essentials
by Ivo BalbaertThis book is intended for software developers interested in systems level and application programming, and are looking for a quick entry into using Rust and understanding the core features of the framework. It is assumed that you have a basic understanding of Java, C#, Ruby, Python or JavaScript.