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

TOPICS:  IT Management
Slack

Why Strategic Automation Empowers Employees for HR and Workplace Services
sponsored by ServiceNow
WHITE PAPER: This paper provides survey insights from 520 employees using internal shared services, such as HR and workplace services and explores how employees perceive the use of self-service tools and a centralized company portal and the impact on the wider business.
Posted: 14 Feb 2023 | Published: 14 Feb 2023

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

Market Guide for AIOps Platforms
sponsored by ServiceNow
WHITE PAPER: AIOps platforms are becoming more widespread; yet successfully deploying an one is easier said than done. The benefits of successful deployment, however, are plenty: leaders can comprehend and contextualize large amounts of unstructured and volatile data, augment ITOps, and perform better analysis. Read on to learn more about the state of AIOps.
Posted: 29 Apr 2021 | Published: 29 Apr 2021

TOPICS:  IT Management
ServiceNow

Understanding Secure Access Service Edge (SASE) Architectures
sponsored by Citrix
WHITE PAPER: This paper presents how to rethink network and security architectures to meet modern requirements while reducing costs and complexity.
Posted: 05 Apr 2021 | Published: 05 Apr 2021

TOPICS:  IT Management
Citrix

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

Flexible IT Models Drive Efficiency and Innovation
sponsored by Dell Technologies and Intel
WHITE PAPER: This study sought to understand whether, and to what degree, an organization's adoption of technologies and processes that enable flexible IT service delivery are correlated to IT and business benefits.
Posted: 14 Oct 2021 | Published: 14 Oct 2021

TOPICS:  IT Management
Dell Technologies and Intel

Decoding Customer IAM (CIAM) vs. IAM
sponsored by Okta
WHITE PAPER: Access this paper to learn about Customer IAM and how it is similar to IAM and learn the key ways they are different from each other. Find out which could be the right choice for your organization.
Posted: 27 May 2021 | Published: 27 May 2021

TOPICS:  IT Management
Okta