„Systems Programming“

Suchergebnisse

10.000+ Treffer

• Quantitative analysis of some tendencies in the development of operations research and mathematical economics
  Kozachkov, L. S. ; Khursin, L. A. ; Shor, N. Z.
• Zukünftige Lösungen für die automatische Regelung des Kompensationsgrades sternpunktkompensierter Netze
  Leikermoser, A. ; Weniger, M.
• SAT-based explicit LTL reasoning and its application to satisfiability checking
  Li, Jianwen ; Zhu, Shufang ; Pu, Geguang ; Zhang, Lijun ; Vardi, Moshe Y.
• Flooding disaster resilience information framework for smart and connected communities
  Kumar, Sathish A. P. ; Bao, Shaowu ; Singh, Vivek ; Hallstrom, Jason
• From the guest editors
  Hwu, Wen-Mei ; Nicolau, Alex
• Profiling the publish/subscribe paradigm for automated analysis using colored Petri nets
  Gómez, Abel ; Rodríguez, Ricardo J. ; Cambronero, María-Emilia ; Valero, Valentín
• Learning with the AppInventor programming software through the use of structured educational scenarios in secondary education in Greece
  Seralidou, Eleni ; Douligeris, Christos
• Informatik als Grundbildung – Teil III: Gleichheit und Abstraktion
  Wedekind, H. ; Ortner, E. ; Inhetveen, R.
• On the suitability of Biological structure determination by electron microscopy to Grid Computing
  Fernandez, Jose-Jesus ; Bilbao-Castro, Jose-Roman ; Marabini, Roberto ; Carazo, Jose-Maria ; Garcia, Inmaculada
• Deadlock-free message routing in multicomputer networks
  Hilbers, Peter A. J. ; Lukkien, Johan J.
• Parallel integer sorting and simulation amongst CRCW models
  Saxena, Sanjeev
• Evaluating the impact of an agile transformation: a longitudinal case study in a distributed context
  Korhonen, Kirsi
• The densest coverage of a strip by figures of complex geometric shape. I
  Glushko, A. G. ; Rvachev, V. L. ; Stoyan, Yu. G.
• A Cooperative Heterogeneous Vehicular Clustering Mechanism for Road Traffic Management
  Ahmad, Iftikhar ; Noor, Rafidah Md ; Zaba, Muhammad Reza ; Qureshi, Muhammad Ahsan ; Imran, Muhammad ; Shoaib, Muhammad
• Efficient elicitation of software configurations using crowd preferences and domain knowledge
  Gonzalez-Fernandez, Yasser ; Hamidi, Saeideh ; Chen, Stephen ; Liaskos, Sotirios
• Der zeitgemäße Schutz von Pumpspeicherkraftwerken
  Boulasikis, N. ; Wagner, G.
• Renewal of the Major Fields from New Generation Computing Vol. 37 (2019)
  Numao, Masayuki ; Matsuo, Yutaka ; Ohara, Kouzou ; Toriumi, Fujio
• Metric-centered and technology-independent architectural views for software comprehension
  Mendivelso, Luis F. ; Garcés, Kelly ; Casallas, Rubby
• Laufzeitdynamische Evaluierung tabellarischer Daten
  Weihe, Karsten
• Solution of a General Linear Complementarity Problem Using Smooth Optimization and Its Application to Bilinear Programming and LCP
  Fernandes, L. ; Friedlander, A. ; Guedes, M. ; Júdice, J.