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

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

MicroScope – July 2023: The pressure to deliver
sponsored by MicroScope
EZINE: With technology always changing, it can feel like an impossible feat to keep up – we speak to experts about how the channel handles rapid change and the pressure this places on partners to meet customer expectations. Also read about major themes of the market and how the topic of return on investments needs to stretch beyond economics
Posted: 06 Jul 2023 | Published: 07 Jul 2023

MicroScope

Computer Weekly – 23 April 2024: How data keeps Britain's trains on track
sponsored by TechTarget ComputerWeekly.com
EZINE: In this week's Computer Weekly, we find out how Network Rail is ensuring train safety in the face of extreme weather thanks to advanced data analytics. Our latest buyer's guide examines the latest trends in storage technology. And we talk to the Ministry of Defence's first ever chief data officer. Read the issue now.
Posted: 19 Apr 2024 | Published: 23 Apr 2024

TechTarget ComputerWeekly.com

Implementing GenAI: Use cases & challenges
sponsored by TechTarget ComputerWeekly.com
EGUIDE: The use cases of generative AI are wide-ranging and have the potential to impact nearly all areas in business and IT. In this e-guide on generative AI, learn how to put the technology to work in business applications, DevOps and IT, as well as manage implementation challenges and risks.
Posted: 07 Feb 2024 | Published: 08 Feb 2024

TechTarget ComputerWeekly.com

12 API security best practices
sponsored by TechTarget ComputerWeekly.com
INFOGRAPHIC: As more businesses enable access to data and services through APIs, these vectors present an attractive target for data theft and software attacks. Insecure APIs are a serious threat - the following 12 best practices can help expand and elevate the security of an organization's APIs.
Posted: 14 Feb 2023 | Published: 14 Feb 2023

TechTarget ComputerWeekly.com

Computer Weekly – 7 May 2024: Casting a critical eye on HMRC's IR35 checker tool
sponsored by TechTarget ComputerWeekly.com
EZINE: In this week's Computer Weekly, we investigate what has been going on with the HMRC's Check Employment Status for Tax (CEST). We also speak to the CIO of Danfoss about making datacentres greener and explore the issue of restoring data and system backups after a ransomware or cyber attack. Read the issue now.
Posted: 06 May 2024 | Published: 07 May 2024

TechTarget ComputerWeekly.com

A Computer Weekly buyer's guide to developer experience
sponsored by TechTarget ComputerWeekly.com
EGUIDE: The better the working conditions of a software developer, the better the results. In this 15-page buyer’s guide, Computer Weekly looks at how to improve productivity, the tools required to build success and the value of in-house expertise.
Posted: 12 Sep 2023 | Published: 12 Sep 2023

TechTarget ComputerWeekly.com

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