Sciweavers

1420 search results - page 26 / 284
» A Framework for Scheduler Synthesis
Sort
View
DAC
2012
ACM
13 years 2 months ago
Equivalence checking for behaviorally synthesized pipelines
Loop pipelining is a critical transformation in behavioral synthesis. It is crucial to producing hardware designs with acceptable latency and throughput. However, it is a complex ...
Kecheng Hao, Sandip Ray, Fei Xie
ICC
2007
IEEE
15 years 6 months ago
Just-in-Time Online Scheduling for WDM EPONs
Abstract— We propose an improved online scheduler for multichannel or Wavelength Division Multiplexed (WDM) Ethernet Passive Optical Network (EPON) upstream transmission. This sc...
Michael P. McGarry, Martin Reisslein, Charles J. C...
CODES
1999
IEEE
15 years 4 months ago
A unified formal model of ISA and FSMD
In this paper, we develop a formal framework to widen the scope of retargetable compilation. The goal is achieved by the unification of architectural models for both the processor...
Jianwen Zhu, Daniel Gajski
ISPAN
1996
IEEE
15 years 4 months ago
SmartNet: a scheduling framework for heterogeneous computing
SmartNet is a scheduling framework for heterogeneous systems. Preliminary conservative simulation results
Richard F. Freund, Taylor Kidd, Debra A. Hensgen, ...
ICNP
2000
IEEE
15 years 4 months ago
Coordinated Network Scheduling: A Framework for End-to-End Services
In multi-hop networks, packet schedulers at downstream nodes have an opportunity to make up for excessive latencies due to congestion at upstream nodes. Similarly, when packets in...
Chengzhi Li, Edward W. Knightly