Formal methods for embedded distributed systems : how to master the complexity /

Software development for embedded multi-core systems : a practical guide using embedded Intel architecture /
by: Domeika, Max
Published: (2008)

Hardware-software co-synthesis of distributed embedded systems /
by: Yen, Ti-Yen, 1967-, et al.
Published: (1996)

Real-time systems : design principles for distributed embedded applications /
by: Kopetz, Hermann, et al.
Published: (2022)

Real-time systems : design principles for distributed embedded applications /
by: Kopetz, Hermann
Published: (1997)

Software development for embedded multi-core systems : a practical guide using embedded Intel architecture /
by: Domeika, Max
Published: (2008)

Design methods and applications for distributed embedded systems : IFIP 18th World Computer Congress : TC10 Working Conference on Distributed and Parallel Embedded Systems (DIPES 2004), 22-27 August 2004, Toulouse, France /
Published: (2004)

Distributed systems : design and algorithms /
Published: (2011)

Embedded real-time systems /
by: Calvez, Jean Paul
Published: (1993)

Time and probability in formal design of distributed systems /
by: Hansson, Hans A.
Published: (1994)

Handbook of real-time and embedded systems /
Published: (2008)

Distributed systems /
by: Steen, Maarten van
Published: (2023)

Formal methods for open object-based distributed systems /
Published: (1997)

Distributed systems : concepts and design /
by: Coulouris, George F.
Published: (2001)

Distributed systems : principles and paradigms /
by: Tanenbaum, Andrew S., 1944-
Published: (2002)

Handbook of real-time and embedded systems /
Published: (2008)

Formal methods for distributed processing : a survey of object-oriented approaches /
Published: (2001)

Modeling and optimization of parallel and distributed embedded systems /
by: Munir, Arslan, et al.
Published: (2016)

Multi-core embedded systems /
Published: (2010)

Design of distributed operating systems /
by: Fortier, Paul J.
Published: (1986)

Performance evaluation of parallel, distributed and emergent systems /
Published: (2007)

Formal methods for open object-based distributed systems : IFIP TC6/WG6.1 Third International Conference on Formal Methods for Open Objec-Based Distributed Systems (FMOODS) : February 15-18, 1999, Florence, Italy /
Published: (1999)

Multi-core embedded systems /
Published: (2010)

Real-time embedded systems /
by: Wang, Jiacun, 1963-
Published: (2017)

Formal techniques for networked and distributed systems : FORTE 2001 : IFIP TC6 WG6.1 - 21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea /
Published: (2001)

Medusa, a distributed operating system /
by: Ousterhout, John K.
Published: (1981)

Distributed systems : concepts and design /
by: Coulouris, George F.
Published: (1994)

Principles of distributed systems : 9th international conference, OPODIS 2005, Pisa, Italy, December 12-14, 2005 : revised selected papers /
Published: (2006)

Real-time embedded components and systems /
by: Siewert, Sam
Published: (2007)

Distributed system design /
by: Wu, Jie
Published: (1999)

Distributed operating systems : theory and practice /
Published: (1987)

Progress in distributed operating systems and distributed systems management : European workshop, Berlin, FRG, April 18/19, 1989 : proceedings /
Published: (1990)

Distributed and parallel systems : cluster and grid computing /
Published: (2002)

Advances in distributed multimedia systems /
Published: (1999)

Distributed systems : an algorithmic approach /
by: Ghosh, Sukumar
Published: (2007)

Distributed systems : theory and applications /
by: Ghosh, Ratan K., et al.
Published: (2023)

Distributed systems : software design and implementation /
by: Fleischmann, Albert
Published: (1994)