9110 search results - page 1605 / 1822 » Formally-Based Design Evaluation |
131
click to vote
CIKM
2004
Springer
15 years 9 months ago
2004
Springer
A number of content management tasks, including term categorization, term clustering, and automated thesaurus generation, view natural language terms (e.g. words, noun phrases) as...
143
click to vote
EGH
2004
Springer
15 years 9 months ago
2004
Springer
Realtime ray tracing has recently established itself as a possible alternative to the current rasterization approach for interactive 3D graphics. However, the performance of exist...
152
click to vote
FPGA
2004
ACM
15 years 9 months ago
2004
ACM
The cost functions used to evaluate logic synthesis transformations for FPGAs are far removed from the final speed and routability determined after placement, routing and timing a...
156
click to vote
ICS
2004
Tsinghua U.
15 years 9 months ago
2004
Tsinghua U.
We propose a novel replacement algorithm, called InterReference Gap Distribution Replacement (IGDR), for setassociative secondary caches of processors. IGDR attaches a weight to e...
153
click to vote
ICSOC
2004
Springer
15 years 9 months ago
2004
Springer
This paper presents a method to implement integrated services of networked home electric appliances, which provide more convenient and comfortable living for home users. The conve...