Computerwissenschaften - Software-Entwicklung

Cuvis.ai macht hyperspektrale Bildgebung für jeden einfach und zugänglich.

Eine neue Methode verbessert Codierungsmodelle mit selbstgenerierten Tests.

HULA verbessert das Codieren, indem es menschliches Feedback in den Entwicklungsprozess integriert.

Eine neue Methode verbessert die Sicherheit des Codes, der von Sprachmodellen erzeugt wird.

Lern, wie Entwickler Bugs effektiv finden und beheben.

Lerne, wie man aus kompliziertem Code klare Softwaremodelle erstellt.

Eine klare Aufschlüsselung der Komponenten von Sprachmodellen und deren Rollen.

Die Auswirkungen von technischem Schulden auf Softwareprojekte und Wartung erkunden.

Finde raus, wie formale Methoden die Zuverlässigkeit von Software verbessern und dabei helfen, Bugs frühzeitig zu entdecken.

Ein Blick auf die Testmethoden für Software in selbstfahrenden Autos.

SpecTool bringt Klarheit in LLM-Fehlern bei der Nutzung von Tools.

Gaze2AOI automatisiert die Bereichsmarkierung in Videos mit Hilfe von Eye-Tracking-Daten.

Erfahre, wie GOOD Programmierung vereinfacht und die Softwarequalität verbessert.

Ein Blick darauf, wie Trace-Logik bei der Überprüfung von rekursiven Programmen hilft.

Bewertung der Effektivität von Sprachmodellen bei Programmieraufgaben mit neuen Benchmarks.

CodeSAM hilft, das Verständnis und die Analyse von Code aus verschiedenen Perspektiven zu verbessern.

Die Herausforderungen der autonomen Fahrzeugtechnologie meistern für eine sicherere Zukunft.

Erforsche, wie numerische Präzision Algorithmen und Entscheidungsfindung beeinflusst.

Dieses Papier behandelt die Verbesserung der Synchronisation von Schweissrobotern mithilfe von Modelltests.

Chatbots überwachen, um Missgeschicke in kritischen Umgebungen zu verhindern.

Ein neues Überwachungssystem für Roboter verbessert die Effizienz und Zuverlässigkeit.

Ein Blick darauf, wie neurodiverse Menschen Softwareentwicklungsteams beeinflussen.

Explabox macht maschinelles Lernen für alle einfacher und sorgt für Transparenz und Fairness in KI-Modellen.

Ein Blick darauf, wie OSS Technologie durch Zusammenarbeit und die Nutzung von Bibliotheken prägt.

Ein Blick darauf, wie man vorhersagen kann, wie lange Quantenprogramme zum Ausführen brauchen.

SelectQA verbessert die Geschwindigkeit und Effektivität von Softwaretests mit Techniken aus der Quantencomputing.

Forscher schauen sich an, wie Sprachmodelle komplizierte rechtliche Vereinbarungen klären können.

Klare Spezifikationen können die KI-Entwicklung verändern und die Zuverlässigkeit des Systems verbessern.

Dieser Artikel untersucht, wie KI das Schreiben von Assertions im Coding erleichtern kann.

Ein Blick auf gängige Entwicklerprobleme in hybriden Quantenanwendungen.

Ein Blick auf die Abstürze von Jupyter-Notebooks und wie man sie verhindern kann.

Ein Überblick über Software-Schwachstellen und die Modelle, die verwendet werden, um sie zu erkennen.

Ein neuer Ansatz, um Roboter schlauer und effizienter zu machen.

Erforschen, wie LLMs die Softwareerstellung verbessern und dabei Vertrauen aufrechterhalten.

Eine Studie zur Leistung von LLMs bei Software-Engineering-Aufgaben.

Lern mal was über CodeGraphNet, ne neue Methode um Software-Sicherheitslücken zu erkennen.

Untersuchen, wie die Komplexität des Codes die Sicherheit in Smart Contracts beeinflusst.

Ein Blick darauf, wie Indie-Entwickler kontinuierliche Experimente nutzen.

Feature-Factory macht es einfacher, neue Features in Software einzufügen, wodurch Entwickler Zeit und Aufwand sparen.

Wir haben zwei Szenarien untersucht, um Sicherheitstools gegen Angriffe zu entwickeln.