266 search results - page 16 / 54 » Combining Software and Hardware Verification Techniques |
124
click to vote
FCCM
2006
IEEE
15 years 8 months ago
2006
IEEE
In this paper, we investigate a combination of two techniques — instruction coding and instruction re-ordering — for optimizing energy in embedded processor control. We presen...
100
Voted
DATE
1998
IEEE
15 years 6 months ago
1998
IEEE
A new approach for sequential circuit test generation is proposed that combines software testing based techniques at the high level with test enhancement techniques at the gate le...
129
click to vote
GEOINFORMATICA
2008
15 years 1 months ago
2008
Topological relationships like overlap, inside, meet, and disjoint uniquely characterize the relative position between objects in space. For a long time, they have been a focus of...
91
Voted
WSCG
2004
15 years 3 months ago
2004
Image-space techniques have shown to be very efficient for collision detection in dynamic simulation and animation environments. This paper proposes a new image-space technique for...
102
click to vote
ISCA
2010
IEEE
15 years 7 months ago
2010
IEEE
Fault tolerance is now a primary design constraint for all major microprocessors. One step in determining a processor’s compliance to its failure rate target is measuring the Ar...