Miriam Leeser

	2012
78		Scott Bailie, Miriam Leeser: Incremental clustering applied to radar deinterleaving: a parameterized FPGA implementation. FPGA 2012: 25-28
	2011
77		Jainik Kathiara, Miriam Leeser: An Autonomous Vector/Scalar Floating Point Coprocessor for FPGAs. FCCM 2011: 33-36
76		Peter Grossmann, Miriam Leeser: A prototype FPGA for subthreshold-optimized CMOS (abstract only). FPGA 2011: 279
75		Miriam Leeser, Devon Yablonski, Dana Brooks, Laurie A. Smith King: The challenges of writing portable, correct and high performance libraries for GPUs. SIGARCH Computer Architecture News 39(4): 2-7 (2011)
	2010
74		David R. Kaeli, Miriam Leeser: Proceedings of 3rd Workshop on General Purpose Processing on Graphics Processing Units, GPGPU 2010, Pittsburgh, Pennsylvania, USA, March 14, 2010 ACM 2010
73		Xiaojun Wang, Miriam Leeser: VFloat: A Variable Precision Fixed- and Floating-Point Library for Reconfigurable Hardware. TRETS 3(3): 16 (2010)
	2009
72		David R. Kaeli, Miriam Leeser: Proceedings of 2nd Workshop on General Purpose Processing on Graphics Processing Units, GPGPU 2009, Washington, DC, USA, March 8, 2009 ACM 2009
71		Abderrahmane Bennis, Miriam Leeser, Gilead Tadmor: Implementing a Highly Parameterized Digital PIV System on Reconfigurable Hardware. ASAP 2009: 32-37
70		Abderrahmane Bennis, Miriam Leeser, Gilead Tadmor: The Effect of Parameterization on a Reconfigurable Implementation of PIV. ERSA 2009: 105-111
69		Perhaad Mistry, Sherman Braganza, David R. Kaeli, Miriam Leeser: Accelerating phase unwrapping and affine transformations for optical quadrature microscopy using CUDA. GPGPU 2009: 28-37
68		Xiaojun Wang, Miriam Leeser: A truly two-dimensional systolic array FPGA implementation of QR decomposition. ACM Trans. Embedded Comput. Syst. 9(1): (2009)
67		Vinay Sriram, Miriam Leeser: FPGA Supercomputing Platforms, Architectures, and Techniques for Accelerating Computationally Complex Algorithms. EURASIP J. Emb. Sys. 2009: (2009)
66		Ben Cordes, Miriam Leeser: Parallel Backprojection: A Case Study in High-Performance Reconfigurable Computing. EURASIP J. Emb. Sys. 2009: (2009)
	2008
65		Sherman Braganza, Miriam Leeser: An efficient implementation of a phase unwrapping kernel on reconfigurable hardware. ASAP 2008: 138-143
64		Mary Ellen Fuess, Miriam Leeser, Tim Leonard: An FPGA Implementation of Explicit-State Model Checking. FCCM 2008: 119-126
63		Sherman Braganza, Miriam Leeser: An Efficient Implementation of a Phase Unwrapping Kernel on Reconfigurable Hardware. FCCM 2008: 316-317
62		Xiaojun Wang, Miriam Leeser: Efficient FPGA implementation of qr decomposition using a systolic array architecture. FPGA 2008: 260
61		Joshua Noseworthy, Miriam Leeser: Efficient Communication Between the Embedded Processor and the Reconfigurable Logic on an FPGA. IEEE Trans. VLSI Syst. 16(8): 1083-1090 (2008)
60		David R. Kaeli, Miriam Leeser: Special issue: General-purpose processing using graphics processing units. J. Parallel Distrib. Comput. 68(10): 1305-1306 (2008)
59		David R. Kaeli, Miriam Leeser: Acknowledgment to special issue reviewers. J. Parallel Distrib. Comput. 68(10): 1402 (2008)
	2007
58		Sherman Braganza, Miriam Leeser: The 1D Discrete Cosine Transform For Large Point Sizes Implemented On Reconfigurable Hardware. ASAP 2007: 101-106
57		Xiaojun Wang, Miriam Leeser: K-means Clustering for Multispectral Images Using Floating-Point Divide. FCCM 2007: 151-162
56		Nicholas Moore, Albert Conti, Miriam Leeser, Laurie A. Smith King: Writing Portable Applications that Dynamically Bind at Run Time to Reconfigurable Hardware. FCCM 2007: 229-238
55		Nicholas Moore, Albert Conti, Miriam Leeser, Laurie A. Smith King: Vforce: An Extensible Framework for Reconfigurable Supercomputing. IEEE Computer 40(3): 39-49 (2007)
54		Heather Quinn, Miriam Leeser, Laurie A. Smith King: Dynamo: a runtime partitioning system for FPGA-based HW/SW image processing systems. J. Real-Time Image Processing 2(4): 179-190 (2007)
	2006
