Real-time management of resource allocation systems : a discrete event systems approach /
| Main Author: | Reveliotis, Spyros A. |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
New York :
Springer,
[2005]
|
| Series: | International series in operations research & management science.
|
| Subjects: |
Similar Items
Real-time management of resource allocation systems : a discrete event systems approach /
by: Reveliotis, Spyros A.
Published: (2005)
by: Reveliotis, Spyros A.
Published: (2005)
Real-time management of resource allocation systems : a discrete event systems approach /
by: Reveliotis, Spyros A.
Published: (2005)
by: Reveliotis, Spyros A.
Published: (2005)
Temporal logic for real-time systems /
by: Ostroff, Jonathan S., 1954-
Published: (1989)
by: Ostroff, Jonathan S., 1954-
Published: (1989)
Real-time systems /
by: Krishna, C. M. (C. Mani)
Published: (1997)
by: Krishna, C. M. (C. Mani)
Published: (1997)
Advances in real-time systems /
Published: (1995)
Published: (1995)
Real-time systems /
by: Liu, Jane W. S.
Published: (2000)
by: Liu, Jane W. S.
Published: (2000)
Real time systems : management and design /
by: Tebbs, David
Published: (1977)
by: Tebbs, David
Published: (1977)
Synchronization in real-time systems : a priority inheritance approach /
by: Rajkumar, Ragunathan
Published: (1991)
by: Rajkumar, Ragunathan
Published: (1991)
Real-time systems.
Published: (1989)
Published: (1989)
Real-time computer systems /
by: Freedman, A. L.
Published: (1977)
by: Freedman, A. L.
Published: (1977)
Advances in real-time systems /
Published: (1993)
Published: (1993)
Real-time systems scheduling.
Published: (2014)
Published: (2014)
Real-time systems : modeling, design, and applications /
Published: (2007)
Published: (2007)
Real-time systems : scheduling, analysis, and verification /
by: Cheng, Albert M. K.
Published: (2002)
by: Cheng, Albert M. K.
Published: (2002)
Real-time systems : modeling, design, and applications /
Published: (2007)
Published: (2007)
Real-time systems : investigating industrial practice /
Published: (1993)
Published: (1993)
Real-time systems : formal specification and automatic verification /
by: Olderog, E.-R
Published: (2008)
by: Olderog, E.-R
Published: (2008)
Guide to the design of real-time systems /
by: Rothstein, Michael F.
Published: (1970)
by: Rothstein, Michael F.
Published: (1970)
Design of real-time computer systems /
by: Martin, James, 1933-2013
Published: (1967)
by: Martin, James, 1933-2013
Published: (1967)
The testability of distributed real-time systems /
by: Schütz, Werner, 1961-
Published: (1993)
by: Schütz, Werner, 1961-
Published: (1993)
Operational semantics for timed systems : a non-standard approach to uniform modeling of timed and hybrid systems /
by: Rust, Heinrich
Published: (2005)
by: Rust, Heinrich
Published: (2005)
Specification and compositional verification of real-time systems /
by: Hooman, J. (Jozef), 1955-
Published: (1991)
by: Hooman, J. (Jozef), 1955-
Published: (1991)
Real-time data processing systems ; introductory concepts /
by: Desmonde, William Herbert, 1921-
Published: (1964)
by: Desmonde, William Herbert, 1921-
Published: (1964)
Specification and compositional verification of real-time systems /
by: Hooman, J. (Jozef), 1955-
Published: (1991)
by: Hooman, J. (Jozef), 1955-
Published: (1991)
Scheduling in real-time systems /
by: Cottet, Francis
Published: (2002)
by: Cottet, Francis
Published: (2002)
Real-time microprocessor systems /
by: Savitzky, Stephen R.
Published: (1985)
by: Savitzky, Stephen R.
Published: (1985)
Scheduling in real-time systems /
Published: (2002)
Published: (2002)
Hard real-time computing systems : predictable scheduling algorithms and applications /
by: Buttazzo, Giorgio C., 1960-
Published: (2005)
by: Buttazzo, Giorgio C., 1960-
Published: (2005)
Foundations of real-time computing : scheduling and resource management /
Published: (1991)
Published: (1991)
Real-time systems and their programming languages /
by: Burns, Alan, 1953-
Published: (1990)
by: Burns, Alan, 1953-
Published: (1990)
Real-time systems and programming languages : Ada 95, real-time Java, and real-time POSIX /
by: Burns, Alan, 1953-
Published: (2001)
by: Burns, Alan, 1953-
Published: (2001)
Timing analysis of real-time software : a practical approach to the specification and design of real-time ... /
by: Motus, L.
Published: (1994)
by: Motus, L.
Published: (1994)
A practical guide to real-time systems development /
by: Goldsmith, Sylvia
Published: (1993)
by: Goldsmith, Sylvia
Published: (1993)
Soft real-time systems : predictability vs. efficiency /
Published: (2005)
Published: (2005)
Meeting deadlines in hard real-time systems : the rate monotonic approach /
by: Briand, Loïc P.
Published: (1999)
by: Briand, Loïc P.
Published: (1999)
Second International Conference on Software engineering for Real Time Systems : 18-20 September 1989 /
Published: (1989)
Published: (1989)
Schedulability criteria for fixed priority scheduling of real- time systems /
by: Park, Dong-Won
Published: (1992)
by: Park, Dong-Won
Published: (1992)
Real-time systems and software /
by: Shaw, Alan C., 1937-
Published: (2001)
by: Shaw, Alan C., 1937-
Published: (2001)
Real-Time Systems Symposium : December 6-8, 1988, Huntsville, Alabama : proceedings /
Published: (1988)
Published: (1988)
Real-time systems : theory and applications : proceedings of the conference organized by the British Computer Society, York, 28-29 September 1989 /
Published: (1990)
Published: (1990)