1663 search results - page 195 / 333 » Scheduling techniques for media-on-demand |
124
click to vote
ADBIS
1998
Springer
15 years 5 months ago
1998
Springer
An implementation of persistent object store for real-time systems with strict processing time constraints is a challenging task, because many traditional database techniques, e.g....
92
Voted
CAV
1998
Springer
15 years 5 months ago
1998
Springer
We present a two-part approach for verifying out-of-order execution. First, the complexity of out-of-order issue and scheduling is handled by creating der abstraction of the out-of...
103
Voted
APLAS
2009
ACM
15 years 4 months ago
2009
ACM
Type and effect systems are a tool to analyse statically the behaviour of programs with effects. We present a proof based on the so called reducibility candidates that a suitable ...
82
Voted
GI
2007
Springer
15 years 4 months ago
2007
Springer
: The decomposition of planning and scheduling problems is a well known technique to make these problems tractable. The resulting dependable subproblems were often solved using dif...
112
Voted
ICCD
1995
IEEE
15 years 4 months ago
1995
IEEE
Optimization of hardware resources for conditional data-flow graph behavior is particularly important when conditional behavior occurs in cyclic loops and maximization of through...