Computerwissenschaften - Programmiersprachen

Modulares Design verbessert die Effizienz und Skalierbarkeit der Programmsynthese.

SEER automatisiert effizientes Hardwaredesign aus hochgradig softwarebasierten Programmen.

In diesem Artikel geht's darum, wie man das Lernen von KI durch höherwertige Abstraktionen effizienter machen kann.

Eine neue Programmiersprache konzentriert sich auf Dimensionen, um wissenschaftliche Modelle zu verbessern.

WasmFX bietet neuen Tools für Entwickler, um fortgeschrittene Programmierfunktionen in WebAssembly zu verwalten.

Ein frischer Ansatz, der ICL und Code-Generierung kombiniert für bessere Vorhersagen.

Neuer Tokenizer verbessert die Leistung von Sprachmodellen für Hochleistungsrechnen.

Diese Arbeit stellt innovative Techniken vor, um komplexe reaktive Programme effektiv zu managen.

Ein neuer Ansatz verbessert datengestützte Koordinationssprachen für bessere Leistung.

Tau Prolog erlaubt es, Prolog-Code problemlos in Web-Umgebungen auszuführen.

Lern, wie die Umstrukturierung von Deep-Learning-Code die Leistung durch Automatisierung verbessert.

Ein neuer DSL verbessert das Hardware-Design und die Verifizierung und steigert die Produktivität und Genauigkeit.

Ein Leitfaden zu Tydis Spezifikationen für verbesserte Datenübertragung im Design.

Eine Studie über die Gemeinsamkeiten und Unterschiede zwischen Programmiersprachen in Sprachmodellen.

Ein Blick auf Tools, die Rust-Entwicklern bei der Versionsverwaltung helfen.

AskIt vereinfacht die LLM-Integration in Softwareprojekten, steigert die Effizienz und verkürzt den Code.

Ein Blick darauf, wie VeriFast die Verifizierung von C-Programmen mit formalen Systemen verbessert.

Dieses System kombiniert Python und Prolog für eine reibungslose Funktionalität.

Dieser Artikel bewertet Benchmarks zur Einschätzung von Sprachen, die Logikregeln integrieren.

Ein Blick darauf, wie man Sitzungstypen nutzt, um die Programmkommunikation zu sichern.

Eine Studie zeigt, dass Programmiersprachen die Leistung anderer in der Codegenerierung verbessern können.

Ein Blick auf Model-Checking zur Programmbestätigung bei komplexen Verhaltensweisen.

Dieser Artikel bespricht wichtige Ideen in Syntax, Semantik und deren Anwendungen.

Wichtige Schritte, um anonyme Einreichung und faire Begutachtung von Arbeiten zu gewährleisten.

Dieses Papier untersucht den Einfluss der Multirole-Logik auf logische Operationen und Kommunikationssysteme.

Lerne Methoden, um Worst-Case-Szenarien für nebenläufige Programme zu erstellen.

Ein Blick auf Gradierungen und ihre Rolle beim Management von Berechnungseffekten in Monaden.

LoopTune optimiert maschinelles Lernen-Code mit tiefem Verstärkungslernen für bessere Leistung.

Ein neuer Ansatz vereinfacht die Verifikation für nebenläufige Programme über verschiedene Speicherarchitekturen hinweg.

Ein frischer Ansatz, um sicherzustellen, dass gemischte Quanten- und klassische Programme korrekt sind.

Erfahre, wie verifizierte APIs die Zuverlässigkeit und Leistung von SDN verbessern.

Ein neuer Algorithmus optimiert die R1CS-Darstellung für mehr Klarheit und Effizienz bei ZKP.

Eine Methode, um Anwendungsnachrichten für Sicherheit und Zuverlässigkeit zu verfolgen.

Ein Blick darauf, wie man Vertraulichkeit und Integrität in Programmiersprachen verwaltet.

Eine neue Methode zum Unterrichten der Ownership-Konzepte von Rust verbessert das Verständnis der Lernenden.

Dieser Artikel handelt von einer neuen Programmiersprache für einfacheres property-basiertes Testen.

Die Herausforderungen, mit denen Entwickler beim Trait-System von Rust und den Fehlermeldungen konfrontiert sind, erkunden.

Dieser Artikel vergleicht Llama-2 und GPT-3 beim Generieren von HPC-Code.

LLMs verbessern die Softwareleistung und Effizienz bei der Code-Optimierung.

Erforschen, wie Datentypen Programmierung und Codekorrektheit beeinflussen.