E-LIB Suche - Ergebnisse für: Livshits, V. Benjamin

1

Context-sensitive program analysis as database queries:

, In: Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems,

Lam, Monica S. ; Whaley, John ; Livshits, V. Benjamin... - p. 1-12 , 2005

Link: https://dl.acm.org/doi/1..

2

Improving software security with a C pointer analysis:

, In: Proceedings of the 27th international conference on Software engineering,

Avots, Dzintars ; Dalton, Michael ; Livshits, V. Benjamin. - p. 332-341 , 2005

Link: https://dl.acm.org/doi/1..

3

Tracking pointers with path and context sensitivity for bug..:

, In: Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering,

Livshits, V. Benjamin ; Lam, Monica S. - p. 317-326 , 2003

Link: https://dl.acm.org/doi/1..

4

Merlin : specification inference for explicit informatio..:

, In: Proceedings of the 30th ACM SIGPLAN Conference on Programming Language Design and Implementation,

Livshits, Benjamin ; Nori, Aditya V. ; Rajamani, Sriram K.. - p. 75-86 , 2009

Link: https://dl.acm.org/doi/1..

5

Merlin: specification inference for explicit information fl..:

Livshits, Benjamin ; Nori, Aditya V. ; Rajamani, Sriram K..
ACM SIGPLAN Notices. 44 (2009) 6 - p. 75-86 , 2009

Link: https://doi.org/10.1145/..

6

Advances in molecular quantum chemistry contained in the Q-..:

Shao, Yihan ; Gan, Zhengting ; Epifanovsky, Evgeny...
qt9wn3w79b. , 2015

Link: https://escholarship.org..

7

Advances in molecular quantum chemistry contained in the Q-..:

Shao, Yihan ; Gan, Zhengting ; Epifanovsky, Evgeny...
0026-8976. ,

Link: http://hdl.handle.net/18..

8

A statistical model of mass choice:

Livshits, V. V.
Cybernetics. 12 (1976) 3 - p. 474-483 , 1976

Link: https://doi.org/10.1007/..

9

Ab Initio Shape of Supramolecular Complexes of Cucurbit[8]u..:

Volkov, V. V. ; Livshits, V. A. ; Meshkov, B. B..
Crystallography Reports. 68 (2023) 6 - p. 892-899 , 2023

Link: https://doi.org/10.1134/..

10

Molecular dynamics and partition of impurity molecules in s..:

Ionova, I. V. ; Medvedeva, A. A. ; Koshkin, A. V..
Journal of Sol-Gel Science and Technology. 101 (2022) 2 - p. 335-344 , 2022

Link: https://doi.org/10.1007/..

11

Automated control of the production process of antifriction..:

Filippenko, N V ; Bychkovsky, V S ; Bakanin, D V..
Journal of Physics: Conference Series. 2094 (2021) 5 - p. 052072 , 2021

Link: https://doi.org/10.1088/..

12

Research aspects of modeling and automated process control ..:

Chumbadze, T T ; Filippenko, N V ; Farzaliev, E F..
Journal of Physics: Conference Series. 2094 (2021) 5 - p. 052071 , 2021

Link: https://doi.org/10.1088/..

13

Analytical model of the inductor system of the device to pr..:

Livshits, A V ; Ratushnyak, Valentina S ; Ratushnyak, Viktor S.
Journal of Physics: Conference Series. 1889 (2021) 2 - p. 022033 , 2021

Link: https://doi.org/10.1088/..

14

Diagnostic operation of fabrications of rolling stock by hi..:

Larchenko, A G ; Filippenko, N G ; Livshits, A.V..
IOP Conference Series: Materials Science and Engineering. 760 (2020) 1 - p. 012037 , 2020

Link: https://doi.org/10.1088/..

15

Analytical design of control system mathematical models for..:

Sizykh, V N ; Antoshkin, S B ; Daneev, R A...
IOP Conference Series: Materials Science and Engineering. 760 (2020) 1 - p. 012053 , 2020

Link: https://doi.org/10.1088/..