Publications
Export 7148 results:
[ Author] Title Type Year Filters: Efficient-model-checking-buchi-tableau-automata%E2%8B%86 is [Clear All Filters]
2009. Enhanced force measurement techniques to extend optical trapping towards nanoscale manipulation. :13-16.
2006. Mesh-of-Trees and Alternative Interconnection Networks for Single Chip Parallel Processing (Extended Abstract). Technical Reports from UMIACS, UMIACS-TR-2006-32.
2009. Mesh-of-Trees and Alternative Interconnection Networks for Single-Chip Parallelism. Very Large Scale Integration (VLSI) Systems, IEEE Transactions on. 17(10):1419-1432.
2007. Layout-Accurate Design and Implementation of a High-Throughput Interconnection Network for Single-Chip Parallel Processing. High-Performance Interconnects, 2007. HOTI 2007. 15th Annual IEEE Symposium on. :21-28.
2006. Programmer's Manual for XMTC Language, XMTC Compiler and XMT Simulator. Technical Reports from UMIACS, UMIACS-TR-2005-45.
2008. An area-efficient high-throughput hybrid interconnection network for single-chip parallel processing. Proceedings of the 45th annual Design Automation Conference. :435-440.
2004. Arbitrate-and-move primitives for high throughput on-chip interconnection networks. Circuits and Systems, 2004. ISCAS '04. Proceedings of the 2004 International Symposium on. 2:II-441-4Vol.2-II-441-4Vol.2.
1997. If your version control system could talk. ICSE Workshop on Process Modelling and Empirical Studies of Software Engineering.
1989. Hypertext and software engineering. Proceedings of the second annual ACM conference on Hypertext. :395-396.
2002. Intermediate representations for design automation of multiprocessor DSP systems. Design Automation for Embedded Systems. 7(4):307-323.
2001. Hybrid global/local search strategies for dynamic voltage scaling in embedded multiprocessors. Hardware/Software Codesign, 2001. CODES 2001. Proceedings of the Ninth International Symposium on. :243-248.
2005. Joint application mapping/interconnect synthesis techniques for embedded chip-scale multiprocessors. Parallel and Distributed Systems, IEEE Transactions on. 16(2):99-112.
2004. Systematic Integration of Parameterized Local Search Techniques in Evolutionary Algorithms. Genetic and Evolutionary Computation–GECCO 2004. :383-384.
2012. Temporal and Spatial Variability in the Distribution of Vibrio vulnificus in the Chesapeake Bay: A Hindcast Study. EcoHealth. :1-12.
1990. Image motion estimation by clustering. International Journal of Imaging Systems and Technology. 2(4):345-355.
2002. Efficient Data Processing using Cross Layer Hints. Technical Reports from UMIACS, UMIACS-TR-2002-59.
2003. Energy-efficient broadcast and multicast trees for reliable wireless communication. Wireless Communications and Networking, 2003. WCNC 2003. 2003 IEEE. 1:660-667vol.1-660-667vol.1.
2002. Analysis of the NICE Application Layer Multicast Protocol. Technical Reports from UMIACS, UMIACS-TR-2002-60.