System programming language

About
Privacy
Disclaimer

Graph Chatbot

Related lectures (32)

Page 3 of 4

Introduces algorithms as problem-solving procedures, covering complexity, correctness, and implementation in various languages.

Challenges in IoT Era

Covers IoT security challenges, cyber-physical attacks, and global attack surfaces.

An Introduction to Iris: Higher-Order Concurrent Separation Logic

Introduces Iris, a logical framework for reasoning about safety and correctness of concurrent higher-order imperative programs, emphasizing its unique characteristics and applications.

Scientific Computing Essentials

Covers algorithmic thinking, Python programming, numerical methods, and essential computing concepts for scientific computing.

Propositions as Types: Logic and Programming Correspondence

Explores the relationship between logic proofs and programming evidence through the Curry-Howard Correspondence.

Computer Architecture: Fibonacci Sequence

Covers the basics of computer architecture through building a machine for calculating the Fibonacci sequence in binary.

Understanding Software

Covers the definition, types, and building process of software, including system software and applications.

Dynamic Memory Management: Using Realloc in C

Explains dynamic memory allocation in C, focusing on the realloc function and its implications for managing memory effectively.

Introduction to LabVIEW Programming

Covers the basics of LabVIEW programming, focusing on Virtual Instruments and their applications in engineering projects.

Compiling with Branch Destination Parameters

Covers translating program fragments, switch statements, and break statements in programming languages.