SAT White Papers

(View All Report Types)
The Next Generation of Static Analysis: Boolean Satisfiability and Path Simulation
sponsored by Coverity by Synopsys
WHITE PAPER: This 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.
Posted: 05 Mar 2008 | Published: 03 Mar 2008

Coverity by Synopsys

Vertica for Structured Finance
sponsored by Vertica Systems
WHITE PAPER: This 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.
Posted: 26 Aug 2011 | Published: 26 Aug 2011

Vertica Systems

Real-time Data: The Speed to Business Value
sponsored by KX
WHITE PAPER: Businesses around the world have arrived at a new frontier of data management and analytics. We’re entering the era of fast data, where big ideas are fueled by insights gleaned from data in real-time. Read this paper to learn how real-time data can drive business value across a range of potential value outcomes.
Posted: 15 Jun 2022 | Published: 30 Dec 2022

TOPICS:  .NET | IT Management
KX

Becoming an experience-based business
sponsored by Adobe
WHITE PAPER: Learn how organisations building on a revolutionary foundation for how they go to market are succeeding because of their focus on providing excellent customer experiences.
Posted: 08 Jun 2021 | Published: 08 Jun 2021

TOPICS:  IT Management
Adobe

11 Ways Infrastructure and Service Visibility Delivers Benefits Across IT
sponsored by ServiceNow
WHITE PAPER: This paper provides 11 examples of how ServiceNow®IT Operations Management (ITOM) Visibility and other ServiceNow applications provide a solid foundation by working together.
Posted: 06 Oct 2021 | Published: 06 Oct 2021

TOPICS:  IT Management
ServiceNow

Ponemon - Costs and Consequences of Gaps in Vulnerability Response
sponsored by ServiceNow
WHITE PAPER: Ponemon Institute surveyed almost 3,000 IT security professionals across the globe to understand how organizations are responding to vulnerabilities. This paper presents the findings of the most recent report and compares it to the 2018 study – read on for the complete results.
Posted: 08 Feb 2021 | Published: 06 Aug 2020

ServiceNow

Extreme File System Performance on Supermicro Servers
sponsored by Supermicro
WHITE PAPER: Check out this white paper to learn about Supermicro's next-gen X12 BigTwin hardware, featuring 3rd Generation Xeon® Scalable Processors supporting up to 40 cores, higher instructions per clock, and two 512-bit-FMA units.
Posted: 08 Sep 2021 | Published: 08 Sep 2021

TOPICS:  IT Management
Supermicro

8 Simple Steps for Automating Governance, Risk and Compliance (GRC)
sponsored by ServiceNow
WHITE PAPER: Automating Governance, Risk, and Compliance (GRC) greatly reduces costs and improves efficiency. This paper provided 8 simple steps for automating GRC.
Posted: 08 Feb 2021 | Published: 07 Nov 2018

ServiceNow

The Business Value of Running Applications on VMware Cloud on AWSin VMware Hybrid Cloud Environments
sponsored by VMware
WHITE PAPER: Discover how VMware customers were able to achieve strong business value and cost reductions.
Posted: 16 Apr 2021 | Published: 16 Apr 2021

TOPICS:  IT Management
VMware

The Total Economic Impact™ Of KX Insights
sponsored by KX
WHITE PAPER: Read this paper to learn the total economic impact™ of KX Insights, which will identify the cost, benefit, flexibility, and risk factors that could affect your investment decision.
Posted: 15 Jun 2022 | Published: 15 Jun 2022

TOPICS:  IT Management
KX