7456 search results - page 1273 / 1492 » Parallelism in Logic Programs |
168
Voted
IFIP
2004
Springer
16 years 12 days ago
2004
Springer
Abstract A Boolean function is called normal if it is constant on flats of certain dimensions. This property is relevant for the construction and analysis of cryptosystems. This p...
177
Voted
IFIP
2004
Springer
16 years 12 days ago
2004
Springer
A term terminates if all its reduction sequences are of finite length. We show four type systems that ensure termination of well-typed π-calculus processes. The systems are obtai...
169
click to vote
IWMM
2004
Springer
16 years 12 days ago
2004
Springer
Garbage-First is a server-style garbage collector, targeted for multi-processors with large memories, that meets a soft real-time goal with high probability, while achieving high ...
209
Voted
APCSAC
2003
IEEE
16 years 10 days ago
2003
IEEE
This paper introduces a method which can be used to map applications written in a high level source language program, like C, to a coarse grain reconfigurable architecture, MONTIU...
188
Voted
CLUSTER
2003
IEEE
16 years 10 days ago
2003
IEEE
This paper presents a concurrent object model based on distributed recursive sets for data intensive applications that use complex, recursive data layouts. The set abstraction is ...