8094 search results - page 1501 / 1619 » Improvements in Formula Generalization |
106
Voted
DAC
2010
ACM
15 years 4 months ago
2010
ACM
As the geometry shrinking faces severe limitations, 3D wafer stacking with through silicon via (TSV) has gained interest for future SOC integration. Since TSV fill material and s...
94
Voted
EENERGY
2010
15 years 4 months ago
2010
As energy-related costs have become a major economical factor for IT infrastructures and data-centers, companies and the research community are being challenged to find better an...
114
click to vote
CANDT
2009
15 years 4 months ago
2009
HCI, CSCW, and ubicomp researchers have developed new technologies and interaction techniques to support collaboration, ranging from electronic whiteboards to software supporting ...
127
click to vote
ISSTA
2010
ACM
15 years 4 months ago
2010
ACM
Dynamic loading of software components (e.g., libraries or modules) is a widely used mechanism for improved system modularity and flexibility. Correct component resolution is cri...
100
click to vote
ISSTA
2010
ACM
15 years 4 months ago
2010
ACM
When developers change a program, regression tests can fail not only due to faults in the program but also due to outof-date test code that does not reflect the desired behavior ...