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

Service Experience: The Next Value Driver for Global Business Services
sponsored by ServiceNow
WHITE PAPER: This guide sets forth a roadmap to begin the GBS experience journey based upon the lessons learned from several pioneering organizations.
Posted: 06 Oct 2023 | Published: 06 Oct 2023

TOPICS:  IT Management
ServiceNow

Combining the power of our proprietary platform with our consulting services to provide deep business insights
sponsored by Ensono Limited
WHITE PAPER: According to a recent survey, 80% of organizations are either completely blind or have gaps in monitoring their cloud environments. Open up this white paper to see how to get the broad visibility and deep insights you need to gain control of your diverse IT environments, while saving both time and money for your organization.
Posted: 21 Apr 2021 | Published: 21 Apr 2021

TOPICS:  IT Management
Ensono Limited

Edge Computing: Powering Frictionless Retail
sponsored by Lumen and Intel
WHITE PAPER: Learn how Edge computing will transform how retail manages the exponential explosion of structured and unstructured data from the proliferation of retail Internet of Things (IoT) and mobile device capabilities.
Posted: 11 Jan 2022 | Published: 18 Nov 2021

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

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

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