Search results for "MADES"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
106	J. Ignacio Giráldez, Daniel Borrajo	Distributed Decision Making in Checkers.	Computers and Games	1998	DBLP DOI BibTeX RDF
89	Xuhui Li 0001, Jiannong Cao 0001, Yanxiang He	A Direct Execution Approach to Simulating Mobile Agent Algorithms.	J. Supercomput.	2004	DBLP DOI BibTeX RDF	direct execution simulation, MADES, mobile agent, parallel and distributed simulation
53	Jiannong Cao 0001, Xuhui Li, Sou King, Yanxiang He	Direct Execution Simulation of Mobile Agent Algorithms.	ISPA	2003	DBLP DOI BibTeX RDF
53	J. Ignacio Giráldez, Daniel Borrajo	Distributed Reinforcement Learning in Multi-Agent Decision Systems.	IBERAMIA	1998	DBLP DOI BibTeX RDF
41	Jochen Mades, Gerd Ebelt, Boris Janjic, Frederik Lauer, Carl Christian Rheinländer, Norbert Wehn	TLS-Level Security for Low Power Industrial IoT Network Infrastructures.	DATE	2020	DBLP DOI BibTeX RDF
41	Jochen Mades	Strukturelle Konsistenz und Regularisierung von VHDL-AMS-Modellen.		2003	RDF
41	Jochen Mades, Diana Estévez Schwarz, Manfred Glesner	A discrete algorithm for the regularization of hierarchical VHDL-AMS models.	ISCAS (5)	2002	DBLP DOI BibTeX RDF
41	Jochen Mades, Manfred Glesner	Regularization of hierarchical VHDL-AMS models using bipartite graphs.	DAC	2002	DBLP DOI BibTeX RDF	structural solvability, regularization, bipartite graphs, VHDL-AMS, DAEs
41	Jochen Mades, Thomas Schneider 0006, André Windisch, Thomas Hollstein, Jürgen Becker 0001, Manfred Glesner	Concept of a Joint University/Industry Course for Mixed-Signal System-On-Chip Design.	MSE	2001	DBLP DOI BibTeX RDF
41	André Windisch, Thomas Schneider 0006, Jochen Mades, Dieter Monjau, Manfred Glesner, Carsten Hammer, Wolfgang Ecker	Eine flexible Simulationsumgebung für System-On-Chip Design (A Flexible Simulation Environment for System-On-Chip Design).	Informationstechnik Tech. Inform.	2000	DBLP DOI BibTeX RDF
41	Wolfgang Ecker, Mike Heuchling, Jochen Mades, Thomas Schneider 0006, André Windisch, Ke Yang	VXML: VHDL Hardware Design Representation in XML.	MBMV	2000	DBLP BibTeX RDF
41	Jochen Mades, Thomas Schneider 0006, Manfred Glesner, André Windisch, Wolfgang Ecker	A JAVA-Based Mixed-Signal Design Environment.	SBCCI	2000	DBLP BibTeX RDF
41	Thomas Schneider 0006, Jochen Mades, Manfred Glesner, André Windisch, Wolfgang Ecker	An Open VHDL-AMS Simulation Framework.	BMAS	2000	DBLP DOI BibTeX RDF
41	André Windisch, Thomas Schneider 0006, Ke Yang, Jochen Mades, Wolfgang Ecker	A scalable multithreaded compiler front-end.	PARCO	1999	DBLP BibTeX RDF
36	Xiaohan Wang, Lin Zhang 0009, Yuanjun Laili, Kunyu Xie, Han Lu, Chun Zhao	MADES: A Unified Framework for Integrating Agent-Based Simulation with Multi-Agent Reinforcement Learning.	ANNSIM	2021	DBLP DOI BibTeX RDF
36	Luciano Baresi, Gundula Blohm, Dimitrios S. Kolovos, Nicholas Drivalos Matragkas, Alfredo Motta, Richard F. Paige, Alek Radjenovic, Matteo Rossi 0001	Formal verification and validation of embedded systems: the UML-based MADES approach.	Softw. Syst. Model.	2015	DBLP DOI BibTeX RDF
36	Tilmann Rabl, Mohammad Sadoghi, Kaiwen Zhang 0001, Hans-Arno Jacobsen	Poster: MADES - a multi-layered, adaptive, distributed event store.	DEBS	2013	DBLP DOI BibTeX RDF
36	Imran Rafiq Quadri, Etienne Brosse, Ian Gray, Nikolas Drivalos Matragkas, Leandro Soares Indrusiak, Matteo Rossi, Alessandra Bagnato, Andrey Sadovykh	MADES FP7 EU project: Effective high level SysML/MARTE methodology for real-time and embedded avionics systems.	ReCoSoC	2012	DBLP DOI BibTeX RDF
36	Alek Radjenovic, Nikolas Drivalos Matragkas, Richard F. Paige, Matteo Rossi 0001, Alfredo Motta, Luciano Baresi, Dimitrios S. Kolovos	MADES: A Tool Chain for Automated Verification of UML Models of Embedded Systems.	ECMFA	2012	DBLP DOI BibTeX RDF
36	Ian Gray, Nicholas Matragkas, Neil C. Audsley, Leandro Soares Indrusiak, Dimitris S. Kolovos, Richard F. Paige	Model-Based Hardware Generation and Programming - The MADES Approach.	ISORC Workshops	2011	DBLP DOI BibTeX RDF