Publications

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

1999

A network performance tool for grid environments

Craig A Lee, James Stepanek, Rich Wolski, Carl Kesselman, Ian Foster
Proceedings of the 1999 ACM/IEEE conference on Supercomputing, 4-es,  1999

The globus toolkit

Ian Foster, Carl Kesselman
The grid: blueprint for a new computing infrastructure, 259-278,  1999

Compiler-supported simulation of highly scalable parallel applications

Vikram S Adve, Rajive Bagrodia, Ewa Deelman, Thomas Phan, Rizos Sakellariou
Proceedings of the 1999 ACM/IEEE Conference on Supercomputing, 1-es,  1999

Incorporating process induced effects into RC extraction

Li-Fu Chang, Abhay Dubey, Keh-Jeng Chang, Robert Mathews, Ken Wong
Proceedings Twelfth International Conference on VLSI Design.(Cat. No …,  1999

Decision-theoretic planning

Jim Blythe
AI magazine 20 (2), 37-37,  1999

Knowledge acquisition using an English-based method editor

Jim Blythe, Surya Ramachandran
Proc. Twelfth Knowledge Acquisition for Knowledge-Based Systems Workshop,  1999

Branch instruction handling in a self-timed marking system

R Ginosar, R Kol, KS Stevens, PA Beerel, KY Yun, CJ Myers, S Rotem
US Patent 5,931,944,  1999

Accelerating Markovian analysis of asynchronous systems using state compression

Aiguo Xie, Peter A Beerel
IEEE transactions on computer-aided design of integrated circuits and …,  1999

Bounding average time separations of events in stochastic timed Petri nets with choice

Aiguo Xie, Sangyun Kim, Peter A Beerel
Proceedings. Fifth International Symposium on Advanced Research in …,  1999

RAPPID: An asynchronous instruction length decoder

Shai Rotem, Ken Stevens, Ran Ginosar, Peter Beerel, Chris Myers, Kenneth Yun, Rakefet Kol, Charles Dike, Marly Roncken, Boris Agapiev
Proceedings. Fifth International Symposium on Advanced Research in …,  1999

Symbolic reachability analysis of large finite state machines using don't cares

Youpyo Hong, Peter A Beerel
Proceedings of the conference on Design, automation and test in Europe, 5-es,  1999

Hazard—Freedom Checking in Speed—Independent Systems

Husnu Yenigun, Vladimir Levin, Doron Peled, Peter A Beerel
Correct Hardware Design and Verification Methods: 10th IFIP WG10. 5 Advanced …,  1999

Implicit enumeration of strongly connected components

Aiguo Xie, Peter A Beerel
1999 IEEE/ACM International Conference on Computer-Aided Design. Digest of …,  1999

Apparatus and method for parallel processing and self-timed serial marking of variable length instructions

R Ginosar, R Kol, KS Stevens, PA Beerel, KY Yun, CJ Myers, S Rotem
US Patent 5,978,899,  1999

Algorithm and circuit co-design for a low-power sequential decoder

SK Singh, P Thiennviboon, RO Ozdag, S Tugsinavisut, PA Beerel, KM Chugg
Conference Record of the Thirty-Third Asilomar Conference on Signals …,  1999

Average-case technology mapping of asynchronous burst-mode circuits

Wei-Chun Chou, Peter A Beerel, Kenneth Y Yun
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …,  1999

Apparatus and method for self-timed marking of variable length instructions having length-affecting prefix bytes

R Ginosar, R Kol, KS Stevens, PA Beerel, KY Yun, CJ Myers, S Rotem
US Patent 5,948,096,  1999

Efficient self-timed marking of lengthy variable length instructions

R Ginosar, R Kol, KS Stevens, PA Beerel, KY Yun, CJ Myers, S Rotem
US Patent 5,941,982,  1999

A low-power matrix transposer using MSB-controlled inversion coding

Kyeounsoo Kim, Peter A Beerel
AP-ASIC'99. First IEEE Asia Pacific Conference on ASICs (Cat. No. 99EX360 …,  1999