Search results for "Platypus"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
166	Ruey-Sing Wei, Alberto L. Sangiovanni-Vincentelli	PLATYPUS: a PLA test pattern generation tool.	DAC	1985	DBLP DOI BibTeX RDF
143	Zhen He, Stephen M. Blackburn, Luke Kirby, John N. Zigman	Platypus: Design and Implementation of a Flexible High Performance Object Store.	POS	2000	DBLP DOI BibTeX RDF
92	Barath Raghavan, Patrick Verkaik, Alex C. Snoeren	Secure and policy-compliant source routing.	IEEE/ACM Trans. Netw.	2009	DBLP DOI BibTeX RDF	authentication, overlay networks, capabilities, source routing
92	Barath Raghavan, Alex C. Snoeren	A system for authenticated policy-compliant routing.	SIGCOMM	2004	DBLP DOI BibTeX RDF	authentication, overlay networks, capabilities, source routing
92	William S. Havens	The Playtypus Expert System Shell.	KBCS	1989	DBLP DOI BibTeX RDF
79	Frank Singhoff, Alain Plantec	Towards User-Level Extensibility of an Ada Library: An Experiment with Cheddar.	Ada-Europe	2007	DBLP DOI BibTeX RDF	Ada code generating, Cheddar, Platypus, Meta-modeling
56	Frank Singhoff, Alain Plantec	AADL modeling and analysis of hierarchical schedulers.	SIGAda	2007	DBLP DOI BibTeX RDF	ada framework, cheddar, platypus, real time, scheduling analysis, AADL, timed automaton
28	Felix Leditzky, Debbie W. Leung, Vikesh Siddhu, Graeme Smith 0002, John A. Smolin	The Platypus of the Quantum Channel Zoo.	IEEE Trans. Inf. Theory	2023	DBLP DOI BibTeX RDF
28	Ariel N. Lee, Cole J. Hunter, Nataniel Ruiz	Platypus: Quick, Cheap, and Powerful Refinement of LLMs.	CoRR	2023	DBLP DOI BibTeX RDF
28	Sarah M. Pratt, Ian Covert, Rosanne Liu, Ali Farhadi	What does a platypus look like? Generating customized prompts for zero-shot image classification.	ICCV	2023	DBLP DOI BibTeX RDF
28	Thomas Horton King, Jizheng He, Chun-Kai Yao, Akarsh Prabhakara, Mohamad Alipour, Swarun Kumar, Anthony Rowe 0001, Elahe Soltanaghai	Platypus: Sub-mm Micro-Displacement Sensing with Passive Millimeter-wave Tags As "Phase Carriers".	IPSN	2023	DBLP DOI BibTeX RDF
28	Jizheng He, Thomas Horton King, Chun-Kai Yao, Akarsh Prabhakara, Mohamad Alipour, Swarun Kumar, Anthony Rowe 0001, Elahe Soltanaghai	Demo Abstract: Platypus: Sub-mm Micro-Displacement Sensing with Passive Millimeter-wave Tags As "Phase Carriers".	IPSN	2023	DBLP DOI BibTeX RDF
28	Jose Pablo De la Rosa Gutierrez, Anders Stengaard Sørensen	PLATYPUS: An Environment for End-User Development of Robot-Assisted Physical Training.	HRI (Companion)	2023	DBLP DOI BibTeX RDF
28	Sarah M. Pratt, Rosanne Liu, Ali Farhadi	What does a platypus look like? Generating customized prompts for zero-shot image classification.	CoRR	2022	DBLP DOI BibTeX RDF
28	Felix Leditzky, Debbie W. Leung, Vikesh Siddhu, Graeme Smith 0002, John A. Smolin	The platypus of the quantum channel zoo.	CoRR	2022	DBLP BibTeX RDF
28	Karl Wüst, Kari Kostiainen, Noah Delius, Srdjan Capkun	Platypus: A Central Bank Digital Currency with Unlinkable Transactions and Privacy-Preserving Regulation.	CCS	2022	DBLP DOI BibTeX RDF
28	Felix Leditzky, Debbie W. Leung, Vikesh Siddhu, Graeme Smith 0002, John A. Smolin	The platypus of the quantum channel zoo.	ISIT	2022	DBLP DOI BibTeX RDF
28	Karl Wüst, Kari Kostiainen, Srdjan Capkun	Platypus: A Central Bank Digital Currency with Unlinkable Transactions and Privacy Preserving Regulation.	IACR Cryptol. ePrint Arch.	2021	DBLP BibTeX RDF
28	Moritz Lipp, Andreas Kogler, David F. Oswald, Michael Schwarz 0001, Catherine Easdon, Claudio Canella, Daniel Gruss	PLATYPUS: Software-based Power Side-Channel Attacks on x86.	SP	2021	DBLP DOI BibTeX RDF
28	Jan Goedgebeur, Addie Neyt, Carol T. Zamfirescu	Structural and computational results on platypus graphs.	Appl. Math. Comput.	2020	DBLP DOI BibTeX RDF
28	Ann Morrison, Hannah Larsen, Caroline Fieldus, Alexander A. Kist, Ananda Maiti	Platypus Surfing: In Search of the Perfect Wave.	ACI	2020	DBLP DOI BibTeX RDF
28	Alejandro Ranchal-Pedrosa, Vincent Gramoli	Platypus: a Partially Synchronous Offchain Protocol for Blockchains.	CoRR	2019	DBLP BibTeX RDF
28	Kiley Graim, Verena Friedl, Kathleen E. Houlahan, Joshua M. Stuart	PLATYPUS: A Multiple-View Learning Predictive Framework for Cancer Drug Sensitivity Prediction.	PSB	2019	DBLP BibTeX RDF
28	Alejandro Ranchal-Pedrosa, Vincent Gramoli	Platypus: Offchain Protocol Without Synchrony.	NCA	2019	DBLP DOI BibTeX RDF
28	Dimo Brockhoff, Tea Tusar	Benchmarking algorithms from the platypus framework on the biobjective bbob-biobj testbed.	GECCO (Companion)	2019	DBLP DOI BibTeX RDF
28	Thomas Pellissier Tanon, Marcos Dias de Assunção, Eddy Caron, Fabian M. Suchanek	Demoing Platypus - A Multilingual Question Answering Platform for Wikidata.	ESWC (Satellite Events)	2018	DBLP DOI BibTeX RDF
28	Jan Goedgebeur, Addie Neyt, Carol T. Zamfirescu	Structural and computational results on platypus graphs.	CoRR	2017	DBLP BibTeX RDF
28	Yu Takano, Kazuto Nakata, Yasushige Yonezawa, Haruki Nakamura	Development of massive multilevel molecular dynamics simulation program, platypus (PLATform for dYnamic protein unified simulation), for the elucidation of protein functions.	J. Comput. Chem.	2016	DBLP DOI BibTeX RDF
28	Tobias Grosse-Puppendahl, Xavier Dellangnol, Christian Hatzfeld, Biying Fu, Mario Kupnik, Arjan Kuijper, Matthias R. Hastall, James Scott, Marco Gruteser	Platypus: Indoor Localization and Identification through Sensing of Electric Potential Changes in Human Bodies.	MobiSys	2016	DBLP DOI BibTeX RDF
28	Mikael Vejdemo-Johansson	Sketches of a platypus: persistent homology and its algebraic foundations	CoRR	2012	DBLP BibTeX RDF
28	Alexis Diaz-Torres	PLATYPUS: A code for reaction dynamics of weakly-bound nuclei at near-barrier energies within a classical dynamical model.	Comput. Phys. Commun.	2011	DBLP DOI BibTeX RDF
28	Roger S. Holmes, Erwin Goldberg	Computational analyses of mammalian lactate dehydrogenases: Human, mouse, opossum and platypus LDHs.	Comput. Biol. Chem.	2009	DBLP DOI BibTeX RDF
28	Jean Gressmann, Tomi Janhunen, Robert E. Mercer, Torsten Schaub, Sven Thiele, Richard Tichy	On Probing and Multi-Threading in Platypus.	ECAI	2006	DBLP BibTeX RDF
28	James Harland	The Busy Beaver, the Placid Platypus and other Crazy Creatures.	CATS	2006	DBLP BibTeX RDF
28	Jean Gressmann, Tomi Janhunen, Robert E. Mercer, Torsten Schaub, Sven Thiele, Richard Tichy	Platypus: A Platform for Distributed Answer Set Solving.	LPNMR	2005	DBLP DOI BibTeX RDF
28	Barry Kitson, Ian Lewis, Ajeet Parhar, Andrew Speirs-Bridge	PLATyPus: experimenting with TINA.	IEEE Commun. Mag.	1994	DBLP DOI BibTeX RDF
28	Roger E. Ghormley, David L. Sallach	PLATYPUS: Inheritance and Scientific Discovery.	SSDBM	1990	DBLP DOI BibTeX RDF
28	William S. Havens, Paul Stephen Rehfuss	Platypus: A Constraint-Based Reasoning System.	IJCAI	1989	DBLP BibTeX RDF
28	Ruey-Sing Wei, Alberto L. Sangiovanni-Vincentelli	PLATYPUS: A PLA Test Pattern Generation Tool.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1986	DBLP DOI BibTeX RDF
23	Alain Plantec, Frank Singhoff	Refactoring of an Ada 95 library with a Meta CASE tool.	SIGAda	2006	DBLP DOI BibTeX RDF	PlatypusCheddar, code generating, meta-modeling, EXPRESS, STEP, Meta CASE
23	Alex C. Snoeren, Barath Raghavan	Decoupling policy from mechanism in Internet routing.	Comput. Commun. Rev.	2004	DBLP DOI BibTeX RDF