„Systems Programming“

Suchergebnisse

10.000+ Treffer

• Stepwise Development of Process-Algebraic Specifications in Decorated Trace Semantics
  Karvi, T. ; Tienari, M. ; Kaivola, R.
• A polynomial time computable metric between point sets
  Ramon, Jan ; Bruynooghe, Maurice
• Mathematical mixed-integer programming for solving a new optimization model of selective image restoration: modelling and resolution by CHN and GA
  Joudar, Nour-eddine ; Ettaouil, Mohamed
• Template-based model generation
  He, Xiao ; Zhang, Tian ; Pan, Minxue ; Ma, Zhiyi ; Hu, Chang-Jun
• A simple denotational semantics, proof theory and a validation condition generator for unit-delay VHDL
  Breuer, Peter T. ; Fernández, Luis Sánchez ; Kloos, Carlos Delgado
• Deductive software verification
  Filliâtre, Jean-Christophe
• A dynamic programming methodology for managing prerecorded VBR sources in packet-switched networks
  McManus, Jean ; Ross, Keith W.
• Expressiveness of component-based frameworks: a study of the expressiveness of BIP
  Baranov, Eduard ; Bliudze, Simon
• Institut für Telematik (Trier) – angewandte Forschung nach Fraunhofer Ideal
  Meinel, C. ; Engel, T.
• Why does Astrée scale up?
  Cousot, Patrick ; Cousot, Radhia ; Feret, Jérôme ; Mauborgne, Laurent ; Miné, Antoine ; Rival, Xavier
• Concise version vectors in WinFS
  Malkhi, Dahlia ; Terry, Doug
• Semantic web services publication and OCT-based discovery in structured P2P network
  Si, Huayou ; Chen, Zhong ; Deng, Yong ; Yu, Lian
• To achieve the goals of e-Science, we must change research culture globally
  Chue Hong, Neil
• Achtung.Datentrickserei
  Lenz, Hans-J
• Reliability of Internet of Things: smart objects and services
  Tanganelli, Giacomo ; Curado, Marilia
• Digitalradio im Standard DAB+ in europaweitem Aufwind
  Fischer, Gernot ; Pistrol, Matthias Markus
• Elektromobilität aus der Sicht der Verteilernetzbetreiber
  Stadler, Josef
• Proof of Theorems in Fuzzy Logic Based on Structural Resolution
  Samokhvalov, Yu. Ya
• Papierlose Elektronikfertigung bei SIMEA – Siemens bietet mit den Elektronikwerken in Wien und Burgenland (seit kurzem unter dem neuen Namen SIMEA) Kompetenzzentren für die Entwicklung und Fertigung elektronischer Produkte und Systeme mit Ausrichtung auf den Weltmarkt
• Automated functional testing of mobile applications: a systematic mapping study
  Tramontana, Porfirio ; Amalfitano, Domenico ; Amatucci, Nicola ; Fasolino, Anna Rita