„Programming Languages“

Suchergebnisse

7.502 Treffer

• Runtime prediction of parallel applications with workload-aware clustering
  Park, Ju-Won ; Kim, Eunhye
• Automated testing of DSL implementations—experiences from building mbeddr
  Ratiu, Daniel ; Voelter, Markus ; Pavletic, Domenik
• 7th Conference on Algebra and Coalgebra in Computer Science (CALCO 2017)
  Bonchi, Filippo ; König, Barbara 2017 Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH
• Energy management strategy in cloud computing: a perspective study
  Chaabouni, Taha ; Khemakhem, Maher
• A correlation study between automated program repair and test-suite metrics
  Yi, Jooyong ; Tan, Shin Hwei ; Mechtaev, Sergey ; Böhme, Marcel ; Roychoudhury, Abhik
• Problems of Synthesis of Σ-Automata Specified in Languages LP and LF of First Order Logic
  Chebotarev, A. N.
• Empirical study on the discrepancy between performance testing results from virtual and physical environments
  Arif, Muhammad Moiz ; Shang, Weiyi ; Shihab, Emad
• On dynamic memory allocation in sliding-window parallel patterns for streaming analytics
  Torquati, M. ; Mencagli, G. ; Drocco, M. ; Aldinucci, M. ; Matteis, T. De ; Danelutto, M.
• Rethinking elastic online scheduling of big data streaming applications over high-velocity continuous data streams
  SUN, Dawei ; Yan, Hongbin ; Gao, Shang ; Liu, Xunyun ; Buyya, Rajkumar
• A comparative study of programming languages for next-generation astrodynamics systems
  Eichhorn, Helge ; Cano, Juan Luis ; McLean, Frazer ; Anderl, Reiner
• A study of the relation of mobile device attributes with the user-perceived quality of Android apps
  Noei, Ehsan ; Syer, Mark D. ; Zou, Ying ; Hassan, Ahmed E. ; Keivanloo, Iman
• Hybrid static–dynamic selection of implementation alternatives in heterogeneous environments
  Rio Astorga, D. del ; Dolz, Manuel F. ; Fernandez, Javier ; Blas, Javier Garcia
• A novel trust management scheme based on Dempster–Shafer evidence theory for malicious nodes detection in wireless sensor networks
  Zhang, Wei ; Zhu, Shiwei ; Tang, Jian ; Xiong, Naixue
• Model-based testing for software safety: a systematic mapping study
  Gurbuz, Havva Gulay ; Tekinerdogan, Bedir
• Variability extraction and modeling for product variants
  Linsbauer, Lukas ; Lopez-Herrejon, Roberto Erick ; Egyed, Alexander
• Towards an integrated formal method for verification of liveness properties in distributed systems: with application to population protocols
  Méry, Dominique ; Poppleton, Michael
• On the formal interpretation and behavioural consistency checking of SysML blocks
  Jacobs, Jaco ; Simpson, Andrew
• FLAME: a formal framework for the automated analysis of software product lines validated by automated specification testing
  Durán, Amador ; Benavides, David ; Segura, Sergio ; Trinidad, Pablo ; Ruiz-Cortés, Antonio
• Promoting traits into model-driven development
  Abdelzad, Vahdat ; Lethbridge, Timothy C.
• From software extensions to product lines of dataflow programs
  Gonçalves, Rui C. ; Batory, Don ; Sobral, João L. ; Riché, Taylor L.