1320 search results - page 135 / 264 » Efficient Implementation of a Linear Logic Programming Langu... |
221
Voted
POPL
2007
ACM
16 years 4 months ago
2007
ACM
An asynchronous program is one that contains procedure calls which are not immediately executed from the callsite, but stored and "dispatched" in a non-deterministic ord...
161
Voted
JMLR
2010
14 years 10 months ago
2010
Kernel techniques have long been used in SVM to handle linearly inseparable problems by transforming data to a high dimensional space, but training and testing large data sets is ...
120
Voted
ISCIS
2004
Springer
15 years 9 months ago
2004
Springer
System BV is an extension of multiplicative linear logic with a non-commutative self-dual operator. In this paper we present systems equivalent to system BV where equalities for un...
129
Voted
CIDR
2011
14 years 7 months ago
2011
Distributed programming has become a topic of widespread interest, and many programmers now wrestle with tradeoffs between data consistency, availability and latency. Distributed...
208
Voted
PLDI
2003
ACM
15 years 9 months ago
2003
ACM
In prior work [15] we studied a language construct restrict that allows programmers to specify that certain pointers are not aliased to other pointers used within a lexical scope....