793 search results - page 41 / 159 » Argumentation and standards of proof |
116
Voted
TC
2011
14 years 7 months ago
2011
Abstract—The fused multiply accumulate-add (FMA) instruction, specified by the IEEE 754-2008 Standard for Floating-Point Arithmetic, eases some calculations, and is already avai...
96
Voted
FUIN
2006
15 years 25 days ago
2006
Redundant call elimination has been an important program optimisation process as it can produce super-linear speedup in optimised programs. In this paper, we investigate use of the...
91
Voted
WETICE
1996
IEEE
15 years 5 months ago
1996
IEEE
This paper explores generating and conveying confidence in enterprise security. An enterprise assurance framework provides a structure enterprise assurance evidence that strengthe...
116
Voted
ESANN
1997
15 years 2 months ago
1997
Besides their topological properties, Kohonen maps are often used for vector quantization only. These auto-organised networks are often compared to other standard and/or adaptive v...
87
Voted
ESA
2009
Springer
15 years 7 months ago
2009
Springer
We consider online algorithms for pull-based broadcast scheduling. In this setting there are n pages of information at a server and requests for pages arrive online. When the serv...