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

11 Required Monitoring Platform Capabilities for Enterprise DevOps Teams eBook
sponsored by Datadog
WHITE PAPER: As DevOps teams work with an unprecedented volume of data, effective end-to-end monitoring is a key capability for any DevOps initiative. Here, explore the 11 required monitoring platform capabilities for enterprise DevOps teams. Download it here.
Posted: 10 Dec 2021 | Published: 21 Jan 2021

Datadog

How Financial Services Leaders are Ramping Up Innovation While Staying Secure
sponsored by Slack
WHITE PAPER: See how Asia-Pacific financial services leaders are combining operational agility with AI-powered productivity while bolstering security and compliance.
Posted: 20 Nov 2023 | Published: 20 Nov 2023

TOPICS:  IT Management
Slack

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

Making Employee Journeys Unforgettable
sponsored by ServiceNow
WHITE PAPER: Read this paper to learn how to eliminate common and repeated inquiries by giving employees a place to find their own answers, and provide an easy transition for those with more complex issues.
Posted: 16 May 2023 | Published: 16 May 2023

TOPICS:  IT Management
ServiceNow

16 Tips for Working Smarter with Slack Apps and Workflows
sponsored by Slack
WHITE PAPER: Learn how to harness Slack's integrations and advanced features automate workflows and optimise communication.
Posted: 20 Dec 2023 | Published: 20 Dec 2023

TOPICS:  IT Management
Slack

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

Design an Efficient Storage System With Intel DAOS and Supermicro Hardware
sponsored by Supermicro
WHITE PAPER: Learn how Supermicro and Intel®, with their DAOS software stack, is designed from the ground up for performance and uses persistent memory and NVMe SSDs to provide a high-efficiency storage solution for demanding applications.
Posted: 08 Sep 2021 | Published: 08 Sep 2021

TOPICS:  IT Management
Supermicro

How to Optimize Cloud Operations for the Best User Experience
sponsored by Cisco
WHITE PAPER: Find out how most businesses have embraced using multiple clouds and are now working to maximize the value they get from the modern multicloud platforms including flexibility and efficiency.
Posted: 14 Apr 2021 | Published: 14 Apr 2021

TOPICS:  IT Management
Cisco