( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Policy-Based Resource Assignment in Utility Computing Environments.

, , , , , и . DSOM, том 3278 из Lecture Notes in Computer Science, стр. 100-111. Springer, (2004)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Dirk Beyer

Dirk Beyer

Dirk Beyer

Dirk Beyer

Dirk Beyer

 

Другие публикации лиц с тем же именем

Co-Change Visualization.. ICSM (Industrial and Tool Volume), стр. 89-92. (2005)Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework., и . CoRR, (2019)CCVisu: automatic visual software decomposition.. ICSE Companion, стр. 967-968. ACM, (2008)978-1-60558-079-1.Shape Refinement through Explicit Heap Analysis., , , и . FASE, том 6013 из Lecture Notes in Computer Science, стр. 263-277. Springer, (2010)Strategy Selection for Software Verification Based on Boolean Features - A Simple but Effective Approach., и . ISoLA (2), том 11245 из Lecture Notes in Computer Science, стр. 144-159. Springer, (2018)Evaluating Tools for Software Verification (Track Introduction)., , и . ISoLA (2), том 11245 из Lecture Notes in Computer Science, стр. 139-143. Springer, (2018)Self-Adaptive SLA-Driven Capacity Management for Internet Services., , , , , и . NOMS, стр. 557-568. IEEE, (2006)Reliable Benchmarking: Requirements and Solutions, , и . International Journal on Software Tools for Technology Transfer, 21 (1): 1--29 (01.02.2019)TestCov: Robust Test-Suite Execution and Coverage Measurement., и . ASE, стр. 1074-1077. IEEE, (2019)Efficient Reachability Analysis and Refinement Checking of Timed Automata Using BDDs.. CHARME, том 2144 из Lecture Notes in Computer Science, стр. 86-91. Springer, (2001)