2142 search results - page 52 / 429 » Improved Conditional E-Payments |
ASPDAC
2006
ACM
14 years 1 months ago
2006
ACM
Recent research results have seen the application of parallelizing techniques to high-level synthesis. In particular, the effect of speculative code transformations on mixed contr...
PLDI
2005
ACM
14 years 1 months ago
2005
ACM
Code placement techniques have traditionally improved instruction fetch bandwidth by increasing instruction locality and decreasing the number of taken branches. However, traditio...
AIED
2005
Springer
14 years 1 months ago
2005
Springer
We are exploring whether the use of facilities aimed at improving the learner’s motivation has an effect on learning food-chains and food-webs, but also on help-seeking behaviour...
DAC
1999
ACM
14 years 1 days ago
1999
ACM
Approximate reachability techniques trade o accuracy for the capacity to deal with bigger designs. Cho et al 4 proposed partitioning the set of state bits into mutually disjoint s...
SACRYPT
2000
Springer
13 years 11 months ago
2000
Springer
It has recently been shown that when m > 1 2 n - 1, the nonlinearity Nf of an mth-order correlation immune function f with n variables satisfies the condition of Nf 2n-1 - 2m ,...