Synthesis of the synchronization of general pipeline systems

The pipeline systems and different subtypes of pipelines are interesting parts of parallel systems in software engineering. That is why it seems to be worth dealing with the possibilities of the specification of the synchronization of these systems. Different methods exist that can be used to synthe...

Celý popis

Podrobná bibliografie

Vydáno v:	Acta cybernetica (Szeged) Ročník 17; číslo 1; s. 123
Hlavní autoři:	Ugron, Balázs, Hajdara, Szabolcs, Kozma, László
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Szeged Laszlo Nyul 01.01.2005
Témata:	Methods Pipelines Software engineering Specifications Synchronism Synthesis Temporal logic
ISSN:	0324-721X
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!