Pregled po projektu: Distribuirani algoritmi za pronalaženje optimalnih putova u grafovima (MB: MZOS-037-0362980-2774)
Pronađeno 33 radova
-
1.Puljić, Krunoslav; Manger, RobertComparison of eight evolutionary crossover operators for the vehicle routing problem // Mathematical communications, 18 (2013), 2; 359-375 (međunarodna recenzija, članak, znanstveni)
-
2.Rudec, Tomislav; Manger, RobertA new approach to solve the k-server problem based on network flows and flow cost reduction // Computers & operations research, 40 (2013), 4; 1004-1013 doi:10.1016/j.cor.2012.11.006 (međunarodna recenzija, članak, znanstveni)
-
3.Rudec, Tomislav; Baumgartner, Alfonzo; Manger, RobertA fast work function algorithm for solving the k-server problem // Central European Journal of Operations Research, 21 (2013), 1; 187-205 doi:10.1007/s10100-011-0222-7 (međunarodna recenzija, članak, znanstveni)
-
4.Botinčan, Matko; Babić, DomagojSigma*: Symbolic Learning of Input-Output Specifications // Proceedings of the 40th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'13), 2013 / Gicobazzi, Roberto ; Cousot Radhia (ur.).
New York (NY): ACM, 2012. str. 443-456 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni) -
5.Botincan, Matko; Dodds, Mike; Jagannathan, SureshResource-Sensitive Synchronization Inference by Abduction // Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2012)
New York (NY): ACM, 2012. (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni) -
6.Puljić, Krunoslav; Manger, RobertA distributed evolutionary algorithm with a superlinear speedup for solving the vehicle routing problem // Computing and informatics, 31 (2012), 3; 675-692 (međunarodna recenzija, članak, znanstveni)
-
7.Puljić, KrunoslavAn evolutionary algorithm based on repeated mutations for solving the capacitated vehicle routing problem // CIT. Journal of computing and information technology, 20 (2012), 1; 51-58 doi:10.2498/cit.1002019 (međunarodna recenzija, članak, znanstveni)
-
8.Botinčan, Matko; Dodds, Mike; Donaldson, Alastair F.; Parkinson, Matthew J.Safe Asynchronous Multicore Memory Operations // Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011)
Washington (MD): IEEE CS, 2011. (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni) -
9.Naudziuniene, Daiva; Botinčan, Matko; Distefano, Dino; Dodds, Mike; Grigore, Radu; Parkinson, Matthew J.jStar-eclipse: an IDE for automated verification of Java programs // Proceedings of the 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE 2011) / Gymothy, Tibor ; Zeller, Andreas (ur.).
New York (NY): ACM, 2011. str. 428-431 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni) -
10.Botinčan, Matko; Distefano, Dino; Dodds, Mike; Grigore, Radu; Naudziuniene, Daiva; Parkinson, Matthew J.CoreStar: The Core of jStar // Proceedings of the 1st International Workshop on Intermediate Verification Languages (Boogie 2011) / Leino, Rustan ; Moskal, Michal (ur.).
Redmond (WA): Microsoft Research, 2011. str. 65-77 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni) -
11.Botinčan, Matko; Dodds, Mike; Donaldson, Alastair F.; Parkinson, Matthew J.Automatic safety proofs for asynchronous memory operations // Proceedings of the 16th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPOPP 2011) / Cascaval, Colin ; Yew, Pen-Chung (ur.).
New York (NY): ACM, 2011. str. 313-314 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni) -
12.Rudec, TomislavBrzi algoritmi za rješavanje problema k poslužitelja zasnovani na tokovima u mrežama, 2011., doktorska disertacija, Prirodoslovno-matematički fakultet, Matematički odsjek, Zagreb
-
13.Rudec, Tomislav; Baumgartner, Alfonzo; Manger, RobertMeasuring True Performance of the Work Function Algorithm for Solving the On-Line k-Server Problem // Proceedings of the ITI 2010 32nd International Conference on Information Technology Interfaces / Lužar-Stiffler, Vesna ; Jarec, Iva ; Bekić, Zoran (ur.).
Zagreb: Sveučilišni računski centar Sveučilišta u Zagrebu (Srce), 2010. str. 695-700 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni) -
14.Rudec, Tomislav; Baumgartner, Alfonzo; Manger, RobertMeasuring True Performance of the Work Function Algorithm for Solving the On-line k-Server Problem // Journal of Computing and Information Technology - CIT, 18 (2010), 4; 361-367 (podatak o recenziji nije dostupan, članak, znanstveni)
-
15.Baumgartner, AlfonzoDistribuirani algoritam radne funkcije s pomičnim prozorom za rješavanje problema k poslužitelja, 2010., doktorska disertacija, Elektrotehnički fakultet u Osijeku, Osijek
-
16.Baumgartner, Alfonzo; Rudec, Tomislav; Manger, RobertThe design and analysis of a modified work function algorithm for solving the on-line k-server problem // Computing and informatics, 29 (2010), 4; 681-700 (međunarodna recenzija, članak, znanstveni)
-
17.Botinčan, Matko; Glavan, Paola; Runje, DavorVerication of Causality Requirements in Java Memory Model is Undecidable // Proceedings of the Eighth International Conference on Parallel Processing and Applied Mathematics (PPAM 2009)
Berlin: Springer, 2010. (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni) -
18.Puljić, KrunoslavDistribuirani evolucijski algoritmi za problem usmjeravanja vozila, 2009., doktorska disertacija, Prirodoslovno-matematički fakultet - Matematički odsjek, Zagreb
-
19.Botinčan, Matko; Parkinson, Matthew; Schulte, WolframSeparation Logic Verification of C Programs with an SMT Solver // Proceedings of the 4th International Workshop on Systems Software Verification (SSV 09) / Huuck, Ralf ; Klein, Gerwin ; Schlich, Bastian (ur.).
Aachen, Njemačka: Elsevier, 2009. (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni) -
20.Rudec, Tomislav; Baumgartner, Alfonzo; Manger, RobertA fast implementation of the optimal off-line algorithm for solving the k-server problem // Mathematical communications, 14 (2009), 1; 123-138 (međunarodna recenzija, članak, znanstveni)
-
21.Rudec, Tomislav; Manger, RobertOn the Competitiveness of a Modified Work Function Algorithm for Solving the On-Line k-Server Problem // Proceedings of the 30th International Conference on Information Technology Interfaces (ITI 2008 - Cavtat, Croatia, June 23-26, 2008) / Lužar-Stiffler, Vesna ; Dobrić Hljuz, Vesna ; Bekić, Zoran (ur.).
Zagreb: University Computing Centre, 2008. str. 779-784 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni) -
22.Botinčan, Matko; Runje, DavorAn Enhancement of Futures Runtime in Presence of Cache Memory Hierarchy // CIT. Journal of computing and information technology, 16 (2008), 4; 339-344 (podatak o recenziji nije dostupan, članak, znanstveni)
-
23.Botinčan, Matko; Runje, DavorAn Enhancement of Futures Runtime in Presence of Cache Memory Hierarchy // Proceedings of the 30th International Conference on Information Technology Interfaces (ITI 2008 - Cavtat, Croatia, June 23-26, 2008) / Lužar-Stiffler, Vesna ; Dobić Hljuz, Vesna (ur.).
Zagreb: University Computing Centre, 2008. str. 925-930 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni) -
24.Botinčan, Matko; Goranka, NogoAnomalies in Distributed Branch-and-Cut Solving of the CVRP with Different Search Strategies // Proceedings of 11th International Conference on Operational Research (KOI 2006 - Pula, Croatia, September 27-29, 2006) / Valter Boljunčić, Luka Neralić and Kristina Šorić (ur.).
Zagreb: Hrvatsko društvo za operacijska istraživanja, 2008. str. 47-56 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni) -
25.Manger, RobertA catalogue of useful composite semirings for solving path problems in graphs // Proceedings of the 11-th International Conference on Operational Research (KOI 2006 - Pula, Croatia, September 27-29, 2006) / Boljunčić, Valter ; Neralić, Luka ; Šorić, Kristina (ur.).
Zagreb: Hrvatsko društvo za operacijska istraživanja, 2008. str. 13-23 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)
