566 search results - page 77 / 114 » Array Abstractions from Proofs |
113
click to vote
FSTTCS
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. Transactions are commonly described as being ACID: Allor-nothing, Consistent, Isolated and Durable. However, although these words convey a powerful intuition, the ACID pr...
151
click to vote
IEEEPACT
2008
IEEE
15 years 11 months ago
2008
IEEE
The memory access limits the performance of stream processors. By exploiting the reuse of data held in the Stream Register File (SRF), an on-chip storage, the number of memory acc...
141
click to vote
ISVLSI
2007
IEEE
15 years 11 months ago
2007
IEEE
Abstract— Time-to-Market plays a central role on System-ona-Chip (SoC) competitiveness and the quality of the final product is a matter of concern as well. As SoCs complexity in...
142
click to vote
ACCV
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. This paper proposes a novel face mosaicing approach to modeling human facial appearance and geometry in a unified framework. The human head geometry is approximated with...
134
click to vote
ICPPW
2006
IEEE
15 years 11 months ago
2006
IEEE
In retargeting loop-based code for multimedia instruction set extensions, a critical issue is that vector data types of mixed precision within a loop body complicate the paralleli...