„programming languages“

Suchergebnisse

7.502 Treffer

• Redressing fork constraints in nanoscale quasi-delay-insensitive asynchronous pipelines
  Raji, Mohsen ; Ghavami, Behnam
• SQL-PL4OCL: an automatic code generator from OCL to SQL procedural language
  Egea, Marina ; Dania, Carolina
• Improved clustering algorithms for target tracking in wireless sensor networks
  Darabkh, Khalid A. ; Albtoush, Wijdan Y. ; Jafar, Iyad F.
• Task scheduling for heterogeneous systems using an incremental approach
  Khan, Minhaj Ahmad
• Real-time workflows oriented online scheduling in uncertain cloud environment
  Chen, Huangke ; Zhu, Jianghan ; Zhang, Zhenshi ; Ma, Manhao ; Shen, Xin
• Reconstructing permutation table to improve the Tabu Search for the PFSP on GPU
  Wei, Kai-Cheng ; Sun, Xue ; Chu, Hsun ; Wu, Chao-Chin
• A security evaluation framework for cloud security auditing
  Rizvi, Syed ; Ryoo, Jungwoo ; Kissell, John ; Aiken, William ; Liu, Yuhong
• Privacy by designers: software developers’ privacy mindset
  Hadar, Irit ; Hasson, Tomer ; Ayalon, Oshrat ; Toch, Eran ; Birnhack, Michael ; Sherman, Sofia ; Balissa, Arod
• An online valuation-based sealed winner-bid auction game for resource allocation and pricing in clouds
  Salehan, Alireza ; Deldari, Hossein ; Abrishami, Saeid
• Search and similarity based selection of use case scenarios: An empirical study
  Zhang, Huihui ; Wang, Shuai ; Yue, Tao ; Ali, Shaukat ; Liu, Chao
• Design and implementation of an attestation protocol for measured dynamic behavior
  Ali, Toqeer ; Ismail, Roslan ; Musa, Shahrulniza ; Nauman, Mohammad ; Khan, Sohail
• Modified adaptive support weight and disparity search range estimation schemes for stereo matching processors
  Ok, Seung-Ho ; Shim, Jae Hoon ; Moon, Byungin
• Host load prediction with long short-term memory in cloud computing
  Song, Binbin ; Yu, Yao ; Zhou, Yu ; Wang, Ziqiang ; Du, Sidan
• Models for the digital transformation
  Gray, Jeff ; Rumpe, Bernhard
• A taxonomy of tool-related issues affecting the adoption of model-driven engineering
  Whittle, Jon ; Hutchinson, John ; Rouncefield, Mark ; Burden, Håkan ; Heldal, Rogardt
• Model-based tool support for Tactical Data Links: an experience report from the defence domain
  Ajit, Suraj ; Holmes, Chris ; Johnson, Julian ; Kolovos, Dimitrios S. ; Paige, Richard F.
• Teaching model-driven engineering from a relational database perspective
  Batory, Don ; Azanza, Maider
• Formal validation of domain-specific languages with derived features and well-formedness constraints
  Semeráth, Oszkár ; Barta, Ágnes ; Horváth, Ákos ; Szatmári, Zoltán ; Varró, Dániel
• Language-specific model checking of UML-RT models
  Zurowska, Karolina ; Dingel, Juergen
• Contract-based modeling and verification of timed safety requirements within SysML
  Dragomir, Iulia ; Ober, Iulian ; Percebois, Christian