Courses from 1000+ universities
Class Central experiments with cataloging online courses from California Community Colleges, offering diverse, affordable, and credit-worthy learning opportunities.
600 Free Google Certifications
Communication Skills
Project Management
Web Design
Philosophy, Science and Religion: Religion and Science
Improving Communication Skills
Unlocking Information Security I: From Cryptography to Buffer Overflows
Organize and share your learning with Class Central Lists.
View our Lists Showcase
Exploratory study on multi-user program synthesis using a multi-wizard approach, examining collaborative potential and effectiveness in software engineering contexts.
Explora cómo el "Configuration diffing" aborda problemas de código de configuración declarativo, mejorando la seguridad en producción sin pruebas ni control de flujo explÃcito.
Explora cómo Ansible, un lenguaje de gestión de configuración, logra ser Turing completo utilizando solo un pequeño subconjunto de sus caracterÃsticas principales.
Propuesta de enfoque automatizado para pruebas unitarias rápidas de programas de Infraestructura como Código en lenguajes de programación, reemplazando recursos en la nube con oráculos y generadores.
Explore a novel approach combining AOT and JIT compilation for improved program execution, enhancing warm-up performance while maintaining peak efficiency in virtual machines.
Propone un mecanismo alternativo de despacho dinámico para lenguajes como Smalltalk, Ruby y Python, abordando desafÃos en hardware moderno con un rendimiento cercano al óptimo.
Beehive SPIR-V Toolkit: A Java framework for dynamic SPIR-V binary module generation, offering faster compilation and improved performance for heterogeneous hardware offloading in TornadoVM.
Apresentação da biblioteca Witter para testes white-box em algoritmos de programação introdutória, focando na análise da execução do código e comparação com soluções de referência.
Presentación sobre un libro de texto innovador que integra perspectivas humanas en la enseñanza de lenguajes de programación, con principios de diseño y análisis de necesidades estudiantiles.
Evaluación de un enfoque basado en fórmulas booleanas cuantificadas para verificar propiedades de árboles de fallas, presentando una implementación y comparándola con métodos existentes.
Explore safe bindings between Rust and SPARK languages, focusing on maintaining safety guarantees across language boundaries, applied to the BBQueue circular buffer library.
Explore formal verification of mechanical ventilators using UPPAAL. Learn how this approach enhances system reliability and correctness for critical life support equipment.
Explora cómo WebAssembly mantiene su naturaleza de bajo nivel mientras permite la ejecución eficiente de lenguajes dinámicos de alto nivel, abordando desafÃos y mecanismos adicionales necesarios.
Explorez le suivi de capture en Scala avec Martin Odersky, une technique avancée pour améliorer la sécurité et la performance des programmes Scala.
Explora el futuro de los lenguajes de programación en la era de la IA, analizando cómo deben evolucionar para satisfacer las necesidades de los agentes de programación basados en IA y los desarrolladores humanos.
Get personalized course recommendations, track subjects and courses with reminders, and more.