Structured Analysis Techniques Research
-
Vertica for Structured Finance
Sponsored by: Vertica SystemsThis paper examines the increased business challenges in structured finance, the impact on the underlying enabling technologies, and describes how the use of Vertica’s column store, massively parallel processing (MPP) approach to database management and analytic processing can address some of these challenges.
-
The Next Generation of Static Analysis: Boolean Satisfiability and Path Simulation
Sponsored by: Coverity by SynopsysThis white paper will provide a brief overview of the history of static analysis and explain how the use of SAT in static analysis is enabling developers to improve the quality and security of their code.