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

The Super iPaaS: A Revolution in AI-Enabled, Enterprise Integration
sponsored by Software AG
WHITE PAPER: This paper explores Super iPaaS, a unified, AI-enabled, enterprise integration platform that transcends geographies, clouds, hybrid environments, integration patterns, and more. Learn how Super iPaaS can use AI to help to control the integration chaos.
Posted: 20 Oct 2023 | Published: 20 Oct 2023

TOPICS:  IT Management
Software AG

Why Strategic Automation Empowers Employees for HR and Workplace Services
sponsored by ServiceNow
WHITE PAPER: This paper provides survey insights from 520 employees using internal shared services, such as HR and workplace services and explores how employees perceive the use of self-service tools and a centralized company portal and the impact on the wider business.
Posted: 14 Feb 2023 | Published: 14 Feb 2023

TOPICS:  IT Management
ServiceNow

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

TOPICS:  IT Management
Slack

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

Market Guide for AIOps Platforms
sponsored by ServiceNow
WHITE PAPER: AIOps platforms are becoming more widespread; yet successfully deploying an one is easier said than done. The benefits of successful deployment, however, are plenty: leaders can comprehend and contextualize large amounts of unstructured and volatile data, augment ITOps, and perform better analysis. Read on to learn more about the state of AIOps.
Posted: 29 Apr 2021 | Published: 29 Apr 2021

TOPICS:  IT Management
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

Pennsylvania Lumbermens Mutual Insurance Company (PLM) Case Study
sponsored by VMware
WHITE PAPER: Understand how PLM uses VMware Cloud on AWS for their DR needs and how it helped them optimize their DR costs.
Posted: 16 Apr 2021 | Published: 16 Apr 2021

TOPICS:  IT Management
VMware