Publications
This section contains publications published by ISI over the past several decades.
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
PLANET: A shareable and reusable ontology for representing plans
Yolanda Gil, Jim Blythe
AAAI Workshop on Representational Issues for Real-world Planning Systems 114, 2000
User studies of an interdependency-based interface for acquiring problem-solving knowledge
Jihie Kim, Yolanda Gil
Proceedings of the 5th international conference on Intelligent user …, 2000
Extending the role-limiting approach: Supporting end users to acquire problem-solving knowledge
Jim Blythe, Y Gil
ECAI 2000 Workshop on Applications of Ontologies and Problem-Solving Methods, 2000