A Faster GR(1) Synthesis Algorithm
From a formal specification to a hardware circuit
(Sprache: Englisch)
With the invention of computers, the desire for robust and accurate solutions arose. There are different approaches or techniques to achieve this goal - like carefully developing and testing the solution upon a specification written in any natural language,...
Leider schon ausverkauft
versandkostenfrei
Buch
39.90 €
Produktdetails
Produktinformationen zu „A Faster GR(1) Synthesis Algorithm “
Klappentext zu „A Faster GR(1) Synthesis Algorithm “
With the invention of computers, the desire for robust and accurate solutions arose. There are different approaches or techniques to achieve this goal - like carefully developing and testing the solution upon a specification written in any natural language, or using a formal language which is well defined and doesn't lead to misunderstandings. And with the introduction of formal languages, also the possibility of computerized testing or even synthesis of such systems evolved. But subsequently there are different problems, one is that it is not very easy to write a formal specification at all that is complete and unambiguous. Additionally a great problem is that the algorithms currently known need a lot of time and memory for execution, even for rather simple specifications. This master thesis addresses the second problem, trying to accelerate the calculation of a solution for such a specification.
Autoren-Porträt von Hans Juergen Gamauf
Gamauf, Hans JuergenHans Juergen Gamauf has finished his studies in Telematics at the University of Technology in Graz. He is currently working in public administration in the area of E-Government.
Bibliographische Angaben
- Autor: Hans Juergen Gamauf
- 2018, 84 Seiten, Maße: 22 cm, Kartoniert (TB), Englisch
- Verlag: AV Akademikerverlag
- ISBN-10: 6202219602
- ISBN-13: 9786202219600
Sprache:
Englisch
Kommentar zu "A Faster GR(1) Synthesis Algorithm"
0 Gebrauchte Artikel zu „A Faster GR(1) Synthesis Algorithm“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "A Faster GR(1) Synthesis Algorithm".
Kommentar verfassen