SAT White Papers

(View All Report Types)
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

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

Unlock Endless Possibilities with Easy to Use AI Tools
sponsored by Slack
WHITE PAPER: Enable smarter and more secure collaboration with simple access to AI-powered time-savers.
Posted: 20 Nov 2023 | Published: 20 Nov 2023

TOPICS:  IT Management
Slack

How Financial Services Leaders are Ramping Up Innovation While Staying Secure
sponsored by Slack
WHITE PAPER: See how Asia-Pacific financial services leaders are combining operational agility with AI-powered productivity while bolstering security and compliance.
Posted: 20 Nov 2023 | Published: 20 Nov 2023

TOPICS:  IT Management
Slack

Real-Time Monitoring in Complex Data Centers
sponsored by Beta Systems
WHITE PAPER: When it comes to running your data center, it’s obvious that monitoring is an essential component of successful data centers. Access this e-guide to learn the 6 essential steps for building effective real-time monitoring across your hybrid IT data center.
Posted: 04 Nov 2021 | Published: 30 Oct 2020

Beta Systems

Essential steps for building a successful integrated risk management program
sponsored by ServiceNow
WHITE PAPER: Read this paper to learn the steps to take to build a successful integrated risk management program which will lower costs and increase productivity.
Posted: 08 Feb 2021 | Published: 16 Nov 2018

TOPICS:  IT Management
ServiceNow

Forrester TEI Report on BigQuery and Looker - English (US)
sponsored by Google Cloud
WHITE PAPER: Learn about the cost savings and business benefits enabled by BigQuery and Looker.
Posted: 09 Jun 2023 | Published: 09 Jun 2023

TOPICS:  IT Management
Google Cloud

AI Done Wisely Delivers Better, Faster, and More Scalable IT
sponsored by ServiceNow
WHITE PAPER: It’s time to move IT beyond the traditional “better, faster, cheaper — pick any two” conundrum. With the help of AI, virtual agents, and machine learning, organizations can tap into these technological innovations to improve operations across all three variables. Read this ebook to learn how.
Posted: 01 Dec 2021 | Published: 15 Jul 2020

ServiceNow

The Total Economic Impact Of Slack For Technical Teams
sponsored by Slack
WHITE PAPER: Learn the results of a Total Economic Impact™ (TEI) study conducted by Forrester Consulting and commissioned by Slack and find out the potential return on investment (ROI) companies may realize by deploying Slack Plus or Slack Grid.
Posted: 08 Feb 2021 | Published: 23 Oct 2020

TOPICS:  IT Management
Slack

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