Контакты/Проезд Доставка и Оплата Помощь/Возврат

Корзина ()

Мои желания ()

Промокоды

Ваши заказы

Foundations of Real-Time Computing: Scheduling and Resource Management, Andr? M. van Tilborg; Gary M. Koob

Andr? M. van Tilborg; Gary M. Koob Foundations of Real-Time Computing: Scheduling and Resource Management 9781461367666

Варианты приобретения

Цена: 20962.00р.
Кол-во:
Наличие: Поставка под заказ. Есть в наличии на складе поставщика.
Склад Америка: Есть
При оформлении заказа до: 2025-07-28
Ориентировочная дата поставки: Август-начало Сентября
При условии наличия книги у поставщика.

Добавить в корзину

в Мои желания

Автор: Andr? M. van Tilborg; Gary M. Koob
Название: Foundations of Real-Time Computing: Scheduling and Resource Management
ISBN: 9781461367666
Издательство: Springer
Классификация:

Операционные системы

Языки программирования и описания сценариев: общие сведения

Технология разработки программного обеспечения

Архитектура и логическое построение вычислительных систем

Экспертные системы / системы баз знаний

ISBN-10: 1461367662
Обложка/Формат: Paperback
Страницы: 326
Вес: 0.48 кг.
Дата издания: 22.12.2012
Серия: The Springer International Series in Engineering and Computer Science
Язык: English
Размер: 234 x 156 x 18
Основная тема: Computer Science
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание: A companion volume by the title Foundations of Real-Time Computing: Fonnal Specifications and Methods complements this book by addressing many of the most advanced approaches currently being investigated in the arena of formal specification and verification of real-time systems.

Handbook Of Graph Grammars And Computing By Graph Transformation, Vol 1: Foundations

Автор: Rozenberg Grzegorz
Название: Handbook Of Graph Grammars And Computing By Graph Transformation, Vol 1: Foundations
ISBN: 9810228848 ISBN-13(EAN): 9789810228842
Издательство: World Scientific Publishing
Рейтинг:
Цена: 28512.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This first volume includes a state-of-the-art presentation of the foundations of all the basic approaches to rule-based graph specification and transformation: algebraic approach, logic approach, node-based rewriting, (hyper)edge-based rewriting, programmed graph rewriting, and 2-structures.

Organic Computing – Technical Systems for Survival in the Real World

Автор: Christian M?ller-Schloer; Sven Tomforde
Название: Organic Computing – Technical Systems for Survival in the Real World
ISBN: 3319684760 ISBN-13(EAN): 9783319684765
Издательство: Springer
Рейтинг:
Цена: 11179.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Readers can seek access to OC ideas from different perspectives: OC can be viewed (1) as a "philosophy" of adaptive and self-organising - life-like - technical systems, (2) as an approach to a more quantitative and formal understanding of such systems, and finally (3) a construction method for the practitioner who wants to build such systems.

Adaptive Resource Management and Scheduling for Cloud Computing

Автор: Florin Pop; Maria Potop-Butucaru
Название: Adaptive Resource Management and Scheduling for Cloud Computing
ISBN: 3319284479 ISBN-13(EAN): 9783319284477
Издательство: Springer
Рейтинг:
Цена: 5590.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание:

This book constitutes the thoroughly refereed post-conference proceedings of the Second International Workshop on Adaptive Resource Management and Scheduling for Cloud Computing, ARMS-CC 2015, held in Conjunction with ACM Symposium on Principles of Distributed Computing, PODC 2015, in Donostia-San Sebasti n, Spain, in July 2015.

The 12 revised full papers, including 1 invited paper, were carefully reviewed and selected from 24 submissions. The papers have identified several important aspects of the problem addressed by ARMS-CC: self-* and autonomous cloud systems, cloud quality management and service level agreement (SLA), scalable computing, mobile cloud computing, cloud computing techniques for big data, high performance cloud computing, resource management in big data platforms, scheduling algorithms for big data processing, cloud composition, federation, bridging, and bursting, cloud resource virtualization and composition, load-balancing and co-allocation, fault tolerance, reliability, and availability of cloud systems.

Foundations of Real-Time Computing: Formal Specifications and Methods

Автор: Andr? M. van Tilborg; Gary M. Koob
Название: Foundations of Real-Time Computing: Formal Specifications and Methods
ISBN: 1461367964 ISBN-13(EAN): 9781461367963
Издательство: Springer
Рейтинг:
Цена: 20962.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This volume contains a selection of papers that focus on the state-of- the-art in formal specification and verification of real-time computing systems.

Software Project Management for Distributed Computing

Автор: Zaigham Mahmood
Название: Software Project Management for Distributed Computing
ISBN: 3319543245 ISBN-13(EAN): 9783319543246
Издательство: Springer
Рейтинг:
Цена: 18167.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание:

Part I: Characteristics and Estimation of Software Projects for Distributed Computing

Modelling of Reusability Estimation in Software Design with External Constraints
R. Selvarani and P. Mangayarkarasi

Estimation of Costs and Time for the Development of Distributed Software
Manal El Bajta, Ali Idri, Joaquнn Nicolas Ros, Josй Luis Fernandez-Aleman, and Ambrosio Toval

Using COSMIC for the Functional Size Measurement of Distributed Applications in Cloud Environments
Filomena Ferrucci, Carmine Gravino, and Pasquale Salza

Characteristics of Large-Scale Defense Projects and the Dominance of Software and Software Project Management
Kadir Alpaslan Demir

Software Project Management as a Service (SPMaaS): Perspectives and Benefits
Muthu Ramachandran and Vikrant Chaugule

Part II: Approached and Frameworks for Software Development and Software Project Management

Component-Based Hybrid Reference Architecture for Managing Adaptable Embedded Software Development
Bo Xing

