Publikációk

Export 529 results:
Rendezés: Szerző [ Cím  (Asc)] Típus Év
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
M
Majzik, I., Hohl, W., Pataricza, A., and Sieh, V., "Multiprocessor Checking Using Watchdog Processors", COMPUTER SYSTEMS SCIENCE AND ENGINEERING, vol. 11, issue 5, pp. 301 - 310, 1996. Abstract
Polgár, B., "Multiprocesszoros Rendszerek Maximum Likelihood Diagnosztikája", FMTÜ 2003, Fiatal Muszakiak Tudományos Ülésszaka VIII.: Erdélyi Múzeum-Egyesület, pp. 75 - 78, 2003.
N
Hajdu, Á., Vörös, A., and Bartha, T., "New Search Strategies for the Petri Net CEGAR Approach", Application and Theory of Petri Nets and Concurrency, vol. 9115: Springer, pp. 309-328, 2015. Abstract
Barabás, Á., Szárnyas, G., and Gajdos, S., "NoSQL adatbázis-kezelők", Adatbázisok, 4. kiadás, 2012.
Domokos, P., and Varró, D., "Ny\'ılt SVG alapú keretrendszer", FMTÜ 2003: Fiatal Magyarok Tudományos Ülésszaka, Kolozsvár, Romania, Erdélyi Múzeum Egyesület, pp. 47–50, March 21-22, 2003.
In Hungarian
O
Huszerl, G., and Kosmidis, K., "Object Oriented Notation for Modelling Quantitative Aspects", Workshop Proceedings of the International Conference on Architecture of Computing Systems (ARCS 2002), Berlin, VDE Verlag GmbH, pp. 91 - 100, 2002.
Micskei, Z., Konnerth, R-A., Horváth, B., Semeráth, O., Vörös, A., and Varró, D., "On Open Source Tools for Behavioral Modeling and Analysis with fUML and Alf", 1st Workshop on Open Source Software for Model Driven Engineering, Valencia, 2014.
Polgár, B., Selényi, E., and Bartha, T., "On The Extension And Applicability of The P-graph Modeling Paradigm to System-level Diagnostic Problems", SCALABLE COMPUTING PRACTICE AND EXPERIENCE, vol. 6, issue 2, pp. 45 - 57, 2005.
Szombath, I., "Online Infrastructure Dependency Detection and Tracking", Conference of PhD Students in Computer Science, Szeged, pp. 67, 06/2010.

Izsó, B., Szatmári, Z., Bergmann, G., Horváth, Á., Ráth, I., and Varró, D., "Ontology driven design of EMF metamodels and well-formedness constraints", Proceedings of the 12th Workshop on OCL and Textual Modelling, New York, NY, USA, ACM, pp. 37–42, 2012.
Dávid, I., and Gönczy, L., "Ontology-Supported Design of Domain-Specific Languages: A Complex Event Processing Case Study", Advances and Applications in Model-Driven Engineering: IGI Global, 2013. Abstract
Domokos, P., and Varró, D., "An Open Visualization Framework for Metamodel-Based Modeling Languages", Proc. GraBaTs 2002, International Workshop on Graph-Based Tools, vol. 72 (2), no. 2, Barcelona, Spain, Elsevier, pp. 78–87, October 7–8, 2002. Abstract
Bergmann, G., Molnár, M., Gönczy, L., and Cousin, B., "Optimal Period Length for the CGS Sensor Network Scheduling Algorithm", International conference on Networking and Services: IEEE Computer Society, pp. 192-199, 2010.
Varró-Gyapay, S., and Varró, D., "Optimization in Graph Transformation Systems Using Petri Net Based Techniques", Electronic Communications of the EASST (ECEASST), vol. 2: EASST, 2006. Abstract
Selected papers of Workshop on Petri Nets and Graph Transformations
P
Aznaveh, M., Chen, J., Davis, T. A., Hegyi, B., Kolodziej, S. P., Mattson, T. G., and Szárnyas, G., "Parallel GraphBLAS with OpenMP", SIAM Workshop on Combinatorial Scientific Computing (CSC) co-located with the SIAM Conference on Parallel Processing for Scientific Computing (PP), Seattle, WA, SIAM, 2020.
Vörös, A., Bartha, T., Darvas, D., Szabó, T., Jámbor, A., and Horváth, Á., "Parallel Saturation Based Model Checking", The 10th International Symposium on Parallel and Distributed Computing (ISPDC 2011), Cluj Napoca, IEEE Computer Society, 07/2011.
Bergmann, G., Ráth, I., and Varró, D., "Parallelization of Graph Transformation Based on Incremental Pattern Matching", Electronic Communications of the EASST, Proceedings of the Eighth International Workshop on Graph Transformation and Visual Modeling Techniques, vol. 18, 2009. Abstract
Bergmann, G., "Parallelization of Incremental Pattern Matching in Graph Transformation", Proceedings of the 16th PhD Minisymposium: Budapest University of Technology and Economics, Department of Measurement and Information Systems, pp. 10–11, 2009.
Balogh, A., and Varró, D., "Pattern Composition in Graph Transformation Rules", European Workshop on Composition of Model Transformations, Bilbao, Spain, July, 2006. Abstract
Varró, D., "A Pattern-Based Constraint Language for Metamodels", Proc. CSCS 2002: The Third Conference of PhD Students in Computer Science, Szeged, Hungary, pp. 109, July 1–4, 2002.