Filter your results
- 8
- 8
- 8
- 5
- 1
- 1
- 3
- 2
- 1
- 8
- 2
- 1
- 3
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
Synthesis of High-Speed Finite State Machines in FPGAs by State Splitting15th IFIP International Conference on Computer Information Systems and Industrial Management (CISIM), Sep 2016, Vilnius, Lithuania. pp.741-751, ⟨10.1007/978-3-319-45378-1_64⟩
Conference papers
hal-01637501v1
|
||
|
Homing Sequence Derivation with Quantified Boolean Satisfiability29th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2017, St. Petersburg, Russia. pp.230-242, ⟨10.1007/978-3-319-67549-7_14⟩
Conference papers
hal-01678974v1
|
||
|
A Hierarchical Model of Control Logic for Simplifying Complex Networks Protocol Design17th IFIP International Conference on Network and Parallel Computing (NPC), Sep 2020, Zhengzhou, China. pp.182-187, ⟨10.1007/978-3-030-79478-1_16⟩
Conference papers
hal-03768758v1
|
||
|
Synthesis Method of Finite State Machines Based on State Minimization for Low Power Design16th IFIP International Conference on Computer Information Systems and Industrial Management (CISIM), Jun 2017, Bialystok, Poland. pp.526-535, ⟨10.1007/978-3-319-59105-6_45⟩
Conference papers
hal-01656236v1
|
||
|
State Assignment of Finite-State Machines by Using the Values of Input Variables16th IFIP International Conference on Computer Information Systems and Industrial Management (CISIM), Jun 2017, Bialystok, Poland. pp.592-603, ⟨10.1007/978-3-319-59105-6_51⟩
Conference papers
hal-01656230v1
|
||
|
Evaluating the complexity of deriving adaptive homing, synchronizing and distinguishing sequences for nondeterministic FSMsICTSS 2019: 31st IFIP International Conference on Testing Software and Systems, Oct 2019, Paris, France. pp.86-103, ⟨10.1007/978-3-030-31280-0_6⟩
Conference papers
hal-02448916v1
|
||
|
On Using Speed as the Criteria of State Selection for Minimization of Finite State Machines15th IFIP International Conference on Computer Information Systems and Industrial Management (CISIM), Sep 2016, Vilnius, Lithuania. pp.493-503, ⟨10.1007/978-3-319-45378-1_44⟩
Conference papers
hal-01637518v1
|
||
|
Experiments on Minimization Method of Incompletely Specified Finite State Machines for Low Power Design14th Computer Information Systems and Industrial Management (CISIM), Sep 2015, Warsaw, Poland. pp.375-385, ⟨10.1007/978-3-319-24369-6_31⟩
Conference papers
hal-01444481v1
|