631 search results - page 64 / 127 » Producing reliable software: an experiment |
COMPGEOM
2011
ACM
12 years 11 months ago
2011
ACM
We report on a generic uni- and bivariate algebraic kernel that is publicly available with Cgal 3.7. It comprises complete, correct, though efficient state-of-the-art implementati...
WWW
2006
ACM
14 years 8 months ago
2006
ACM
While much of the data on the web is unstructured in nature, there is also a significant amount of embedded structured data, such as product information on e-commerce sites or sto...
SOSP
2007
ACM
14 years 4 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...
ASPLOS
2009
ACM
14 years 8 months ago
2009
ACM
Current shared memory multicore and multiprocessor systems are nondeterministic. Each time these systems execute a multithreaded application, even if supplied with the same input,...
EMISA
2004
Springer
14 years 1 months ago
2004
Springer
Abstract: Success of IT security not only depends on the evolution of technologies, but also relies on the knowledge of IT-Personnel and the level of their IT-security education. I...