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

Boost Your Team's Output: 5 Key Productivity Hacks
sponsored by Slack
WHITE PAPER: Eliminate productivity blockers and uncover five best practices for streamlining and automating your team's workflows.
Posted: 20 Nov 2023 | Published: 20 Nov 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

Best Practices on Alibaba Cloud
sponsored by Alibaba Cloud
WHITE PAPER: Find out the best practices on Alibaba Cloud from some of the industry leaders and learn the benefits they saw from implementing Alibaba Cloud.
Posted: 25 Mar 2021 | Published: 25 Mar 2021

TOPICS:  IT Management
Alibaba Cloud

The Human Experience of IT Service Management
sponsored by ServiceNow
WHITE PAPER: Positive employee experiences can lead to excellent customer experiences. Learn how positive workforce experiences can easily be derailed if the technology, tools, and processes employees use don't allow them to work efficiently and painlessly.
Posted: 14 Apr 2021 | Published: 14 Apr 2021

TOPICS:  IT Management
ServiceNow

The Total Economic Impact™ Of KX Insights
sponsored by KX
WHITE PAPER: Read this paper to learn the total economic impact™ of KX Insights, which will identify the cost, benefit, flexibility, and risk factors that could affect your investment decision.
Posted: 15 Jun 2022 | Published: 15 Jun 2022

TOPICS:  IT Management
KX

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

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 Business Value of Running Applications on VMware Cloud on AWSin VMware Hybrid Cloud Environments
sponsored by VMware
WHITE PAPER: Discover how VMware customers were able to achieve strong business value and cost reductions.
Posted: 16 Apr 2021 | Published: 16 Apr 2021

TOPICS:  IT Management
VMware