Publications
This section contains publications published by ISI over the past several decades.
Showing results 101 - 120 of about 128.
2000
Special Section on Architecture-Independent Languages and Software Tools for Parallel Processing-Asynchronous Parallel Simulation of Parallel Programs
S Prakash, E Deelman, R Bagrodia
IEEE Transactions on Software Engineering 26 (5), 385-400, 2000
Optimization of vertical and horizontal beamforming kernels on the powerpc g4 processor with altivec technology
Young H Cho, David Brunke, Greg E Allen, Brian L Evans
Conference Record of the Thirty-Fourth Asilomar Conference on Signals …, 2000
Optimized automatic target recognition algorithm on scalable myrinet/field programmable array nodes
Young H Cho
Conference Record of the Thirty-Fourth Asilomar Conference on Signals …, 2000
Advanced security proxies: an architecture and implementation for high-performance network firewalls
Roger Knobbe, Andrew Purtell, Stephen Schwab
Proceedings DARPA Information Survivability Conference and Exposition …, 2000
NAI LABS
J Adcock, D Balenson, D Carman, M Heyman, A Sherman, R Knobbe, A Purtell, S Schwab
When should on-chip inductance modeling become necessary for VLSI timing analysis?
Li-Fu Chang, Keh-Jeng Chang, Robert Mathews
Proceedings of the IEEE 2000 International Interconnect Technology …, 2000
Simulating frequency-dependent current distribution for inductance modeling of on-chip copper interconnects
Li-Fu Chang, Keh-Jeng Chang, Robert Mathews
Proceedings of the 2000 international symposium on Physical design, 117-120, 2000
A proposal for accurately modeling frequency-dependent on-chip interconnect impedance
Li-Fu Chang, Keh-Jeng Dhang, Christophe Bianchi
Proceedings IEEE 2000 First International Symposium on Quality Electronic …, 2000
Compiling Source Descriptions for E cient and Flexible Information Integration
Jose Luis Ambite, Craig A Knoblock, Ion Muslea, Andrew G Philpot
Automating the Placement of Database Concepts into a Large Ontology
EH Hovy, A Philpot, JL Ambite, U Ramachandran
preparation, 2000
An/spl Oscr/(log/sub 2/N)-latency SISO with application to broadband turbo decoding
Peter A Beerel, Keith M Chugg
MILCOM 2000 Proceedings. 21st Century Military Communications. Architectures …, 2000
Implicit enumeration of strongly connected components and an application to formal verification
Aiguo Xie, Peter A Beerel
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2000
An asynchronous matrix-vector multiplier for discrete cosine transform
Kyeounsoo Kim, Peter A Beerel, Youpyo Hong
Proceedings of the 2000 international symposium on Low power electronics and …, 2000
Session 4 C: delay budgeting and distribution
Peter A Beerel, Rajeev Murgai
International Conference on Computer Aided Design: Proceedings of the 2000 …, 2000
Copper Interconnects for High-Speed, Low-Power Static Memories
Arani Sinha, Sushil Singh, Amir Ajami, Ak Razi Ahmed, Jay Moon, Marcos Ferretti, Sunan Tugsinavsut, Peter Yeh, Recep Ozdag, Bill Athas, Peter Beerel, Sandeep Gupta, Massoud Pedram, Nestoras Tzartzanis
Semiconductor Research Corporation Design Contest, 2000
Sibling-substitution-based BDD minimization using don't cares
Youpyo Hong, Peter A Beerel, Jerry R Burch, Kenneth L McMillan
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2000
Performance analysis of asynchronous circuits and systems using stochastic timed Petri nets
Aiguo Xie, Peter A Beerel
Hardware Design and Petri Nets, 239-268, 2000
Sigma: Security and interoperability for heterogeneous distributed systems
T Benzel, D Sterne, P Pasturel, G Tally, D Shands, E Sebes
Proceedings DARPA Information Survivability Conference and Exposition …, 2000
Acquiring problem-solving knowledge from end users: Putting interdependency models to the test
Jihie Kim, Yolanda Gil
AAAI/IAAI, 223-229, 2000
Acquiring procedural knowledge in EXPECT
Yolanda Gil, Jim Blythe, Jihie Kim, Surya Ramachandran
Proceedings of the AAAI 2000 Workshop on Representational Issues for Real …, 2000