2609 search results - page 40 / 522 » Models for Global Constraint Applications |
145
Voted
DAC
2003
ACM
15 years 8 months ago
2003
ACM
This paper describes a new force directed global placement algorithm that exploits and extends techniques from two leading placers, Force-directed [12] [26] and Mongrel [22]. It c...
150
Voted
CLEIEJ
2006
15 years 3 months ago
2006
Concurrent process calculi are powerful formalisms for modelling concurrent systems. The mathematical style underlying process calculi allow to both model and verify properties of...
155
Voted
ENTCS
2007
15 years 3 months ago
2007
We suggest a formal model to represent and solve the multicast routing problem in multicast networks. To attain this, we model the network adapting it to a weighted and-or graph, ...
132
Voted
ENTCS
2006
15 years 3 months ago
2006
We propose a family of models of coordination of distributed object systems representing different views, with refinement relations between the different views. We start with dist...
123
Voted
CODES
2001
IEEE
15 years 7 months ago
2001
IEEE
New embedded systems must be power-aware, not just low-power. That is, they must track their power sources and the changingpower and performance constraints imposed by the environ...