Computerwissenschaften - Software-Entwicklung

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.

Grosse Sprachmodelle nutzen, um die Seed-Generierung für Fuzzing im Software-Testen zu verbessern.

Lern was über Micro-Frontends, ihre Vorteile und gängige Herausforderungen.

Lerne, wie du Sicherheits-Codegerüche in JavaScript erkennen und beheben kannst.

Lern, wie smarte Systeme komplexe Daten effizient organisieren.

Ein neues Werkzeug kombiniert LLMs und formale Verifizierung für sicherere Codeerstellung.

Methoden zur Überprüfung von Quanten-Schaltungen sorgen dafür, dass sie richtig und zuverlässig funktionieren.

Ein neues Verfahren hilft Entwicklern, Co-Change-Beziehungen in Software effektiver zu verwalten.

Die Grenzen von LLMs beim Erzeugen von zuverlässigem Infrastructure as Code erkunden.

Untersuchung der Energieeffizienz und Genauigkeit in KI-Coding-Modellen für Entwickler.