|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 18 occurrences of 13 keywords
|
|
|
Results
Found 41 publication records. Showing 41 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
166 | Ruey-Sing Wei, Alberto L. Sangiovanni-Vincentelli |
PLATYPUS: a PLA test pattern generation tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 22nd ACM/IEEE conference on Design automation, DAC 1985, Las Vegas, Nevada, USA, 1985., pp. 197-203, 1985, ACM, 0-8186-0635-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POS ![In: Persistent Object Systems, 9th International Workshop, POS-9, Lillehammer, Norway, September 6-8, 2000, Revised Papers, pp. 100-124, 2000, Springer, 3-540-42735-X. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
92 | Barath Raghavan, Patrick Verkaik, Alex C. Snoeren |
Secure and policy-compliant source routing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE/ACM Trans. Netw. ![In: IEEE/ACM Trans. Netw. 17(3), pp. 764-777, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
authentication, overlay networks, capabilities, source routing |
92 | Barath Raghavan, Alex C. Snoeren |
A system for authenticated policy-compliant routing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCOMM ![In: Proceedings of the ACM SIGCOMM 2004 Conference on Applications, Technologies, Architectures, and Protocols for Computer Communication, August 30 - September 3, 2004, Portland, Oregon, USA, pp. 167-178, 2004, ACM, 1-58113-862-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
authentication, overlay networks, capabilities, source routing |
92 | William S. Havens |
The Playtypus Expert System Shell. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KBCS ![In: Knowledge Based Computer Systems, International Conference KBCS '89, Bombay, India, December 11-13, 1989, Proceedings, pp. 105-119, 1989, Springer, 3-540-52850-4. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
79 | Frank Singhoff, Alain Plantec |
Towards User-Level Extensibility of an Ada Library: An Experiment with Cheddar. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Reliable Software Technologies - Ada Europe 2007, 12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007, Proceedings, pp. 180-191, 2007, Springer, 978-3-540-73229-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Ada code generating, Cheddar, Platypus, Meta-modeling |
56 | Frank Singhoff, Alain Plantec |
AADL modeling and analysis of hierarchical schedulers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGAda ![In: Proceedings of the 2007 Annual ACM SIGAda International Conference on Ada, Fairfax, Virginia, USA, November 4-8, 2007, pp. 41-50, 2007, ACM, 978-1-59593-876-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Theory ![In: IEEE Trans. Inf. Theory 69(6), pp. 3825-3849, June 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
28 | Ariel N. Lee, Cole J. Hunter, Nataniel Ruiz |
Platypus: Quick, Cheap, and Powerful Refinement of LLMs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2308.07317, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCV ![In: IEEE/CVF International Conference on Computer Vision, ICCV 2023, Paris, France, October 1-6, 2023, pp. 15645-15655, 2023, IEEE, 979-8-3503-0718-4. The full citation details ...](Pics/full.jpeg) |
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". ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPSN ![In: The 22nd International Conference on Information Processing in Sensor Networks, IPSN 2023, San Antonio, TX, USA, May 9-12, 2023, pp. 136-148, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
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". ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPSN ![In: The 22nd International Conference on Information Processing in Sensor Networks, IPSN 2023, San Antonio, TX, USA, May 9-12, 2023, pp. 358-359, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HRI (Companion) ![In: Companion of the 2023 ACM/IEEE International Conference on Human-Robot Interaction, HRI 2023, Stockholm, Sweden, March 13-16, 2023., pp. 342-346, 2023, ACM, 978-1-4503-9970-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2209.03320, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2202.08380, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCS ![In: Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, CCS 2022, Los Angeles, CA, USA, November 7-11, 2022, pp. 2947-2960, 2022, ACM, 978-1-4503-9450-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISIT ![In: IEEE International Symposium on Information Theory, ISIT 2022, Espoo, Finland, June 26 - July 1, 2022, pp. 2433-2438, 2022, IEEE, 978-1-6654-2159-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2021, pp. 1443, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SP ![In: 42nd IEEE Symposium on Security and Privacy, SP 2021, San Francisco, CA, USA, 24-27 May 2021, pp. 355-371, 2021, IEEE, 978-1-7281-8935-2. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
28 | Jan Goedgebeur, Addie Neyt, Carol T. Zamfirescu |
Structural and computational results on platypus graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Math. Comput. ![In: Appl. Math. Comput. 386, pp. 125491, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACI ![In: ACI'2020: Seventh International Conference on Animal-Computer Interaction, Milton Keynes, United Kingdom, 10-12 November, 2020, pp. 15:1-15:6, 2020, ACM, 978-1-4503-7574-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
28 | Alejandro Ranchal-Pedrosa, Vincent Gramoli |
Platypus: a Partially Synchronous Offchain Protocol for Blockchains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1907.03730, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSB ![In: Biocomputing 2019: Proceedings of the Pacific Symposium, The Big Island of Hawaii, Hawaii, USA, January 3-7, 2019, pp. 136-147, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
28 | Alejandro Ranchal-Pedrosa, Vincent Gramoli |
Platypus: Offchain Protocol Without Synchrony. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NCA ![In: 18th IEEE International Symposium on Network Computing and Applications, NCA 2019, Cambridge, MA, USA, September 26-28, 2019, pp. 1-8, 2019, IEEE, 978-1-7281-2522-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
28 | Dimo Brockhoff, Tea Tusar |
Benchmarking algorithms from the platypus framework on the biobjective bbob-biobj testbed. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO (Companion) ![In: Proceedings of the Genetic and Evolutionary Computation Conference Companion, GECCO 2019, Prague, Czech Republic, July 13-17, 2019., pp. 1905-1911, 2019, ACM, 978-1-4503-6748-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESWC (Satellite Events) ![In: The Semantic Web: ESWC 2018 Satellite Events - ESWC 2018 Satellite Events, Heraklion, Crete, Greece, June 3-7, 2018, Revised Selected Papers, pp. 111-116, 2018, Springer, 978-3-319-98191-8. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
28 | Jan Goedgebeur, Addie Neyt, Carol T. Zamfirescu |
Structural and computational results on platypus graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1712.05158, 2017. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Chem. ![In: J. Comput. Chem. 37(12), pp. 1125-1132, 2016. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MobiSys ![In: Proceedings of the 14th Annual International Conference on Mobile Systems, Applications, and Services, MobiSys 2016, Singapore, June 26-30, 2016, pp. 17-30, 2016, ACM, 978-1-4503-4269-8. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
28 | Mikael Vejdemo-Johansson |
Sketches of a platypus: persistent homology and its algebraic foundations ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1212.5398, 2012. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Phys. Commun. ![In: Comput. Phys. Commun. 182(4), pp. 1100-1104, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
28 | Roger S. Holmes, Erwin Goldberg |
Computational analyses of mammalian lactate dehydrogenases: Human, mouse, opossum and platypus LDHs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Biol. Chem. ![In: Comput. Biol. Chem. 33(5), pp. 379-385, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECAI ![In: ECAI 2006, 17th European Conference on Artificial Intelligence, August 29 - September 1, 2006, Riva del Garda, Italy, Including Prestigious Applications of Intelligent Systems (PAIS 2006), Proceedings, pp. 392-396, 2006, IOS Press, 1-58603-642-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
28 | James Harland |
The Busy Beaver, the Placid Platypus and other Crazy Creatures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CATS ![In: Theory of Computing 2006, Proceedings of the Twelfth Computing: The Australasian Theory Symposium (CATS2006). Hobart, Tasmania, Australia, 16-19 January 2006, Proceedings, pp. 79-86, 2006, Australian Computer Society, 1-920682-33-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning, 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005, Proceedings, pp. 227-239, 2005, Springer, 3-540-28538-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
28 | Barry Kitson, Ian Lewis, Ajeet Parhar, Andrew Speirs-Bridge |
PLATyPus: experimenting with TINA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Commun. Mag. ![In: IEEE Commun. Mag. 32(12), pp. 72-79, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
28 | Roger E. Ghormley, David L. Sallach |
PLATYPUS: Inheritance and Scientific Discovery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSDBM ![In: Statistical and Scientific Database Management, 5th International Conference SSDBM, Charlotte, NC, USA, April 3-5, 1990, Proccedings, pp. 227-235, 1990, Springer, 3-540-52342-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
28 | William S. Havens, Paul Stephen Rehfuss |
Platypus: A Constraint-Based Reasoning System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI ![In: Proceedings of the 11th International Joint Conference on Artificial Intelligence. Detroit, MI, USA, August 1989, pp. 48-53, 1989, Morgan Kaufmann, 1-55860-094-9. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
28 | Ruey-Sing Wei, Alberto L. Sangiovanni-Vincentelli |
PLATYPUS: A PLA Test Pattern Generation Tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 5(4), pp. 633-644, 1986. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
23 | Alain Plantec, Frank Singhoff |
Refactoring of an Ada 95 library with a Meta CASE tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGAda ![In: Proceedings of the 2006 Annual ACM SIGAda International Conference on Ada, Albuquerque, New Mexico, USA, November 12-16, 2006, pp. 61-70, 2006, ACM, 1-59593-563-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Commun. Rev. ![In: Comput. Commun. Rev. 34(1), pp. 81-86, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #41 of 41 (100 per page; Change: )
|
|