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

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

Get the Greatest ROI From Your Strategic Initiatives
sponsored by ServiceNow
WHITE PAPER: The most effective way to thrive through unprecedented change is to get ahead of it. Read this e-book to learn how you can transform your digital operations and maximize ROI by enabling effective project and portfolio management on a single platform.
Posted: 18 Jan 2024 | Published: 18 Jan 2024

TOPICS:  IT Management
ServiceNow

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

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

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

Extreme File System Performance on Supermicro Servers
sponsored by Supermicro
WHITE PAPER: Check out this white paper to learn about Supermicro's next-gen X12 BigTwin hardware, featuring 3rd Generation Xeon® Scalable Processors supporting up to 40 cores, higher instructions per clock, and two 512-bit-FMA units.
Posted: 08 Sep 2021 | Published: 08 Sep 2021

TOPICS:  IT Management
Supermicro

Take Control of Diverse and Rapidly Evolving Enterprise Risks
sponsored by ServiceNow and NewRocket
WHITE PAPER: ServiceNow® works with organizations around the world to help them effectively manage enterprise risk and compliance. This paper identifies three key pillars for success that allow those organizations to respond proactively and consistently to the full spectrum of risks they face.
Posted: 11 Jan 2023 | Published: 11 Jan 2023

TOPICS:  IT Management
ServiceNow and NewRocket