„Systems Programming“

Suchergebnisse

10.000+ Treffer

• Critical Factors Affecting Medical Treatment Loyalty Based on Taiwan’s Framework of Age-Friendly Hospitals: A Regional Hospital Case Study of Taiwan
  Shih, Yin-Ju ; Huang, Kuan-Kai ; Wu, Hsin-Hung
• Property-based testing of web services by deriving properties from business-rule models
  Aichernig, Bernhard K. ; Schumi, Richard
• An approach for guiding developers in the choice of security solutions and in the generation of concrete test cases
  Salva, Sébastien ; Regainia, Loukmen
• The MORPHEUS Heterogeneous Dynamically Reconfigurable Platform
  Grasset, Arnaud ; Millet, Philippe ; Bonnot, Philippe ; Yehia, Sami ; Putzke-Roeming, Wolfram ; Campi, Fabio ; Rosti, Alberto ; Huebner, Michael ; Voros, Nikolaos S. ; Rossi, Davide ; Sahlbach, Henning ; Ernst, Rolf
• Semat—Three Year Vision
  Jacobson, Ivar ; Huang, Shihong ; Kajko-Mattsson, Mira ; McMahon, Paul ; Seymour, Ed
• A fully abstract semantics for causality in the $\pi$ -calculus
  Boreale, Michele ; Sangiorgi, Davide
• OPM vs. UML--Experimenting with Comprehension and Construction of Web Application Models
  Reinhartz-Berger, Iris ; Dori, Dov
• Analytical performance assessment and high-throughput low-latency spike routing algorithm for spiking neural network systems
  Vu, Huy-The ; Okuyama, Yuichi ; Abdallah, Abderazek Ben
• Nonlinear transformations of stochastic processes
  Skorokhod, A. V.
• Correlation indicators of microchanges in technical states of control objects
  Aliev, T. A. ; Guluyev, G. A. ; Rzayev, A. H. ; Pashayev, F. H.
• A logic-based approach to program flow analysis
  Sagiv, Mooly ; Francez, Nissim ; Rodeh, Michael ; Wilhelm, Reinhard
• An extensible approach to implicit incremental model analyses
  Hinkel, Georg ; Heinrich, Robert ; Reussner, Ralf
• On Implementing the Push-Relabel Algorithm on Top of Pregel
  Sato, Shigeyuki
• Um wirklich Informatiker zu sein, genügt es nicht, Informatiker zu sein
  Kornwachs, Klaus
• Inertial Hybrid Splitting Methods for Operator Inclusion Problems*
  Semenov, V. V.
• Chebyshev Approximation by the Sum of the Polynomial and Logarithmic Expression with Hermite Interpolation
  Malachivskyy, P. S. ; Pizyur, Ya. V. ; Andrunyk, V. A.
• Enhanced Co-Scheduling: A Software Pipelining Method Using Modulo-Scheduled Pipeline Theory
  Govindarajan, R. ; Rao, N. S. S. Narasimha ; Altman, E. R. ; Gao, Guang R.
• Block-Diagonal Approach to Non-Negative Factorization of Sparse Linguistic Matrices and Tensors of Extra-Large Dimension Using the Latent Dirichlet Distribution
  Anisimov, A. V. ; Marchenko, O. O. ; Nasirov, E. Ì
• The influence of e-business alliance network on E-business firm’s performance: An exploratory study
  Mishra, Vishal
• Quo vadis europäische Energiewirtschaft?
  Haider, H.