Embedded systems are built for specific purposes and are optimized to meet different kind of constraints, such as performance, timing, power and cost. The design process therefore involves different optimization activities. In this paper, we discuss the use of constraint programming (CP) technology for these optimization problems. The main advantages and disadvantages of applying CP to embedded system design problems are discussed on two examples, scheduling and mapping. Based on these examples modelling capabilities of CP and basic solving methods are discussed. We have identified CP modelling capability as an important factor for problem formalization and their uniform representation. We have also, using several experiments, show efficien...
Abstract This paper presents Constraint Programming as a natural formalism for modelling problems, a...
Abstract in Undetermined In this article, we present a constraint programming approach for solving h...
This chapter describes constraint-based scheduling as the discipline that studies how to solve sched...
Today, embedded systems often consist of many different processing, communication, and memory units....
In this paper we consider the problem of optimal task allocation and scheduling in embedded real-tim...
Constraint programming (CP) systems are useful for solving real-life combinatorial problems, such as...
Abstract Static scheduling of tasks in embedded distributed real-time systems often implies a tediuo...
Embedded real-time systems - appearing in products such as cars and mobile phones - are nowadays com...
In real-time systems that contain a large variety of application constraints, such as embedded syste...
Constraint Programming (CP) is a powerful technology to solve combinatorial problems which are ubiqu...
An important goal of embedded system co-synthesis is to realize system designs under constraints on ...
This paper presents constraint programming (CP) as a natural formalism for modelling problems, and a...
Many companies have scheduling, assignment, supply chain and other problems that could be solved wit...
There has been a lot of interest lately from people solving constrained optimization problems for co...
In recent years, the complexity of production plants and therefore of the underlying automation syst...
Abstract This paper presents Constraint Programming as a natural formalism for modelling problems, a...
Abstract in Undetermined In this article, we present a constraint programming approach for solving h...
This chapter describes constraint-based scheduling as the discipline that studies how to solve sched...
Today, embedded systems often consist of many different processing, communication, and memory units....
In this paper we consider the problem of optimal task allocation and scheduling in embedded real-tim...
Constraint programming (CP) systems are useful for solving real-life combinatorial problems, such as...
Abstract Static scheduling of tasks in embedded distributed real-time systems often implies a tediuo...
Embedded real-time systems - appearing in products such as cars and mobile phones - are nowadays com...
In real-time systems that contain a large variety of application constraints, such as embedded syste...
Constraint Programming (CP) is a powerful technology to solve combinatorial problems which are ubiqu...
An important goal of embedded system co-synthesis is to realize system designs under constraints on ...
This paper presents constraint programming (CP) as a natural formalism for modelling problems, and a...
Many companies have scheduling, assignment, supply chain and other problems that could be solved wit...
There has been a lot of interest lately from people solving constrained optimization problems for co...
In recent years, the complexity of production plants and therefore of the underlying automation syst...
Abstract This paper presents Constraint Programming as a natural formalism for modelling problems, a...
Abstract in Undetermined In this article, we present a constraint programming approach for solving h...
This chapter describes constraint-based scheduling as the discipline that studies how to solve sched...