7289 search results - page 1095 / 1458 » A Dependent Set Theory |
219
click to vote
HPCA
2003
IEEE
16 years 8 months ago
2003
IEEE
With the constant advances in technology that lead to the increasing of the transistor count and processor frequency, power dissipation is becoming one of the major issues in high...
182
click to vote
HPCA
2003
IEEE
16 years 8 months ago
2003
IEEE
Several manufacturers have recently announced the first simultaneous-multithreaded processors, both as single CPUs and as components of multi-CPU chips. All are small scale, compr...
188
click to vote
CHI
2004
ACM
16 years 8 months ago
2004
ACM
With the acceleration of technological development we are reaching the point where our systems and their user interfaces become to some degree outdated 'legacy systems' ...
316
click to vote
POPL
2007
ACM
16 years 7 months ago
2007
ACM
This work presents a framework for fusing flow analysis and theorem proving called logic-flow analysis (LFA). The framework itthe reduced product of two abstract interpretations: ...
285
click to vote
VLDB
2007
ACM
16 years 7 months ago
2007
ACM
Record matching is the task of identifying records that match the same real world entity. This is a problem of great significance for a variety of business intelligence applicatio...