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
Cybersecurity
Project Management
Artificial Intelligence
Extreme Geological Events
Direct Tax Laws and Practice
Machine Learning Foundations: A Case Study Approach
Organize and share your learning with Class Central Lists.
View our Lists Showcase
Présentation d'un cadre pour restreindre les fonctionnalités d'OCaml afin d'automatiser efficacement la notation d'exercices de programmation à grande échelle, avec des considérations de sécurité.
Explora cómo las pruebas basadas en propiedades pueden complementar la verificación formal, utilizando el marco de verificación de Cogent como ejemplo práctico.
Presenta una gramática gradual para definir sintaxis en niveles y locales, permitiendo extensión progresiva e internacionalización de lenguajes de programación y DSLs.
Explora la semántica de los plurales en lenguajes de expresión, teoría de conjuntos y programación, examinando su integración y las implicaciones para el modelado y la programación.
jGuard: Eine Java-Erweiterung zur Programmierung missbrauchsresistenter APIs. Ermöglicht API-Designern, Spezifikationen direkt im Code zu kodieren, um häufige Fehler zu verhindern und die Benutzerfreundlichkeit zu verbessern.
Mecanismo para explorar resultados de análisis de programas interactivamente en términos del código fuente, utilizando localizadores de nodos para mapear entre fragmentos de código y nodos de representación.
Propone LLOOP para reducir brechas de abstracción en máquinas virtuales. Presenta implementación en Pharo y herramientas para solucionar errores críticos a nivel de VM, facilitando el desarrollo de herramientas.
Exploración de Virgil como lenguaje de programación de sistemas, su diseño, características y aplicaciones en la implementación de motores de WebAssembly.
Optimización offline guiada por perfiles de grafos de clases ocultas para máquinas virtuales JavaScript en sistemas embebidos, mejorando el rendimiento y uso de memoria.
Presents a compiler design for efficient sparse tensor algebra, introducing sparse workspaces to optimize scattering operations and memory usage, with performance improvements up to 27.12× faster than previous methods.
Descend: Eine sichere GPU-Programmiersprache mit Speichersicherheitsgarantien durch Ownership und Lifetimes. Neues hierarchisches Programmiermodell für effiziente und fehlerfreie GPU-Nutzung.
BatchIt: A novel optimization for message-passing allocators, enhancing performance in producer-consumer workloads through batched remote deallocations, reducing contention and improving efficiency.
Efficient memory management for immutable data structures with cycles using reference counting and strongly connected components, without sacrificing promptness or determinism.
システムは、NORフラッシュメモリを使用して仮想メモリを提供し、ガベージコレクションと転送ビット技術を活用して、マイクロコントローラの限られたメモリを効率的に管理します。実験では、フラッシュメモリの消去回数を90%削減し、実行速度を4倍向上させました。
Improved approximation for interleaved Dyck reachability in static analysis, offering higher precision through refined CFLs and on-demand application. Significant accuracy gains demonstrated in experiments.
Get personalized course recommendations, track subjects and courses with reminders, and more.