„Programming Language.“

Suchergebnisse

8.545 Treffer

• Comprehensive analysis of FBD test coverage criteria using mutants
  Shin, Donghwan ; Jee, Eunkyoung ; Bae, Doo-Hwan
• HTML 5 guidelines for Web developers
  Förster, Klaus ; Öggl, Bernd 2011 Addison-Wesley
• 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
• Test case selection in industry: an analysis of issues related to static approaches
  Blondeau, Vincent ; Etien, Anne ; Anquetil, Nicolas ; Cresson, Sylvain ; Croisy, Pascal ; Ducasse, Stéphane
• Quality characteristics and measures for human–computer interaction evaluation in ubiquitous systems
  Carvalho, Rainara Maia ; Castro Andrade, Rossana Maria de ; Oliveira, Káthia Marçal de ; Sousa Santos, Ismayle de ; Bezerra, Carla Ilane Moreira
• Rendezvous based routing protocol for wireless sensor networks with mobile sink
  Sharma, Suraj ; Puthal, Deepak ; Jena, Sanjay Kumar ; Zomaya, Albert Y. ; Ranjan, Rajiv
• Portable common tool environment (PCTE) - Ada programming language binding
  1994 ECMA
• Programming with Specifications – An Introduction to ANNA, A Language for Specifying Ada Programs
  Luckham, David C. 1990 Springer US
• Models in simulation
  Gray, Jeff ; Rumpe, Bernhard
• A game theoretical model for profit maximization resource allocation in cloud environment with budget and deadline constraints
  Nezarat, Amin ; Dastghaibyfard, Gh
• An optimal adaptive stabilizing algorithm for two edge-disjoint paths problem
  Karaata, Mehmet Hakan ; Alazemi, Fawaz M.
• Energy efficiency of VM consolidation in IaaS clouds
  Teng, Fei ; Yu, Lei ; Li, Tianrui ; Deng, Danting ; Magoulès, Frédéric
• Advances in software engineering techniques – revised selected papers
  Szmuc, Tomasz ; Szpyrka, Marcin ; Zendulka, Jaroslav 2012 Springer
• A dynamic and parallel approach for repetitive prime labeling of XML with MapReduce
  Ahn, Jinhyun ; Im, Dong-Hyuk ; Lee, Taewhi ; Kim, Hong-Gee
• Mutually independent Hamiltonianicity of Cartesian product graphs
  Wu, Kai-Siou ; Wang, Yi-Chun ; Juan, Justie Su-Tzu
• Model-based simulation of legal policies: framework, tool support, and validation
  Soltana, Ghanem ; Sannier, Nicolas ; Sabetzadeh, Mehrdad ; Briand, Lionel C.
• A new combination method for multisensor conflict information
  Lin, Yun ; Wang, Can ; Ma, Chunguang ; Dou, Zheng ; Ma, Xuefei
• A rhythm-based access control system for secure wellness services
  Im, Hyungjin ; Lee, Jeong Kyu ; Park, Jong Hyuk