4959 search results - page 316 / 992 » Imperative Functional Programming |
185
click to vote
ESAW
2009
Springer
16 years 1 months ago
2009
Springer
Organizational notions such as roles, norms (e.g., obligations and permissions), and services are increasingly viewed as natural concepts to manage the complexity of software devel...
192
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
— This paper presents a new approximate policy iteration algorithm based on support vector regression (SVR). It provides an overview of commonly used cost approximation architect...
196
click to vote
IPPS
2006
IEEE
16 years 24 days ago
2006
IEEE
Algorithmic skeletons can be used to write architecture independent programs, shielding application developers from the details of a parallel implementation. In this paper, we pre...
271
click to vote
WCFLP
2005
ACM
16 years 9 days ago
2005
ACM
In this paper we present CurryBrowser, a generic analysis environment for the declarative multi-paradigm language Curry. CurryBrowser supports browsing through the implementation ...
165
click to vote
LOPSTR
2004
Springer
16 years 3 days ago
2004
Springer
For use in earlier approaches to automated module interface adaptation, we seek a restricted form of program synthesis. Given some typing assumptions and a desired result type, we ...