PathFinder: A tool for design exploration
- Shoham Ben-David
- Anna Gringauze
- et al.
- 2002
- Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Paper
Publications
9262 results for Computer Science
From business process model to consistent implementation: A case for formal verification methods
- Jana Koehler
- Giuliano Tirenni
- et al.
- 2002
- EDOC 2002
Conference paperConversation support for business process integration
- James E. Hanson
- Prabir Nandi
- et al.
- 2002
- EDOC 2002
Conference paperConditional cryptographic delegation for P2P data sharing
- Yuji Watanabe
- Masayuki Numao
- 2002
- Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
PaperSmall and high-speed hardware architectures for the 3GPP standard cipher KASUMI
- Akashi Satoh
- Sumio Morioka
- 2002
- Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
PaperOn the optimal shape and location of silicided source and drain contacts
- P. Oldiges
- C.S. Murthy
- et al.
- 2002
- SISPAD 2002
Conference paperA comprehensive simulation study of strained-Si/SiGe nMODFET scaling for RF applications
- Qiqing Christine Ouyang
- S.J. Koester
- et al.
- 2002
- SISPAD 2002
Conference paperModeling of the diffusion of implanted boron in strained Si/Si1-xGex
- Huilong Zhu
- Kam-Leung Lee
- et al.
- 2002
- SISPAD 2002
Conference paperTechnology modeling for emerging SOI devices
- M. Ieong
- P. Oldiges
- 2002
- SISPAD 2002
Conference paperAn information-theoretic and game-theoretic study of timing channels
- James Giles
- Bruce Hajek
- 2002
- IEEE Trans. Inf. Theory
Paper