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

Identity Security: Why it Matters and Why Now
sponsored by CyberArk
WHITE PAPER: It is no longer a question of if an organization will be hit by a cyber attack but a question of when. Read this paper to learn why Identity Security could be the key factor in preventing cyber attacks from happening.
Posted: 24 Mar 2023 | Published: 24 Mar 2023

TOPICS:  IT Management
CyberArk

Ponemon - Costs and Consequences of Gaps in Vulnerability Response
sponsored by ServiceNow
WHITE PAPER: Ponemon Institute surveyed almost 3,000 IT security professionals across the globe to understand how organizations are responding to vulnerabilities. This paper presents the findings of the most recent report and compares it to the 2018 study – read on for the complete results.
Posted: 08 Feb 2021 | Published: 06 Aug 2020

ServiceNow

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

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

Cybercriminals are Resilient. How About You?
sponsored by ServiceNow
WHITE PAPER: Read this paper to learn how in order to be a successful security leader you must be intent on building a proactive, agile, and cyber-resilient organization to help understand how your adversaries operate which will help mitigate risk.
Posted: 28 Sep 2021 | Published: 28 Sep 2021

TOPICS:  IT Management
ServiceNow

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

AI & Automation: Emerging Trends in the IT Industry Today
sponsored by Slack
WHITE PAPER: Explore how AI and automation are redefining work to enhance productivity and cut costs for IT teams.
Posted: 20 Nov 2023 | Published: 20 Nov 2023

TOPICS:  IT Management
Slack

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