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

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

TOPICS:  IT Management
Slack

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

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

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

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

The Total Economic Impact Of Slack For Technical Teams
sponsored by Slack
WHITE PAPER: Learn the results of a Total Economic Impact™ (TEI) study conducted by Forrester Consulting and commissioned by Slack and find out the potential return on investment (ROI) companies may realize by deploying Slack Plus or Slack Grid.
Posted: 08 Feb 2021 | Published: 23 Oct 2020

TOPICS:  IT Management
Slack

Fintech on Alibaba Cloud
sponsored by Alibaba Cloud
WHITE PAPER: Learn how the Alibaba Cloud FinTech on the Cloud solution can boost end user satisfaction and expedites their time-to-market.
Posted: 25 Mar 2021 | Published: 25 Mar 2021

TOPICS:  IT Management
Alibaba Cloud

The Future of Computing with Supermicro X12 Servers
sponsored by Supermicro
WHITE PAPER: The Supermicro server and storage families that incorporate the Intel® 3rd Gen Xeon® Processors enable new workloads to be run, allowing unique insight from massive amounts of data. Learn how to reduce application run time and infrastructure costs with Supermicro and Intel®.
Posted: 08 Sep 2021 | Published: 08 Sep 2021

TOPICS:  IT Management
Supermicro