SAT Reports

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

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

Video: IT Priorities 2023 APAC
sponsored by TechTarget ComputerWeekly.com
VIDEO: Over half of respondents in this year's IT Priorities study have bigger IT budgets as they continue to make strategic investments in cyber security, cloud and automation. In this video, hear from TechTarget's APAC editor in chief on the top priorities of organisations and the major tech trends that are shaping IT buying decisions in the region.
Posted: 30 Mar 2023 | Premiered: 30 Mar 2023

TechTarget ComputerWeekly.com

Improving Operations with IT Automation
sponsored by Insight
VIDEO: With the help of automation, organizations can overcome these challenges for a variety of benefits. In this video, learn how offloading repeatable tasks from IT teammates can unleash strategic work and innovation for your business.
Posted: 15 Feb 2024 | Premiered: 15 Feb 2024

Insight

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 – 16 May 2023: Microsoft and Google go into battle for enterprise AI
sponsored by TechTarget ComputerWeekly.com
EZINE: In this week's Computer Weekly, as developments in generative AI accelerate, Microsoft and Google have each unveiled plans around enterprise applications. Nobody doubts the importance of digital transformation – but experts say it won't work without cultural change as well. Read the issue now.
Posted: 12 May 2023 | Published: 16 May 2023

TechTarget ComputerWeekly.com

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

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

Unlock Endless Possibilities with Easy to Use AI Tools
sponsored by Slack
WHITE PAPER: Enable smarter and more secure collaboration with simple access to AI-powered time-savers.
Posted: 20 Nov 2023 | Published: 20 Nov 2023

TOPICS:  IT Management
Slack

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