Static Scheduling of Synchronous Data Flow Programs for Digital Signal Processing
From MaRDI portal
Publication:3742710
DOI10.1109/TC.1987.5009446zbMath0605.68024OpenAlexW2120431055MaRDI QIDQ3742710
David Gavin Messerschmitt, Edward A. Lee
Publication date: 1987
Published in: IEEE Transactions on Computers (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1109/tc.1987.5009446
Graph theory (including graph drawing) in computer science (68R10) Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Communication, information (94A99) Theory of operating systems (68N25)
Related Items
REGULAR STATE MACHINES ⋮ Assigning service requests in voice-over-internet gateway multiprocessors ⋮ A compact DSP core with static floating-point arithmetic ⋮ Energy-optimal batching periods for asynchronous multistage data processing on sensor nodes: foundations and an mPlatform case study ⋮ Keeping calm in the face of change. Towards optimisation of FRP by reasoning about change ⋮ CROSS cyclic resource-constrained scheduling solver ⋮ Resource control for synchronous cooperative threads ⋮ Q-SCA: incorporating QoS support into software communications architecture for SDR waveform processing ⋮ Static Optimal Scheduling for Synchronous Data Flow Graphs with Model Checking ⋮ Periodic schedules for linear precedence constraints ⋮ Formal verification of timed synchronous dataflow graphs using lustre ⋮ Algebraic quantitative semantics for efficient online temporal monitoring ⋮ A sufficient condition for the liveness of weighted event graphs ⋮ Minimizing place capacities of weighted event graphs for enforcing liveness ⋮ The complexity of multidimensional periodic scheduling ⋮ Uniprocessor scheduling of real-time synchronous dataflow tasks ⋮ Combining extended retiming and unfolding for rate-optimal graph transformation ⋮ A fast task-to-processor assignment heuristic for real-time multiprocessor DSP applications