3PR Framework for Software Project Management: People, Processes, Products and Risks
Kadir Alpaslan Demir

CrowdSWD: A Novel Framework for Crowdsourcing Software Development Inspired by the Concept of Biological Metaphor
Tarek A. Ali, Eman S. Nasr, and Mervat H. Gheith

An Approach to Migrate and Manage Software: Cloud Based Requirements Management
Areeg Samir

A Novel Approach to Modelling Distributed Systems - Using Large-Scale Multi-Agent Systems
Bogdan Okresa Đuric

Part III: Advances in Software Project Management and Distributed Software Development

Optimizing Software Error Proneness Prediction using Bird Mating AlgorithmAmrit Pal, Harsh Jain, and Manish Kumar

i(mproved)Agile: A Customized Scrum Process for Project Management in Defense & Security
Luigi Benedicenti, Paolo Ciancarini, Franco Cotugno, Angelo Messina, Alberto Sillitti, and Giancarlo Succi

Ontology Annotation for Software Engineering Project Management in Multi-site Distributed Software Development Environments
Pornpit Wongthongtham, Udsanee Pakdeetrakulwong, and Syed Hassan Marzooq

Investigating the Scope for Agile Project Management to be Adopted by Higher Education Institutions
Simon P Philbin

Software Project Management for Combined Software and Data Engineering
Seyyed M. Shah, James Welch, Jim Davies, and Jeremy Gibbons

Scheduling Real-Time Streaming Applications onto an Embedded Multiprocessor

Автор: Orlando Moreira; Henk Corporaal
Название: Scheduling Real-Time Streaming Applications onto an Embedded Multiprocessor
ISBN: 3319012452 ISBN-13(EAN): 9783319012452
Издательство: Springer
Рейтинг:
Цена: 19564.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book provides a comprehensive overview of the state-of-the-art, data flow-based techniques for the analysis, modeling and mapping technologies of concurrent applications on multi-processors.

Geo-Informatics in Resource Management and Sustainable Ecosystem

Автор: Fuling Bian; Yichun Xie
Название: Geo-Informatics in Resource Management and Sustainable Ecosystem
ISBN: 3662491540 ISBN-13(EAN): 9783662491546
Издательство: Springer
Рейтинг:
Цена: 17050.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This volume constitutes the refereed proceedings of the Third International Conference on Geo-Informatics in Resource Management and Sustainable Ecosystem, GRMSE 2015, held in Wuhan, China, in October 2015.The 101 papers presented were carefully reviewed and selected from 321 submissions.

Multiprocessor Scheduling for Real-Time Systems

Автор: Sanjoy Baruah; Marko Bertogna; Giorgio Buttazzo
Название: Multiprocessor Scheduling for Real-Time Systems
ISBN: 331934286X ISBN-13(EAN): 9783319342863
Издательство: Springer
Рейтинг:
Цена: 14365.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Readers will benefit from a new design and analysis framework for multiprocessor real-time systems, which will translate into a significantly enhanced ability to provide formally verified, safety-critical real-time systems at a significantly lower cost.

Scheduling Real-Time Streaming Applications onto an Embedded Multiprocessor

Автор: Orlando Moreira; Henk Corporaal
Название: Scheduling Real-Time Streaming Applications onto an Embedded Multiprocessor
ISBN: 3319344420 ISBN-13(EAN): 9783319344423
Издательство: Springer
Рейтинг:
Цена: 15672.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book provides a comprehensive overview of the state-of-the-art, data flow-based techniques for the analysis, modeling and mapping technologies of concurrent applications on multi-processors.

Project Scheduling with Time Windows and Scarce Resources

Автор: Klaus Neumann; Christoph Schwindt; J?rgen Zimmerma
Название: Project Scheduling with Time Windows and Scarce Resources
ISBN: 3642072658 ISBN-13(EAN): 9783642072659
Издательство: Springer
Рейтинг:
Цена: 20962.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: A survey of the state of the art of deterministic resource-constrained project scheduling with time windows.

Synthesizing Synchronous Systems by Static Scheduling in Space-Time

Автор: Bj?rn Lisper
Название: Synthesizing Synchronous Systems by Static Scheduling in Space-Time
ISBN: 3540511563 ISBN-13(EAN): 9783540511564
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The subject of this book is the synthesis of synchronous hardware. The purpose is to provide a firm mathematical foundation for the so-called space-time mapping methods for hardware synthesis that have been proposed during the last few years. Thus the treatment is fairly mathematical. In a space-time mapping method, an algorithm is described as a set of atomic events, with possible data dependencies between them. The task is to find a mapping, assigning a space-time coordinate to each event, so that causality is not violated and the solution is "good". Previous work in the area, if it provided any formalism at all, has relied mainly on uniform recurrence equations, extensions thereof, or on purely graph-theoretic formulations. In this project algebra is used instead and the close connection with single-assignment languages is stressed. Thus it is possible to generalize previous work and to give simple characterizations of the type of algorithms that can be implemented with space-time mappings. The results presented can be applied to hardware construction and compiler techniques for parallel computers.

Real World Software Configuration Management

Автор: Sean Kenefick
Название: Real World Software Configuration Management
ISBN: 1590590651 ISBN-13(EAN): 9781590590652
Издательство: Springer
Рейтинг:
Цена: 6008.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Designed for use Visual Studio .NET/6.0, Visual SourceSafe 6.0c, and CVS 1.11, Real World Software Configuration Management provides an extensive overview on software configuration and development, accompanied by numerous real-world examples with lots of working code.

ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru

Есть вопрос?
Политика конфиденциальности

Помощь
Дистрибьюторы издательства "Логосфера"

О компании
Представительство в Казахстане

Medpublishing.ru

В Контакте

В Контакте Мед Мобильная версия