579 search results - page 31 / 116 » Constraint Validation in Model Compilers |
NETWORKS
2007
13 years 7 months ago
2007
In the pickup and delivery problem with time windows (PDPTW), capacitated vehicles must be routed to satisfy a set of transportation requests between given origins and destination...
DAC
1997
ACM
14 years 7 days ago
1997
ACM
Abstract—We present the Instruction Set Description Language, ISDL, a machine description language used to describe target architectures to a retargetable compiler. The features ...
DAGM
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. Well known estimation techniques in computational geometry usually deal only with single geometric entities as unknown parameters and do not account for constrained obser...
PLDI
2005
ACM
14 years 1 months ago
2005
ACM
Ad-hoc networks of mobile devices such as smart phones and PDAs represent a new and exciting distributed system architecture. Building distributed applications on such an architec...
SIGSOFT
2008
ACM
14 years 8 months ago
2008
ACM
Alloy specifications are used to define lightweight models of systems. We present Alchemy, which compiles Alloy specifications into implementations that execute against persistent...