„Programming Languages“

Suchergebnisse

7.502 Treffer

• Lightweight mutual authentication RFID protocol for secure multi-tag simultaneous authentication in ubiquitous environments
  Kang, Jungho
• A case study on mathematical expression recognition to GPU
  Lin, Ying-Chin ; Wang, Chun-Yao ; Zeng, Jing-Yun
• Model-driven performance prediction of systems of systems
  Falkner, Katrina ; Szabo, Claudia ; Chiprianov, Vanea ; Puddy, Gavin ; Rieckmann, Marianne ; Fraser, Dan ; Aston, Cathlyn
• Integrating 3D image descriptors of margin sharpness and texture on a GPU-optimized similar pulmonary nodule retrieval engine
  Ferreira Junior, José Raniery ; Oliveira, Marcelo Costa ; Azevedo-Marques, Paulo Mazzoncini de
• Nekbone performance on GPUs with OpenACC and CUDA Fortran implementations
  Gong, Jing ; Markidis, Stefano ; Laure, Erwin ; Otten, Matthew ; Fischer, Paul ; Min, Misun
• 3D Gaze tracking by combining eye- and facial-gaze vectors
  Kim, Byoung Cheul ; Ko, Daejune ; Jang, Unsoo ; Han, Hyuksoo ; Lee, Eui Chul
• Resolving small random symmetric linear systems on graphics processing units
  Abbas-Turki, L. A. ; Graillat, S.
• Embedding cycles and paths on solid grid graphs
  Asgharian Sardroud, Asghar ; Bagheri, Alireza
• Feature-based classification of bidirectional transformation approaches
  Hidaka, Soichiro ; Tisi, Massimo ; Cabot, Jordi ; Hu, Zhenjiang
• Clafer: unifying class and feature modeling
  Bąk, Kacper ; Diskin, Zinovy ; Antkiewicz, Michał ; Czarnecki, Krzysztof ; Wa̢sowski, Andrzej
• Expressing aspectual interactions in design: evaluating three AOM approaches in the slot machine domain
  Fabry, Johan ; Zambrano, Arturo ; Gordillo, Silvia
• Least-change bidirectional model transformation with QVT-R and ATL
  Macedo, Nuno ; Cunha, Alcino
• Empirically evaluating OCL and Java for specifying constraints on UML models
  Yue, Tao ; Ali, Shaukat
• Systematic approach for constructing an understandable state machine from a contract-based specification: controlled experiments
  Bae, Jung Ho ; Chae, Heung Seok
• Query-driven soft traceability links for models
  Hegedüs, Ábel ; Horváth, Ákos ; Ráth, István ; Starr, Rodrigo Rizzi ; Varró, Dániel
• Enhanced graph rewriting systems for complex software domains – Dynamic software architecture, non-functional requirements, and correctness by construction
  Eichler, Cédric ; Monteil, Thierry ; Stolf, Patricia ; Grieco, Luigi Alfredo ; Drira, Khalil
• Comprehensive analysis of FBD test coverage criteria using mutants
  Shin, Donghwan ; Jee, Eunkyoung ; Bae, Doo-Hwan
• Design and implementation of user-level dynamic binary instrumentation on ARM architecture
  Kim, Dongwoo ; Kim, Sangwho ; Ryou, Jaecheol
• Organization of Programming Languages
  1991 Springer Vienna
• Power-efficient and high-performance block I/O framework for mobile virtualization systems
  Lee, Kihong ; Lee, DongWoo ; Lee, Sungkil ; Eom, Young Ik