53		Joshua Noseworthy, Miriam Leeser: Efficient Use of Communications Between an FPGAs Embedded Processor and its Reconfigurable Logic. ERSA 2006: 191-197
52		Xiaojun Wang, Sherman Braganza, Miriam Leeser: Advanced Components in the Variable Precision Floating-Point Library. FCCM 2006: 249-258
51		Haiqian Yu, Miriam Leeser: Automatic Sliding Window Operation Optimization for FPGA-Based. FCCM 2006: 76-88
50		Joshua Noseworthy, Miriam Leeser: Efficient use of communications between an FPGA's embedded processor and its reconfigurable logic. FPGA 2006: 233
49		Ben Cordes, Miriam Leeser, Eric L. Miller, Richard W. Linderman: Poster reception - Improving the performance of parallel backprojection on a reconfigurable supercomputer. SC 2006: 149
48		Miriam Leeser, Scott Hauck, Russell Tessier: Field-Programmable Gate Arrays in Embedded Systems. EURASIP J. Emb. Sys. 2006: (2006)
47		Peter Soderquist, Miriam Leeser, Juan Carlos Rojas: Enabling MPEG-2 video playback in embedded systems through improved data cache efficiency. IEEE Transactions on Multimedia 8(1): 81-89 (2006)
	2005
46		Ben Cordes, Jennifer G. Dy, Miriam Leeser, James Goebel: Enabling a RealTime Solution for Neuron Detection with Reconfigurable Hardware (abstract only). FPGA 2005: 264
45		Ben Cordes, Jennifer G. Dy, Miriam Leeser, James Goebel: Enabling a Real-Time Solution for Neuron Detection with Reconfigurable Hardware. IEEE International Workshop on Rapid System Prototyping 2005: 128-134
44		Miriam Leeser, Srdjan Coric, Eric L. Miller, Haiqian Yu, Marc Trepanier: Parallel-Beam Backprojection: An FPGA Implementation Optimized for Medical Imaging. VLSI Signal Processing 39(3): 295-311 (2005)
	2004
43		Laurie A. Smith King, Miriam Leeser, Heather Quinn: Dynamo: A Runtime Partitioning System. ERSA 2004: 145-154
42		Miriam Leeser, Shawn Miller, Haiqian Yu: Smart Camera Based on Reconfigurable Hardware Enables Diverse Real-Time Applications. FCCM 2004: 147-155
41		Wang Chen, Panos Kosmas, Miriam Leeser, Carey M. Rappaport: An FPGA implementation of the two-dimensional finite-difference time-domain (FDTD) algorithm. FPGA 2004: 213-222
	2003
40		Juan Carlos Rojas, Miriam Leeser: Programming portable optimized multimedia applications. ACM Multimedia 2003: 291-294
39		Heather Quinn, Laurie A. Smith King, Miriam Leeser, Waleed Meleis: Runtime Assignment of Reconfigurable Hardware Components for Image Processing Pipelines. FCCM 2003: 173-
	2002
38		Srdjan Coric, Miriam Leeser, Eric L. Miller, Marc Trepanier: Parallel-beam backprojection: an FPGA implementation optimized for medical imaging. FPGA 2002: 217-226
37		Pavle Belanovic, Miriam Leeser: A Library of Parameterized Floating-Point Modules and Their Use. FPL 2002: 657-666
	2001
36		Mike Estlick, Miriam Leeser, James Theiler, John J. Szymanski: Algorithmic transformations in the implementation of K- means clustering on reconfigurable hardware. FPGA 2001: 103-110
35		Laurie A. Smith King, Heather Quinn, Miriam Leeser, Demetris G. Galatopoullos, Elias S. Manolakos: Run-Time Execution of Reconfigurable Hardware in a Java Environment. ICCD 2001: 380-387
34		Silviu M. S. A. Chiricescu, Miriam Leeser, Mankuan Michael Vai: Design and analysis of a dynamically reconfigurable three-dimensional FPGA. IEEE Trans. VLSI Syst. 9(1): 186-196 (2001)
	2000
