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

Combining the power of our proprietary platform with our consulting services to provide deep business insights
sponsored by Ensono Limited
WHITE PAPER: According to a recent survey, 80% of organizations are either completely blind or have gaps in monitoring their cloud environments. Open up this white paper to see how to get the broad visibility and deep insights you need to gain control of your diverse IT environments, while saving both time and money for your organization.
Posted: 21 Apr 2021 | Published: 21 Apr 2021

TOPICS:  IT Management
Ensono Limited

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

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

Automated HCI: An Ideal Match for Your Hybrid Cloud
sponsored by Hitachi Vantara
WHITE PAPER: Read this paper to learn how hyperconverged infrastructure (HCI) and VMware Cloud Foundation reduce the complexity of hybrid cloud.
Posted: 23 Aug 2021 | Published: 23 Aug 2021

TOPICS:  IT Management
Hitachi Vantara

Visibility to Workflow: How IT Leaders Can Discover and See All Technology Assets to Transform Business
sponsored by ServiceNow
WHITE PAPER: Learn how to build a cohesive discovery and data unification strategy for your technology assets. You'll gain a bigger picture view for compliance, security, risk, employee experience, and financial decisions about your assets.
Posted: 30 Aug 2021 | Published: 30 Aug 2021

TOPICS:  IT Management
ServiceNow

Protect and Preserve Your Data from Endpoint to Infrastructure
sponsored by Dell Technologies, Intel and Vmware
WHITE PAPER: Read this paper to learn how to achieve cyber resilience and learn how to protect your data from endpoint to infrastructure with help from a partnership between Dell Technologies and VMware.
Posted: 11 Nov 2021 | Published: 11 Nov 2021

TOPICS:  IT Management
Dell Technologies, Intel and Vmware

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