1043 search results - page 58 / 209 » Reading, Writing and Relations |
126
click to vote
FMICS
2010
Springer
15 years 4 months ago
2010
Springer
Bitwise instructions, loops and indirect data access pose difficult challenges to the verification of microcontroller programs. In particular, it is necessary to show that an indir...
124
click to vote
ICDE
2010
IEEE
15 years 4 months ago
2010
IEEE
A way to optimize performance of relational row store databases is to reduce the row widths by vertically partitioning tables into table fractions in order to minimize the number ...
139
click to vote
RIAO
2000
15 years 6 months ago
2000
We present a framework to analyze color documents of complex layout. In addition, no assumption is made on the layout. Our framework combines in a content-driven bottom-up approac...
163
click to vote
JCDL
2006
ACM
15 years 10 months ago
2006
ACM
The development of public libraries may have inadvertently brought the age of marginalia to a close but the advent of digital libraries could revive the practice of marginal annot...
140
click to vote
ICCAD
2009
IEEE
15 years 2 months ago
2009
IEEE
SRAM cell design is driven by the need to satisfy static noise margin, write margin and read current margin (RCM) over all cells in the array in an energy-efficient manner. These ...