5740 search results - page 1098 / 1148 » Dynamic Distributed BackJumping |
ICDE
2007
IEEE
14 years 10 months ago
2007
IEEE
With the advent of XML as the de facto language for data publishing and exchange, scalable distribution of XML data to large, dynamic populations of consumers remains an important...
ICDE
2003
IEEE
14 years 10 months ago
2003
IEEE
The problem of statistics and aggregate maintenance over data streams has gained popularity in recent years especially in telecommunications network monitoring, trend-related anal...
DAC
2008
ACM
14 years 10 months ago
2008
ACM
Scenario-based design exploits the time-varying execution behavior of applications by dynamically adapting the system on which they run. This is a particularly interesting design ...
DAC
2003
ACM
14 years 9 months ago
2003
ACM
We present an algorithm that checks behavioral consistency between an ANSI-C program and a circuit given in Verilog using Bounded Model Checking. Both the circuit and the program ...
MICCAI
2006
Springer
14 years 9 months ago
2006
Springer
Acute rejection is the most common reason of graft failure after kidney transplantation, and early detection is crucial to survive the transplanted kidney function. In this paper, ...