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 – 1 August 2023: We're doing AI all wrong
sponsored by TechTarget ComputerWeekly.com
EZINE: In this week's Computer Weekly, AI is being imposed on society from the top down and the socio-economic implications will cause problems – we talk to an expert who says there is a better way. We also find out how hackers – the good kind – are turning to AI to make their work more effective. Read the issue now.
Posted: 31 Jul 2023 | Published: 01 Aug 2023

TechTarget ComputerWeekly.com

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

Innovation Awards APAC 2023 - Project of the Year: Mondelez International
sponsored by TechTarget ComputerWeekly.com
EGUIDE: Mondelez operates a large supply chain and manufacturing footprint to produce well-known snacks such as Cadbury chocolates and Oreo biscuits. In this e-guide, read how Mondelez tapped low-code/no-code development, drones and other emerging technologies, to deliver productivity gains, better employee experience and higher production yields.
Posted: 19 May 2023 | Published: 19 May 2023

TechTarget ComputerWeekly.com

Innovation Awards APAC 2023 - Financial Services: DBS Bank
sponsored by TechTarget ComputerWeekly.com
EGUIDE: In this e-guide, read more about DBS Technology Marketplace and how it delivers anything-as-a-service (XaaS) capabilities that enable the bank's applications teams to adapt cloud-native applications quickly and efficiently.
Posted: 20 May 2023 | Published: 21 May 2023

TechTarget ComputerWeekly.com

4 IT Automation Myths Dispelled
sponsored by Red Hat
EBOOK: Read this e-book to learn how to overcome practical barriers to holistic automation adoption within your organization. Coverage includes automation goal setting, common myths, how to unite teams and training, and scaling automation across the business.
Posted: 22 Apr 2024 | Published: 22 Apr 2024

Red Hat

Computer Weekly – 19 December 2023: The ransomware threat to UK critical infrastructure
sponsored by TechTarget ComputerWeekly.com
EZINE: In this week's Computer Weekly, a parliamentary report warns that a lack of ransomware preparedness at the highest levels of government is leaving UK critical national infrastructure dangerously exposed – we analyse the risks. We also examine how AI tools are helping to enhance cloud security. Read the issue now.
Posted: 18 Dec 2023 | Published: 19 Dec 2023

TechTarget ComputerWeekly.com

Employees are Choosing How They Work
sponsored by Dell Technologies and Intel
EGUIDE: Read this e-book to gain guidance on how to establish an employee-centric digital workplace, including must-see security considerations for which everyone is responsible.
Posted: 10 May 2023 | Published: 10 May 2023

TOPICS:  IT Management
Dell Technologies and Intel

Inclusion = everyone: Expert advice for improving tech diversity
sponsored by TechTarget ComputerWeekly.com
WHITE PAPER: At the Computer Weekly diversity in tech event, experts proposed a 15-point plan to improve diversity and inclusion across the industry. Suggestions focused on getting people into the sector and keeping them there. Download the full report here.
Posted: 02 Mar 2023 | Published: 03 Mar 2023

TechTarget ComputerWeekly.com