Sciweavers

526 search results - page 21 / 106
» date 2008
Sort
View
101
Voted
DISOPT
2007
81views more  DISOPT 2007»
15 years 14 days ago
Strong polynomiality of resource constraint propagation
Constraint-based schedulers have been widely successful to tackle complex, disjunctive and cumulative, scheduling applications by combining tree search and constraint propagation....
Luc Mercier, Pascal Van Hentenryck
88
Voted
JAPLL
2007
117views more  JAPLL 2007»
15 years 12 days ago
Logic-Based Agent Verification
ecking, algebraic, abstract machines, etc.). THE JOURNAL The Journal of Applied Logic1 publishes papers in areas of logic which can be applied in other disciplines as well as appli...
Michael Fisher, Munindar P. Singh, Diana F. Spears...
JOT
2008
63views more  JOT 2008»
15 years 14 days ago
Using Technologies to Improve E-Learning
E-learning has the potential to significantly augment the traditional learning paradigm. However, despite the significant progress that has been made to date for its adoption, it ...
Won Kim
DATE
2008
IEEE
106views Hardware» more  DATE 2008»
15 years 7 months ago
Low Power Illinois Scan Architecture for Simultaneous Power and Test Data Volume Reduction
We present Low Power Illinois scan architecture (LPILS) to achieve power dissipation and test data volume reduction, simultaneously. By using the proposed scan architecture, dynam...
Anshuman Chandra, Felix Ng, Rohit Kapur
DATE
2008
IEEE
139views Hardware» more  DATE 2008»
15 years 7 months ago
Instruction Re-encoding Facilitating Dense Embedded Code
Reducing the code size of embedded applications is one of the important constraint in embedded system design. Code compression can provide substantial savings in terms of size. In...
Talal Bonny, Jörg Henkel