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

Speed Up Your Software Development Cycle
sponsored by Slack
WHITE PAPER: Learn how to accelerate coding and deliver more software faster.
Posted: 20 Dec 2023 | Published: 20 Dec 2023

TOPICS:  IT Management
Slack

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

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

Ten Ways to Replace Ineffective Meetings
sponsored by Slack
WHITE PAPER: How your business can increase productivity and cut costs by swapping meetings with asynchronous work and task automation.
Posted: 20 Dec 2023 | Published: 20 Dec 2023

TOPICS:  IT Management
Slack

2022 Gartner® Critical Capabilities for IT Service Management Platforms
sponsored by ServiceNow
WHITE PAPER: Read to learn about Gartner's key findings, recommendations, and other insights on the IT service management platform market that ServiceNow views as invaluable This paper also explains why Gartner scored ServiceNow's ITSM platform higher than any other platform.
Posted: 25 Jan 2023 | Published: 25 Jan 2023

TOPICS:  IT Management
ServiceNow

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

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

Inclusion = everyone: Expert advice for improving tech diversity
sponsored by TechTarget ComputerWeekly.com
WHITE PAPER: At the Computer Weekly diversity in tech event, experts proposed a 15-point plan to improve diversity and inclusion across the industry. Suggestions focused on getting people into the sector and keeping them there. Download the full report here.
Posted: 02 Mar 2023 | Published: 03 Mar 2023

TechTarget ComputerWeekly.com