2911 search results - page 442 / 583 » A Logic of Graph Constraints |
89
Voted
DAC
2004
ACM
16 years 1 months ago
2004
ACM
A modular synthesis flow is essential for a scalable and hierarchical design methodology. This paper considers a particular modular flow where each module has interface methods an...
187
Voted
CP
2009
Springer
16 years 1 months ago
2009
Springer
Millions of containers are stowed every week with goods worth billions of dollars, but container vessel stowage is an all but neglected combinatorial optimization problem. In this ...
82
Voted
CADE
2006
Springer
16 years 1 months ago
2006
Springer
Abstract. In the context of combinations of theories with disjoint signatures, we classify the component theories according to the decidability of constraint satisability problems ...
88
Voted
ICST
2008
IEEE
15 years 7 months ago
2008
IEEE
Testing remains a major challenge for model transformation development. Test models that are used as test data for model transformations, are constrained by various sources of kno...
103
click to vote
SOFSEM
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. The increasing complexity of today’s embedded systems applications imposes the requirements and constraints of distributed, heterogeneous subsystem interaction to softw...