7991 search results - page 1548 / 1599 » Using More Reasoning to Improve |
ICSE
2007
IEEE-ACM
15 years 10 months ago
2007
IEEE-ACM
This paper suggests the need for a software engineering research community conversation about the future that the community would like to have. The paper observes that the researc...
111
click to vote
WSDM
2010
ACM
15 years 7 months ago
2010
ACM
We consider a set of views stating possibly conflicting facts. Negative facts in the views may come, e.g., from functional dependencies in the underlying database schema. We want ...
PODC
2009
ACM
15 years 7 months ago
2009
ACM
The era of parallel computing for the masses is here, but writing correct parallel programs remains far more difficult than writing sequential programs. Aside from a few domains,...
EUROSYS
2009
ACM
15 years 7 months ago
2009
ACM
Many of today’s web sites contain substantial amounts of client-side code, and consequently, they act more like programs than simple documents. This creates robustness and perfo...
EUROSYS
2009
ACM
15 years 7 months ago
2009
ACM
Device drivers are notorious for being a major source of failure in operating systems. In analysing a sample of real defects in Linux drivers, we found that a large proportion (39...