7393 search results - page 1204 / 1479 » Synthesis-for-testability using transformations |
146
click to vote
GPCE
2007
Springer
15 years 10 months ago
2007
Springer
In this paper, we propose a domain-specific aspect language to prevent the denials of service caused by resource management. Our aspects specify availability policies by enforcin...
123
click to vote
GTTSE
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. This tutorial explores the design space of heterogeneous synchronization, which is concerned with establishing consistency among artifacts that conform to different sche...
140
Voted
HPCC
2007
Springer
15 years 10 months ago
2007
Springer
Computing ”in-place and in-order”FFT poses a very difficult problem on hierarchical memory architectures where data movement can seriously degrade the performance. In this pape...
138
click to vote
IBPRIA
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Piecewise-linear methods accomplish the registration by dividing the images in corresponding triangular patches, which are individually mapped through affine transformati...
168
click to vote
IESS
2007
Springer
15 years 10 months ago
2007
Springer
To overcome the complexity in System-on-Chip (SoC) design, researchers have developed sophisticated design flows that significantly reduce the development time through automation...