2778 search results - page 20 / 556 » Reuse Technique in Hardware Design |
ECAI
1994
Springer
14 years 1 months ago
1994
Springer
1 We develop a learning component for a theorem prover designed for verifying statements by mathematical induction. If the prover has found a proof, it is analyzed yielding a so-ca...
ESM
1998
13 years 11 months ago
1998
In order to reduce the cost, the time-to-market and to make the most pertinent choices, it becomes essential to allow designers to evaluate, very soon in the design phase, a given...
TABLETOP
2006
IEEE
14 years 3 months ago
2006
IEEE
Freehand gestural interaction with direct-touch computation surfaces has been the focus of significant research activity recently. While many interesting gestural interaction tech...
IRI
2003
IEEE
14 years 3 months ago
2003
IEEE
- This paper presents our effort in designing and implementing an advanced hurricane simulation system on the platform of the World Wide Web for the purpose of supporting decisiona...
ICCAD
2006
IEEE
14 years 6 months ago
2006
IEEE
– In real-time data-dominated communication and multimedia processing applications, due to the manipulation of large sets of data, a multi-layer memory hierarchy is used to enhan...