8874 search results - page 63 / 1775 » A New Implementation of Automath |
126
Voted
ICLP
1998
Springer
15 years 7 months ago
1998
Springer
A number of logic programming languages based on Linear Logic [3] have been proposed. However, the implementation techniques proposed for these languages have relied heavily on th...
120
click to vote
PODC
1997
ACM
15 years 7 months ago
1997
ACM
Wait-free objects are often implemented through the use of a \helping scheme", whereby one process \helps" one or more other processes to complete an operation. This pap...
101
click to vote
ICLP
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Bottom-up evaluation is a central part of query evaluation / program execution in deductive databases. It is used after a source code optimization like magic sets or SLDm...
149
Voted
ASYNC
2001
IEEE
15 years 7 months ago
2001
IEEE
This paper describes the synthesis and hardware implementation of a signal-type asynchronous data communication mechanism (ACM). Such an ACM can be used in systems where a data-dr...
117
Voted
IFIP
2000
Springer
15 years 7 months ago
2000
Springer
New non-desktop technologies may turn out to be of a more open and generic nature than traditional information technologies. These technologies consequently pose novel challenges ...