„Programming Language.“

Suchergebnisse

8.545 Treffer

• The impact of domain knowledge on the effectiveness of requirements engineering activities
  Niknafs, Ali ; Berry, Daniel
• Stochastic actor-oriented modeling for studying homophily and social influence in OSS projects
  Kavaler, David ; Filkov, Vladimir
• Automata, languages and programming
  2011 Springer
• Automata, languages and programming
  2011 Springer
• An imperative language for task level programming – definition in temporal logic
  Rutten, Eric ; Marcé, Lionel 1991 GMD
• Functional programming languages for verification tools: a comparison of Standard ML and Haskell
  Leucker, Martin ; Noll, Thomas ; Stevens, Perdita ; Weber, Michael
• A SDN-based distributed mobility management in LTE/EPC network
  Kim, Yong-hwan ; Lim, Hyun-kyo ; Kim, Kyoung-han ; Han, Youn-Hee
• Cellular Automata as the basis of effective and realistic agent-based models of crowd behavior
  Lubaś, Robert ; Wąs, Jarosław ; Porzycki, Jakub
• Guest editorial: special section on software reverse engineering
  Robbes, Romain ; Oliveto, Rocco ; Penta, Massimiliano Di
• Evaluation and design of function for tracing diffusion of classified information for file operations with KVM
  Fujii, Shota ; Sato, Masaya ; Yamauchi, Toshihiro ; Taniguchi, Hideo
• Distributed RDF store for efficient searching billions of triples based on Hadoop
  Um, Jung-Ho ; Lee, Seungwoo ; Kim, Tae-Hong ; Jeong, Chang-Hoo ; Song, Sa-Kwang ; Jung, Hanmin
• Anonymous paperless secure payment system using clouds
  Veeraraghavan, Prakash ; Almuairfi, Sadiq ; Chilamkurti, Naveen
• Simulated smart phone recordings for audio identification
  You, Shingchern D. ; Lin, Yu-Chu
• Design of a high-efficient MSD adder
  Peng, Junjie ; Shen, Rong ; Ping, Xianshun
• Implications of shallower memory controller transaction queues in scalable memory systems
  Marino, Mario D. ; Li, Kuan-Ching
• Speaker diarization method of telemarketer and client for improving speech dictation performance
  Jung, Dahae ; Bae, Min-Kyoung ; Choi, Man Yong ; Lee, Eui Chul ; Joung, Jinoo
• Hybrid app security protocol for high speed mobile communication
  Lee, Seoung-Hyeon ; Kim, Young-Hyuk ; Lee, Jae-Kwang ; Lee, Deok Gyu
• Relative weight comparison between virtual key factors of cloud computing with analytic network process
  Choi, Cheol-Rim ; Jeong, Hwa-Young ; Park, Jong Hyuk ; Jang, Haeng Jin ; Jeong, Young-Sik
• NTB branch predictor: dynamic branch predictor for high-performance embedded processors
  Do, Cong Thuan ; Choi, Hong Jun ; Son, Dong Oh ; Kim, Jong Myon ; Kim, Cheol Hong
• Automatic Task-Based Code Generation for High Performance Domain Specific Embedded Language
  Tran Tan, Antoine ; Falcou, Joel ; Etiemble, Daniel ; Kaiser, Hartmut