SAT White Papers

(View All Report Types)
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

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

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 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 Total Economic Impact™ Of KX Insights
sponsored by KX
WHITE PAPER: Read this paper to learn the total economic impact™ of KX Insights, which will identify the cost, benefit, flexibility, and risk factors that could affect your investment decision.
Posted: 15 Jun 2022 | Published: 15 Jun 2022

TOPICS:  IT Management
KX

2021 Vendor Showdown: IT Service Management Providers
sponsored by ServiceNow
WHITE PAPER: Read this paper for Gartner's profile of vendors in the Enterprise ITSM tool market and find out why Gartner named ServiceNow a Leader 7 years in a row.
Posted: 08 Jul 2022 | Published: 08 Jul 2022

TOPICS:  IT Management
ServiceNow

Take Control of Diverse and Rapidly Evolving Enterprise Risks
sponsored by ServiceNow and NewRocket
WHITE PAPER: ServiceNow® works with organizations around the world to help them effectively manage enterprise risk and compliance. This paper identifies three key pillars for success that allow those organizations to respond proactively and consistently to the full spectrum of risks they face.
Posted: 11 Jan 2023 | Published: 11 Jan 2023

TOPICS:  IT Management
ServiceNow and NewRocket

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

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

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