33		Ali M. Shankiti, Miriam Leeser: Implementing a RAKE receiver for wireless communications on an FPGA-based computer system. FPGA 2000: 145-151
32		Yanbing Li, Miriam Leeser: HML, a novel hardware description language and its translation to VHDL. IEEE Trans. VLSI Syst. 8(1): 1-8 (2000)
31		Shantanu Tarafdar, Miriam Leeser: A data-centric approach to high-level synthesis. IEEE Trans. on CAD of Integrated Circuits and Systems 19(11): 1251-1267 (2000)
	1998
30		Shantanu Tarafdar, Miriam Leeser: The DT-Model: High-Level Synthesis Using Data Transfers. DAC 1998: 114-117
29		Goran Doncev, Miriam Leeser, Shantanu Tarafdar: High Level Synthesis for Designing Custom Computing Hardware. FCCM 1998: 326-328
28		Shantanu Tarafdar, Miriam Leeser, Zixin Yin: Integrating floorplanning in data-transfer based high-level synthesis. ICCAD 1998: 412-417
27		Goran Doncev, Miriam Leeser, Shantanu Tarafdar: Truly Rapid Prototyping Requires High-Level Synthesis. International Workshop on Rapid System Prototyping 1998: 101-
26		Miriam Leeser, Waleed Meleis, Mankuan Michael Vai, Silviu M. S. A. Chiricescu, Weidong Xu, Paul M. Zavracky: Rothko: A Three-Dimensional FPGA. IEEE Design & Test of Computers 15(1): 16-23 (1998)
	1997
25		Peter Soderquist, Miriam Leeser: Optimizing the Data Cache Performance of a Software MPEG-2 Video Decoder. ACM Multimedia 1997: 291-301
24		Waleed Meleis, Miriam Leeser, Paul M. Zavracky, Mankuan Michael Vai: Architectural Design of a Three Dimensional FPGA. ARVLSI 1997: 256-269
23		Miriam Leeser, Waleed Meleis, Mankuan Michael Vai, Paul M. Zavracky: Rothko: A three dimensional FPGA architecture, its fabrication, and design tools. FPL 1997: 21-30
22		Peter Soderquist, Miriam Leeser: Memory Traffic and Data Cache Behavior of an MPEG-2 Software Decoder. ICCD 1997: 417-422
	1996
21		Peter Soderquist, Miriam Leeser: Area and Performance Tradeoffs in Floating-Point Divide and Square-Root Implementations. ACM Comput. Surv. 28(3): 518-564 (1996)
	1995
20		Miriam Leeser, John W. O'Leary: Verification of a subtractive radix-2 square root algorithm and implementation. ICCD 1995: 526-531
19		Peter Soderquist, Miriam Leeser: An Area/Performance Comparison of Subtractive and Multiplicative Divide/Square Root Implementations. IEEE Symposium on Computer Arithmetic 1995: 132-139
18		Andrés Takach, Wayne Wolf, Miriam Leeser: An Automaton Model for Scheduling Constraints in Synchronous Machines. IEEE Trans. Computers 44(1): 1-12 (1995)
17		Mark Aagaard, Miriam Leeser: Verifying a Logic-Synthesis Algorithm and Implementation: A Case Study in Software Verification. IEEE Trans. Software Eng. 21(10): 822-833 (1995)
	1994
16		Mark H. Linderman, Miriam Leeser: Simulation of digital circuits in the presence of uncertainty. ICCAD 1994: 248-251
15		Mark Aagaard, Miriam Leeser: Reasoning About Pipelines with Structural Hazards. TPCD 1994: 13-32
14		John W. O'Leary, Miriam Leeser, Jason Hickey, Mark Aagaard: Non-Restoring Integer Square Root: A Case Study in Design by Principled Optimization. TPCD 1994: 52-71
13		Mark Aagaard, Miriam Leeser: A Methodology for Efficient Hardware Verification. Formal Methods in System Design 5(1/2): 95-117 (1994)
12		Mark Aagaard, Miriam Leeser: PBS: proven Boolean simplification. IEEE Trans. on CAD of Integrated Circuits and Systems 13(4): 459-470 (1994)
	1993
11		John W. O'Leary, Mark H. Linderman, Miriam Leeser, Mark Aagaard: HML: A Hardware Description Language Based on Standard ML. CHDL 1993: 327-334
10		Mark Aagaard, Miriam Leeser, Phillip J. Windley: Toward a Super Duper Hardware Tactic. HUG 1993: 399-412
9		Mark Aagaard, Miriam Leeser: A Framework for Specifying and Designing Pipelines. ICCD 1993: 548-551
8		Miriam Leeser, Richard Chapman, Mark Aagaard, Mark H. Linderman, Stephan Meier: High level synthesis and generating FPGAs with the BEDROC system. VLSI Signal Processing 6(2): 191-214 (1993)
7		Miriam Leeser: High level synthesis and generation FPGAs with the BEDROC system. VLSI Signal Processing 6(3): 7 (1993)
	1992
