Search results for "Hardware Compilers"

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

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Jiangtian Li, Xiaosong Ma, Karan Singh, Martin Schulz, Bronis R. de Supinski, Sally A. McKee	Machine learning based online performance prediction for runtime parallelization and task scheduling.	ISPASS	2009	DBLP DOI BibTeX RDF
1	Naoki Iwasaki, Katsumi Wasaki	A Meta Hardware Description Language Melasy for Model-Checking Systems.	ITNG	2008	DBLP DOI BibTeX RDF	Hardware/Software co-design and co-verification, Model Checking, Haskell, Design-for-test, Hardware Compilers
1	Manuel Costa, Jon Crowcroft, Miguel Castro, Antony I. T. Rowstron, Lidong Zhou, Lintao Zhang, Paul Barham	Vigilante: End-to-end containment of Internet worm epidemics.	ACM Trans. Comput. Syst.	2008	DBLP DOI BibTeX RDF	self-certifying alerts, vulnerability condition slicing, program analysis, dynamic data-flow analysis, Worm containment
1	Markus Koester, Wayne Luk, Geoffrey Brown	A hardware compilation flow for instance-specific VLIW cores.	FPL	2008	DBLP DOI BibTeX RDF
1	Kieron Turkington, Turkington A. Constantinides, Kostas Masselos, Peter Y. K. Cheung	Outer Loop Pipelining for Application Specific Datapaths in FPGAs.	IEEE Trans. VLSI Syst.	2008	DBLP DOI BibTeX RDF
1	Tim Todman, José Gabriel F. Coutinho, Wayne Luk	Customisable Hardware Compilation.	The Journal of Supercomputing	2005	DBLP DOI BibTeX RDF	pipelining, high-level design, hardware compilation
1	Rumi Zahir, Jonathan Ross, Dale Morris, Drew Hess	OS and Compiler Considerations in the Design of the IA-64 Architecture.	ASPLOS	2000	DBLP DOI BibTeX RDF
1	Matthias Mutz	Register Transfer Level VHDL Models without Clocks.	DATE	1998	DBLP DOI BibTeX RDF	VHDL RT subset, register transfer level models
1	Jack Mostow	A decision-based framework for comparing hardware compilers, .	Journal of Systems and Software	1984	DBLP DOI BibTeX RDF

Displaying result #1 - #9 of 9 (100 per page; Change: )