Frank Müller  Home/Search
Context
Related
| ncsu.edu/~mueller/ft...muellerhb.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: ncsu.edu/~mueller/publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: x Prologue 1 (Update)
Similar documents (at the sentence level):
9.0%: Real-Time Schedulability Analysis for Ada - Mueller (Correct)
Active bibliography (related documents): More All
0.9: Fault Tolerance for Token-based Synchronization Protocols - Mueller (2001) (Correct)
0.7: Timing Analysis for Instruction Caches - Mueller (2000) (Correct)
0.6: Virtual Simple Architecture (VISA): Exceeding the.. - Anantaraman.. (Correct)
Similar documents based on text: More All
0.1: Development of Correct Real-Time Systems by Refinement - Schenke (1997) (Correct)
0.1: Improved Inclusion-Exclusion Identities and Bonferroni.. - Dohmen (2001) (Correct)
0.1: TOF-SIMS in Cosmochemistry - Stephan (1999) (Correct)
BibTeX entry: (Update)
@misc{ ller-efficient,
author = "Frank Müller",
title = "Efficient Analysis of Temporal Properties for Real-Time Systems - A Formal
Framework, Supporting Protocols, and an Implementation",
url = "citeseer.ist.psu.edu/633397.html" }
Citations (may not include all citations):1582 Scheduling algorithms for multiprogramming in a hard-realtim.. - Liu, Layland - 1973
723 Memory coherence in shared virtual memory systems - Li, Hudak - 1989
373 clocks and ordering of events in distributed systems (context) - Lamport - 1978
356 Computers and Intractability { A Guide to the Theory of NP-C.. (context) - Garey, Johnson - 1979
301 The midway distributed shared memory system (context) - Bershad, Zekauskas et al. - 1993
296 Free Software Foundation (context) - Stallman, Porting - 1995
202 Distributed shared memory: A survey of issues and algorithms (context) - Nitzberg, Lo - 1991
124 Hard Real-Time Scheduling: The Deadline Monotonic Approach - Audsley, Burns et al. - 1991
107 Scope consistency: a bridge between release consistency and .. - Iftode, Singh et al. - 1996
91 An accurate worst case timing analysis for RISC processors - Lim, Bae et al. - 1994
85 Predicting program execution times by analyzing static and d.. (context) - Park - 1993
81 Real-time synchronization protocols for multiprocessors (context) - Rajkumar, Sha et al. - 1988
79 A portable global optimizer and linker (context) - Benitez, Davidson - 1988
72 LogP: A practical model of parallel computation (context) - Culler, Karp et al. - 1996
65 Real-Time Systems (context) - Liu - 2000
61 Integrating the timing analysis of pipelining and instructio.. (context) - Healy, Whalley et al. - 1995
58 PERTS: A prototyping environment for real-time systems - Liu, Redondo et al. - 1993
49 Cache modeling for real-time software: Beyond direct mapped .. (context) - Li, Malik et al. - 1996
48 Bounding pipeline and instruction cache performance (context) - Healy, Arnold et al. - 1999
44 End-to-end scheduling to meet deadlines in distributed syste.. - Bettati, Liu - 1992
44 Hard Real-Time Computing Systems (context) - Buttazzo - 1997
42 Distributed shared memory: Concepts and systems (context) - Protic, Tomasevic et al. - 1996
42 strategic memory allocation for real-time) cache design (context) - Kirk - 1989
41 STRESS: A simulator for hard real-time systems - Audsley, Burns et al. - 1994
35 Software-based cache partitioning for real-time applications (context) - Wolfe - 1993
29 An evaluation of software-based release consistent protocols - Keleher, Cox et al. - 1995
28 Garlic: Generic Ada reusable library for interpartition comm.. - Kermarrec, Pautet et al. - 1995
24 distributed mutual exclusion algorithm based on path reversa.. (context) - Naimi, Trehel et al. - 1996
24 Static Cache Simulation and its Applications - Mueller - 1994
24 Deadline Scheduling for Real-Time Systems (context) - Stankovic, Spuri et al. - 1998
24 Bounding loop iterations for timing analysis - Healy, Sj et al. - 1998
23 Compiler support for software-based cache partitioning - Mueller - 1995
19 Synchronization protocols in distributed real-time systems - Sun, Liu - 1996
19 practical interprocedural alia analysi optimizingparallelizi.. (context) - interprocedural, for et al. - 1993
17 Prioritized token-based mutual exclusion for distributed sys.. - Mueller - 1998
15 Timing analysis for instruction caches - Mueller - 2000
15 Fast and precise wcet prediction by separated cache and path.. - Theiling, Ferdinand et al. - 2000
14 A comparison of static analysis and evolutionary testing for.. - Wegener, Mueller - 2001
13 the design and implementation of DSM-threads - Mueller - 1997
13 A simulation study on distributed mutual exclusion (context) - Chang - 1996
12 Timing predictions for multi-level caches - Mueller - 1997
11 features using POSIX threads: Design issues (context) - Giering, Mueller et al. - 1993
9 Available by anonymous FTP from cs (context) - University, NYU et al.
8 Real-time systems need predictability (context) - Hand - 1989
6 Priority inheritance and ceilings for distributed mutual exc.. - Mueller - 1999
6 Ecient microarchitecture modeling and path analysis for real.. (context) - Li, Malik et al. - 1995
5 The ravenscar tasking pro le for high integrity real-time pr.. (context) - Burns, Dobbing et al. - 1998
5 CAISARTS: A tool for real-time scheduling assistance - Humphrey, Stankovic - 1996
5 Worst case timing analysi RISC processor RR case study - Lim, Park et al. - 1995
4 Ecient worst case timing analysis of data caching (context) - Kim, Min et al. - 1996
4 Real-time RISCS (context) - Simpson - 1989
3 Gnatdist: A con guration language for distributed Ada (context) - Kermarrec, Pautet - 1996
3 Ecient and precise cache behavior prediction for real-time s.. (context) - Ferdinand, Wilhelm - 1999
2 Synchronous sessions and xed priority scheduling (context) - Burns, Wellings - 1997
2 A schulability analyzer for real-time euclid (context) - Stoyenko - 1987
2 A Practitioner's Handbook for Real-Time Analysis: Giude to R.. (context) - Klein, Ralya et al. - 1993
2 Supporting Ada 95 passive partitions in a distributed enviro.. - Mueller - 1997
2 Analysis of cache-related preemption delay in xed-priority p.. (context) - Lee, Hahn et al. - 1996
2 Embedded opportunities (context) - Gasperoni - 1998
2 Timing analysis for data and wrap-around ll caches (context) - White, Mueller et al. - 1999
2 Decentralized synchronization for multi-threaded dsms - Mueller - 2000
1 Adding instruction cache e ect to schedulability analysis of.. (context) - Busquets-Matraix - 1996
1 Hybrid instruction cache partitioning for preemptive realtim.. (context) - Busquets-Matraix - 1997
1 Art real time scheduler analyzerdebugger (context) - Arts, scheduler et al. - 1990
1 Adaptive dsm-runtime behavior via speculative data distribut.. - Mueller - 1999
1 An integrated path and timing analysis method based on cycle.. (context) - Lundquvist, Stenstr - 1999
1 Combining multi-threading with asynchronous communication: A.. (context) - oblitz, Mueller - 2000
1 Os-controlled cache predictability for realtime systems (context) - Liedke, artig et al. - 1997
Documents on the same site (http://moss.csc.ncsu.edu/~mueller/publications.html): More
Timing Predictions for Multi-Level Caches - Mueller (1997) (Correct)
MiThOS - A Real-Time Micro-Kernel Threads Operating System - Mueller, Rustagi, Baker (1995) (Correct)
Timing Analysis for Instruction Caches - Mueller (2000) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC