Search results for "Nautilus"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
148	Cláudio Naoto Fuzitaki, Paulo Blauth Menezes, Júlio Henrique Araújo Pereira Machado, Fernando D'Andrea	Nautilus, a Concurrent Diagrammatic Specification and Programming Language.	J. Supercomput.	2006	DBLP DOI BibTeX RDF	object language, Nautilus, nonsequential automata, concurrent systems, graphical notation
93	Cláudio Naoto Fuzitaki, Paulo Blauth Menezes, Júlio Henrique Araújo Pereira Machado, Simone André da Costa	Mapping Nautilus Language into Java: Towards a Specification and Programming Environment for Distributed Systems.	EUROCAST	2003	DBLP DOI BibTeX RDF
93	Mario Donato Marino, Geraldo Lino de Campos	A Preliminary Speedup Comparison between Two Scope Consistency DSM Systems: JIAJIA and Nautilus.	ICPP Workshops	1999	DBLP DOI BibTeX RDF	distributed shared memory, DSM
77	Igor Ivkovic, Michael W. Godfrey	Architecture Recovery of Dynamically Linked Applications: A Case Study.	IWPC	2002	DBLP DOI BibTeX RDF	Nautilus, GNOME, dynamically linked applications, Dynamo, software architecture, program comprehension, architecture recovery, Focus, PBS
54	Ana Belen Ruiz, Karthik Sindhya, Kaisa Miettinen, Francisco Ruiz 0002, Mariano Luque	E-NAUTILUS: A decision support system for complex multiobjective optimization problems based on the NAUTILUS method.	Eur. J. Oper. Res.	2015	DBLP DOI BibTeX RDF
49	Jiri Chludil, Jiri Zara	Nautilus - The Environment for Training and Testing.	DS-RT	2002	DBLP DOI BibTeX RDF
49	Marco Gori, Marco Maggini, Enrico Martinelli, Franco Scarselli	Learning User Profiles in NAUTILUS.	AH	2000	DBLP DOI BibTeX RDF
44	Jingwei Wu, Ahmed E. Hassan, Richard C. Holt	Using Graph Patterns to Extract Scenarios.	IWPC	2002	DBLP DOI BibTeX RDF
44	Mario Donato Marino, Geraldo Lino de Campos	An Evaluation of Page Aggregation Technique on Different DSM Systems.	ISHPC	2000	DBLP DOI BibTeX RDF
27	Alagappan Ramanathan, Sangeetha Abdu Jyothi	Nautilus: A Framework for Cross-Layer Cartography of Submarine Cables and IP Links.	Proc. ACM Meas. Anal. Comput. Syst.	2023	DBLP DOI BibTeX RDF
27	Johannes U. Lange	NAUTILUS: boosting Bayesian importance nested sampling with deep learning.	CoRR	2023	DBLP DOI BibTeX RDF
27	Alagappan Ramanathan, Sangeetha Abdu Jyothi	Nautilus: A Framework for Cross-Layer Cartography of Submarine Cables and IP Links.	CoRR	2023	DBLP DOI BibTeX RDF
27	Gelei Deng, Zhiyi Zhang, Yuekang Li, Yi Liu, Tianwei Zhang 0004, Yang Liu 0003, Guo Yu, Dongjin Wang	NAUTILUS: Automated RESTful API Vulnerability Detection.	USENIX Security Symposium	2023	DBLP BibTeX RDF
27	Jeffrey Weekley, Sri Kurniawan	Towards a Human-centered Tutorial Design for the Nautilus Cluster.	PEARC	2023	DBLP DOI BibTeX RDF
27	Bhupinder Singh Saini, Michael Emmerich, Atanu Mazumdar, Bekir Afsar, Babooshka Shavazipour, Kaisa Miettinen	Optimistic NAUTILUS navigator for multiobjective optimization with costly function evaluations.	J. Glob. Optim.	2022	DBLP DOI BibTeX RDF
27	Supun Nakandala, Arun Kumar 0001	Nautilus: An Optimized System for Deep Transfer Learning over Evolving Training Datasets.	SIGMOD Conference	2022	DBLP DOI BibTeX RDF
27	Lara F. de Amorim, Vitor Pavani, Lucas B. Alexandre, Pedro H. Teixeira, Samuel Valentim, Henrique Serdeira, Victor Prado, Claudio M. de Farias, Flávia Coimbra Delicato	Design and Implementation of UFRJ Nautilus' AUV Lua - A TinyML Approach.	DASC/PiCom/CBDCom/CyberSciTech	2022	DBLP DOI BibTeX RDF
27	Thiago do Nascimento Ferreira, Silvia Regina Vergilio, Marouane Kessentini	Nautilus: An Interactive Plug-and-Play Search-Based Software Engineering Framework.	IEEE Softw.	2021	DBLP DOI BibTeX RDF
27	Giorgio Bernardinetti, Stefano Iafrate, Giuseppe Bianchi 0001	Nautilus: A Tool For Automated Deployment And Sharing Of Cyber Range Scenarios.	ARES	2021	DBLP DOI BibTeX RDF
27	Thiago do Nascimento Ferreira, Silvia Regina Vergilio, Marouane Kessentini	Implementing Search-Based Software Engineering Approaches with Nautilus.	SBES	2021	DBLP DOI BibTeX RDF
27	Spencer B. Backus, Rina Onishi, Andrew Bocklund, Andrew Berg, Eric D. Contreras, Aaron Parness	Design and testing of the JPL-Nautilus Gripper for deep-ocean geological sampling.	J. Field Robotics	2020	DBLP DOI BibTeX RDF
27	Hieu-Thi Luong, Junichi Yamagishi	NAUTILUS: a Versatile Voice Cloning System.	CoRR	2020	DBLP BibTeX RDF
27	Hieu-Thi Luong, Junichi Yamagishi	NAUTILUS: A Versatile Voice Cloning System.	IEEE ACM Trans. Audio Speech Lang. Process.	2020	DBLP DOI BibTeX RDF
27	Thiago do Nascimento Ferreira, Silvia Regina Vergilio, Marouane Kessentini	Many-objective Search-based Selection of Software Product Line Test Products with Nautilus.	SPLC (B)	2020	DBLP DOI BibTeX RDF
27	Samuel Simplicio, Henrique José dos S. Ferreira, Gustavo Villela, Felipe B. Costa, Vitor Pavani, Luma Rodrigues, Claudio M. de Farias	Development of the UFRJ Nautilus' AUV: A Multisensor Data Fusion case study.	FUSION	2020	DBLP DOI BibTeX RDF
27	Ana Belen Ruiz, Francisco Ruiz 0002, Kaisa Miettinen, Laura Delgado-Antequera, Vesa Ojalehto	NAUTILUS Navigator: free search interactive multiobjective optimization without trading-off.	J. Glob. Optim.	2019	DBLP DOI BibTeX RDF
27	Cornelius Aschermann, Tommaso Frassetto, Thorsten Holz, Patrick Jauernig, Ahmad-Reza Sadeghi, Daniel Teuchert	NAUTILUS: Fishing for Deep Bugs with Grammars.	NDSS	2019	DBLP BibTeX RDF
27	Laura Fernández Gallardo, Benjamin Weiss 0001	The Nautilus Speaker Characterization Corpus: Speech Recordings and Labels of Speaker Characteristics and Voice Descriptions.	LREC	2018	DBLP BibTeX RDF
27	Michal Lukác, Daniel Sýkora, Kalyan Sunkavalli, Eli Shechtman, Ondrej Jamriska, Nathan Carr 0001, Tomás Pajdla	Nautilus: recovering regional symmetry transformations for image editing.	ACM Trans. Graph.	2017	DBLP DOI BibTeX RDF
27	Michael K. Papamichael, Peter A. Milder, James C. Hoe	Nautilus: fast automated IP design space search using guided genetic algorithms.	DAC	2015	DBLP DOI BibTeX RDF
27	Jianyu Zhao, Peng Wang 0004	Nautilus: A Generic Framework for Crawling Deep Web.	ICDKE	2012	DBLP DOI BibTeX RDF
27	Melanie Herschel, Hanno Eichelberger	The nautilus analyzer: understanding and debugging data transformations.	CIKM	2012	DBLP DOI BibTeX RDF
27	Amy F. Szczepanski, Jian Huang 0007, Sean Ahern, Mark R. Fahey	A tale of two systems: flexibility of usage of Kraken and Nautilus at the National Institute for Computational Sciences.	XSEDE	2012	DBLP DOI BibTeX RDF
27	Kaisa Miettinen, Petri Eskelinen, Francisco Ruiz 0002, Mariano Luque	NAUTILUS method: An interactive technique in multiobjective optimization based on the nadir point.	Eur. J. Oper. Res.	2010	DBLP DOI BibTeX RDF
27	Maciej Cytowski, Bartosz Borucki, Maciej Remiszewski	Nautilus - A Testbed for Green Scientific Computing.	ERCIM News	2009	DBLP BibTeX RDF
27	Adrien Schmidt, Serge Fantino	Cas d'utilisation réelle de Nautilus : Calcul d'indicateurs chez un opérateur mobile.	EGC	2008	DBLP BibTeX RDF
27	Oliver Kopp, Tobias Unger, Frank Leymann	Nautilus Event-driven Process Chains: Syntax, Semantics, and their Mapping to BPEL.	EPK	2006	DBLP BibTeX RDF
27	Cláudio Naoto Fuzitaki, Paulo Blauth Menezes, Júlio Henrique Araújo Pereira Machado	A Protocol Checker for Nautilus Language.	PDPTA	2004	DBLP BibTeX RDF
27	Eduardo Fabrízio Seganfredo, Rodrigo Gatto, Cláudio Naoto Fuzitaki, Paulo Blauth Menezes, Daltro José Nunes	An Outline to a Diagrammatic Nautilus Environment.	PDPTA	2003	DBLP BibTeX RDF
27	Fernando D'Andrea, Paulo Blauth Menezes, Cláudio Naoto Fuzitaki, Júlio Henrique Araújo Pereira Machado, Simone André da Costa	Nautilus, a Diagrammatic Specification and Programming Language.	IASTED PDCS	2002	DBLP BibTeX RDF
27	Mario Donato Marino	Two Techniques for Improvement the Speedup of Nautilus DSM.	Computación y Sistemas	2000	DBLP BibTeX RDF
27	Mario Donato Marino, Geraldo Lino de Campos	Influence of the dynamic page aggregation on the speedup of Nautilus DSM system.	ICPADS Workshops	2000	DBLP DOI BibTeX RDF
27	Mario Donato Marino, Geraldo Lino de Campos	Techniques for Improving the Speedup of Nautilus DSM.	PDPTA	2000	DBLP BibTeX RDF
27	Cirney Carneiro, Rodrigo Quites Reis, Paulo Blauth Menezes	Especificação Formal de uma Ferramenta de Trabalho Colaborativo através da Composição de Objetos Náutilus.	SBES	1999	DBLP DOI BibTeX RDF
27	Mario Donato Marino, Geraldo Lino de Campos	A DSM Speedup Comparison: TreadMarks, JIAJIA and Nautilus.	PDPTA	1999	DBLP BibTeX RDF
27	Cirney Carneiro, Tiago Veit, Paulo Blauth Menezes, Fernando D'Andrea	Náutilus: Its Concurrent and Distributed Characteristics and as an Academic Language.	PDPTA	1999	DBLP BibTeX RDF
22	Manuela Battipede, Marco Lando, Piero A. Gili	Mathematical Modelling of an Innovative Unmanned Airship for its Control Law Design.	Systems, Control, Modeling and Optimization	2006	DBLP DOI BibTeX RDF	airship, dynamic modelling, flight simulation
22	Nicolas Montavont, Thomas Noël, Thierry Ernst	Multihoming in Nested Mobile Networking.	SAINT Workshops	2004	DBLP DOI BibTeX RDF
22	Hanna Strömberg, Antti Väätänen, Veli-Pekka Räty	A group game played in interactive virtual space: design and evaluation.	Symposium on Designing Interactive Systems	2002	DBLP DOI BibTeX RDF	user interface, computer games, virtual space, shared experiences, human-centred design