2092 search results - page 401 / 419 » Dynamically Distributed Query Evaluation |
113
click to vote
FGCS
2006
14 years 11 months ago
2006
Collaborative visualization of large-scale datasets across geographically distributed sites is becoming increasingly important for Earth Sciences. Not only does it enhance our und...
106
click to vote
IPPS
2010
IEEE
14 years 9 months ago
2010
IEEE
The graphics processing unit (GPU) has evolved from a fixedfunction processor with programmable stages to a programmable processor with many fixed-function components that deliver...
188
click to vote
ICDE
2007
IEEE
16 years 1 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...
112
Voted
DAC
2003
ACM
16 years 19 days 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 ...
SIGSOFT
2009
ACM
16 years 12 days ago
2009
ACM
Modern development environments often involve models with complex consistency relations. Some of the relations can be automatically established through "fixing procedures&quo...