Citations:
1. Xinsheng Lai and Yuren Zhou: The analysis of expected fitness and success ratio of two heuristic optimizations on two bimodal MaxSAT problems, Journal of Global Optimization, pp. 1-20, 2011.
Citations:
1. Karlston D'Emanuele and Gordon Pace: Source-Level Runtime Validation Through Interval Temporal Logic,
Computer Science Annual Workshop 2005, Department of Computer Science and AI, University of Malta, 2005.
2. Drusinsky, D.: On-line monitoring of metric temporal logic with time-series constraints using alternating finite
automata. Journal of Universal Computer Science 12 (5), pp. 482-498, 2006.
3. Karlston D’Emanuele: Runtime monitoring of duration calculus assertions for real-time applications, A dissertation
submitted in fulfillment of the degree of Masters of Science, Department of Computer Science and AI Faculty of
Science University of Malta, September 2006.
4. Róbert Lovas, Péter Kacsuk, Ákos Horváth and András Horányi: Application of P-Grade Development Environment
in Meteorology. Scalable Computing: Practice and Experience Volume 6, Number 2, pp. 13–22, 2005.
5. Róbert Lovas and Péter Kacsuk: Correctness Debugging of Message Passing Programs Using Model Verification
Techniques. Recent Advances in Parallel Virtual Machine and Message Passing Interface, pp. 335-343, 2007.
6. Róbert Lovas and Bertalan Vécsei: Integration of formal verification and debugging methods in PGRADE
environment, Distributed and Parallel Systems, Springer, pp. 83-92, 2004.
Citations:
1. Karoly Bosa, Wolfgang Schreiner: Task Logging, Rescheduling, and Peer Checking in Distributed Maple. Technical
Report 02-10, RISC, Johannes Kepler University, Linz, Austria, March 2002.
2. Karoly Bosa, Wolfgang Schreiner: Tolerating Stop Failures in Distributed Maple. Scalable Computing: Practice and
Experience, volume 6, number 2, pp. 59-70, July 2005.
3. Schreiner, W., Mittermaier, C., Bosa, K.: Distributed Maple: Parallel computer algebra in networked environments.
Journal of Symbolic Computation 35 (3), pp. 305-347, 2003.
Citations:
1. Erik Burger and Ralf Reussner: Performance Certification of Software Components, Electronic Notes in Theoretical Computer Science, 279(2): 33-41, 2011.
2. Sasu Tarkoma, Dmitriy Kuptsov, Petri Savolainen, Pasi Sarolahti : CAT: A Last Mile Protocol for Content-Centric Networks. To appear in proceedings of ICC'11 Workshop T2 FutureNet IV, Kyoto, Japan, 2011.
3. Emad Hassan Al-Hemiary: Modelling and Performance Evaluation of Router Transparent Web cache Mode, International Journal of Computer Science Engineering and Technology (IJCSET), July 2012, Volume 2, Issue 7, pp. 1316-1320, 2012.
Citations:
1. Oliver Kullmann: On the conflict matrix of clause-sets. Technical Report CSR, 7-2003, University of Wales
Swansea, Computer Science Report Series, 2003.
2. Oliver Kullmann: The Combinatorics of Conflicts between Clauses. Lecture Notes in Computer Science, Volume
2919/2004, pp. 426-440, 2004.
3. Oliver Kullmann: On some Connections between Linear Algebra and the Combinatorics of Clause-sets, Proceedings
of SAT 2003.
Citations:
1. Biró Csaba: A hátizsák probléma továbbfejlesztése az egészségügyi profil figyelembevételével diéta tanácsadáshoz, AgriaMédia 2011 konferencia.
2. Király Roland: Hiteles adatgyűjtés az eFilter projektben - azonosítási módszerek elemzése, Informatika a Felsőoktatásban 2011 konferencia, 2011.
Citations:
1. Imran Sarwar Bajwa, Behzad Bordbar, Mark G. Lee: OCL Constraints Generation from Natural Language Specification, http://www.cs.bham.ac.uk/~bxb/Papres/1005.pdf, IEEE International EDOC Conference 2010, Vitoria, Brazil, pp. 204-213, 2010.
Citations:
1. Biró Csaba: A hátizsák probléma továbbfejlesztése az egészségügyi profil figyelembevételével diéta tanácsadáshoz, AgriaMédia 2011 konferencia.
Citations:
1. Biró Csaba: A hátizsák probléma továbbfejlesztése az egészségügyi profil figyelembevételével diéta tanácsadáshoz, AgriaMédia 2011 konferencia.
2. Király Roland: Hiteles adatgyűjtés az eFilter projektben - azonosítási módszerek elemzése, Informatika a Felsőoktatásban 2011 konferencia, 2011.
Citations:
1. LIU Xu-jun, MA Yue, YU Dong: Analysis and Evaluation of Real-time Performance of Publish/Subscribe
Communication Mode, Computer Engineering, Vol.36 No.20, pp. 229-231, October 2010.
2. Angel Vassilev Nikolov: Effects of the coherency on the Performance of the Web Cache Proxy Server. IJCSNS
International Journal of Computer Science and Network Security, VOL.9 No.4, pp. 158-162, April 2009.
3. Bérczes, T.: Approximation approach to performance evaluation of proxy cache server systems. Annales
Mathematicae et Informaticae 36 (1), pp. 15-28, 2009.
Citations:
1. Karlston D’Emanuele: Runtime monitoring of duration calculus assertions for real-time applications, A dissertation
submitted in fulfillment of the degree of Masters of Science, Department of Computer Science and AI Faculty of
Science University of Malta, September 2006.
Dr Kusper Gábor — gkusper(kukac)aries(pont)ektf(pont)hu — Készítette: Robita © 2010