„Systems Programming“

Suchergebnisse

10.000+ Treffer

• Design of a digitally controlled oscillator for a Delta-Sigma phase-locked loop in a 0.13 µm CMOS-process
  Unterassinger, H. ; Flatscher, M. ; Herndl, Th ; Jongsma, J. ; Pribyl, W.
• Correct-by-construction model-based design of reactive streaming software for multi-core embedded systems
  Gioulekas, Fotios ; Poplavko, Peter ; Katsaros, Panagiotis ; Bensalem, Saddek ; Palomo, Pedro
• Panorama
• Heterogeneous parallel_for Template for CPU–GPU Chips
  Navarro, Angeles ; Corbera, Francisco ; Rodriguez, Andres ; Vilches, Antonio ; Asenjo, Rafael
• Measurement of thermal behavior of an ester-filled power transformer at ultra-low temperatures
  Bachinger, Florian ; Hamberger, Peter
• Exploiting practical limitations of UML diagrams for model validation and execution
  Steimann, Friedrich ; Vollmer, Heribert
• Optimal Noise-Immune Genetic Codes
  Sergienko, I. V. ; Biletskyy, B. A. ; Gupal, A. M. ; Gupal, M. A.
• The π-Calculus in Direct Style
  Boudol, Gérard
• The impact of feature reduction techniques on defect prediction models
  Kondo, Masanari ; Bezemer, Cor-Paul ; Kamei, Yasutaka ; Hassan, Ahmed E. ; Mizuno, Osamu
• Category-theoretic fibration as an abstraction mechanism in information systems
  Colomb, Robert M. ; Dampney, C.N.G ; Johnson, Michael
• HARE: History-Aware Adaptive Routing Algorithm for Endpoint Congestion in Networks-on-Chip
  Jin, Kang ; Li, Cunlu ; Dong, Dezun ; Fu, Binzhang
• An upper bound of radio k-coloring problem and its integer linear programming model
  Badr, Elsayed M. ; Moussa, Mahmoud I.
• Incremental column-wise verification of arithmetic circuits using computer algebra
  Kaufmann, Daniela ; Biere, Armin ; Kauers, Manuel
• Reversible Computing: Foundations and Software – Preface of Special Issue
  Glück, Robert ; Yokoyama, Tetsuo
• Towards understanding and detecting fake reviews in app stores
  Martens, Daniel ; Maalej, Walid
• EMC awareness for multi chip modules
  Loipold, G. ; Deutschmann, B.
• Process improvement: an alternative to BPR for software development organizations
  Gasston, J. L.
• Verteilnetze bestimmen die Versorgungsqualität
  Spitzl, W.
• Science news
• Improving the Performance of Distributed MXNet with RDMA
  Li, Mingfan ; Wen, Ke ; Lin, Han ; Jin, Xu ; Wu, Zheng ; An, Hong ; Chi, Mengxian