Publications :: Search

Show author

On this page you see the details of the selected author.

Author information
First name:	Peter
Last name:	Lee
DBLP:	l/PeterLee
Rating:	(not rated yet)
Bookmark:

Below you find the publications which have been written by this author.

Show item 1 to 25 of 81  

Select a publication
Show	Title	Venue	Rating	Date
	Stephen Magill, Ming-Hsien Tsai, Peter Lee, Yih-Kuen Tsay. Automatic numeric abstractions for heap-manipulating programs.	Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2010, Madrid, Spain, January 17-23, 2010 2010	(0)	2010
	Michael P. Ashley-Rollman, Peter Lee, Seth Copen Goldstein, Padmanabhan Pillai, Jason Campbell. A Language for Large Ensembles of Independently Executing Nodes.	Logic Programming, 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings 2009	(0)	2009
	Michael DeRosa, Seth Copen Goldstein, Peter Lee, Padmanabhan Pillai, Jason Campbell. A tale of two planners: Modular robotic planning with LDP.	2009 IEEE/RSJ International Conference on Intelligent Robots and Systems, October 11-15, 2009, St. Louis, MO, USA 2009	(0)	2009
	Stephen Magill, Ming-Hsien Tsai, Peter Lee, Yih-Kuen Tsay. THOR: A Tool for Reasoning about Shape and Arithmetic.	Computer Aided Verification, 20th International Conference, CAV 2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings 2008	(0)	2008
	Jean-Jacques Vandenbussche, Peter Lee, Joan Peuteman. Analysis of Time and Frequency Domain Performance of MFIR Filters.	Proceedings of the 2008 International Conference on Embedded Systems Applications, USA 2008, July 14-17, 2008, Las Vegas, Nevada, USA 2008	(0)	2008
	Michael DeRosa, Seth Copen Goldstein, Peter Lee, Padmanabhan Pillai, Jason Campbell. Programming modular robots with locally distributed predicates.	2008 IEEE International Conference on Robotics and Automation, ICRA 2008, May 19-23, 2008, Pasadena, California, USA 2008	(0)	2008
	Michael DeRosa, Seth Copen Goldstein, Peter Lee, Jason Campbell, Padmanabhan Pillai. Distributed Watchpoints: Debugging Large Modular Robot Systems.	I. J. Robotic Res. 2008, Volume 27	(0)	2008
	Michael Wisdom, Peter Lee. An Efficient Implementation of a 2D DWT on FPGA.	FPL 2007, International Conference on Field Programmable Logic and Applications, Amsterdam, The Netherlands, 27-29 August 2007 2007	(0)	2007
	Catriona Kennedy, Georgios K. Theodoropoulos, Volker Sorge, Edward Ferrari, Peter Lee, Chris Skelcher. AIMSS: An Architecture for Data Driven Simulations in the Social Sciences.	Computational Science - ICCS 2007, 7th International Conference Beijing, China, May 27-30, 2007, Proceedings, Part I 2007	(0)	2007
	Michael DeRosa, Jason Campbell, Padmanabhan Pillai, Seth Copen Goldstein, Peter Lee, Todd C. Mowry. Distributed Watchpoints: Debugging Large Multi-Robot Systems.	2007 IEEE International Conference on Robotics and Automation, ICRA 2007, 10-14 April 2007, Roma, Italy 2007	(0)	2007
	Peter Lee, Esther Costa, Stephanie McBader, Luca Clementel, Alvise Sartori. LogTOTEM: A Logarithmic Neural Processor and its Implementation on an FPGA Fabric.	Proceedings of the International Joint Conference on Neural Networks, IJCNN 2007, Celebrating 20 years of neural networks, Orlando, Florida, USA, August 12-17, 2007 2007	(0)	2007
	Sagar Chaki, James Ivers, Peter Lee, Kurt C. Wallnau, Noam Zeilberger. Model-Driven Construction of Certified Binaries.	Model Driven Engineering Languages and Systems, 10th International Conference, MoDELS 2007, Nashville, USA, September 30 - October 5, 2007, Proceedings 2007	(0)	2007
	James Weston, Peter Lee. Cellular Automata Based Binary Arithmetic for use on Self Repairing, Fault Tolerant Hardware.	Second NASA/ESA Conference on Adaptive Hardware and Systems (AHS 2007), August 5-8, 2007, University of Edinburgh, Scotland, United Kingdom 2007	(0)	2007
	Catriona Kennedy, Georgios K. Theodoropoulos, Edward Ferrari, Peter Lee, Chris Skelcher. Towards an Automated Approach to Dynamic Interpretation of Simulations.	First Asia International Conference on Modelling and Simulation (AMS 2007), 27-30 March 2007, Phuket, Thailand 2007	(0)	2007
	Michael P. Ashley-Rollman, Seth Copen Goldstein, Peter Lee, Todd C. Mowry, Padmanabhan Pillai. Meld: A declarative approach to programming ensembles.	2007 IEEE/RSJ International Conference on Intelligent Robots and Systems, October 29 - November 2, 2007, Sheraton Hotel and Marina, San Diego, California, USA 2007	(0)	2007
	Serban Nacu, Rebecca Critchley-Thorne, Peter Lee, Susan Holmes. Gene expression network analysis and applications to immunology.	Bioinformatics 2007, Volume 23	(0)	2007
	Ajay Chander, David Espinosa, Nayeem Islam, Peter Lee, George C. Necula. Enforcing resource bounds via static verification of dynamic checks.	ACM Trans. Program. Lang. Syst. 2007, Volume 29	(0)	2007
	Michael DeRosa, Seth Copen Goldstein, Peter Lee, Jason Campbell, Padmanabhan Pillai. Scalable Shape Sculpting via Hole Motion: Motion Planning in Lattice-constrained Modular Robots.	Proceedings of the 2006 IEEE International Conference on Robotics and Automation, ICRA 2006, May 15-19, 2006, Orlando, Florida, USA 2006	(0)	2006
	Insup Lee, George J. Pappas, Rance Cleaveland, John Hatcliff, Bruce H. Krogh, Peter Lee, Harvey Rubin, Lui Sha. High-Confidence Medical Device Software and Systems.	IEEE Computer 2006, Volume 39	(0)	2006
	Ajay Chander, David Espinosa, Nayeem Islam, Peter Lee, George C. Necula. JVer: A Java Verifier.	Computer Aided Verification, 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings 2005	(0)	2005
	Ajay Chander, David Espinosa, Nayeem Islam, Peter Lee, George C. Necula. Enforcing Resource Bounds via Static Verification of Dynamic Checks.	Programming Languages and Systems, 14th European Symposium on Programming,ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings 2005	(0)	2005
	Purvi Saraiya, Peter Lee, Chris North. Visualization of Graphs with Associated Timeseries Data.	IEEE Symposium on Information Visualization (InfoVis 2005), 23-25 October 2005, Minneapolis, MN, USA 2005	(0)	2005
	Peter Lee. An evaluation of a hybrid-logarithmic number system DCT/IDCT algorithm [image compression applications].	International Symposium on Circuits and Systems (ISCAS 2005), 23-26 May 2005, Kobe, Japan 2005	(0)	2005
	Burak Aksak, Preethi Srinivas Bhat, Jason Campbell, Michael DeRosa, Stanislav Funiak, Phillip B. Gibbons, Seth Copen Goldstein, Carlos Guestrin, Ashish Gupta, Casey Helfrich, James F. Hoburg, Brian T. Kirby, James J. Kuffner, Peter Lee, Todd C. Mowry, Padmanabhan Pillai, Ram Ravichandran, Benjamin D. Rister, Srinivasan Seshan, Metin Sitti, Haifeng Yu. Claytronics: highly scalable communications, sensing, and actuation networks.	Proceedings of the 3rd International Conference on Embedded Networked Sensor Systems, SenSys 2005, San Diego, California, USA, November 2-4, 2005 2005	(0)	2005
	Kamal Zuhairi Zamli, Peter Lee. Modeling and Enacting Software Processes Using VRPML.	10th Asia-Pacific Software Engineering Conference (APSEC 2003), 10-12 December 2003, Chiang Mai, Thailand 2003	(0)	2003

Your query returned 81 matches in the database.