1431 search results - page 118 / 287 » Solving Constraints in Model Transformations |
PLDI
2000
ACM
15 years 5 months ago
2000
ACM
{ This paper presents a new approach to local instruction scheduling based on integer programming that produces optimal instruction schedules in a reasonable time, even for very la...
102
click to vote
DBPL
2007
Springer
15 years 5 months ago
2007
Springer
Inclusion between XML types is important but expensive, and is much more expensive when unordered types are considered. We prove here that inclusion for XML types with interleavin...
ENTCS
2006
15 years 1 months ago
2006
We deal with temporal aspects of distributed systems, introducing and studying a new model called timed distributed -calculus. This model extends distributed -calculus with timers...
112
click to vote
ESA
2008
Springer
15 years 2 months ago
2008
Springer
The crossing number problem is to find the smallest number of edge crossings necessary when drawing a graph into the plane. Eventhough the problem is NP-hard, we are interested in ...
ICASSP
2011
IEEE
14 years 4 months ago
2011
IEEE
In voice analysis, the parameters estimation of a glottal model, an analytic description of the deterministic component of the glottal source, is a challenging question to assess ...