804 search results - page 119 / 161 » On the Termination of the Chase Algorithm |
93
Voted
INFOCOM
2006
IEEE
15 years 6 months ago
2006
IEEE
— The need to monitor real time network services has prompted service providers to use new measurement technologies, such as service-specific probes. Service-specific probes ar...
104
Voted
ATVA
2005
Springer
15 years 6 months ago
2005
Springer
Multi-Terminal Binary Decision Diagrams (MTBDDs) have been successfully applied in symbolic model checking of probabilistic systems. In this paper we propose an encoding method for...
118
Voted
PPDP
2005
Springer
15 years 6 months ago
2005
Springer
The paper develops a self-tuning resource aware partial evaluation technique for Prolog programs, which derives its own control strategies tuned for the underlying computer archit...
110
Voted
HICSS
2003
IEEE
15 years 6 months ago
2003
IEEE
Video information, image processing and computer vision techniques are developing rapidly nowadays because of the availability of acquisition, processing and editing tools, which ...
118
Voted
DAC
2003
ACM
15 years 6 months ago
2003
ACM
In this paper we propose a partitioning-based placement algorithm for FPGAs. The method incorporates simple, but effective heuristics that target delay minimization. The placement...