1806 search results - page 58 / 362 » Some Functions Computable with a Fused-Mac |
152
click to vote
VLDB
2004
ACM
15 years 11 months ago
2004
ACM
1 Frequent itemset counting is the first step for most association rule algorithms and some classification algorithms. It is the process of counting the number of occurrences of ...
150
Voted
PLDI
2000
ACM
15 years 10 months ago
2000
ACM
This paper describes the implementation of a purely functional programming language for building software systems. In this language, external tools like compilers and linkers are ...
136
Voted
ACMSE
2006
ACM
15 years 11 months ago
2006
ACM
Like in other fields, computer products (applications, hardware, etc.), before being marketed, require some level of testing to verify whether they meet their design and function...
157
click to vote
CDC
2008
IEEE
16 years 8 days ago
2008
IEEE
— This paper extends a method for integrating source-code model checking with dynamic system analysis to verify properties of controllers for nonlinear dynamic systems. Source-co...
125
click to vote
ARITH
2007
IEEE
16 years 4 days ago
2007
IEEE
One considers the problem of finding hard to round cases of a periodic function for large floating-point inputs, more precisely when the function cannot be efficiently approxim...