SAT

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

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

WHITE PAPER: Explore some of the key challenges organizations are facing when it comes to IT modernization. You'll also find out what technology choices are being used to solve them, including converged infrastructure, data lakes, cybersecurity tools, and more.

Posted: 16 May 2019 | Published: 16 May 2019

ESSENTIAL GUIDE: Of all the recent developments in the IT operations sphere, automated root cause analysis is one that has many enterprises salivating. But despite the obvious interest around AIOps, many IT monitoring vendors are hesitant about jumping on the bandwagon. Keep reading to hear what you could stand to gain from AIOps.

Posted: 03 May 2019 | Published: 02 May 2019

CASE STUDY: Any large, global team of developers needs an easy way to find code, collaborate effectively, and even reuse code where possible during development – easier said than done. Read this case study to see how one large development team has used GitHub for version control and code management.

Posted: 10 May 2019 | Published: 10 May 2019

CASE STUDY: Developing software faster than ever before is top of mind for every business right now, but that's usually easier said than done, especially when development teams are located around the world and struggle to collaborate effectively. Take a look at this case study to learn why Societe Generale chose GitHub Server for version control.

Posted: 09 May 2019 | Published: 09 May 2019

WHITE PAPER: It's time to move IT beyond the traditional "better, faster, cheaper — pick any two" conundrum. With the help of AI, virtual agents, and machine learning, organizations can tap into these technological innovations to improve operations across all three variables. Read this ebook to learn how.

Posted: 29 Apr 2019 | Published: 20 Apr 2019

WHITE PAPER: Inside, find a list of five reasons to consider a virtual support agent, including improved service user experiences, increased automation opportunities, and more.

Posted: 03 May 2019 | Published: 03 May 2019

EGUIDE: In this infographic, we shine a light on our 2019 IT Priorities survey results. Discover what IT departments are investing in and how much budgets are increasing by. Taken from a study of 222 respondents from across the United Kingdom and Ireland.

Posted: 20 May 2019 | Published: 20 May 2019

WEBCAST: There are actually 6 key technologies any development team will need to help them be their most productive, with the first three being configuration management, containers, and code and binary management. Open this article to learn about the next three, and more about setting development teams up for success with key technologies.

Posted: 08 May 2019 | Premiered: May 8, 2019