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

11 Required Monitoring Platform Capabilities for Enterprise DevOps Teams eBook
sponsored by Datadog
WHITE PAPER: As DevOps teams work with an unprecedented volume of data, effective end-to-end monitoring is a key capability for any DevOps initiative. Here, explore the 11 required monitoring platform capabilities for enterprise DevOps teams. Download it here.
Posted: 10 Dec 2021 | Published: 21 Jan 2021

Datadog

Get the Greatest ROI From Your Strategic Initiatives
sponsored by ServiceNow
WHITE PAPER: The most effective way to thrive through unprecedented change is to get ahead of it. Read this e-book to learn how you can transform your digital operations and maximize ROI by enabling effective project and portfolio management on a single platform.
Posted: 18 Jan 2024 | Published: 18 Jan 2024

TOPICS:  IT Management
ServiceNow

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

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 Dec 2023 | Published: 20 Dec 2023

TOPICS:  IT Management
Slack

Building Tomorrow's Enterprise
sponsored by Hewlett Packard Enterprise
WHITE PAPER: This paper focuses on the steps you need to take to navigate a cloud-everywhere transformation successfully and some of the best practices that will help you along the way.
Posted: 17 Jun 2021 | Published: 17 Jun 2021

TOPICS:  IT Management
Hewlett Packard Enterprise

Best Practices on Alibaba Cloud
sponsored by Alibaba Cloud
WHITE PAPER: Find out the best practices on Alibaba Cloud from some of the industry leaders and learn the benefits they saw from implementing Alibaba Cloud.
Posted: 25 Mar 2021 | Published: 25 Mar 2021

TOPICS:  IT Management
Alibaba Cloud

Visibility to Workflow: How IT Leaders Can Discover and See All Technology Assets to Transform Business
sponsored by ServiceNow
WHITE PAPER: Learn how to build a cohesive discovery and data unification strategy for your technology assets. You'll gain a bigger picture view for compliance, security, risk, employee experience, and financial decisions about your assets.
Posted: 30 Aug 2021 | Published: 30 Aug 2021

TOPICS:  IT Management
ServiceNow

The NBA & WNBA manage complexity associated with the 2020 season
sponsored by ServiceNow
WHITE PAPER: This paper explains how the NBA & WNBA were able to create and integrate nine customized workflows to screen, track, and grant tiered access for all the players and staff with the help of ServiceNow.
Posted: 02 Jun 2021 | Published: 02 Jun 2021

TOPICS:  IT Management
ServiceNow