176 search results - page 9 / 36 » Scoping Constructs in Logic Programming: Implementation Prob... |
RC
2002
14 years 9 months ago
2002
Existing interval constraint logic programming languages, such as BNR Prolog, work under the framework of interval narrowing and are deficient in solving systems of linear constrai...
SCOPES
2005
Springer
15 years 3 months ago
2005
Springer
Development of network communication in a homogeneous sensor network environment is straightforward as the nodes can share message layouts simply by letting the compiler lay out m...
ENTCS
2007
14 years 9 months ago
2007
Formal sequentialization is introduced as a rewriting process for the reduction of parallelism and internal communication statements of distributed imperative programs. It constru...
105
click to vote
LOPSTR
2005
Springer
15 years 3 months ago
2005
Springer
We propose an extension of functional logic languages that allows the definition of operations with patterns containing other defined operation symbols. Such “function patterns...
IEEEPACT
2005
IEEE
15 years 3 months ago
2005
IEEE
Helper threading is a technique that utilizes a second core or logical processor in a multi-threaded system to improve the performance of the main thread. A helper thread executes...