4959 search results - page 212 / 992 » Imperative Functional Programming |
125
Voted
INFORMATICALT
2002
15 years 2 months ago
2002
This paper is concerned with design, implementation and verification of persistent purely functional data structures which are motivated by the representation of natural numbers us...
137
click to vote
IJISEC
2010
15 years 1 months ago
2010
Physical Unclonable Functions (PUFs) are physical objects that are unique, practically unclonable and that behave like a random function when subjected to a challenge. Their use h...
139
Voted
DATE
2008
IEEE
15 years 9 months ago
2008
IEEE
Functional, instruction-based self-testing of microprocessors has recently emerged as an effective alternative or supplement to other testing approaches, and is progressively adop...
137
Voted
FOSSACS
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. We introduce an extension of Hoare logic for call-by-value higherorder functions with ML-like local reference generation. Local references may be generated dynamically an...
113
click to vote
CP
2005
Springer
15 years 8 months ago
2005
Springer
Besides search, complete inference methods can also be used to solve soft constraint problems. Their main drawback is the high spatial complexity. To improve its practical usage, w...