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

16 Ways Dell OpenManage Helps Your Business
sponsored by Dell Technologies & Intel®
WHITE PAPER: Access this infographic that highlights the 16th generation of Dell PowerEdge servers with 16 examples of how OpenManage portfolio enhances server range.
Posted: 15 May 2024 | Published: 15 May 2024

TOPICS:  IT Management
Dell Technologies & Intel®

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

Your Edge, Your Future
sponsored by Hewlett Packard Enterprise
WHITE PAPER: Read this paper to learn how the edge, bursting with useful data, is the future and Building the intelligent edge means making intelligent choices.
Posted: 18 Oct 2021 | Published: 18 Oct 2021

TOPICS:  IT Management
Hewlett Packard Enterprise

The Leader's Tech Guide to Hybrid Work
sponsored by Dell Technologies and Google
WHITE PAPER: Businesses have embraced more hybrid ways of working, with employees working in remote locations. Learn how to keep them connected, secure, and productive.
Posted: 26 May 2021 | Published: 26 May 2021

TOPICS:  IT Management
Dell Technologies and Google

Edge Computing: Powering Frictionless Retail
sponsored by Lumen and Intel
WHITE PAPER: Learn how Edge computing will transform how retail manages the exponential explosion of structured and unstructured data from the proliferation of retail Internet of Things (IoT) and mobile device capabilities.
Posted: 11 Jan 2022 | Published: 18 Nov 2021

TOPICS:  IT Management
Lumen and Intel

Reimagining IT Service Delivery and Operations in Unimagined Times
sponsored by ServiceNow
WHITE PAPER: Today’s workforce scenario has quickly exposed ugly IT processes. Fortunately, a lot of these challenges can be solved by combining ITSM and ITOM practices. Dive into this guide to learn the three pros of harnessing a combined ITSM and ITOM platform.
Posted: 19 Jan 2022 | Published: 15 Jul 2020

TOPICS:  IT Management
ServiceNow

Hitachi Unified Compute Platform HC: Maximize Hyperconverged Performance with NVMe
sponsored by Hitachi Vantara
WHITE PAPER: Read this paper for an evaluation of Hitachi Unified Compute Platform HC (UCP HC) hyperconverged infrastructure solution with a focus on assessing the performance and value of NVMe-based flash for business-critical applications and databases in the virtualized data center.
Posted: 23 Aug 2021 | Published: 23 Aug 2021

TOPICS:  IT Management
Hitachi Vantara