24132 search results - page 4725 / 4827 » and 2009 |
183
click to vote
CP
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. This paper considers the automatic generation of architectural tests (ATGP), a fundamental problem in processor validation. ATGPs are complex conditional constraint satis...
187
click to vote
DASFAA
2009
IEEE
15 years 9 months ago
2009
IEEE
—Database security has become a vital issue in modern Web applications. Critical business data in databases is an evident target for attack. Therefore, ensuring the confidentiali...
196
click to vote
DEBS
2009
ACM
15 years 9 months ago
2009
ACM
Streaming data models have been shown to be useful in many applications requiring high-performance data exchange. Application-level overlay networks are a natural way to realize t...
168
click to vote
DGCI
2009
Springer
15 years 9 months ago
2009
Springer
Finding an efficient optimal partial tiling algorithm is still an open problem. We have worked on a special case, the tiling of Manhattan polyominoes with dominoes, for which we gi...
156
click to vote
DSD
2009
IEEE
15 years 9 months ago
2009
IEEE
—Duplication and comparison has proven to be an efficient method for error detection. Based on this generic principle dual core processor architectures with output comparison ar...