18898 search results - page 3711 / 3780 » The Making of a Software Engineer |
115
click to vote
ICCAD
2002
IEEE
15 years 7 months ago
2002
IEEE
Optimized solvers for the Boolean Satisfiability (SAT) problem have many applications in areas such as hardware and software verification, FPGA routing, planning, etc. Further use...
SOSP
2003
ACM
15 years 7 months ago
2003
ACM
Despite decades of research in extensible operating system technology, extensions such as device drivers remain a significant cause of system failures. In Windows XP, for example,...
SOSP
2007
ACM
15 years 7 months ago
2007
ACM
Reliability at massive scale is one of the biggest challenges we face at Amazon.com, one of the largest e-commerce operations in the world; even the slightest outage has significa...
108
click to vote
WWW
2010
ACM
15 years 5 months ago
2010
ACM
Web service composition enables seamless and dynamic integration of business applications on the web. The performance of the composed application is determined by the performance ...
ASPLOS
2010
ACM
15 years 4 months ago
2010
ACM
To make efficient use of CMPs with tens to hundreds of cores, it is often necessary to exploit fine-grain parallelism. However, managing tasks of a few thousand instructions is ...