General

Profile

Alexander Kamkin

  • Login: kamkin
  • Email: askamkin@gmail.com
  • Registered on: 02/18/2010
  • Last connection: 02/29/2024

Issues

open closed Total
Assigned issues 123 430 553
Reported issues 103 632 735

Projects

Project Roles Registered on
Aspectrace Manager, Developer 07/06/2010
C++TESK Testing ToolKit Manager, Developer, Project Creator 04/15/2011
С++TESK Development Environment Manager, Developer 09/07/2011
Castle Manager, Developer, Project Creator 01/12/2016
CTESK Developer 07/09/2010
Formal Methods Manager, Developer, Project Creator 10/11/2021
Fortress Manager, Developer, Project Creator 09/12/2012
Functional Programming Developer 02/03/2020
Java SoftFloat Manager, Project Creator 10/03/2014
MicroTESK Manager, Developer, Project Creator 02/17/2011
MicroTESK Documentation Manager, Developer, Project Creator 12/16/2019
MicroTESK for ARM Demo Manager, Project Creator 03/14/2023
MicroTESK for MIPS Manager, Project Creator 11/08/2016
MicroTESK for Plasma Manager, Project Creator 10/06/2016
MicroTESK for PowerPC Manager, Project Creator 10/21/2016
MicroTESK for RISC-V Manager, Project Creator 10/24/2016
MicroTESK Training Course Manager, Developer, Project Creator 09/23/2013
Trace Matcher Manager, Project Creator 11/01/2016
Model Checking Manager, Developer, Project Creator 02/27/2020
QEMU4V Manager, Developer, Project Creator 05/15/2018
Retrascope Manager, Developer, Project Creator 04/11/2012
Retrascope IDE Manager, Developer, Project Creator 05/16/2014
Retrascope RISC-V Benchmark Manager, Developer, Project Creator 12/19/2018
Retrascope Test Suite Manager, Developer, Project Creator 03/28/2018
TestBase Manager, Developer, Project Creator 02/25/2014
Track Finding Tools for NICA MPD Manager, Developer, Project Creator 07/21/2022
Verilog Translator Manager, Developer, Project Creator 04/11/2012
Veritool Manager, Developer, Project Creator 06/29/2010
КМБ-2014 Developer 09/29/2014

Activity

03/17/2023

03:25 PM MicroTESK for ARM Demo Wiki edit: Instruction_Set_Architecture (#17)
Alexander Kamkin
03:23 PM MicroTESK for ARM Demo Wiki edit: Instruction_Set_Architecture (#16)
Alexander Kamkin
03:21 PM MicroTESK for ARM Demo Wiki edit: Instruction_Set_Architecture (#15)
Alexander Kamkin

03/10/2023

02:11 PM Track Finding Tools for NICA MPD Task #12228 (Closed): Визуализация хитов и треков
Для отладки выгрузки данных и визуального анализа качества распознавания треков. Alexander Kamkin
02:11 PM Track Finding Tools for NICA MPD Task #12201 (Open): Предобработка данных, выгруженных из ACTS
Resolve должен делаться после комита в репозиторий. Alexander Kamkin

03/01/2023

08:01 PM Track Finding Tools for NICA MPD Task #12203 (New): Кластеризация треков-кандидатов по заданным признакам
Кластеризация треков-кандидатов по параметрам прямым и другим характеристикам. Alexander Kamkin
08:00 PM Track Finding Tools for NICA MPD Task #12202 (New): Конструирование признаков треков-кандидатов для последующей кластеризации
Вывод параметров прямых и других характеристик (если нужно) для треков-кандидатов. Alexander Kamkin
07:58 PM Track Finding Tools for NICA MPD Task #12201 (Closed): Предобработка данных, выгруженных из ACTS
Преобразовать данные, выгруженные из ACTS, к табличному формату, используемому в прототипе кластеризатора треков. Alexander Kamkin

09/05/2022

10:19 AM Model Checking 04-spin-model-checker-2.pdf
Alexander Kamkin
10:18 AM Model Checking 03-spin-model-checker-1.pdf
Alexander Kamkin

Also available in: Atom