631 search results - page 64 / 127 » Producing reliable software: an experiment |
117
click to vote
COMPGEOM
2011
ACM
14 years 3 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...
101
click to vote
WWW
2006
ACM
16 years 16 days 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...
123
click to vote
SOSP
2007
ACM
15 years 8 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...
185
click to vote
ASPLOS
2009
ACM
16 years 15 days 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,...
111
click to vote
EMISA
2004
Springer
15 years 5 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...