Nikita Frolov

Showing 3 publications

2011

A SAT-Based Compiler for FlexCore

Nikita Frolov, Magnus Själander, Per Larsson-Edefors et al
Report
2011

Declarative, SAT-solver-based Scheduling for an Embedded Architecture with a Flexible Datapath

Nikita Frolov, Magnus Själander, Per Larsson-Edefors et al
Swedish System-on-Chip Conference
Conference contribution

Save references

If you have installed Zotero or Mendeley on your computer you can use a plugin to extract references from the publications you see.

Download plugins:
Zotero
Mendeley

There are no projects.
There might be more projects where Nikita Frolov participates, but you have to be logged in as a Chalmers employee to see them.