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

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 Dec 2023 | Published: 20 Dec 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 Dec 2023 | Published: 20 Dec 2023

TOPICS:  IT Management
Slack

How to Have Productive Experiences for Your Employees
sponsored by ServiceNow
WHITE PAPER: An organization is only as strong as its employees. Read this paper to learn how the path to delivering productive employee experiences and supporting new ways of working begins with creating exceptional experiences.
Posted: 16 May 2023 | Published: 16 May 2023

TOPICS:  IT Management
ServiceNow

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

Essential steps for building a successful integrated risk management program
sponsored by ServiceNow
WHITE PAPER: Read this paper to learn the steps to take to build a successful integrated risk management program which will lower costs and increase productivity.
Posted: 08 Feb 2021 | Published: 16 Nov 2018

TOPICS:  IT Management
ServiceNow

AI Done Wisely Delivers Better, Faster, and More Scalable IT
sponsored by ServiceNow
WHITE PAPER: It’s time to move IT beyond the traditional “better, faster, cheaper — pick any two” conundrum. With the help of AI, virtual agents, and machine learning, organizations can tap into these technological innovations to improve operations across all three variables. Read this ebook to learn how.
Posted: 01 Dec 2021 | Published: 15 Jul 2020

ServiceNow

AI Training Workloads Can Be Scaled and Accelerated
sponsored by Supermicro
WHITE PAPER: Supermicro has partnered with Habana Labs and Intel® to deliver a high performance and cost-effective system for AI training coupled with the 3rd Gen Intel® Xeon® Scalable Processor. Explore this white paper for an overview of the Supermicro X12 Gaudi AI Training system to enable high-performance computing for deep learning workloads.
Posted: 08 Sep 2021 | Published: 08 Sep 2021

TOPICS:  IT Management
Supermicro

2022 Gartner® Critical Capabilities for IT Service Management Platforms
sponsored by ServiceNow
WHITE PAPER: Read to learn about Gartner's key findings, recommendations, and other insights on the IT service management platform market that ServiceNow views as invaluable This paper also explains why Gartner scored ServiceNow's ITSM platform higher than any other platform.
Posted: 25 Jan 2023 | Published: 25 Jan 2023

TOPICS:  IT Management
ServiceNow