18572 search results - page 909 / 3715 » High performance C |
175
Voted
DASFAA
2007
IEEE
16 years 2 months ago
2007
IEEE
Abstract. Distributed transactional systems require an atomic commitment protocol to preserve atomicity of the ACID properties. However, the industry leading standard, 2PC, is slow...
190
click to vote
IFL
2005
Springer
16 years 1 months ago
2005
Springer
With-loops are versatile array comprehensions used in the functional array language SaC to implement universally applicable array operations. We describe the fusion of with-loops a...
207
click to vote
CADE
1999
Springer
15 years 12 months ago
1999
Springer
CutRes is a system which takes as input an LK-proof with arbitrary cuts and skolemized end-sequent and gives as output an LKproof with atomic cuts only. The elimination of cuts is ...
189
click to vote
DAM
2008
15 years 7 months ago
2008
We propose a generic model for the "weighted voting" aggregation step performed by several methods in supervised classification. Further, we construct an algorithm to en...
187
click to vote
AMC
2005
15 years 7 months ago
2005
This paper investigates the implementation of a functional language algorithm for the divide-and-conquer Delaunay triangulation. The global aim is to improve its performance. Up t...