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
Explora cómo enriquecer los demostradores de teoremas interactivos con ayudas visuales, abordando el desafÃo de diseñar lenguajes declarativos para plantillas de diagramas componibles.
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.
Explora una DSL para computaciones basadas en pila con listas heterogéneas, garantizando tipos correctos y múltiples vistas para funciones recursivas de aridades arbitrarias.
Explore Bayesian inference techniques and probabilistic programming concepts with expert Hong Ge. Learn practical applications and advanced methodologies in this comprehensive talk.
Exploración de razonamiento mediante transformaciones semánticas en programación, presentada en la conferencia LAFI'24 de ACM SIGPLAN.
Explore complex concurrency patterns in code bases, examining challenging examples that push the boundaries of theoretical understanding and practical implementation.
Explora cómo la ejecución en orden captura todos los comportamientos de memoria débil, analizando sus implicaciones en el diseño de sistemas y programación concurrente.
Exploración de los efectos de la memoria débil en la fiabilidad y seguridad de los sistemas, analizando su impacto real y considerando posibles explicaciones alternativas.
Explora cómo los modelos de memoria débil en hardware moderno exigen pruebas de compiladores basadas en modelos para detectar errores en programas concurrentes compilados.
Get personalized course recommendations, track subjects and courses with reminders, and more.