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

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

TOPICS:  IT Management
Slack

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

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

Speed Up Your Software Development Cycle
sponsored by Slack
WHITE PAPER: Learn how to accelerate coding and deliver more software faster.
Posted: 20 Nov 2023 | Published: 20 Nov 2023

TOPICS:  IT Management
Slack

Flexible IT Models Drive Efficiency and Innovation
sponsored by Dell Technologies and Intel
WHITE PAPER: This study sought to understand whether, and to what degree, an organization's adoption of technologies and processes that enable flexible IT service delivery are correlated to IT and business benefits.
Posted: 14 Oct 2021 | Published: 14 Oct 2021

TOPICS:  IT Management
Dell Technologies and Intel

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

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

2021 Vendor Showdown: IT Service Management Providers
sponsored by ServiceNow
WHITE PAPER: Read this paper for Gartner's profile of vendors in the Enterprise ITSM tool market and find out why Gartner named ServiceNow a Leader 7 years in a row.
Posted: 08 Jul 2022 | Published: 08 Jul 2022

TOPICS:  IT Management
ServiceNow