„computer programming“

Suchergebnisse

10.000+ Treffer

• Correction: MBFair: a model-based verification methodology for detecting violations of individual fairness
  Ramadan, Qusai ; Konersmann, Marco ; Ahmadian, Amirshayan ; Jürjens, Jan ; Staab, Steffen
• Binary search trees of almost optimal height
  Andersson, Arne ; Icking, Christian ; Klein, Rolf ; Ottmann, Thomas
• On building location aware applications using an open platform based on the NEXUS Augmented World Model
  Nicklas, Daniela ; Mitschang, Bernhard
• Constrained Motif Discovery in Time Series
  Mohammad, Yasser ; Nishida, Toyoaki
• Ein Requirements-Engineering-Referenzmodell
  Broy, Manfred ; Geisberger, Eva ; Kazmeier, Jürgen ; Rudorfer, Arnold ; Beetz, Klaus
• The development of Mellanox/NVIDIA GPUDirect over InfiniBand—a new model for GPU to GPU communications
  Shainer, Gilad ; Ayoub, Ali ; Lui, Pak ; Liu, Tong ; Kagan, Michael ; Trott, Christian ; Scantlen, Greg ; Crozier, Paul S.
• Thirteen years of SysML: a systematic mapping study
  Sint, Sabine ; Mazak, Alexandra ; Carpella, Christine ; Geist, Verena ; Wimmer, Manuel
• Software Engineering – Wurzeln, Stand und Perspektiven
  Broy, Manfred ; Rombach, Hans Dieter
• Das Blitzkugelverfahren zur Bestimmung der Blitzstromamplituden möglicher Blitzeinschläge
  Diendorfer, G. ; Hadrian, Wolfgang ; Pigler, F.
• Berufsbegleitendes Studieren an Universitäten – Ein Zukunftsfeld für die IT-Sicherheit
  Schiller, Jan ; Freiling, Felix C. ; Benenson, Zinaida ; Massonne, Werner
• Ein Hoarding-Verfahren für ortsbezogene Informationen
  Kubach, Uwe ; Rothermel, Kurt
• High-level software requirements and iteration changes: a predictive model
  Blincoe, Kelly ; Dehghan, Ali ; Salaou, Abdoul-Djawadou ; Neal, Adam ; Linaker, Johan ; Damian, Daniela
• Power measurement techniques for energy-efficient computing: reconciling scalability, resolution, and accuracy
  Ilsche, Thomas ; Schöne, Robert ; Schuchart, Joseph ; Hackenberg, Daniel ; Simon, Marc ; Georgiou, Yiannis ; Nagel, Wolfgang E.
• How diverse is your team? Investigating gender and nationality diversity in GitHub teams
  Ortu, Marco ; Destefanis, Giuseppe ; Counsell, Steve ; Swift, Stephen ; Tonelli, Roberto ; Marchesi, Michele
• Evolutionary trends of developer coordination: a network approach
  Joblin, Mitchell ; Apel, Sven ; Mauerer, Wolfgang
• Messtechnik als Grundlage für die Steigerung der Qualität und Umweltverträglichkeit technischer Produkte und Anlagen
  Osanna, Peter H. ; Slanar, G. ; Durakbasa, Numan M.
• A Parallelization Approach for Hard Real-Time Systems and Its Application on Two Industrial Programs – Strategy and Two Case Studies for the Parallelization of Hard Real-Time Systems
  Frieb, Martin ; Jahr, Ralf ; Ozaktas, Haluk ; Hugl, Andreas ; Regler, Hans ; Ungerer, Theo
• Convergence and Hybrid Information Technology – 6th International Conference, ICHIT 2012, Daejeon, Korea, August 23-25, 2012. Proceedings
  Lee, Geuk ; Howard, Daniel ; Ślęzak, Dominik ; Hong, You Sik 2012 Springer Berlin Heidelberg
• Semidefinite programming hierarchies for constrained bilinear optimization
  Berta, Mario ; Borderi, Francesco ; Fawzi, Omar ; Scholz, Volkher B.
• Synthesized and inherited functions – A new computational model for syntax-directed semantics
  Kühnemann, Armin ; Vogler, Heiko