„network programming“

Suchergebnisse

8.178 Treffer

• Satisfiability of co-nested formulas
  Kratochvíl, Jan ; Křivánek, Mirko
• On the expected height of fringe-balanced trees
  Devroye, Luc
• Speeding up dynamic transitive closure for bounded degree graphs
  Yellin, Daniel M.
• On simplest possible solutions for Post Correspondence Problems
  Mateescu, Alexandru ; Salomaa, Arto
• Functional programming on a dataflow architecture: Applications in real-time image processing
  Sérot, Jocelyn ; Quénot, Georges ; Zavidovique, Bertrand
• On the synchronization in parallel communicating grammar systems
  Păun, Gheorghe
• OBSCURE a specification language for abstract data types
  Lehmann, Thomas ; Loeckx, Jacques
• Dynamic programming for free-time problems with endpoint constraints
  Kotsiopoulos, J. ; Vinter, R. B.
• An algebraic semantics of higher-order types with subtypes
  Qian, Zhenyu
• Proving termination of (conditional) rewrite systems – A semantic approach
  Bevers, Eddy ; Lewi, Johan
• Local Hausdorff dimension
  Jürgensen, H. ; Staiger, L.
• Prescribed teams of grammars
  PĂun, Gheorghe ; Rozenberg, Grzegorz
• Detecting morphic images of a word on the rank of a pattern
  Neraud, Jean
• Domain independence and the relational calculus
  Hull, Richard ; Su, Jianwen
• On the look-ahead problem in lexical analysis
  Yang, Wuu
• heuristics for parallel machine scheduling with delivery times
  Woeginger, Gerhard J.
• Update operations in deductive databases with functional dependencies
  Torlone, Riccardo
• Compositional refinements in multiple blackboard systems
  Chen, X. J. ; Montangero, C.
• Information theoretic approximations for theM/G/1 retrial queue
  Falin, G. I. ; Dìaz, M. Martìn ; Artalejo, J. R.
• ASTSDL: predicting the functionality of incomplete programming code via an AST-sequence-based deep learning model
  Yu, Yaoshen ; Huang, Zhiqiu ; Shen, Guohua ; Li, Weiwei ; Shao, Yichao