Pages that link to "Item:Q3742710"

The following pages link to Static Scheduling of Synchronous Data Flow Programs for Digital Signal Processing (Q3742710):

Displaying 18 items.

• Energy-optimal batching periods for asynchronous multistage data processing on sensor nodes: foundations and an mPlatform case study (Q438186) (← links)
• CROSS cyclic resource-constrained scheduling solver (Q490449) (← links)
• Keeping calm in the face of change. Towards optimisation of FRP by reasoning about change (Q656853) (← links)
• Uniprocessor scheduling of real-time synchronous dataflow tasks (Q777061) (← links)
• Periodic schedules for linear precedence constraints (Q1003670) (← links)
• A sufficient condition for the liveness of weighted event graphs (Q1014950) (← links)
• Minimizing place capacities of weighted event graphs for enforcing liveness (Q1020558) (← links)
• The complexity of multidimensional periodic scheduling (Q1281399) (← links)
• A fast task-to-processor assignment heuristic for real-time multiprocessor DSP applications (Q1870819) (← links)
• Assigning service requests in voice-over-internet gateway multiprocessors (Q1886507) (← links)
• Formal verification of timed synchronous dataflow graphs using lustre (Q2043814) (← links)
• Algebraic quantitative semantics for efficient online temporal monitoring (Q2044210) (← links)
• A compact DSP core with static floating-point arithmetic (Q2432118) (← links)
• Resource control for synchronous cooperative threads (Q2503040) (← links)
• Q-SCA: incorporating QoS support into software communications architecture for SDR waveform processing (Q2507544) (← links)
• Combining extended retiming and unfolding for rate-optimal graph transformation (Q2574208) (← links)
• REGULAR STATE MACHINES (Q4526933) (← links)
• Static Optimal Scheduling for Synchronous Data Flow Graphs with Model Checking (Q5206962) (← links)