„Systems Programming“

Suchergebnisse

10.000+ Treffer

• Probabilistic reachability for parametric Markov models
  Hahn, Ernst Moritz ; Hermanns, Holger ; Zhang, Lijun
• Helmut Stärker — würdige Pensionierung nach verdienst-vollem Wirken – Beleuchtet aus der Sicht der Technischen Universitäten und der Schriftleitung der e&i
  Weinmann, Alexander
• Optimal control of a concentrated system on the class of piecewise constant functions under uncertainty in the parameters and initial conditions
  Aida-zade, K. R. ; Rahimov, A. B.
• Automated model generation for performance engineering of building automation networks
  Ploennigs, Joern ; Neugebauer, Mario ; Kabitzsch, Klaus
• Fast timing-based algorithms
  Alur, Rajeev ; Taubenfeld, Gadi
• Überwachung und Symmetrierung von Energiespeichern in Traktionssystemen
  Glasl, Markus
• A special Issue Dedicated to the Memory of Koichi Furukawa: a Note from the Editors
  Numao, Masayuki
• A method for dynamic simulation of differential equations
  Borkovskii, B. A.
• Firmen & produkte
• A New Approach to Solving Equivalence Problem
  Podlovchenko, R. I. ; Khachatryan, V. E.
• An Inverse Problem for Anomalous Diffusion Equation with Bi-Ordinal Hilfer’s Derivative
  Bulavatsky, V. M.
• Mitteilungen der Gesellschaft für Informatik 256. Folge
• Rational solutions of linear difference equations: Universal denominators and denominator bounds
  Abramov, S. A. ; Gheffar, A. ; Khmelnov, D. E.
• The “L'vov” information control system: A brief description
  Skurikhin, V. I. ; Shkurba, V. V. ; Kuznetsov, V. K. ; Skosyrev, N. A.
• Konzepte und Implementierungsaspekte anwendungsorientierten Archivierens in Datenbanksystemen
  Schaarschmidt, R. ; Bühnert, K. ; Herbst, A. ; Küspert, K. ; Schindler, R.
• eEDS — open specifications facilitate European academic exchange
  Dahn, I.
• Randomized dining philosophers without fairness assumption
  Duflot, Marie ; Fribourg, Laurent ; Picaronny, Claudine
• Investigating the effectiveness of peer code review in distributed software development based on objective and subjective data
  dos Santos, Eduardo Witter ; Nunes, Ingrid
• Selected papers from PRIMA ’99: The Second Pacific Rim International Workshop on Multi-Agents
  Nakashima, Hideyuki
• Multi-Authority-Based File Hierarchy Hidden CP-ABE Scheme for Cloud Security
  Sandhia, G. K. ; Kasmir Raja, S. V. ; Jansi, K. R.