Posted by **Veslefrikk** at Oct. 29, 2014

S,.,ger | 2011 | ISBN: 144198206X | 235 pages | PDF | 2 MB

Posted by **tot167** at Sept. 20, 2011

S,.,ger | 2011 | ISBN: 144198206X | 235 pages | PDF | 2 MB

Posted by **Underaglassmoon** at April 21, 2016

Springer | Engineering | May 15 2016 | ISBN-10: 3319320939 | 202 pages | pdf | 7.89 mb

Authors: Goossens, S., Chandrasekar, K., Akesson, B., Goossens, K.

Explains the concepts of predictability and composability and how they address the design and verification challenges of mixed-time-criticality systems

Provides an overview of the requirements of memory controllers in power-constrained mixed-time-criticality systems and discusses why current memory controllers struggle to satisfy them

Posted by **westgate755** at Feb. 22, 2008

(The Springer International Series in Engineering and Computer Science)"

Springer | 352 pages | 1997-04-01 | ISBN:0792398947 | PDF | 2.3 MB

Real-Time Systems: Design Principles for Distributed Embedded Applications focuses on hard real-time systems, which are computing systems that must meet their temporal specification in all anticipated load and fault scenarios. The book stresses the system aspects of distributed real-time applications, treating the issues of real-time, distribution and fault-tolerance from an integral point of view. A unique cross-fertilization of ideas and concepts between the academic and industrial worlds has led to the inclusion of many insightful examples from industry to explain the fundamental scientific concepts in a real-world setting. Thus, this book serves as an excellent text for advanced level courses on real-time systems.

Posted by **interes** at Aug. 2, 2013

English | 2013 | ISBN: 1848213654 | 384 pages | PDF | 16 MB

A real-time system is a complex system which is an integral part of an industrial or experimental system, a vehicle or a construction machine. The peculiarity of these systems is that they are driven by real-time targets in distributed environments.

Posted by **tika12** at Jan. 21, 2008

Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays "

Springer | 2007-11-09 | ISBN:354075220X | 539 pages | PDF | 5,8 Mb

Posted by **Underaglassmoon** at Jan. 24, 2016

Springer | Circuits & Systems | February 19, 2016 | ISBN-10: 3319240021 | 195 pages | pdf | 6.29 mb

Authors: Zhang, Chenxin, Liu, Liang, Öwall, Viktor

Describes a unique design and optimization methodology, applied to different areas and levels, including communication theory, hardware implementation, and software support;

Demonstrates design trade-offs during different development phases and enables readers to apply similar techniques to various applications

Posted by **MoneyRich** at Dec. 21, 2014

English | September 2000 | ISBN: 1929629095 | 466 Pages | PDF | 5 MB

Do big math on small machines Write fast and accurate library functions Master analytical and numerical calculus Perform numerical integration to any order Implement z-transform formulas Need to learn the ins and outs of the fundamental math functions in

Posted by **interes** at Sept. 5, 2014

English | ISBN: 1848214472 | 2013 | PDF | 161 pages | 4,8 MB

This book introduces state-of-the-art verification techniques for real-time embedded systems, based on the inverse method for parametric timed automata. It reviews popular formalisms for the specification and verification of timed concurrent systems and, in particular, timed automata as well as several extensions such as timed automata equipped with stopwatches, linear hybrid automata and affine hybrid automata.

Posted by **fdts** at Dec. 29, 2012

by M. Teresa Higuera-Toledano, Andy J. Wellings

English | 2012 | ISBN: 1441981578 | 388 pages | PDF | 4.47 MB