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

Unlock Endless Possibilities with Easy to Use AI Tools
sponsored by Slack
WHITE PAPER: Enable smarter and more secure collaboration with simple access to AI-powered time-savers.
Posted: 20 Dec 2023 | Published: 20 Dec 2023

TOPICS:  IT Management
Slack

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®

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

The Holistic Identity Security Maturity Model
sponsored by CyberArk
WHITE PAPER: Understanding where your organization stands in the Identity Security Maturity Model can help you identify gaps and plan for improvement in your Identity Security strategy. Read this paper to learn more and find your place in the model.
Posted: 24 Mar 2023 | Published: 24 Mar 2023

TOPICS:  IT Management
CyberArk

Reinventing Work: New Imperatives for the Future of Working
sponsored by Slack
WHITE PAPER: Learn how to find what has worked for your workforce over the past year and what hasn't in order to find the way forward to improve the way you work.
Posted: 19 Jan 2022 | Published: 19 Jul 2021

TOPICS:  IT Management
Slack

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

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

The Arrival of the Hybrid Digital Workplace
sponsored by ServiceNow
WHITE PAPER: In the next normal, more enterprises are embracing the concept hybrid digital workplace and building a working environment that prioritises the employee experience, flexibility, and productivity. Read our eBook and see how you can plan for a better workplace that prioritises the employee in the next normal.
Posted: 05 Jan 2022 | Published: 19 Nov 2020

TOPICS:  IT Management
ServiceNow