6740 search results - page 1072 / 1348 » Using Classification as a Programming Language |
172
click to vote
ISSAC
1995
Springer
15 years 10 months ago
1995
Springer
Dynamic evaluation is a technique for producing multiple results according to a decision tree which evolves with program execution. Sometimes it is desired to produce results for ...
165
click to vote
VMCAI
2010
Springer
16 years 3 months ago
2010
Springer
Tracking subset relations between the contents containers on the heap is fundamental to modeling the semantics of many common programing idioms such as applying a function to a sub...
175
click to vote
ACSD
2008
IEEE
16 years 1 months ago
2008
IEEE
Synchronous systems can immediately react to the inputs of their environment which may lead to so-called causality cycles between actions and their trigger conditions. Systems wit...
172
click to vote
CC
2007
Springer
16 years 23 days ago
2007
Springer
This paper presents a compiler technique that reduces the energy consumption of the memory subsystem, for an off-chip partitioned memory architecture having multiple memory banks ...
197
click to vote
CP
2007
Springer
16 years 22 days ago
2007
Springer
While many real-world combinatorial problems can be advantageously modeled and solved using Constraint Programming, scalability remains a major issue in practice. Constraint models...