Publications

This section contains publications published by ISI over the past several decades.

2000

A high-performance, hierarchical decoupled architecture

Stephen P Crago, Alvin Despain, Jean-Luc Gaudiot, Manil Makhija, Wonwoo Ro, Apoorv Srivastava
Proceedings of MEDEA Workshop,  2000

A communication scheduling algorithm for multi-FPGA systems

Jinwoo Suh, Dong-In Kang, Stephen P Crago
Proceedings 2000 IEEE Symposium on Field-Programmable Custom Computing …,  2000

Programming and development environments for configurable computing systems

S Kumar, D Bhatt, S Vestal, B Wren, J Shackleton, H Shirley, R Bhatt, J Golusky, M Vojta, C Nanavati, P Zumsteg, P Symosek, S Crago, B Schott, R Parker, G Gardner
2000 IEEE Aerospace Conference. Proceedings (Cat. No. 00TH8484) 5, 487-497,  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

How can a structured representation of capabilities help in planning

Yolanda Gil, Jim Blythe
Proceedings of the AAAI–Workshop on Representational Issues for Realworld …,  2000

Electric elves: Immersing an agent organization in a human organization

David V Pynadath, Milind Tambe, Yigal Arens, Hans Chalupsky, Yolanda Gil, Craig Knoblock, Haeyoung Lee, Kristina Lerman, Jean Oh, Surya Ramachandran, Paul S Rosenbloom, Thomas Russ
Proc. of the AAAI Fall Symposium on Socially Intelligent Agents,  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

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

Compiling Source Descriptions for E cient and Flexible Information Integration

Jose Luis Ambite, Craig A Knoblock, Ion Muslea, Andrew G Philpot
2000

Automating the Placement of Database Concepts into a Large Ontology

EH Hovy, A Philpot, JL Ambite, U Ramachandran
preparation,  2000