Publications
Export 1202 results:
Author Title Type [ Year] Filters: First Letter Of Last Name is L [Clear All Filters]
1996. Identification of the Binding Site for Acidic Phospholipids on the PH Domain of Dynamin: Implications for Stimulation of GTPase Activity. Journal of Molecular Biology. 255(1):14-21.
1996. Inferring phylogenies from DNA sequence data: The effects of sampling. New Uses for New PhylogeniesNew Uses for New Phylogenies. :103-115.
1996. Modeling and verifying distributed systems using priorities: A case study. Software - Concepts and Tools. 17(2):50-62.
1996. Positional sequencing by hybridization. Computer applications in the biosciences : CABIOS. 12(1):19-24.
1996. Priorities for modeling and verifying distributed systems. Tools and Algorithms for the Construction and Analysis of Systems. :278-297.
1997. 2-D MOSFET modeling including surface effects and impact ionization by self-consistent solution of the Boltzmann, Poisson, and hole-continuity equations. Electron Devices, IEEE Transactions on. 44(2):257-267.
1997. APGAN and RPMC: Complementary heuristics for translating DSP block diagrams into efficient software implementations. Design Automation for Embedded Systems. 2(1):33-60.
1997. Approximating hyper-rectangles: learning and pseudo-random sets. Proceedings of the twenty-ninth annual ACM symposium on Theory of computing. :314-323.
1997. Automatic discovery of self-replicating structures in cellular automata. Evolutionary Computation, IEEE Transactions on. 1(3):165-178.
1997. Challenges in sending large radiology images over military communications channels. Proceedings of SPIE. 3035:230-230.
1997. Comments on "Towards a framework for software measurement validation". Software Engineering, IEEE Transactions on. 23(3):187-189.
1997. Compressed Domain video indexing techniques using DCT and motion vector information in MPEG video. Proceedings of SPIE - conference on Storage and Retrieval for Image and Video Databases V. :200-211.
1997. Dynamic priorities for modeling real-time. Proc. of the Formal Description Techniques and Protocol Specification, Testing and Verification (FORTE X/PSTV XVII’97). :321-336.
1997. Editorial: Evaluation and assessment in software engineering. Information and Software Technology. 39(11)
1997. Fast algorithms for estimating aerosol optical depth and correcting thematic mapper imagery. The Journal of Supercomputing. 10(4):315-329.
1997. Joint minimization of code and data for synchronous dataflow programs. Formal Methods in System Design. 11(1):41-70.
1997. Optimizing synchronization in multiprocessor DSP systems. Signal Processing, IEEE Transactions on. 45(6):1605-1618.
1997. Regulation of Cable Television. The Froehlich/Kent Encyclopedia of Telecommunications: Volume 15-Radio Astronomy to Submarine Cable SystemsThe Froehlich/Kent Encyclopedia of Telecommunications: Volume 15-Radio Astronomy to Submarine Cable Systems. 15:84-84.