Bibliothèque de L'IMIST/CNRST

Votre panier est vide.
IMIST


Votre recherche a retourné 6 résultats.

Building parallel, embedded, and real-time applications with Ada par McCormick, John W., Publication : Cambridge | New York Cambridge University Press 2011 . xiv, 368 pages , "The arrival and popularity of multi-core processors has sparked a renewed interest in the development of parallel programs. Similarly, the availability of low-cost microprocessors and sensors has generated a great interest in embedded real-time programs. This book provides students and programmers whose backgrounds are in traditional sequential programming with the opportunity to expand their capabilities into parallel, embedded, real-time and distributed computing. It also addresses the theoretical foundation of real-time scheduling analysis, focusing on theory that is useful for actual applications. Written by award-winning educators at a level suitable for undergraduates and beginning graduate students, this book is the first truly entry-level textbook in the subject. Complete examples allow readers to understand the context in which a new concept is used, and enable them to build and run the examples, make changes, and observe the results"-- 26 cm. Date : 2011 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1),

Réserver Ajouter au panier
Mobile ad hoc networks : energy-efficient real-time data communications / par Tavli, Bulent. Publication : [S.l.] : Springer, 2006 . 265 p. ; , A Mobile Ad Hoc Network (MANET) is an autonomous system of mobile nodes connected by wireless links to form a communication network. The challenge in the design of protocol architectures for MANETs is to provide a certain level of Quality of Service (QoS) in information transfer using the limited network resources, namely energy and bandwidth. This design goal is further constrained by the unreliable physical channel, the mobility of the nodes, and the lack of infrastructure for network coordination. To meet the QoS requirements for real-time data communication, some coordination of the channel is needed, but centralized coordination is not feasible in MANETs. Furthermore, since a MANET is a dynamic, distributed entity, the optimal control of such a system should also be dynamic and adaptive. This book presents the Time Reservation using Adaptive Control for Energy Efficiency (TRACE) family of protocol architectures that provide such dynamic coordinated channel access in a distributed manner, enabling energy-efficient, real-time data communications in MANETs. Furthermore, this book provides an introduction to the fundamentals of MANETs, an overview of protocols for each layer of the protocol stack, and a discussion of the issues involved with energy-efficient protocol design and quality of service for real-time data transmission. 25 cm. Date : 2006 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1),

Réserver Ajouter au panier
Pas d'image disponible
Real-time applications with stochastic task execution times : analysis and optimisation / par Manolache,, Sorin. Publication : [S.l.] : Springer-Verlag New York Inc., 2007 . 152 p. ; , ReliØ. 24 cm. Date : 2007 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1),

Réserver Ajouter au panier
Real-time systems formal specification and automatic verification par Olderog, E.-R. Publication : Cambridge, UK | New York Cambridge University Press 2008 . xvi, 320 pages 26 cm. Date : 2008 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1),

Réserver Ajouter au panier
Specification and proof in real time CSP par Davies, Jim. Publication : Cambridge Cambridge University Press 2012 . 1 volumes 25 cm. Date : 2012 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1),

Réserver Ajouter au panier
Vous ne trouvez pas ce que vous cherchez ?
© Tous droits résérvés IMIST/CNRST
Angle Av. Allal Al Fassi et Av. des FAR, Hay Ryad, BP 8027, 10102 Rabat, Maroc
Tél:(+212) 05 37.56.98.00
CNRST / IMIST

Propulsé par Koha