Sciweavers

8766 search results - page 320 / 1754

» Functional logic programming

210

ALP
1997
Springer

249views Automated Reasoning» more ALP 1997»

Parallelizing Functional Programs by Generalization

15 years 6 months ago

Parallelizing Functional Programs by Generalization

Download www.riec.tohoku.ac.jp

Alfons Geser, Sergei Gorlatch

claim paper

Read More »

88

TAPSOFT
1987
Springer

103views Software Engineering» more TAPSOFT 1987»

On the Complexity of Branching Programs and Decision Trees for Clique Functions

15 years 6 months ago

On the Complexity of Branching Programs and Decision Trees for Clique Functions

Download www.cs.helsinki.fi

Ingo Wegener

claim paper

Read More »

76

CEC
2005
IEEE

93views Artificial Intelligence» more CEC 2005»

Elevator group supervisory control system using genetic network programming with functional localization

15 years 5 months ago

Elevator group supervisory control system using genetic network programming with functional localization

Download www.fujipress.jp

Toru Eguchi, Kotaro Hirasawa, Jinglu Hu, Sandor Ma...

claim paper

Read More »

86

SPLST
2003

103views Programming Languages» more SPLST 2003»

Proving Invariants of Functional Programs

15 years 4 months ago

Proving Invariants of Functional Programs

Download www.cs.uku.fi

Zoltán Horváth, Tamás Kozsik,...

claim paper

Read More »

84

SPLST
2003

139views Programming Languages» more SPLST 2003»

Clean-CORBA Interface for Parallel Functional Programming on Clusters

15 years 4 months ago

Clean-CORBA Interface for Parallel Functional Programming on Clusters

Download www.cs.uku.fi

Zoltán Horváth, Zoltán Varga,...

claim paper

Read More »

« Prev « First page 320 / 1754 Last » Next »