„Operating systems“

Suchergebnisse

10.000+ Treffer

• Tools and algorithms for the construction and analysis of systems: a special issue for TACAS 2017
  Legay, Axel ; Margaria, Tiziana
• A study into the practice of reporting software engineering experiments
  Cerqueira Revoredo, Kate ; Djurica, Djordje ; Mendling, Jan
• Pure Functions in C: A Small Keyword for Automatic Parallelization
  Süß, Tim ; Nagel, Lars ; Vef, Marc-André ; Brinkmann, André ; Feld, Dustin ; Soddemann, Thomas
• Towards a smarter directional data aggregation in VANETs
  Allani, Sabri ; Yeferny, Taoufik ; Chbeir, Richard ; Yahia, Sadok Ben
• Validation of the ABZ landing gear system using ProB
  Ladenberger, Lukas ; Hansen, Dominik ; Wiegard, Harald ; Bendisposto, Jens Marco ; Leuschel, Michael
• Combining usage-based and model-based testing for service-oriented architectures in the industrial practice
  Herbold, Steffen ; Harms, Patrick ; Grabowski, Jens
• Inferring physical units in formal models
  Krings, Sebastian ; Leuschel, Michael
• Evaluation of lightning location data employing measurements of direct strikes to a radio tower
  Diendorfer, G. ; Hadrian, Wolfgang ; Hofbauer, F. ; Mair, M. ; Schulz, W.
• metaSMT: focus on your application and not on solver integration
  Riener, Heinz ; Haedicke, Finn ; Frehse, Stefan ; Soeken, Mathias ; Große, Daniel ; Drechsler, Rolf ; Fey, Görschwin
• Topological influence and locality in swap schelling games
  Bilò, Davide ; Bilò, Vittorio ; Lenzner, Pascal ; Molitor, Louise
• Teach Yourself VISUALLY OS X El Capitan
  McFedries, Paul 2015 John Wiley & Sons
• Spatiotemporal data management and analytics for recommender systems
  Shang, Shuo ; Zhang, Xiangliang ; Kalnis, Panos
• Künstliche Intelligenz
  Furbach, Ulrich
• Introduction: special issue on parallel and distributed evolutionary algorithms, part I
  Tomassini, Marco ; Vanneschi, Leonardo
• Editorial Themenheft Digitale Landwirtschaft
  Ludwig, Thomas ; Squar, Jannek
• Editorial to the special issue on Infrastructure
  Mahalingam, Ashwin
• Editorial introduction to the special issue on developmental systems
  Hornby, Gregory S. ; Kumar, Sanjeev ; Jacob, Christian
• In this issue
  Briand, Lionel ; Basili, Vic
• Softwareindustrialisierung: Auf dem Wege zum Qualitätsmanagement
  Bode, Arndt
• Editorial for March 2022 issue
  Lodha, Sachin P.