Publications
Export 14 results:
Author Title Type [ Year] Filters: Keyword is Concurrent computing [Clear All Filters]
1983. Timing Requirements for Time-Driven Systems Using Augmented Petri Nets. IEEE Transactions on Software Engineering. SE-9(5):603-616.
1990. When is `partial' adequate? A logic-based proof technique using partial specifications Logic in Computer Science, 1990. LICS '90, Proceedings., Fifth Annual IEEE Symposium on e. :440-449.
1991. Parallel transitive closure computations using topological sort. , Proceedings of the First International Conference on Parallel and Distributed Information Systems, 1991. :122-129.
1994. Dynamic program instrumentation for scalable performance tools. Scalable High-Performance Computing Conference, 1994., Proceedings of the. :841-850.
1995. Code generation for multiple mappings. Frontiers of Massively Parallel Computation, 1995. Proceedings. Frontiers '95., Fifth Symposium on the. :332-341.
1998. Critical path profiling of message passing and shared-memory programs. IEEE Transactions on Parallel and Distributed Systems. 9(10):1029-1040.
2000. Exploiting fine-grained idle periods in networks of workstations. IEEE Transactions on Parallel and Distributed Systems. 11(7):683-698.
2003. The virtual microscope. IEEE Transactions on Information Technology in Biomedicine. 7(4):230-248.
2004. Resource policing to support fine-grain cycle stealing in networks of workstations. IEEE Transactions on Parallel and Distributed Systems. 15(10):878-892.
2005. EMPS: an environment for memory performance studies. Parallel and Distributed Processing Symposium, 2005. Proceedings. 19th IEEE International.
2006. A Communication Interface for Multiprocessor Signal Processing Systems. Proceedings of the 2006 IEEE/ACM/IFIP Workshop on Embedded Systems for Real Time Multimedia. :127-132.
2006. Model-based OpenMP implementation of a 3D facial pose tracking system. 2006 International Conference on Parallel Processing Workshops, 2006. ICPP 2006 Workshops. :8pp.-73-8pp.-73.
2008. Network-Aware Join Processing in Global-Scale Database Federations. IEEE 24th International Conference on Data Engineering, 2008. ICDE 2008. :586-595.
2010. Signal Processing on Platforms with Multiple Cores: Part 2-Applications and Design [From the Guest Editors]. IEEE Signal Processing Magazine. 27(2):20-21.