8766 search results - page 1259 / 1754 » Functional logic programming |
171
click to vote
SAS
1993
Springer
15 years 9 months ago
1993
Springer
Type and effect systems provide a safe and effective means of programming high-performance parallel computers with a high-level language that integrates both functional and impe...
141
Voted
ASAP
2004
IEEE
15 years 8 months ago
2004
IEEE
Biosequence similarity search is an important application in modern molecular biology. Search algorithms aim to identify sets of sequences whose extensional similarity suggests a c...
110
click to vote
CP
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Invariants that incrementally maintain the value of expresder assignments to their variables are a natural abstraction to build high-level local search algorithms. But th...
131
click to vote
AI
2001
Springer
15 years 8 months ago
2001
Springer
A system's constraints characterizes what that system can do. However, a dynamic environment may require that a system alter its constraints. If feedback about a specific situ...
131
click to vote
LCPC
1991
Springer
15 years 8 months ago
1991
Springer
The dependence ow graph is a novel intermediate representation for optimizingand parallelizing compilersthat can be viewed as an executable representation of program dependences. ...