Search results for "Echidna"

Found 12 publication records. Showing 12 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
66	Kathleen Baynes, Chris Collins, Eric Fiterman, Brinda Ganesh, Paul Kohout, Christine Smit, Tiebing Zhang, Bruce L. Jacob	The Performance and Energy Consumption of Embedded Real-Time Operating Systems.	IEEE Trans. Computers	2003	DBLP DOI BibTeX RDF	real-time operating systems (RTOS), power and energy modeling, Motorola M-CORE, µC/OS-II, Echidna, Embedded systems, performance modeling, Chimera
34	Rui Morais, Paul Andrew Crocker, Simão Melo de Sousa	Echidna: A New Consensus Algorithm for Efficient State Machine Replication.	BCCA	2023	DBLP DOI BibTeX RDF
34	Alex Groce, Gustavo Grieco	echidna-parade: a tool for diverse multicore smart contract fuzzing.	ISSTA	2021	DBLP DOI BibTeX RDF
34	Gustavo Grieco, Will Song, Artur Cygan, Josselin Feist, Alex Groce	Echidna: effective, usable, and fast fuzzing for smart contracts.	ISSTA	2020	DBLP DOI BibTeX RDF
34	Devon J. Merrill, Jorge Garza, Steven Swanson	Echidna: mixed-domain computational implementation via decision trees.	SCF	2019	DBLP DOI BibTeX RDF
34	Ewan S. Douglas, Jason Martel, Zhan Li 0001, Glenn Howe, Kuravi Hewawasam, Robert A. Marshall, Crystal Schaaf, Timothy A. Cook, Glenn J. Newnham, Alan H. Strahler, Supriya Chakrabarti	Finding Leaves in the Forest: The Dual-Wavelength Echidna Lidar.	IEEE Geosci. Remote. Sens. Lett.	2015	DBLP DOI BibTeX RDF
34	Ewan S. Douglas, Alan H. Strahler, Jason Martel, Timothy A. Cook, Christopher Mendillo, Robert A. Marshall, Supriya Chakrabarti, Crystal Schaaf, Curtis E. Woodcock, Zhan Li 0001, Xiaoyuan Yang 0004, Darius Culvenor, David L. B. Jupp, Glenn J. Newnham, Jenny L. Lovell	DWEL: A Dual-Wavelength Echidna Lidar for ground-based forest scanning.	IGARSS	2012	DBLP DOI BibTeX RDF
34	Tine Bech	Echidna.	SIGGRAPH Art Gallery	2010	DBLP DOI BibTeX RDF
34	Abdun Naser Mahmood, Christopher Leckie, Parampalli Udaya	Echidna: Efficient Clustering of Hierarchical Data for Network Traffic Analysis.	Networking	2006	DBLP DOI BibTeX RDF
34	Richard Buckland, Michael Johnson	ECHIDNA: A System for Manipulating Explicit Choice Higher Dimensional Automata.	AMAST	1996	DBLP DOI BibTeX RDF
34	Claude Jard, Jean-Marc Jézéquel	Echidna, an estelle compiler to prototype protocols on distributed computers.	Concurr. Pract. Exp.	1992	DBLP DOI BibTeX RDF
30	Kathleen Baynes, Chris Collins, Eric Fiterman, Brinda Ganesh, Paul Kohout, Christine Smit, Tiebing Zhang, Bruce L. Jacob	The performance and energy consumption of three embedded real-time operating systems.	CASES	2001	DBLP DOI BibTeX RDF