8766 search results - page 592 / 1754 » Functional logic programming |
157
click to vote
DATE
2008
IEEE
15 years 11 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...
136
click to vote
CP
2005
Springer
15 years 10 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...
130
click to vote
CSL
2005
Springer
15 years 10 months ago
2005
Springer
We give a Natural Deduction formulation of an adaptation of G¨odel’s functional (Dialectica) interpretation to the extraction of (more) efficient programs from (classical) proof...
155
click to vote
FORMATS
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. The design of critical embedded real-time systems requires high confidence in the architecture and the implemented functionalities. Classically, such functions are suppor...
159
click to vote
KES
2006
Springer
15 years 4 months ago
2006
Springer
Forecasting exchange rates is an important financial problem that is receiving increasing attention especially because of its difficulty and practical applications. This paper prop...