5762 search results - page 382 / 1153 » R-tree: A Hardware Implementation |
206
Voted
AICCSA
2006
IEEE
15 years 8 months ago
2006
IEEE
Semantic web search engines are evolving and many prototype systems and some implementation have been developed. However, there are some different views on what a semantic search e...
129
click to vote
ASPDAC
2005
ACM
15 years 8 months ago
2005
ACM
－This paper describes a new prediction method of tuning curves of a LC-tank voltage-controlled oscillator (VCO) with period calculation technique. With this period calculation te...
192
click to vote
ASPDAC
2005
ACM
15 years 8 months ago
2005
ACM
Abstract— As FPGA designs in 65nm are being explored, reducing leakage power becomes an important design issue. A significant portion of the FPGA leakage is expended in the unus...
201
click to vote
CAV
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. This paper develops a local reasoning method to check lineartime temporal properties of concurrent programs. In practice, it is often infeasible to model check over the p...
160
click to vote
DDECS
2007
IEEE
15 years 8 months ago
2007
IEEE
— From an assumed property, which constrains the inputs of a design under test, we produce a RTL synthesizable design that generates compliant sequences of values for all the sig...