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

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

Supercharging Employee Growth and Development
sponsored by ServiceNow
WHITE PAPER: Business Leaders are finding that focusing on skills, rather than jobs or degrees, strengthens your workforce with modern data and insights. This paper presents four ways that a skills-powered approach can supercharge employee growth and development.
Posted: 06 Oct 2023 | Published: 06 Oct 2023

TOPICS:  IT Management
ServiceNow

4 Ways to Master Employee Growth and Development with AI
sponsored by ServiceNow
WHITE PAPER: HR and business leaders must adapt to the changing landscape and invest in modern approaches and technology to foster sustainable and systematic employee development. This paper explores four key trends that can help future-proof your workforce.
Posted: 06 Oct 2023 | Published: 06 Oct 2023

TOPICS:  IT Management
ServiceNow

Magic Quadrant for the CRM Customer Engagement Center
sponsored by ServiceNow
WHITE PAPER: Read this report for an overview of the CRM Customer Engagement Center market and details on why ServiceNow is a Leader in 2021 Magic Quadrant.
Posted: 08 Jul 2022 | Published: 08 Jul 2022

TOPICS:  IT Management
ServiceNow

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

Building in Infrastructure Trust by 451 Research
sponsored by Hewlett Packard Enterprise
WHITE PAPER: Read this paper to learn how improving platform security and establishing a foundation of trust, organisations large and small can help simplify security operations.
Posted: 06 Oct 2021 | Published: 04 Oct 2021

TOPICS:  IT Management
Hewlett Packard Enterprise

Cebu Pacific Air's Productivity Game Changer
sponsored by Slack
WHITE PAPER: Learn how Cebu Pacific Air improved operational efficiency and saved 114,000 hours a year.
Posted: 20 Nov 2023 | Published: 20 Nov 2023

TOPICS:  IT Management
Slack

Edge Computing: Powering Frictionless Retail
sponsored by Lumen and Intel
WHITE PAPER: Learn how Edge computing will transform how retail manages the exponential explosion of structured and unstructured data from the proliferation of retail Internet of Things (IoT) and mobile device capabilities.
Posted: 11 Jan 2022 | Published: 18 Nov 2021

TOPICS:  IT Management
Lumen and Intel