4850 search results - page 750 / 970 » Approximate Data Structures with Applications |
133
click to vote
ISQED
2003
IEEE
15 years 10 months ago
2003
IEEE
This paper describes the use of integer equations for high level modeling digital circuits for application of formal verification properties at this level. Most formal verificatio...
131
click to vote
EDBT
2009
ACM
15 years 9 months ago
2009
ACM
Constraints are important for a variety of XML recommendations and applications. Consequently, there are numerous opportunities for advancing the treatment of XML semantics. In pa...
139
click to vote
CIKM
2001
Springer
15 years 9 months ago
2001
Springer
Managing trust is a problem of particular importance in peer-to-peer environments where one frequently encounters unknown agents. Existing methods for trust management, that are b...
139
click to vote
EUROMICRO
2000
IEEE
15 years 9 months ago
2000
IEEE
In the multimedia field, metadata are becoming increasingly important for efficiently cataloguing the abundant flood of information. (Metadata are data on information structure...
142
click to vote
HPCA
2000
IEEE
15 years 9 months ago
2000
IEEE
We are attacking the memory bottleneck by building a “smart” memory controller that improves effective memory bandwidth, bus utilization, and cache efficiency by letting appl...