„Systems Programming“

Suchergebnisse

10.000+ Treffer

• Personal Document Management and Retrieval: A Knowledge-Based Approach
  Fan, Xien ; Ng, Peter A.
• Möglichkeiten und Grenzen von offline Diagnosemethoden zur Zustandsbeurteilung von Leistungstransformatoren
  Werle, Peter ; Hartje, Michael
• Pushdown module checking
  Bozzelli, Laura ; Murano, Aniello ; Peron, Adriano
• Space and satellite technology
  Koudelka, Otto ; Bösch, Wolfgang
• Double Merging of the Phase Space for Stochastic Differential Equations with Small Additions in Poisson Approximation Conditions
  Samoilenko, I. V. ; Nikitin, A. V.
• Panorama
• Chefredakteur Dr. Stärker legt die Feder aus der Hand – Nach 17-jähriger Tätigkeit als Chefredakteur der e&i Elektrotechnik und Informationstechnik legt Dr. Helmut Stärker die Feder aus der Hand und beginnt einen neuen Lebensabschnitt
  Ritsch, Jutta
• Tracing and Profiling Machine Learning Dataflow Applications on GPU
  Zins, Pierre ; Dagenais, Michel
• An empirical study of patch uplift in rapid release development pipelines
  Castelluccio, Marco ; An, Le ; Khomh, Foutse
• Some simple distributed algorithms for sparse networks
  Panconesi, Alessandro ; Rizzi, Romeo
• I-centric Communications
  Arbanowski, S. ; van der Meer, S. ; Steglich, S. ; Popescu-Zeletin, R.
• Relaxed balance for search trees with local rebalancing
  Larsen, Kim S. ; Ottmann, Thomas ; Soisalon-Soininen, Eljas
• Register-Aware Optimizations for Parallel Sparse Matrix–Matrix Multiplication
  Liu, Junhong ; He, Xin ; Liu, Weifeng ; Tan, Guangming
• Specification and analysis of a data transfer protocol using systems of communicating machines
  Lundy, G. M. ; Miller, Raymond E.
• Probabilistic Approach in the Problem of International Competition of Manufacturers with Random Variables
  Kosarevych, K. V. ; Yelejko, Ya. I.
• High-performance and scalable non-blocking all-to-all with collective offload on InfiniBand clusters: a study with parallel 3D FFT
  Kandalla, Krishna ; Subramoni, Hari ; Tomko, Karen ; Pekurovsky, Dmitry ; Sur, Sayantan ; Panda, Dhabaleswar K.
• Welche Technologien nutzen die Kraftwerke der Zukunft?
  Lenk, U.
• Simulation of Diversified Economic Growth
  Boichuk, M. V. ; Shmurygina, N. M.
• Evaluating guidelines for reporting empirical software engineering studies
  Kitchenham, Barbara ; Al-Khilidar, Hiyam ; Babar, Muhammed Ali ; Berry, Mike ; Cox, Karl ; Keung, Jacky ; Kurniawati, Felicia ; Staples, Mark ; Zhang, He ; Zhu, Liming
• Problem of Mathematical Data Interpretation. I. Lumped-Parameter Systems
  Gubarev, V. F.