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

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 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

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

Building Tomorrow's Enterprise
sponsored by Hewlett Packard Enterprise
WHITE PAPER: This paper focuses on the steps you need to take to navigate a cloud-everywhere transformation successfully and some of the best practices that will help you along the way.
Posted: 17 Jun 2021 | Published: 17 Jun 2021

TOPICS:  IT Management
Hewlett Packard Enterprise

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 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 a cloud-native CMS makes content delivery faster and easier
sponsored by Adobe
WHITE PAPER: Download a copy of this 16-page guide to see how a cloud-native CMS can make content delivery faster and easier for the ultimate personalized experience.
Posted: 08 Jun 2021 | Published: 08 Jun 2021

TOPICS:  IT Management
Adobe

See How Datacenter Managers Can Reduce Their Environmental Impact
sponsored by Supermicro
WHITE PAPER: To learn how CxOs and IT managers are working towards greener data centers, and how your company can lessen its impact on the environment, download this free report. Inside you'll learn how data centers impact the environment, how to select low-impact servers and equipment, how to plan for End-of-Life (EOL) of older servers, and more.
Posted: 08 Sep 2021 | Published: 08 Sep 2021

TOPICS:  IT Management
Supermicro