Napredna pretraga

Pregled bibliografske jedinice broj: 313186

From Declarative Model to Solution: Scheduling Scenario Synthesis


Bruno Blašković, Mirko Randić
From Declarative Model to Solution: Scheduling Scenario Synthesis // Proceedings of the 9th International Conference on Telecommunications / Zeljka, Car ; Mario Kusek (ur.).
Zagreb: University of Zagreb, Faculty of Electrical Engineering and Computing, 2007. str. 139-142 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)


Naslov
From Declarative Model to Solution: Scheduling Scenario Synthesis

Autori
Bruno Blašković, Mirko Randić

Vrsta, podvrsta i kategorija rada
Radovi u zbornicima skupova, cjeloviti rad (in extenso), znanstveni

Izvornik
Proceedings of the 9th International Conference on Telecommunications / Zeljka, Car ; Mario Kusek - Zagreb : University of Zagreb, Faculty of Electrical Engineering and Computing, 2007, 139-142

ISBN
978-953-184-110-8

Skup
Conference on Telecommunications - ConTEL 2007

Mjesto i datum
Zagreb, Hrvatska, 13-15.06.2007

Vrsta sudjelovanja
Predavanje

Vrsta recenzije
Međunarodna recenzija

Ključne riječi
Modelling; scheduling; synthesis; Petri Net

Sažetak
This paper presents deductive programming for scheduling scenario generation. Modeling for solution is achieved through program transformations. First, declarative model for scheduling problem domain is introduced. After that model is interpreted as scheduling domain language and as predicate transition Petri net. Generated reachability tree presents search space with solutions. At the end results are discussed and analyzed.

Izvorni jezik
Engleski

Znanstvena područja
Elektrotehnika, Računarstvo



POVEZANOST RADA


Projekt / tema
036-0362027-1638 - Umrežena ekonomija (Zoran Skočir, )
036-0362027-1640 - UPRAVLJANJE MREŽOM I USLUGAMA TEMELJENO NA ZNANJU (Dragan Jevtić, )

Ustanove
Fakultet elektrotehnike i računarstva, Zagreb