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

TOPICS:  IT Management
Slack

Unlock Endless Possibilities with Easy to Use AI Tools
sponsored by Slack
WHITE PAPER: Enable smarter and more secure collaboration with simple access to AI-powered time-savers.
Posted: 20 Nov 2023 | Published: 20 Nov 2023

TOPICS:  IT Management
Slack

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

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

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

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

Real-Time Monitoring in Complex Data Centers
sponsored by Beta Systems
WHITE PAPER: When it comes to running your data center, it’s obvious that monitoring is an essential component of successful data centers. Access this e-guide to learn the 6 essential steps for building effective real-time monitoring across your hybrid IT data center.
Posted: 04 Nov 2021 | Published: 30 Oct 2020

Beta Systems

Your Edge, Your Future
sponsored by Hewlett Packard Enterprise
WHITE PAPER: Read this paper to learn how the edge, bursting with useful data, is the future and Building the intelligent edge means making intelligent choices.
Posted: 18 Oct 2021 | Published: 18 Oct 2021

TOPICS:  IT Management
Hewlett Packard Enterprise