575 search results - page 82 / 115 » Constraint Functional Multicore Programming |
117
click to vote
ICCD
2002
IEEE
16 years 1 months ago
2002
IEEE
During the course of a program’s execution, a processor performs many trivial computations; that is, computations that can be simplified or where the result is zero, one, or equ...
144
click to vote
ESOP
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. General refinement types allow types to be refined by predicates written in a general-purpose programming language, and can express function pre- and postconditions and d...
145
click to vote
ECOOP
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. The state design pattern is the standard object-oriented programming idiom for implementing the state machine logic of interactive applications. While this pattern provid...
104
click to vote
IJCAI
1993
15 years 5 months ago
1993
We have written a prototype computer program called TrenDx for automated trend detection during process monitoring. The program uses a representation called trend templates that d...
144
click to vote
ALT
2001
Springer
16 years 1 months ago
2001
Springer
The main question addressed in the present work is how to find effectively a recursive function separating two sets drawn arbitrarily from a given collection of disjoint sets. I...