4266 search results - page 661 / 854 » Search for More Declarativity |
LCTRTS
2001
Springer
14 years 2 months ago
2001
Springer
This paper presents an end-to-end synthesis technique for lowpower distributed real-time system design. This technique synthesizes supply voltages of resources to optimize system-...
VLDB
2001
ACM
14 years 2 months ago
2001
ACM
The Propel Distributed Services Platform (PDSP) is the core software product of Propel, a new Internet infrastructure software company. The PDSP product was created to enable Java...
WAIM
2001
Springer
14 years 2 months ago
2001
Springer
In this paper, we present an online citation entry clustering system based on three-tier clustering. The objective is to further process search results returned by bibliography dat...
CVPR
2000
IEEE
14 years 2 months ago
2000
IEEE
Corners and curves are important image features in many vision-based applications. Corners are usually more stable and easier to match than curves,while curves contain richer info...
ICCD
2000
IEEE
14 years 2 months ago
2000
IEEE
This paper presents a verification technique for functional comparison of large combinational circuits using a novel combination of known approaches. The idea is based on a tight...