6		Mark Aagaard, Miriam Leeser: Verifying a Logic Synthesis Tool in Nuprl: A Case Study in Software Verification. CAV 1992: 69-81
5		Mark Aagaard, Miriam Leeser: A Methodology for Reusable Hardware Proofs. TPHOLs 1992: 177-196
	1991
4		Mark Aagaard, Miriam Leeser: A Formally Verified System for Logic Synthesis. ICCD 1991: 346-350
	1990
3		Miriam Leeser, Geoffrey Brown: Hardware Specification, Verification and Synthesis: Mathematical Aspects, Mathematical Science Institute Workshop, Cornall University, Ithaca, New York, USA, July 5-7, 1989, Proceedings Springer 1990
	1989
2		Geoffrey M. Brown, Miriam Leeser: From Programs to Transistors: Verifying Hardware Synthesis Tools. Hardware Specification, Verification and Synthesis 1989: 129-151
1		Miriam Leeser: Reasoning about the function and timing of integrated circuits with interval temporal logic. IEEE Trans. on CAD of Integrated Circuits and Systems 8(12): 1233-1246 (1989)

Coauthor Index

1	Mark Aagaard	[4] [5] [6] [8] [9] [10] [11] [12] [13] [14] [15] [17]
2	Scott Bailie	[78]
3	Pavle Belanovic	[37]
4	Abderrahmane Bennis	[70] [71]
5	Sherman Braganza	[52] [58] [63] [65] [69]
6	Dana Brooks	[75]
7	Geoffrey Brown	[3]
8	Geoffrey M. Brown	[2]
9	Richard Chapman	[8]
10	Wang Chen	[41]
11	Silviu M. S. A. Chiricescu	[26] [34]
12	Albert Conti	[55] [56]
13	Ben Cordes	[45] [46] [49] [66]
14	Srdjan Coric	[38] [44]
15	Goran Doncev	[27] [29]
16	Jennifer G. Dy	[45] [46]
17	Mike Estlick	[36]
18	Mary Ellen Fuess	[64]
19	Demetris G. Galatopoullos	[35]
20	James Goebel	[45] [46]
21	Peter Grossmann	[76]
22	Scott Hauck	[48]
23	Jason Hickey	[14]
24	David R. Kaeli	[59] [60] [69] [72] [74]
25	Jainik Kathiara	[77]
26	Laurie A. Smith King	[35] [39] [43] [54] [55] [56] [75]
27	Panos Kosmas	[41]
28	Tim Leonard	[64]
29	Yanbing Li	[32]
30	Mark H. Linderman	[8] [11] [16]
31	Richard W. Linderman	[49]
32	Elias S. Manolakos	[35]
33	Stephan Meier	[8]
34	Waleed Meleis	[23] [24] [26] [39]
35	Eric L. Miller (Eric Lawrence Miller)	[38] [44] [49]
36	Shawn Miller	[42]
37	Perhaad Mistry	[69]
38	Nicholas Moore	[55] [56]
39	Joshua Noseworthy	[50] [53] [61]
40	John W. O'Leary	[11] [14] [20]
41	Heather M. Quinn (Heather Quinn)	[35] [39] [43] [54]
42	Carey M. Rappaport	[41]
43	Juan Carlos Rojas	[40] [47]
44	Ali M. Shankiti	[33]
45	Peter Soderquist	[19] [21] [22] [25] [47]
46	Vinay Sriram	[67]
47	John J. Szymanski	[36]
48	Gilead Tadmor	[70] [71]
49	Andrés Takach	[18]
50	Shantanu Tarafdar	[27] [28] [29] [30] [31]
51	Russell Tessier	[48]
52	James Theiler	[36]
53	Marc Trepanier	[38] [44]
54	Mankuan Michael Vai	[23] [24] [26] [34]
55	Xiaojun Wang	[52] [57] [62] [68] [73]
56	Phillip J. Windley	[10]
57	Marilyn Wolf (Wayne Wolf, Wayne Hendrix Wolf)	[18]
58	Weidong Xu	[26]
59	Devon Yablonski	[75]
60	Zixin Yin	[28]
61	Haiqian Yu	[42] [44] [51]
62	Paul M. Zavracky	[23] [24] [26]

Colors in the list of coauthors

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page