7 search results - page 1 / 2 » cp 2012 |
CP
2012
Springer
12 years 6 months ago
2012
Springer
PET
2012
Springer
12 years 1 months ago
2012
Springer
The continuing advancements in microprocessor technologies are putting more and more computing power into small devices. Today smartphones are especially popular. Nevertheless, for...
POPL
2012
ACM
12 years 6 months ago
2012
ACM
Data races are among the most reliable indicators of programming errors in concurrent software. For at least two decades, Lamport’s happens-before (HB) relation has served as th...
JMLR
2012
12 years 1 months ago
2012
Traditional tensor decompositions such as the CANDECOMP / PARAFAC (CP) and Tucker decompositions yield higher-order principal components that have been used to understand tensor d...
ICFP
2012
ACM
12 years 1 months ago
2012
ACM
Continuing a line of work by Abramsky (1994), by Bellin and Scott (1994), and by Caires and Pfenning (2010), among others, this paper presents CP, a calculus in which propositions...