266 search results - page 39 / 54 » Combining Software and Hardware Verification Techniques |
134
Voted
SIGSOFT
2001
ACM
16 years 2 months ago
2001
ACM
Scenario-based specifications such as Message Sequence Charts (MSCs) are becoming increasingly popular as part of a requirements specification. Scenarios describe how system compo...
139
click to vote
CODES
2009
IEEE
15 years 5 months ago
2009
IEEE
Microcoded customized IPs offer superior performance and direct programmability of micro-architectural structures compared to instruction-based processors, yet at the cost of dra...
118
Voted
CHI
2004
ACM
16 years 2 months ago
2004
ACM
Gummi is an interaction technique and device concept based on physical deformation of a handheld device. The device consists of several layers of flexible electronic components, i...
114
click to vote
IH
2001
Springer
15 years 6 months ago
2001
Springer
Abstract. A constraint-based watermarking technique has been introduced for the protection of intellectual properties such as hardware, software, algorithms, and solutions to hard ...
135
click to vote
ISCA
1996
IEEE
15 years 6 months ago
1996
IEEE
Memory latency is an important bottleneck in system performance that cannot be adequately solved by hardware alone. Several promising software techniques have been shown to addres...