Sciweavers

1431 search results - page 211 / 287
» Solving Constraints in Model Transformations
Sort
View
101
Voted
ISLPED
1996
ACM
91views Hardware» more  ISLPED 1996»
15 years 4 months ago
Energy minimization using multiple supply voltages
We present a dynamic programming technique for solving the multiple supply voltage scheduling problem in both nonpipelined and functionally pipelined data-paths. The scheduling pro...
Jui-Ming Chang, Massoud Pedram
135
Voted
ECAI
1992
Springer
15 years 4 months ago
Arc-Consistency for Non-Binary Dynamic CSPs
Constraint satisfaction problems (CSPs) provide a model often used in Artificial Intelligence. Since the problem of the existence of a solution in a CSP is an NP-complete task, man...
Christian Bessière
COCOA
2008
Springer
15 years 2 months ago
Efficient Method for Periodic Task Scheduling with Storage Requirement Minimization
Abstract. In this paper, we study an efficient approximate integer linear programming formulation of the general problem of one-dimensional periodic task scheduling under storage r...
Karine Deschinkel, Sid Ahmed Ali Touati
95
Voted
SE
2007
15 years 2 months ago
Rules for type-checking of parametric polymorphism in EMF generics
Abstract: The Eclipse infrastructure for modeling is based on EMF, an implementation of Essential MOF, the OMG standard for metamodeling. A recent addition to EMF has been parametr...
Miguel Garcia
90
Voted
HAIS
2008
Springer
15 years 1 months ago
Estimation Using Differential Evolution for Optimal Crop Plan
This paper presents an application of Differential Evolution (DE) to determine optimal crop plan for command area of Pamba-Achankovil-Vaippar (PAV) link project, so as to maximize ...
Millie Pant, Radha Thangaraj, Deepti Rani, Ajith A...