4716 search results - page 663 / 944 » Tangible functional programming |
128
click to vote
ICTAI
2008
IEEE
16 years 17 days ago
2008
IEEE
In this paper, we develop heuristics for finding good starting points when solving large-scale nonlinear constrained optimization problems (COPs). We focus on nonlinear programmi...
165
click to vote
IPPS
2008
IEEE
16 years 17 days ago
2008
IEEE
As an essential part of in vitro analysis, biological database query has become more and more important in the research process. A few challenges that are specific to bioinformat...
164
click to vote
LICS
2008
IEEE
16 years 16 days ago
2008
IEEE
Variable binding is a prevalent feature of the syntax and proof theory of many logical systems. In this paper, we define a programming language that provides intrinsic support fo...
183
click to vote
PDP
2008
IEEE
16 years 16 days ago
2008
IEEE
This paper addresses the issue of type safe algorithmic skeletons. From a theoretical perspective we contribute by: formally specifying a type system for algorithmic skeletons, an...
173
click to vote
BIBE
2007
IEEE
16 years 15 days ago
2007
IEEE
Systolic implementations of dynamic programming solutions that utilize a similarity matrix can achieve appreciable performance with both course- and fine-grain parallelization. A ...