861 search results - page 135 / 173 » Symbolic Program Analysis Using Term Rewriting and Generaliz... |
99
Voted
DAC
2010
ACM
15 years 6 months ago
2010
ACM
With the end of clock-frequency scaling, parallelism has emerged as the key driver of chip-performance growth. Yet, several factors undermine efficient simultaneous use of onchip ...
123
click to vote
CCS
2004
ACM
15 years 8 months ago
2004
ACM
As network security is a growing concern, system administrators lock down their networks by closing inbound ports and only allowing outbound communication over selected protocols ...
108
click to vote
PLDI
2005
ACM
15 years 8 months ago
2005
ACM
Faults that occur in production systems are the most important faults to fix, but most production systems lack the debugging facilities present in development environments. TraceB...
95
Voted
SIGDOC
2005
ACM
15 years 8 months ago
2005
ACM
Software engineering has been striving for years to improve the practice of software development and maintenance. Documentation has long been prominent on the list of recommended ...
129
Voted
ICFP
2008
ACM
16 years 2 months ago
2008
ACM
The trend in microprocessor design toward multicore and manycore processors means that future performance gains in software will largely come from harnessing parallelism. To reali...