157 search results - page 1 / 32 » A reduction of the NF consistency problem |
66
Voted
JSYML
2007
14 years 10 months ago
2007
We give a necessary and sufficient condition in order that a typeshifting automorphism be constructed on a model of the Theory of Simple Types (TST) by forcing. Namely it is prove...
81
Voted
FOCM
2008
14 years 10 months ago
2008
Let Fq be the finite field of q elements, where q = ph. Let f(x) be a polynomial over Fq in n variables with m non-zero terms. Let N(f) denote the number of solutions of f(x) = 0 ...
80
Voted
FPGA
1995
ACM
15 years 1 months ago
1995
ACM
This paper presents a methodology for production-time testing of (uncustomized) segmented channel eld programmable gate arrays (FPGAs) such as those manufactured by Actel [1]. Th...
97
Voted
CIKM
2008
Springer
15 years 8 days ago
2008
Springer
Random projection (RP) is a common technique for dimensionality reduction under L2 norm for which many significant space embedding results have been demonstrated. However, many si...
79
Voted
CCGRID
2001
IEEE
15 years 1 months ago
2001
IEEE
Home-based Lazy Release Consistency (HLRC) shows poor performance on lock based applications because of two reasons: (1) a whole page is fetched on a page fault while actual modif...