Sciweavers

1663 search results - page 35 / 333
» Scheduling techniques for media-on-demand
Sort
View
ISSS
2002
IEEE
103views Hardware» more  ISSS 2002»
14 years 2 months ago
A Symbolic Approach for the Combined Solution of Scheduling and Allocation
Scheduling is widely recognized as a very important step in highlevel synthesis. Nevertheless, it is usually done without taking into account the effects on the actual hardware im...
Luciano Lavagno, Mihai T. Lazarescu, Stefano Quer,...
SAT
2004
Springer
73views Hardware» more  SAT 2004»
14 years 3 months ago
A SAT Based Scheduler for Tournament Schedules
We present a scheduler with a web interface for generating fair game schedules of a tournament. The tournament can be either single or double round-robin or something in between. T...
Hantao Zhang, Dapeng Li, Haiou Shen
TC
2008
13 years 9 months ago
A Dynamic Slack Management Technique for Real-Time Distributed Embedded Systems
This work presents a novel slack management technique, the Service-Rate-Proportionate (SRP) Slack Distribution, for real-time distributed embedded systems to reduce energy consumpt...
Subrata Acharya, Rabi N. Mahapatra
AAAI
1997
13 years 11 months ago
Using CSP Look-Back Techniques to Solve Real-World SAT Instances
We report on the performance of an enhanced version of the “Davis-Putnam” (DP) proof procedure for propositional satisfiability (SAT) on large instances derived from realworld...
Roberto J. Bayardo Jr., Robert Schrag
RTCSA
2009
IEEE
14 years 4 months ago
Periodic and Aperiodic Communication Techniques for Responsive Link
Responsive Link, an ISO/IEC communication standard, provides many functional capabilities for distributed realtime systems. This paper is focused on periodic and aperiodic communi...
Shinpei Kato, Yuji Fujita, Nobuyuki Yamasaki