11653 search results - page 2078 / 2331 » The Development of the C Language |
165
click to vote
ASPLOS
2011
ACM
14 years 8 months ago
2011
ACM
This paper presents S2E, a platform for analyzing the properties and behavior of software systems. We demonstrate S2E’s use in developing practical tools for comprehensive perfo...
156
click to vote
CGF
2011
14 years 8 months ago
2011
The complexity and detail of geometric scenes that are used in today’s computer animated films and interactive games have reached a level where the manual creation by tradition...
130
Voted
PLDI
2011
ACM
14 years 7 months ago
2011
ACM
Fixing software bugs has always been an important and timeconsuming process in software development. Fixing concurrency bugs has become especially critical in the multicore era. H...
173
click to vote
PLDI
2011
ACM
14 years 7 months ago
2011
ACM
Software modifications are often systematic—they consist of similar, but not identical, program changes to multiple contexts. Existing tools for systematic program transformati...
159
click to vote
CIKM
2011
Springer
14 years 4 months ago
2011
Springer
In most of the cases, scientists depend on previous literature which is relevant to their research fields for developing new ideas. However, it is not wise, nor possible, to trac...