SAT Reports

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

Computer Weekly – 24 October 2023: Brewing data insights at Heineken
sponsored by TechTarget ComputerWeekly.com
EZINE: In this week's Computer Weekly, we find out how brewing giant Heineken is building a data ecosystem to share insights and tap into AI capabilities. The UK is conducting an investigation into cloud supplier dominance – what will it mean for users? And we examine how generative AI could be used to improve customer experience. Read the issue now.
Posted: 24 Oct 2023 | Published: 24 Oct 2023

TechTarget ComputerWeekly.com

Speed Up Your Software Development Cycle
sponsored by Slack
WHITE PAPER: Learn how to accelerate coding and deliver more software faster.
Posted: 20 Dec 2023 | Published: 20 Dec 2023

TOPICS:  IT Management
Slack

Computer Weekly – 4 April 2023: Revitalising UK digital government
sponsored by TechTarget ComputerWeekly.com
EZINE: In this week's Computer Weekly, as the UK plummets down the international rankings for digital government, can its £400m identity system revitalise the UK's digital strategy? Read the issue now.
Posted: 03 Apr 2023 | Published: 04 Apr 2023

TechTarget ComputerWeekly.com

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

Why Strategic Automation Empowers Employees for HR and Workplace Services
sponsored by ServiceNow
WHITE PAPER: This paper provides survey insights from 520 employees using internal shared services, such as HR and workplace services and explores how employees perceive the use of self-service tools and a centralized company portal and the impact on the wider business.
Posted: 14 Feb 2023 | Published: 14 Feb 2023

TOPICS:  IT Management
ServiceNow

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

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

CW EMEA - April 2023: Under attack and stressed out
sponsored by TechTarget ComputerWeekly.com
EZINE: In this month's CW EMEA, we look at how cyber attacks are taking a toll on security professionals, damaging their mental health and forcing some to quit. We also look at Finland's allure for tech entrepreneurs, how software is enabling a new business model for a Swedish car manufacturer, and the importance of backup testing. Read the issue now.
Posted: 12 Apr 2023 | Published: 13 Apr 2023

TechTarget ComputerWeekly.com