Sciweavers

2069 search results - page 150 / 414
» Linear time algorithms for Clobber
Sort
View
VLSID
1994
IEEE
124views VLSI» more  VLSID 1994»
15 years 8 months ago
ILP-Based Scheduling with Time and Resource Constraints in High Level Synthesis
In this paper, we present a formal analysis of the constraints of the scheduling problem, and evaluate the structure of the scheduling polytope described by those constraints. Pol...
Samit Chaudhuri, Robert A. Walker
CORR
2008
Springer
148views Education» more  CORR 2008»
15 years 4 months ago
Integrating Job Parallelism in Real-Time Scheduling Theory
We investigate the global scheduling of sporadic, implicit deadline, real-time task systems on multiprocessor platforms. We provide a task model which integrates job parallelism. ...
Sébastien Collette, Liliana Cucu, Joël...
UAI
2008
15 years 6 months ago
Dyna-Style Planning with Linear Function Approximation and Prioritized Sweeping
We consider the problem of efficiently learning optimal control policies and value functions over large state spaces in an online setting in which estimates must be available afte...
Richard S. Sutton, Csaba Szepesvári, Alborz...
TSP
2008
180views more  TSP 2008»
15 years 4 months ago
Algebraic Signal Processing Theory: Foundation and 1-D Time
This paper introduces a general and axiomatic approach to linear signal processing (SP) that we refer to as the algebraic signal processing theory (ASP). Basic to ASP is the linear...
Markus Püschel, José M. F. Moura
ICDE
2004
IEEE
97views Database» more  ICDE 2004»
16 years 5 months ago
Efficient Incremental Validation of XML Documents
We discuss incremental validation of XML documents with respect to DTDs and XML Schema definitions. We consider insertions and deletions of subtrees, as opposed to leaf nodes only...
Denilson Barbosa, Alberto O. Mendelzon, Leonid Lib...