1598 search results - page 91 / 320 » A Unified Computation Model for Functional and Logic Program... |
130
click to vote
CCE
2007
15 years 4 months ago
2007
For systems where exact constitutive relations are unknown, a microscopic level description can be alternatively used. As microscopic simulations are computationally expensive, th...
121
click to vote
ASAP
2006
IEEE
15 years 10 months ago
2006
IEEE
This work proposes a new architecture and execution model called 2D-VLIW. This architecture adopts an execution model based on large pieces of computation running over a matrix of...
135
click to vote
EUSFLAT
2001
15 years 6 months ago
2001
The aim of this paper is to build a formal model for similarity-based fuzzy unification in multi-adjoint logic programs. Specifically, a general framework of logic programming whi...
159
click to vote
ENTCS
2008
15 years 4 months ago
2008
ly abstract model for a quantum unctional language (extended abstract) Peter Selinger1 ,2 Dalhousie University, Halifax, Nova Scotia, Canada Beno^it Valiron3 University of Ottawa, ...
134
click to vote
PLILP
1992
Springer
15 years 8 months ago
1992
Springer
The unfold/fold framework constitutes the spine of many program transformation strategies. However, by unrestricted use of folding the target program may terminate less often than...