Michael F. Dossis

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	2012
j4		Michael F. Dossis: Formal ESL Synthesis for Control-Intensive Applications. Adv. Software Engineering 2012 (2012)
	2010
j3		Michael F. Dossis: Automated Extraction of Hardware Accelerators Via an Intelligent Knowledge-based System. IJIIP 1(2): 14-31 (2010)
j2		Michael F. Dossis: Provably-Correct, Behavioural High-Level Synthesis of Program Accelerators via the Web. JNIT 1(1): 47-60 (2010)
j1		Michael F. Dossis: Intermediate Predicate Format for Design Automation Tools. JNIT 1(1): 100-117 (2010)
c2		Michael F. Dossis: Synthesis of provably-correct hardware with options. ICECS 2010: 631-634
c1		Michael F. Dossis: Automatic Generation of Massively Parallel Hardware from Control-Intensive Sequential Programs. ISVLSI 2010: 98-103

Last update Wed May 22 02:21:41 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page