395 search results - page 64 / 79 » Evaluating C Design Pattern Miner Tools |
208
click to vote
POPL
2008
ACM
16 years 2 months ago
2008
ACM
Machine-checked proofs of properties of programming languages have become a critical need, both for increased confidence in large and complex designs and as a foundation for techn...
112
click to vote
SIGMOD
2010
ACM
15 years 6 months ago
2010
ACM
As the study of graphs, such as web and social graphs, becomes increasingly popular, the requirements of efficiency and programming flexibility of large graph processing tasks c...
115
click to vote
DAC
2006
ACM
16 years 2 months ago
2006
ACM
Networks-on-Chip (NoC) architectures provide a scalable solution to on-chip communication problem but the bandwidth offered by NoCs can be utilized efficiently only in presence of...
115
Voted
SIGCOMM
2004
ACM
15 years 7 months ago
2004
ACM
Large-scale Internet applications can benefit from an ability to predict round-trip times to other hosts without having to contact them first. Explicit measurements are often un...
158
click to vote
SENSYS
2010
ACM
14 years 11 months ago
2010
ACM
Passive monitoring is an important tool for measuring, troubleshooting, and protecting modern wireless networks. To date, WiFi monitoring has focused primarily on indoor settings ...