„Systems Programming“

Suchergebnisse

10.000+ Treffer

• NEWS
• Synthesis of logical multiport devices with prescribed dynamics of output processes
  Levin, V. I.
• Synthesis of polylogical elements
  Vishnevskii, A. P.
• Glances, glares, and glowering: how should a virtual human express emotion through gaze?
  Lance, Brent ; Marsella, Stacy
• Energietechnik und Innovationen für die Klimastrategie – 56. Fachtagung der Österreichischen Gesellschaft für Energietechnik im OVE
  Popelka, Herbert ; Dorfmeister, Karl
• On rapid releases and software testing: a case study and a semi-systematic literature review
  Mäntylä, Mika V. ; Adams, Bram ; Khomh, Foutse ; Engström, Emelie ; Petersen, Kai
• Scenario-based testing from UML/OCL behavioral models – Application to POSIX compliance
  Castillos, Kalou Cabrera ; Dadeau, Frédéric ; Julliand, Jacques
• Science news
• Counting Petri net markings from reduction equations
  Berthomieu, Bernard ; Botlan, Didier Le ; Zilio, Silvano Dal
• Themen & Autoren
• Student experience with software modeling tools
  Agner, Luciane T. W. ; Lethbridge, Timothy C. ; Soares, Inali W.
• Panorama
• Comparative Analysis of Two Approaches to Static Taint Analysis
  Belyaev, M. V. ; Shimchik, N. V. ; Ignatyev, V. N. ; Belevantsev, A. A.
• Artificial immune system (AIS)-based location management scheme in mobile cellular networks
  Biswash, Sanjay Kumar ; Sarkar, Mahasweta ; Sharma, Dhirendra Kumar
• A temperature-aware and energy-efficient fuzzy technique to schedule tasks in heterogeneous MPSoC systems
  Ekhtiyari, Zohreh ; Moghaddas, Vahidreza ; Beitollahi, Hakem
• Modelsrun.time: a guided tour of the state of the art and research challenges
  Bencomo, Nelly ; Götz, Sebastian ; Song, Hui
• On the search for industry-relevant regression testing research
  Ali, Nauman bin ; Engström, Emelie ; Taromirad, Masoumeh ; Mousavi, Mohammad Reza ; Minhas, Nasir Mehmood ; Helgesson, Daniel ; Kunze, Sebastian ; Varshosaz, Mahsa
• Preface
  Chockler, Hana ; Hu, Alan J.
• Secure data processing for IoT middleware systems
  Ayoade, Gbadebo ; El-Ghamry, Amir ; Karande, Vishal ; Khan, Latifur ; Alrahmawy, Mohammed ; Rashad, Magdi Zakria
• Spatial logics and model checking for medical imaging
  Banci Buonamici, Fabrizio ; Belmonte, Gina ; Ciancia, Vincenzo ; Latella, Diego ; Massink, Mieke