37 search results - page 8 / 8 » Building SMT-Based Software Model Checkers: An Experience Re... |
SIGMOD
2010
ACM
14 years 2 months ago
2010
ACM
Many modern enterprises are collecting data at the most detailed level possible, creating data repositories ranging from terabytes to petabytes in size. The ability to apply sophi...
SIGMOD
2001
ACM
14 years 10 months ago
2001
ACM
Digital archives are dedicated to the long-term preservation of electronic information and have the mandate to enable sustained access despite rapid technology changes. Persistent...