Search results for "avalon"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
107	Jeannette M. Wing	Using Larch to Specify Avalon/C++ Objects.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	Avalon/C++ objects, subatomic, nonfunctional properties, complex properties, formal specification, formal specification, atomic, recoverable, Larch
74	Jeannette M. Wing	Specifying Avalon Objects in Larch.	TAPSOFT, Vol.2	1989	DBLP DOI BibTeX RDF
45	Michael Granitzer, Arno Scharl, Albert Weichselbraun, Thomas Neidhart, Andreas Juffinger, Gerhard Wohlgenannt	Automated Ontology Learning and Validation Using Hypothesis Testing.	AWIC	2007	DBLP DOI BibTeX RDF
41	Barbara R. Terlouw, Kai Blin, Jorge C. Navarro-Muñoz, Nicole E. Avalon, Marc G. Chevrette, Susan Egbert, Sanghoon Lee, David Meijer, Michael J. Recchia, Zachary L. Reitz, Jeffrey A. van Santen, Nelly Selem Mojica, Thomas Tørring, Liana Zaroubi, Mohammad Alanjary, Gajender Aleti, César Aguilar, Suhad A. Al-Salihi, Hannah E. Augustijn, J. Abraham Avelar-Rivas, Luis A. Avitia-Domínguez, Francisco Barona-Gómez, Jordan Bernaldo-Agüero, Vincent A. Bielinski, Friederike Biermann, Thomas J. Booth, J. Carrion Bravo, Raquel Castelo-Branco, Fernanda O. Chagas, Pablo Cruz-Morales, Chao Du, Katherine R. Duncan, Athina Gavriilidou, Damien Gayrard, Karina Gutiérrez-García, Kristina Haslinger, Eric J. N. Helfrich, Justin J. J. van der Hooft, Afif P. Jati, Edward Kalkreuter, Nikolaos Kalyvas, Kyo Bin Kang, Satria A. Kautsar, Wonyong Kim, Aditya M. Kunjapur, Yong-Xin Li, Geng-Min Lin, Catarina Loureiro, Joris J. R. Louwen, Nico l L. Louwen, George Lund, Jonathan Parra, Benjamin Philmus, Bita Pourmohsenin, Lotte U. Pronk, Adriana Rego, Devasahayam Arokia Balaya Rex, Serina L. Robinson, L. Rodrigo Rosas-Becerra, Eve T. Roxborough, Michelle A. Schorn, Darren J. Scobie, Kumar Saurabh Singh, Nika Sokolova, Xiaoyu Tang, Daniel W. Udwary, Aruna Vigneshwari, Kristiina Vind, Sophie P. J. M. Vromans, Valentin Waschulin, Sam E. Williams, Jaclyn M. Winter, Thomas E. Witte, Huali Xie, Dong Yang, Jingwei Yu, Mitja Zdouc, Zheng Zhong, Jérôme Collemare, Roger G. Linington, Tilmann Weber, Marnix H. Medema	MIBiG 3.0: a community-driven effort to annotate experimentally validated biosynthetic gene clusters.	Nucleic Acids Res.	2023	DBLP DOI BibTeX RDF
41	Avalon Vinella, Margaret Capetz, Rebecca Pattichis, Christina Chance, Reshmi Ghosh	Leveraging Language Models to Detect Greenwashing.	CoRR	2023	DBLP DOI BibTeX RDF
41	Cheila Avalon Cullen, Rafea Al Suhili, Edier Aristizabal	A Landslide Numerical Factor Derived from CHIRPS for Shallow Rainfall Triggered Landslides in Colombia.	Remote. Sens.	2022	DBLP DOI BibTeX RDF
41	Megan Ma, Dmitriy Podkopaev, Avalon Campbell-Cousins, Adam Nicholas	Deconstructing Legal Text_Object Oriented Design in Legal Adjudication.	CoRR	2020	DBLP BibTeX RDF
41	Cheila Avalon Cullen, Rafea Al-Suhili, Reza Khanbilvardi	Guidance Index for Shallow Landslide Hazard Analysis.	Remote. Sens.	2016	DBLP DOI BibTeX RDF
41	Jon Avalon, Peter Hayward, Victor P. Lane, James Snaith	E-health modelling for decision support: Can technology turn us all into experts?	CBMS	2010	DBLP DOI BibTeX RDF
33	Maurice Herlihy, Nancy A. Lynch, Michael Merritt, William E. Weihl	On the Correctness of Orphan Management Algorithms.	J. ACM	1992	DBLP DOI BibTeX RDF	avalon, camelot, input-output automata, recovery, serializability, atomic actions, Argus
29	Weilin Chen, Wei Yang 0011, Lide Xue, Bingren Chen, Youwen Zhu, Liusheng Huang	Avalon: A Scalable and Secure Distributed Transaction Ledger Based on Proof-of-Market.	IEEE Trans. Computers	2023	DBLP DOI BibTeX RDF
29	Simon Stepputtis, Joseph Campbell, Yaqi Xie, Zhengyang Qi, Wenxin Sharon Zhang, Ruiyi Wang, Sanketh Rangreji, Michael Lewis 0001, Katia P. Sycara	Long-Horizon Dialogue Understanding for Role Identification in the Game of Avalon with Large Language Models.	CoRR	2023	DBLP DOI BibTeX RDF
29	Shenzhi Wang, Chang Liu, Zilong Zheng, Siyuan Qi, Shuo Chen, Qisen Yang, Andrew Zhao, Chaofei Wang, Shiji Song, Gao Huang	Avalon's Game of Thoughts: Battle Against Deception through Recursive Contemplation.	CoRR	2023	DBLP DOI BibTeX RDF
29	Yihuai Lan, Zhiqiang Hu, Lei Wang 0185, Yang Wang, Deheng Ye, Peilin Zhao, Ee-Peng Lim, Hui Xiong 0001, Hao Wang 0094	LLM-Based Agent Society Investigation: Collaboration and Confrontation in Avalon Gameplay.	CoRR	2023	DBLP DOI BibTeX RDF
29	Jonathan Light, Min Cai, Sheng Shen, Ziniu Hu	From Text to Tactic: Evaluating LLMs Playing the Game of Avalon.	CoRR	2023	DBLP DOI BibTeX RDF
29	Zijing Shi, Meng Fang, Shunfeng Zheng, Shilong Deng, Ling Chen, Yali Du 0001	Cooperation on the Fly: Exploring Language Agents for Ad Hoc Teamwork in the Avalon Game.	CoRR	2023	DBLP DOI BibTeX RDF
29	Simon Stepputtis, Joseph Campbell, Yaqi Xie, Zhengyang Qi, Wenxin Sharon Zhang, Ruiyi Wang, Sanketh Rangreji, Charles Lewis, Katia P. Sycara	Long-Horizon Dialogue Understanding for Role Identification in the Game of Avalon with Large Language Models.	EMNLP (Findings)	2023	DBLP DOI BibTeX RDF
29	Joshua Albrecht, Abraham J. Fetterman, Bryden Fogelman, Ellie Kitanidis, Bartosz Wróblewski, Nicole Seo, Michael Rosenthal, Maksis Knutins, Zachary Polizzi, James B. Simon, Kanjun Qiu	Avalon: A Benchmark for RL Generalization Using Procedurally Generated Worlds.	CoRR	2022	DBLP DOI BibTeX RDF
29	Robert Chuchro	Training an Assassin AI for The Resistance: Avalon.	CoRR	2022	DBLP DOI BibTeX RDF
29	Joshua Albrecht, Abraham J. Fetterman, Bryden Fogelman, Ellie Kitanidis, Bartosz Wróblewski, Nicole Seo, Michael Rosenthal, Maksis Knutins, Zack Polizzi, James Simon, Kanjun Qiu	Avalon: A Benchmark for RL Generalization Using Procedurally Generated Worlds.	NeurIPS	2022	DBLP BibTeX RDF
29	Quan Chen 0002, Zhenning Wang, Jingwen Leng, Chao Li 0009, Wenli Zheng, Minyi Guo	Avalon: towards QoS awareness and improved utilization through multi-resource management in datacenters.	ICS	2019	DBLP DOI BibTeX RDF
29	Frank Plasencia-Balabarca, Edward Mitacc-Meza, Mario Raffo-Jara, Carlos Silva Cárdenas	A Flexible UVM-Based Verification Framework Reusable with Avalon, AHB, AXI and Wishbone Bus Interfaces for an AES Encryption Module.	LATS	2019	DBLP DOI BibTeX RDF
29	Yuan Xu, Zhiyuan Yan, Sa Wang, Cheng Yang, Qingsai Xiao, Yungang Bao	Avalon: Building an Operating System for Robotcenter.	CoRR	2018	DBLP BibTeX RDF
29	Matthew Murawski, R. M. Jenita Priya, Mohammed Khalid	Design and evaluation of Avalon compatible adapter and parameterizable NoC router for FPGAs.	CCECE	2015	DBLP DOI BibTeX RDF
29	Jon W. Dunn, Stuart L. Baker	The avalon media system: a platform for access-controlled delivery of time-based media.	JCDL	2013	DBLP DOI BibTeX RDF
29	María Paula Santalla del Río	Desarrollo de Recursos para el Análisis Sintáctico Automático del Español: AVALON, una gramática formal y CSA, un corpus sintácticamente analizado.	Proces. del Leng. Natural	2011	DBLP BibTeX RDF
29	Hendrik Erckens, Gion-Andri Büsser, Cédric Pradalier, Roland Siegwart	Avalon.	IEEE Robotics Autom. Mag.	2010	DBLP DOI BibTeX RDF
29	Hendrik Eeckhaut, Mark Christiaens, Dirk Stroobandt	Improving External Memory Access for Avalon Systems on Programmable Chips..	FPL	2007	DBLP DOI BibTeX RDF
29	Chris Sells, Ian Griffiths	Programming Windows presentation foundation - building Windows XP / Vista user interfaces: AKA: Avalon.		2005	RDF
29	Feng Lin, Haili Wang, Jinian Bian	HW/SW Interface Synthesis Based on Avalon Bus Specification for Nios-Oriented SoC Design.	FPT	2005	DBLP BibTeX RDF
29	Johannes Behr	Avalon: ein skalierbares Rahmensystem für dynamische Mixed-Reality-Anwendungen.		2005	RDF
29	Jeffrey L. Eppinger, Lily B. Mummert, Alfred Z. Spector	Camelot and Avalon: A Distributed Transaction Facility		1991	RDF
29	Stewart M. Clamen, Linda D. Leibengood, Scott Nettles, Jeannette M. Wing	Reliable Distributed Computing with Avalon/Common Lisp.	ICCL	1990	DBLP DOI BibTeX RDF
29	David Detlefs, Maurice Herlihy, Jeannette M. Wing	Inheritance of Synchronization and Recovery Properties in Avalon/C++.	Computer	1988	DBLP DOI BibTeX RDF
29	Richard Allen Lerner	Reliable Servers: Design and Implementation in Avalon/C++.	DPDS	1988	DBLP DOI BibTeX RDF
29	David Detlefs, Maurice Herlihy, K. Kietzke, Jeannette M. Wing	Avalon/C++.	C++ Workshop	1987	DBLP BibTeX RDF
23	Jay Kraut	Hardware Edge Detection using an Altera Stratix NIOS2 Development Kit.	CCECE	2006	DBLP DOI BibTeX RDF
23	Stefan Göbel 0001, Oliver Schneider 0001, Ido Iurgel, Axel Feix, Christian Knöpfle, Alexander Rettig	Virtual Human: Storytelling and Computer Graphics for a Virtual Human Platform.	TIDSE	2004	DBLP DOI BibTeX RDF
23	Jens Knodel, Martin Pinzger 0001	Improving Fact Extraction of Framework-Based Software Systems.	WCRE	2003	DBLP DOI BibTeX RDF	lexical pattern matching, reverse engineering, frameworks, parsing, architecture recovery, fact extraction
23	Alan D. Fekete, Nancy A. Lynch, William E. Weihl	Hybrid Atomicity for Nested Transactions.	ICDT	1992	DBLP DOI BibTeX RDF
23	Gopi K. Attaluri	Issues in managing long transactions and large objects in a multidatabase system.	CASCON	1992	DBLP BibTeX RDF
23	Jeannette M. Wing	Verifying Atomic Data Types.	REX Workshop	1989	DBLP DOI BibTeX RDF	fault-tolerance, distributed systems, program verification, transactions, Atomicity, abstract data types
23	Gail E. Kaiser	Transactions for concurrent object-oriented programming systems.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1988	DBLP DOI BibTeX RDF