13734 search results - page 195 / 2747 » Abstractions of data types |
114
click to vote
TAPSOFT
1997
Springer
15 years 8 months ago
1997
Springer
This paper presents a type system which guarantees that well-typed programs in a procedural programming language satisfy a noninterference security property. With all program input...
127
click to vote
BCSHCI
2008
15 years 5 months ago
2008
In order to maximize online reading performance and comprehension, how should a designer choose typographical variables such as font size and font type? This paper presents an eye...
114
click to vote
OSDI
2004
ACM
16 years 4 months ago
2004
ACM
Abstractions as the Foundation for Storage Infrastructure John MacCormick, Nick Murphy, Marc Najork, Chandramohan A. Thekkath, and Lidong Zhou Microsoft Research Silicon Valley Wr...
104
click to vote
ARITH
2009
IEEE
15 years 11 months ago
2009
IEEE
The paper introduces fine-grain clockgating schemes for fused multiply-add-type floating-point units (FPU). The clockgating is based on instruction type, precision and operand v...
139
click to vote
XSYM
2005
Springer
15 years 9 months ago
2005
Springer
Among various proposals for primitives for deconstructing XML data two approaches seem to clearly stem from practise: path expressions, widely adopted by the database community, an...