10072 search results - page 1432 / 2015 » Composition of Model Programs |
231
click to vote
PPDP
2007
Springer
16 years 1 months ago
2007
Springer
We give a novel transformation for proving termination of higher-order rewrite systems in the format of Inductive Data Type Systems (IDTSs) by Blanqui, Jouannaud and Okada. The tr...
218
click to vote
PASTE
2005
ACM
16 years 23 days ago
2005
ACM
Forward symbolic execution is a program analysis technique that allows using symbolic inputs to explore program executions. The traditional applications of this technique have foc...
239
click to vote
CP
2005
Springer
16 years 23 days ago
2005
Springer
We combine mixed integer linear programming (MILP) and constraint programming (CP) to minimize tardiness in planning and scheduling. Tasks are allocated to facilities using MILP an...
210
click to vote
ECOOP
2005
Springer
16 years 23 days ago
2005
Springer
In Java 2 and Microsoft .NET Common Language Runtime (CLR), trusted code has often been programmed to perform accessrestricted operations not explicitly requested by its untrusted ...
207
click to vote
DMSN
2004
ACM
16 years 19 days ago
2004
ACM
Sensor networks present a number of novel programming challenges for application developers. Their inherent limitations of computational power, communication bandwidth, and energy...