116
click to vote
FLOPS
2016
Springer
10 years 7 hour ago
2016
Springer
Abstract. Foreign function interfaces are typically organised monolithically, tying together the specification of each foreign function with the mechanism used to make the functio...
114
click to vote
FLOPS
2016
Springer
10 years 7 hour ago
2016
Springer
We present a new constraint solver over Boolean variables, available as library(clpb)1 in SWI-Prolog. Our solver distinguishes itself from other available CLP(B) solvers by several...
200
click to vote
FIRSTMONDAY
2016
10 years 7 hour ago
2016
Public institutions are increasingly reliant on data from social media sites to measure public attitude and provide timely public engagement. Such reliance includes the exploratio...
112
click to vote
FFA
2016
10 years 7 hour ago
2016
Let n be a positive integer and B be a non-degenerate symmetric bilinear form over Fn q , where q is an odd prime power and Fq is the finite field with q elements. We determine th...
179
click to vote
FFA
2016
10 years 7 hour ago
2016
In contrast to the ‘universal’ multizeta shuffle relations, when the chosen infinite place of the function field over Fq is rational, we show that in the non-rational case, o...
199
Voted
FEGC
2016
10 years 7 hour ago
2016
In this paper, we present TOM (TOpic Modeling), a Python library for topic modeling and browsing. Its objective is to allow for an efficient analysis of a text corpus from start t...
268
click to vote
FCSC
2016
10 years 7 hour ago
2016
Happens-before memory model (HMM) is used as the basis of Java memory model (JMM). Although HMM itself is simple, some complex axioms have to be introduced in JMM to prevent the ca...
304
click to vote
FCSC
2016
10 years 7 hour ago
2016
Text, as one of the most influential inventions of humanity, has played an important role in human life, so far from ancient times. The rich and precise information embodied in te...
277
click to vote
FAST
2016
10 years 7 hour ago
2016
In a data center, an IO from an application to distributed storage traverses not only the network, but also several software stages with diverse functionality. This set of ordered...
274
click to vote
FAST
2016
10 years 7 hour ago
2016
Traditional file system optimizations typically retain the one-to-one mapping of logical files to their physical metadata representations. This rigid mapping results in missed opp...