„Systems Programming“

Suchergebnisse

10.000+ Treffer

• COP Layer Encapsulating Non-Functional Requirements for Physical Systems on Hakoniwa Environment
  Yamada, Yudai ; Ogura, Nobuhiko ; Hisazumi, Kenji ; Watanabe, Harumi 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Generative Artificial Intelligence Tool to Correct Programming Exercises
  Portela, Filipe 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Summarizing Mobile Programming Screencasts
  Khoshnoud, Fatemeh ; Moosavi, Mohammad R. ; Azouji, Neda
• Relationship Between Stochastic Maximum Principle and Dynamic Programming Principle Under Convex Expectation
  Li, Xiaojuan ; Hu, Mingshang
• Exploring undergraduates’ computational thinking and human-computer interaction patterns in generative progressive prompt-assisted programming learning
  Gong, Xin ; Xu, Weiqi ; Qiao, Ailing
• Verified Software. Theories, Tools and Experiments – 16th International Conference, VSTTE 2024, Prague, Czech Republic, October 14–15, 2024, Revised Selected Papers
  Protzenko, Jonathan ; Raad, Azalea 2025 Springer Nature Switzerland, Imprint: Springer
• Cross domain fusion for spatiotemporal applications: taking interdisciplinary, holistic research to the next level
  Renz, Matthias ; Kröger, Peer ; Koschmider, Agnes ; Landsiedel, Olaf ; Tavares de Sousa, Nelson
• High-Performance Computing Using FPGAs
  Vanderbauwhede, Wim ; Benkrid, Khaled 2013 Springer New York
• A model and workflow-driven approach for engineering domain-specific low-code platforms and applications
  Martínez-Lasaca, Francisco ; Díez, Pablo ; Guerra, Esther ; Lara, Juan ˜deœ
• Business-IT-Alignment – Gemeinsam zum Unternehmenserfolg
  Reinheimer, Stefan ; Robra-Bissantz, Susanne 2017 Springer Fachmedien Wiesbaden
• Usability und UX kompakt – Produkte für Menschen
  Richter, Michael ; Flückiger, Markus 2016 Springer Berlin Heidelberg
• Musterbasierte Parallelisierung sequenzieller Anwendungen – Konzept und Implementierung eines Verfahrens zur Softwaretransformation
  Molitorisz, Korbinian 2016 Springer Fachmedien Wiesbaden
• Architekturbasiertes IT-Alignment – Bezugsrahmen und Framework zur mehrdimensionalen und kontinuierlichen Ausrichtung von Geschäft und IT
  Kröschel, Ivonne 2016 Springer Fachmedien Wiesbaden
• Verteilte Laufzeitverifikation auf eingebetteten Systemen – Logiken und Monitorkonstruktionen für asynchrone Prozesse
  Schmitz, Malte 2016 Springer Fachmedien Wiesbaden
• Entwicklung eines skalierbaren und verteilten Datenbanksystems – Auf Basis von Apache Cassandra und SECONDO
  Nidzwetzki, Jan Kristof 2016 Springer Fachmedien Wiesbaden
• Improving SVM performance through data reduction and misclassification analysis with linear programming
  Suárez, Carlos Aníbal ; Castro, Mauricio ; Leon, Mariuxi ; Martin-Barreiro, Carlos ; Liut, Michael
• Erratum zu: Schutz in Netzen mit leistungselektronischer Einspeisung – Betrachtungen zu Einflussgrößen auf die Distanzmessung von Distanzschutzgeräten
  Gererstorfer, Christian ; Stukelj, Simon ; Stix, Georg ; Gawlik, Wolfgang
• Admittance Control for Reducing Human Physical Effort in Robot Programming through Motion Guidance
  Yepes, Rosmer Hasan ; Rengifo, Carlos Felipe ; García, Cecilia Elisabet
• Constraint Programming for Automatic User Interface Construction
  Lozov, P. A. ; Kosarev, D. S. ; Boulytchev, D. Yu
• A Novel General Feature Enhancement Method Based on Genetic Programming for Improving RF Circuit Fault Diagnosis Using Machine Learning
  Wu, Kunping ; Long, Bing ; Bu, Zhiyuan ; Wang, Jingyuan ; Liu, Zhen