Results 191 to 200 of about 75,441,336 (215)

Automatická správa paměti v prostředí C++

2009
The goal of the work is to design and implement a garbage collector in the environment of the C++ programming language defined by the international standard ISO/IEC 14882:2003. The work focuses on solving problems of implementing an incremental tracing garbage collector within the limits set by the C++ language.
openaire   +4 more sources

Sora for Senarios Engineering of Intelligent Vehicles: V&V, C&C, and Beyonds.

IEEE Trans. Intell. Veh.
Xuan Li 0006, Qinghai Miao, Lingxi Li 0001, Qinghua Ni, Lili Fan, Yutong Wang 0001, Yonglin Tian, Fei-Yue Wang 0001   +7 more
openaire   +1 more source

Automatická kontrola programů v jazyce C

2009
In the present work I study ways of checking common beginner mistakes in C language programs using static analyses of source code and generating run-time checks. Part of this work consists of implementation of several simple static analyses and run-time check generators focused on detecting beginner mistakes and locating them in the source code as ...
openaire   +2 more sources

V.—( c ) Deaconesses

Theology, 1931
openaire   +1 more source

Olmstead v. L. C.

2017
openaire   +1 more source

V. Vortrag: "C. F. Meyer"

1888
openaire   +1 more source

World Christianities: v.8: c. 1815 - c. 1914; v.9: c. 1914 - c. 2000

Choice Reviews Online, 2006
openaire   +1 more source

Statická analýza programů v jazyce C

Táto práca prináša niekoľko originálnych príspevkov do oblasti statickej analýzy programov so zameraním na nízkoúrovňový softvér napísaný v jazyku C. Práca je rozdelená do dvoch častí, z ktorých každá sa venuje inej oblasti statickej analýzy, konkrétne formálnej verifikácii a statickej analýze sémantickej ekvivalencie rôznych verzií softvéru.
openaire   +1 more source

metabolic clearance=V/(K+C)

1995
openaire   +1 more source

V. Stratum C - Semi-Poetry

1961
openaire   +1 more source