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

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

Boost Your Team's Output: 5 Key Productivity Hacks
sponsored by Slack
WHITE PAPER: Eliminate productivity blockers and uncover five best practices for streamlining and automating your team's workflows.
Posted: 20 Dec 2023 | Published: 20 Dec 2023

TOPICS:  IT Management
Slack

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

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

Automated HCI: An Ideal Match for Your Hybrid Cloud
sponsored by Hitachi Vantara
WHITE PAPER: Read this paper to learn how hyperconverged infrastructure (HCI) and VMware Cloud Foundation reduce the complexity of hybrid cloud.
Posted: 23 Aug 2021 | Published: 23 Aug 2021

TOPICS:  IT Management
Hitachi Vantara

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

Magic Quadrant for the CRM Customer Engagement Center
sponsored by ServiceNow
WHITE PAPER: Read this report for an overview of the CRM Customer Engagement Center market and details on why ServiceNow is a Leader in 2021 Magic Quadrant.
Posted: 08 Jul 2022 | Published: 08 Jul 2022

TOPICS:  IT Management
ServiceNow