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

Extreme File System Performance on Supermicro Servers
sponsored by Supermicro
WHITE PAPER: Check out this white paper to learn about Supermicro's next-gen X12 BigTwin hardware, featuring 3rd Generation Xeon® Scalable Processors supporting up to 40 cores, higher instructions per clock, and two 512-bit-FMA units.
Posted: 08 Sep 2021 | Published: 08 Sep 2021

TOPICS:  IT Management
Supermicro

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

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

Cebu Pacific Air's Productivity Game Changer
sponsored by Slack
WHITE PAPER: Learn how Cebu Pacific Air improved operational efficiency and saved 114,000 hours a year.
Posted: 20 Nov 2023 | Published: 20 Nov 2023

TOPICS:  IT Management
Slack

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

How Slack's own developers use Slack
sponsored by Slack
WHITE PAPER: Access this paper to learn exactly how Slack's own developers use Slack to maximize collaboration between the engineering teams.
Posted: 20 Aug 2021 | Published: 26 May 2020

TOPICS:  IT Management
Slack

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

AI Training Workloads Can Be Scaled and Accelerated
sponsored by Supermicro
WHITE PAPER: Supermicro has partnered with Habana Labs and Intel® to deliver a high performance and cost-effective system for AI training coupled with the 3rd Gen Intel® Xeon® Scalable Processor. Explore this white paper for an overview of the Supermicro X12 Gaudi AI Training system to enable high-performance computing for deep learning workloads.
Posted: 08 Sep 2021 | Published: 08 Sep 2021

TOPICS:  IT Management
Supermicro