4959 search results - page 209 / 992 » Imperative Functional Programming |
116
Voted
IFIP
2004
Springer
15 years 8 months ago
2004
Springer
Abstract A Boolean function is called normal if it is constant on flats of certain dimensions. This property is relevant for the construction and analysis of cryptosystems. This p...
117
click to vote
ISSS
2002
IEEE
15 years 7 months ago
2002
IEEE
This paper presents a new technique for global energy optimization through coordinated functional partitioning and speed selection for embedded processors interconnected by a high...
104
Voted
DBPL
1991
Springer
15 years 6 months ago
1991
Springer
We present a functional DBPL in the style of FP that facilitates the definition of precise semantics and opens up opportunities for far-reaching optimizations. The language is int...
137
Voted
ENTCS
2007
15 years 2 months ago
2007
This paper is part of a comprehensive approach to debugging for functional logic languages. The basic idea of the whole project is to trace the execution of functional logic progr...
116
Voted
MP
2011
14 years 5 months ago
2011
Abstract. Using the least element solution of the P0 and Z matrix linear complementarity problem (LCP), we define an implicit solution function for linear complementarity constrai...