×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [lds ldtack d dtack dsr]
Logic Synthesis for Asynchronous Circuits Based on Petri Net Unfoldings and Incremental SAT Victor Khomenko, Maciej Koutny, and Alex Yakovlev University
223 views
Resolution of Encoding Conflicts by Signal Insertion and Concurrency Reduction based on STG Unfoldings V. Khomenko, A. Madalinski and A. Yakovlev University
221 views
Behaviour-Preserving Transition Insertions in Unfolding Prefixes Victor Khomenko University of Newcastle upon Tyne
218 views
A New Type of Behaviour- Preserving Transition Insertions in Unfolding Prefixes Victor Khomenko
219 views
Detecting State Coding Conflicts in STGs Using SAT Victor Khomenko, Maciej Koutny, and Alex Yakovlev University of Newcastle upon Tyne
217 views