机译:使用Linux设备驱动程序进行静态验证工具基准测试
Institute for System Programming, Russian Academy of Sciences, ul. Solzhenitsyna 25, Moscow, 119991 Russia;
Institute for System Programming, Russian Academy of Sciences, ul. Solzhenitsyna 25, Moscow, 119991 Russia;
Institute for System Programming, Russian Academy of Sciences, ul. Solzhenitsyna 25, Moscow, 119991 Russia;
Institute for System Programming, Russian Academy of Sciences, ul. Solzhenitsyna 25, Moscow, 119991 Russia;
Institute for System Programming, Russian Academy of Sciences, ul. Solzhenitsyna 25, Moscow, 119991 Russia;
机译:用于将Linux设备驱动程序转换为Solaris兼容二进制文件的工具
机译:记录和自动化Linux设备驱动程序中的附带进化
机译:了解Linux设备驱动程序中的附带演变
机译:静态驱动程序验证程序,Windows设备驱动程序的正式验证工具
机译:用于带有Linux内核的基于NoC的架构的任务映射和NI设备驱动程序。
机译:用于专家握力曲线分析的传感器:达到基准测试以手动控制用于手术工具移动的机器人设备
机译:C程序和Linux设备驱动程序的静态验证工具:调查