8766 search results - page 1645 / 1754 » Functional logic programming |
CORR
2007
Springer
15 years 15 days ago
2007
Springer
Separable convex optimization problems with linear ascending inequality and equality constraints are addressed in this paper. An algorithm that explicitly characterizes the optimum...
100
Voted
JPDC
2008
15 years 15 days ago
2008
This research investigates the problem of robust static resource allocation for distributed computing systems operating under imposed Quality of Service (QoS) constraints. Often, ...
86
Voted
JCC
2006
15 years 15 days ago
2006
: We describe the implementation of a general and flexible Monte Carlo (MC) module for the program CHARMM, which is used widely for modeling biomolecular systems with empirical ene...
118
Voted
JFP
2006
15 years 15 days ago
2006
Pattern matching is an important operation in functional programs. So far, pattern matching has been investigated in the context of structured terms. This article presents an appr...
93
Voted
ENTCS
2007
15 years 14 days ago
2007
Most software is fragile: even the slightest error, such as changing a single bit, can make it crash. As software complexity has increased, development techniques have kept pace t...