„Programming Languages, Compilers, Interpreters.“

Suchergebnisse

6.476 Treffer

• Fast depth estimation using semi-global matching and adaptive stripe-based optimization
  Loghman, Maziar ; Kim, Joohee ; Choi, Kyuwon
• Parallelization and performance evaluation of open-source HEVC codecs
  García-Lucas, David ; Cebrián-Márquez, Gabriel ; Cuenca, Pedro
• Using DAG transformations to verify Euler/Venn homogeneous and Euler/Venn FOL heterogeneous rules of inference
  Swoboda, Nik ; Allwein, Gerard
• A method for describing the syntax and semantics of UML statecharts
  Jin, Yan ; Esser, Robert ; Janneck, Jörn W.
• Automated formal verification of visual modeling languages by model checking
  Varró, Dániel
• Introductory paper
  Bottoni, Paolo ; Minas, Mark
• A toolkit for model manipulation
  Porres, Ivan
• Emerging OCL tools
  Toval, Ambrosio ; Requena, Víctor ; Fernández, José Luis
• Dinosaur meets Archaeopteryx? or: Is there an alternative for Rational’s Unified Process?
  Hesse, Wolfgang
• A relational approach to defining and implementing transformations between metamodels
  Akehurst, David ; Kent, Stuart ; Patrascoiu, Octavian
• Which log level should developers choose for a new logging statement?
  Li, Heng ; Shang, Weiyi ; Hassan, Ahmed E.
• A model-driven development approach for context-aware systems
  Jaouadi, Imen ; Ben Djemaa, Raoudha ; Ben-Abdallah, Hanêne
• GPU-based HEVC intra-prediction module
  Galiano, V. ; Migallón, H. ; Herranz, V. ; Piñol, P. ; López-Granado, O. ; Malumbres, M. P.
• A Jacobi_PCG solver for sparse linear systems on multi-GPU cluster
  Lin, Shaozhong ; Xie, Zhiqiang
• How do humans inspect BPMN models: an exploratory study
  Haisjackl, Cornelia ; Soffer, Pnina ; Lim, Shao Yi ; Weber, Barbara
• An anonymous and provably secure biometric-based authentication scheme using chaotic maps for accessing medical drop box data
  Khan, Imran ; Chaudhry, Shehzad Ashraf ; Sher, Muhammad ; Khan, Javed I. ; Khan, Muhammad Khurram
• Separating passing and failing test executions by clustering anomalies
  Almaghairbe, Rafig ; Roper, Marc
• Inter and intra pre-analysis algorithm for HEVC
  Cebrián-Márquez, Gabriel ; Martínez, José Luis ; Cuenca, Pedro
• Productivity paradoxes revisited – Assessing the relationship between quality maturity levels and labor productivity in brazilian software companies
  C. Duarte, Carlos Henrique
• Solving metameric variable-length optimization problems using genetic algorithms
  Ryerkerk, Matthew L. ; Averill, Ronald C. ; Deb, Kalyanmoy ; Goodman, Erik D.