|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 9 occurrences of 9 keywords
|
|
|
|
|
Results
Found 13 publication records. Showing 13 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Fei Xia, Andrey Mokhov, Yu Zhou, Yifan Chen, Isi Mitrani, Delong Shang, Danil Sokolov, Alexandre Yakovlev |
Towards power-elastic systems through concurrency management.  |
IET Computers & Digital Techniques  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrey Mokhov, Victor Khomenko, Alexandre Yakovlev |
Flat Arbiters. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrey Mokhov, Arseniy Alekseyev, Alex Yakovlev |
Encoding of processor instruction sets with explicit concurrency control. |
IET Computers & Digital Techniques |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Victor Khomenko, Andrey Mokhov |
An Algorithm for Direct Construction of Complete Merged Processes. |
Petri Nets |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrey Mokhov, Danil Sokolov, Maxim Rykunov, Alex Yakovlev |
Formal modelling and transformations of processor instruction sets. |
MEMOCODE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Arseniy Alekseyev, Victor Khomenko, Andrey Mokhov, Dominic Wist, Alex Yakovlev |
Improved Parallel Composition of Labelled Petri Nets. |
ACSD |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrey Mokhov, Alexandre Yakovlev |
Conditional Partial Order Graphs: Model, Synthesis, and Application. |
IEEE Trans. Computers |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrey Mokhov, Arseniy Alekseyev, Alexandre Yakovlev |
Automated Synthesis of Instruction Codes in the Context of Micro-architecture Design. |
ACSD |
2010 |
DBLP DOI BibTeX RDF |
synthesis, microarchitecture, partial orders, instruction set, asynchronous control |
| 1 | Andrey Mokhov, Victor Khomenko, Alexandre Yakovlev |
Flat Arbiters. |
ACSD |
2009 |
DBLP DOI BibTeX RDF |
Asynchronous circuits, Signal Transition Graph (STG), Arbiters, Speed-independent circuits |
| 1 | Andrey Mokhov, Alexandre Yakovlev |
Verification of conditional partial order graphs. |
ACSD |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrey Mokhov, Alexandre Yakovlev |
Conditional Partial Order Graphs and Dynamically Reconfigurable Control Synthesis. |
DATE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ivan Poliakov, Danil Sokolov, Andrey Mokhov |
Workcraft: A Static Data Flow Structure Editing, Visualisation and Analysis Tool. |
ICATPN |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Crescenzo D'Alessandro, Andrey Mokhov, Alexandre V. Bystrov, Alexandre Yakovlev |
Delay/Phase Regeneration Circuits. |
ASYNC |
2007 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #13 of 13 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")