close
1.

電子ブック
ＥＢ
1. Proceedings of the fourteenth workshop on Parallel and distributed simulation
Lorenzo Donatiello, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , IEEE Computer Society, 2000
所蔵情報: loading…
目次情報: 続きを見る
Message from the Program Chairs
Symposium Committee
Program Committee
Access Control I
Access Control Meets Public Key Infrastructure, Or: Assigning Roles to Strangers / A. Herzberg ; Y. Mass ; J. Mihaeli ; D. Naor ; Y. Ravid
A Security Infrastructure for Distributed Java Applications / D. Balfanz ; D. Dean ; M. Spreitzer
A Practically Implementable and Tractable Delegation Logic / N. Li ; B. Grosof ; J. Feigenbaum
Applications of Cryptography
Practical Techniques for Searches on Encrypted Data / D. Song ; D. Wagner ; A. Perrig
Efficient Authentication and Signing of Multicast Streams over Lossy Channels / R. Canetti ; D. Tygar
Panel: Is Electronic Privacy Achievable?
Is Electronic Privacy Achievable? / C. Irvine ; T. Levin
Privacy Technology Lessons from Healthcare / R. Anderson
Protocol Analysis and Design
Searching for a Solution: Engineering Tradeoffs and the Evolution of Provably Secure Protocols / J. Clark ; J. Jacob
Authentication Tests / J. Guttman ; F. Thayer
Protocol-Independent Secrecy / J. Millen ; H. Ruess
Panel: Will Open Source Really Improve System Security?
Robust Nonproprietary Software / P. Neumann
Security and Source Code Access: Issues and Realities / S. Lipner
Open Source in Security: Visiting the Bizarre / F. Schneider
Will Openish Source Really Improve Security / G. McGraw
Intrusion Detection
Using Conservation of Flow as a Security Mechanism in Network Protocols / J. Hughes ; T. Aura ; M. Bishop
Logic Induction of Valid Behavior Specifications for Intrusion Detection / C. Ko
Assurance
Using Model Checking to Analyze Network Vulnerabilities / R. Ritchey ; P. Ammann
Verifying the EROS Confinement Mechanism / J. Shapiro ; S. Weber
Fang: A Firewall Analysis Engine / A. Mayer ; A. Wool ; E. Ziskind
Key Management
A More Efficient Use of Delta-CRLs / D. Cooper
An Efficient, Dynamic and Trust Preserving Public Key Infrastructure / A. Levi ; M. Caglayan
Kronos: A Scalable Group Re-Keying Approach for Secure Multicast / S. Setia ; S. Koussih ; S. Jajodia ; E. Harder
Access Control II
LOMAC: Low Water-Mark Integrity Protection for COTS Environments / T. Fraser
IRM Enforcement of Java Stack Inspection / U. Erlingsson
Author Index
Message from the Program Chairs
Symposium Committee
Program Committee
2.

電子ブック
ＥＢ
2. Proceedings of the 10th International Workshop on Software Specification and Design
Association for Computing Machinery-Digital Library.; ACM Special Interest Group on Software Engineering., Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , IEEE, 2000
所蔵情報: loading…
目次情報: 続きを見る
Message from the IWSSD Chairs
10 IWSSD Organizing Committee
Case Study
Reactive and Real-Time Systems / Track I：
Hybrid Model Visualization in Requirements and Design: A Preliminary Investigation / J. Magee ; J. Kramer ; B. Nuseibeh ; D. Bush ; J. Sonander
Problems and Deficiencies of UML as a Requirements Specification Language / M. Glinz
Model Checking Implicit-Invocation Systems / D. Garlan ; S. Khersonsky
Specification and Analysis of Timed and Functional TRMCS Behaviours / M. Cioffi ; F. Corradini
Object-Oriented Modeling and Automated Analysis of a Telemedicine Application / L. A. Campbell ; B. H. C. Cheng
Duration Properties over Real Time System Designs / V. Braberman ; F. Pieniazek
TRMCS in TCOZ / J. Liu ; J. S. Dong ; J. Sun
Quantitative and Non-Functional Qualities / Track II：
The Declarative Problem Frame: Designing Systems that Create and Use Norms / R. J. Wieringa
Superposing Connectors / M. Wermelinger ; A. Lopes ; J. L. Fiadeiro
Issues in Analyzing the Behavior of Event Dispatching Systems / G. Bricconi ; E. Di Nitto ; E. Tracanella
Design and Development Assessment / S. L. Cornford ; M. S. Feather ; J. C. Kelly ; T. W. Larson ; B. Sigal ; J. D. Kiper
Formalising ERP Selection Criteria / X. B. Illa ; X. Franch ; J. A. Pastor
Specification, Safety and Reliability Analysis Using Stochastic Petri Net Models / F. T. Sheldon ; S. Grenier ; M. Benzinger
Software Architecture Analysis Based on Statechart Semantics / M. S. Dias ; M. E. R. Vieira
[In]completeness, [In]consistency and [Sufficient] Correctness
Using XML to Build Consistency Rules for Distributed Specifications / A. Zisman ; W. Emmerich ; A. Finkelstein
Dependency Relations between Models in the Unified Process / C. Pons ; R. Giandini ; G. Baum
An Approach to Preserving Sufficient Correctness in Open Resource Coalitions / O. Raz ; M. Shaw
Formal Tools for Managing Inconsistency and Change in RE / A. K. Ghose
The Complexity of TRMCS-like Spiral Specification / T. Menzies
The Dangerous "All" in Specifications / D. M. Berry ; E. Kamsties
Design Guidance through the Controlled Application of Constraints / A. G. Cass ; L. Osterweil
Author Index
Message from the IWSSD Chairs
10 IWSSD Organizing Committee
Case Study
3.

電子ブック
ＥＢ
3. Proceedings of the 2000 Asia and South Pacific Design Automation Conference
Asia and South Pacific Design Automation Conference 2000, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , ACM, 2000
所蔵情報: loading…
4.

電子ブック
ＥＢ
4. Proceedings of IEEE professional communication society international professional communication conference and Proceedings of the 18th annual ACM international conference on Computer documentation: technology & teamwork / SIGDOC2000
IPCC 2000, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , IEEE, 2000
所蔵情報: loading…
5.

電子ブック
ＥＢ
5. Proceedings of the 2000 IEEE/ACM international conference on Computer-aided design
Ellen M. Sentovich, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , IEEE Press, 2000
所蔵情報: loading…
6.

電子ブック
ＥＢ
6. Proceedings of the 1st ACM international symposium on Mobile ad hoc networking & computing
Charles E. Perkins, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , IEEE, 2000
所蔵情報: loading…
7.

電子ブック
ＥＢ
7. Proceedings of the 32nd conference on Winter simulation
Paul A. Fishwick, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Society for Computer Simulation International, 2000
所蔵情報: loading…
8.

電子ブック
ＥＢ
8. Proceedings of the 2000 ACM/IEEE conference on Supercomputing
Jed Donnelley, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , IEEE, 2000
所蔵情報: loading…
9.

電子ブック
ＥＢ
9. Proceedings of the ACM conference on Document processing systems
ACM Conference on Document Processing Systems, Association for Computing Machinery-Digital Library., SIGGRAPH.
出版情報: ACM Digital Library Proceedings , ACM, 2000
所蔵情報: loading…
10.

電子ブック
ＥＢ
10. 13th Symposium and School on High-Resolution Molecular Spectroscopy
Sinitsa
出版情報: SPIE Digital Library Proceedings , 2000
所蔵情報: loading…
11.

電子ブック
ＥＢ
11. 16th European Conference on Mask Technology for Integrated Circuits and Microcomponents
Behringer
出版情報: SPIE Digital Library Proceedings , 2000
所蔵情報: loading…
12.

電子ブック
ＥＢ
12. 16th International Conference on Photoelectronics and Night Vision Devices
Filachev
出版情報: SPIE Digital Library Proceedings , 2000
所蔵情報: loading…
13.

電子ブック
ＥＢ
13. Acquisition, Tracking, and Pointing XIV
Masten
出版情報: SPIE Digital Library Proceedings , 2000
所蔵情報: loading…
目次情報: 続きを見る
Ground support equipment (GSE) for testing precision ATP payloads / Henry R. Sebesta ; Gary E. Demuth ; Michael A. Dillow ; Martin C. Rost ; Darren R. Laughlin
HABE real-time image processing / Joseph C. Krainak
Pointing and stabilization system for use in a high-altitude hovering helicopter / Kevin Murphy ; Scott Goldblatt ; Jeffery W. Warren ; Rickey Chapman ; James Hemler ; Craig Mitchell ; George W. Moe
Dynamic range selection in image processing hardware to maximize SNR while avoiding image saturation / William B. Boucher ; Michael R. Michnovicz
Acquisition, tracking, and pointing systems of OICETS for free space laser communications / Takashi Jono ; Masahiro Toyoda ; Keizo Nakagawa ; Akio Yamamoto ; Koichi Shiratama ; Toshihiro Kurii ; Yoshisada Koyama
Airborne system for testing multispectral reconnaissance technologies / Dirk-Roger Schmitt ; Heinrich Doergeloh ; Heiko Keil ; Wilfried Wetjen
Analytic boresight calibration of a line-of-sight sensor / Spiro P. Karatsinides ; Mark L. Darnell
Gunfire performance of stabilized electro-optical sights / Jesse J. Ortega
Application of high-power pulse-width-modulated hybrid motor controllers to stabilized gimbal systems / Jim R. Clemenger ; James C. Debruin
Dynamically tuned gyroscopes in stabilized electro-optical sights
Modeling the dynamically tuned gyroscope in support of high-bandwidth capture loop design / David May
Micro-electro-mechanical system (MEMS) component research and development for army missile applications / Tracy D. Hudson ; Deanna K. McMillen ; Paul R. Ashley ; Paul B. Ruffin ; Janet Baeder
Impact of hydrostatic bearings on the design and performance of telescopes / Donald R. Chivens ; David E. Chivens
Influence of base support on large gimbal performance / Robert D. Sobek ; James E. Kimbrell
Nonlinear control of the optical delay line pathlength / Boris J. Lurie ; John J. Hench ; Asif Ahmed ; Fred Y. Hadaegh
Generalized ideal proportional navigation / Pin-Jar Yuan ; Ming-Ghow Chen ; Jeng-Shing Chern
Single-model asynchronous fusion of correlated tracks / Theodore R. Rice ; Ali T. Alouani
Comparison of the PMHT and PDAF tracking algorithms based on their model CRLBs / Yanhua Ruan ; Peter K. Willett ; Roy L. Streit
Tracking and recognition of airborne targets via commercial television and FM radio signals / Aaron D. Lanterman
Perception-net-based maneuvering target tracking / Jae W. Choi ; Tae H. Fang ; Keum S. Hong
Continuously high accurate positioning algorithm for integration of a GPS and an INS / Jingying Chen ; Guoyou Wang ; Haiqing Chen
Reconfigurable video tracker / Gillian K. Groves ; Spencer W. White ; Michael D. Vahey ; John A. Harding
Real-time multistage IR image-based tracker / Teresa L. Olson ; Carl W. Sanford
Comparison of image processing algorithms for tracking illuminated targets / Jerry W. Bukley ; Robert M. Cramblitt
Handoff between track-while-scan and image tracking / Stacy H. Roszkowski
Development of an infrared imaging seeker emulator for countermeasure studies / Andre Morin ; Pierre Lessard
Multimode algorithm for detection and tracking of point targets / Venkateswarlu Ronda ; Meng H. Er ; Suyog D. Deshpande ; Philip Chan
Fusion algorithm for multisensor target tracking in nonlinear systems / Chunling Yang ; Quan-Zhan Zheng ; Guosui Liu
Detection and tracking of multiple targets in infrared images / Joao Dinis ; Pedro Ribau ; Bento A. Correia
Real-time reconfigurable foveal target acquisition and tracking system / David J. Stack ; Cesar Bandera ; Christopher J. Wrigley ; Bedabrata Pain
Stabilization of infrared image sequence with differential invariants and M-estimators / Daniel McReynolds ; Pascal Marchand ; Yunlong Sheng ; Langis Gagnon ; Leandre Sevigny
Ground-to-ground automatic target detection and tracking system: human factors performance evaluation (phase IV) / Mike Greenley ; Holger Lange ; Jeremy Brooks
Fundamentals of on-road tracking / Robert H. Enders
3D simulator for the rosette-scanning seeker using thresholding techniques / Surng-Gabb Jahng ; Hyun-Ki Hong ; Sung-Hyun Han ; Dong-Sun Seo ; Jong S. Choi
Probability of target acquisition by seeker in circular scan considering dwell time requirement / Chandra B. Asthana
Missile angle acquisition based on total least square estimation with phased array radar / Jian-Ming Qu ; Chen-Yang Yang ; Shi-Yi Mao
AFMM solution to the benchmark radar tracking problem / Mattias J. Carlsson ; Mika V. Laaksonen
Suppress the radar target glint by an L-filter preprocessor / Guoying Chen ; Peikang Huang
Application of fuzzy logic in multipassive acoustic tracking / Gee W. Ng
Improved AGC design for scan tracking radar using H-infinity / Andres Guesalaga ; Sebastian Tepper
Converted measurement Kalman filtering algorithm for radar target tracking
Ground support equipment (GSE) for testing precision ATP payloads / Henry R. Sebesta ; Gary E. Demuth ; Michael A. Dillow ; Martin C. Rost ; Darren R. Laughlin
HABE real-time image processing / Joseph C. Krainak
Pointing and stabilization system for use in a high-altitude hovering helicopter / Kevin Murphy ; Scott Goldblatt ; Jeffery W. Warren ; Rickey Chapman ; James Hemler ; Craig Mitchell ; George W. Moe
14.

電子ブック
ＥＢ
14. Adaptive Optical Systems Technology
Wizinowich, Peter Lindsay Wizinowich, Society of Photo-optical Instrumentation Engineers.
出版情報: SPIE Digital Library Proceedings , 2000
所蔵情報: loading…
15.

電子ブック
ＥＢ
15. Advanced Global Communications Technologies for Astronomy
Kibrick, Robert I. Kibrick, Anders Wallander, Society of Photo-optical Instrumentation Engineers.
出版情報: SPIE Digital Library Proceedings , 2000
所蔵情報: loading…
16.

電子ブック
ＥＢ
16. Advanced High-Power Lasers
Osinski
出版情報: SPIE Digital Library Proceedings , 2000
所蔵情報: loading…
17.

電子ブック
ＥＢ
17. Advanced Microelectronic Processing Techniques
Harrison
出版情報: SPIE Digital Library Proceedings , 2000
所蔵情報: loading…
18.

電子ブック
ＥＢ
18. Advanced Optical Manufacturing and Testing Technology 2000
Yang
出版情報: SPIE Digital Library Proceedings , 2000
所蔵情報: loading…
19.

電子ブック
ＥＢ
19. Advanced Photonic Sensors: Technology and Applications
Tang
出版情報: SPIE Digital Library Proceedings , 2000
所蔵情報: loading…
20.

電子ブック
ＥＢ
20. Advanced Signal Processing Algorithms, Architectures, and Implementations X
Luk, Franklin T. Luk, Society of Photo-optical Instrumentation Engineers.
出版情報: SPIE Digital Library Proceedings , 2000
所蔵情報: loading…
21.

電子ブック
ＥＢ
21. Advanced Telescope and Instrumentation Control Software
Lewis, Hilton Lewis, Society of Photo-optical Instrumentation Engineers.
出版情報: SPIE Digital Library Proceedings , 2000
所蔵情報: loading…
22.

電子ブック
ＥＢ
22. Advances in Fiber Optics
Dianov
出版情報: SPIE Digital Library Proceedings , 2000
所蔵情報: loading…
23.

電子ブック
ＥＢ
23. Advances in Laboratory-based X-Ray Sources and Optics
Macdonald
出版情報: SPIE Digital Library Proceedings , 2000
所蔵情報: loading…
24.

電子ブック
ＥＢ
24. Advances in Nucleic Acid and Protein Analyses, Manipulation, and Sequencing
Limbach
出版情報: SPIE Digital Library Proceedings , 2000
所蔵情報: loading…
25.

電子ブック
ＥＢ
25. Advances in Optical Information Processing IX
Pape, Dennis R. Pape, Society of Photo-optical Instrumentation Engineers.
出版情報: SPIE Digital Library Proceedings , 2000
所蔵情報: loading…
26.

電子ブック
ＥＢ
26. Advances in Resist Technology and Processing XVII
Houlihan
出版情報: SPIE Digital Library Proceedings , 2000
所蔵情報: loading…
27.

電子ブック
ＥＢ
27. Airborne Reconnaissance XXIV
Fishell
出版情報: SPIE Digital Library Proceedings , 2000
所蔵情報: loading…
28.

電子ブック
ＥＢ
28. Airborne Telescope Systems
Melugin, Ramsey K. Melugin, Hans-Peter R?ser, Society of Photo-optical Instrumentation Engineers.
出版情報: SPIE Digital Library Proceedings , 2000
所蔵情報: loading…
29.

電子ブック
ＥＢ
29. Algorithms and Systems for Optical Information Processing IV
Javidi, Bahram Javidi, Demetri Psaltis, Society of Photo-optical Instrumentation Engineers.
出版情報: SPIE Digital Library Proceedings , 2000
所蔵情報: loading…
30.

電子ブック
ＥＢ
30. Algorithms for Multispectral, Hyperspectral, and Ultraspectral Imagery VI
Shen
出版情報: SPIE Digital Library Proceedings , 2000
所蔵情報: loading…
31.

電子ブック
ＥＢ
31. Algorithms for Synthetic Aperture Radar Imagery VII
Zelnio
出版情報: SPIE Digital Library Proceedings , 2000
所蔵情報: loading…
32.

電子ブック
ＥＢ
32. ALT '99 International Conference on Advanced Laser Technologies
Pustovoy
出版情報: SPIE Digital Library Proceedings , 2000
所蔵情報: loading…
33.

電子ブック
ＥＢ
33. Applications and Science of Computational Intelligence III
Priddy
出版情報: SPIE Digital Library Proceedings , 2000
所蔵情報: loading…
34.

電子ブック
ＥＢ
34. Applications and Science of Neural Networks, Fuzzy Systems, and Evolutionary Computation III
Bosacchi
出版情報: SPIE Digital Library Proceedings , 2000
所蔵情報: loading…
35.

電子ブック
ＥＢ
35. Applications of Artificial Neural Networks in Image Processing V
Nasrabadi
出版情報: SPIE Digital Library Proceedings , 2000
所蔵情報: loading…
36.

電子ブック
ＥＢ
36. Bates 25: Celebrating 25 Years of Beam to Experiment
出版情報: AIP Conference Proceedings (American Institute of Physics) , AIP, 2000
所蔵情報: loading…
目次情報: 続きを見る
Preface
Local Organizing and International Advisory Committees
Corporate Sponsors
Nuclear Structure Studies with Electrons / E. W. VogtI.：
Overview of Nuclear Structure with Electrons / D. F. Geesaman
High Resolution Elastic and Inelastic Scattering / J. H. Heisenberg
Inclusive Scattering / I. Sick
The A(e,e' p) Coincidence Reaction: Past, Present and Future / W. Bertozzi
Coincidence Electron Scattering II: Short Range Correlations in Nuclei / T. Walcher
Structure of Few-Body Nuclei / C. F. WilliamsonII.：
Nuclear Magnetism / G. A. Peterson
Quantum Monte Carlo Calculations of Nuclei / V. R. Pandharipande
Elastic Scattering Studies of Deuterium / M. Garcon
MEC and Relativistic Effects in the Deuteron / J. W. Van Orden
Unpolarized Inclusive Studies of A=3 Nuclei / D. H. Beck
Few-Body Nuclei and Nucleon Structure / J. L. MatthewsIII.：
Recent Results on Spin Dependent Scattering from Few Body Systems Obtained in Amsterdam / J. F. J. van den Brand
Twenty-Five Years of Progress in the Three-Nucleon Problem / J. L. Friar
Inclusive Scattering from Polarized [superscript 3]He and Neutron Form Factors / H. Gao
Studies of the Electric Form Factor of the Neutron / H. Schmieden
Essential Differences between the Structure of Nuclei and Nucleons / J. W. Negele
Hadronic Structure / E. C. BoothIV.：
Nucleon Electromagnetic Form Factors / K. de Jager
Nucleon Structure Studied Through VCS and the N [right arrow] [Delta] Transition / C. N. Papanicolas
Electromagnetic Pion Production: From Yukawa to Goldstone / A. M. Bernstein
Effective Field Theory and Xpt / B. R. Holstein
Parity-Violating Electron Scattering and a Look Forward / R. D. McKeownV.：
Parity Violation I: Then and Now / P. A. Souder
Parity Violation and Hadron Structure / E. J. Beise
Electrons, New Physics, and the Future of Parity-Violation / M. J. Ramsey-Musolf
A Look to the Future / R. G. Milner
List of Participants
Author Index
Preface
Local Organizing and International Advisory Committees
Corporate Sponsors
37.

電子ブック
ＥＢ
37. ≪UML≫ 2000  EThe Unified Modeling Language
UML 2000, Andy Evans, Stuart John Harding Kent, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2000
所蔵情報: loading…
38.

電子ブック
ＥＢ
38. Handheld and Ubiquitous Computing
International Symposium on Handheld and Ubiquitous Computing, Hans-W Gellersen, Peter J. Thomas, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2000
所蔵情報: loading…
39.

電子ブック
ＥＢ
39. Proceedings of the conference on Computer systems and technologies
B. Rachev, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , New York, NY : ACM, 2000
所蔵情報: loading…
40.

電子ブック
ＥＢ
40. Proceedings of the 1st conference on Industrial Experiences with Systems Software - Volume 1
Association for Computing Machinery-Digital Library.; ACM Special Interest Group on Operating Systems., Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Berkeley, CA : USENIX Association, 2000
所蔵情報: loading…
41.

電子ブック
ＥＢ
41. Proceedings of the 4th conference on Symposium on Operating System Design & Implementation - Volume 4
Association for Computing Machinery-Digital Library.; ACM Special Interest Group on Operating Systems., Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Berkeley CA : USENIX Association, 2000
所蔵情報: loading…
42.

電子ブック
ＥＢ
42. Proceedings of DARE 2000 on Designing augmented reality environments
Wendy E. Mackay, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , New York NY : ACM, 2000
所蔵情報: loading…
43.

電子ブック
ＥＢ
43. Proceedings of the 9th workshop on ACM SIGOPS European workshop: beyond the PC: new challenges for the operating system
Marc Shapiro, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , New York NY : ACM, 2000
所蔵情報: loading…
44.

電子ブック
ＥＢ
44. Proceedings of the twenty first international conference on Information systems
Wanda J. Orlikowski, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Atlanta GA : Association for Information Systems, 2000
所蔵情報: loading…
45.

電子ブック
ＥＢ
45. Proceedings of the 2000 International Conference on Parallel Architectures and Compilation Techniques
Association for Computing Machinery-Digital Library.; ACM Special Interest Group on Computer Architecture., Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , IEEE, 2000
所蔵情報: loading…
目次情報: 続きを見る
Introduction
Organizing Committee
Program Committee
Reviewers
Keynote
"New Challenges in Microarchitecture and Compiler Design" / Fred Pollack
Register Allocation and Analysis
Register Queues: A New Hardware/Software Approach To Efficient Software Pipelining / M. Smelyanskiy ; G. Tyson ; E. Davidson
Global Register Partitioning / J. Hiser ; S. Carr ; P. Sweany
Region Formation Analysis with Demand-Driven Inlining for Region-Based Optimization / T. Way ; B. Breech ; L. Pollock
Architectural Design
aSOC: A Scalable, Single-Chip Communications Architecture / J. Liang ; S. Swaminathan ; R. Tessier
Address Partitioning in DSM Clusters with Parallel Coherence Controllers / I. Pragaspathy ; B. Falsafi
Custom Wide Counterflow Pipelines for High-Performance Embedded Applications / B. Childers ; J. Davidson
Optimizations and Opportunities
A Lightweight Algorithm for Dynamic If-Conversion during Dynamic Optimization / K. Hazelwood ; T. Conte
Exploring the Limits of Sub-Word Level Parallelism / K. Scott
The Dynamic Trace Memoization Reuse Technique / A. da Costa ; F. Franca ; E. Filho
Exploring Sub-Block Value Reuse for Superscalar Processors / J. Huang ; D. Lilja
"Dynamic Optimization: An Online Opportunity" / Michael Smith
High Performance Memory Techniques
Hiding Relaxed Memory Consistency with Compilers / J. Lee ; D. Padua
Neighborhood Prefetching on Multiprocessors Using Instruction History / D. Koppelman
Characterization of Silent Stores / G. Bell ; K. Lepak ; M. Lipasti
Speculation and Prediction
On Some Implementation Issues for Value Prediction on Wide-Issue ILP Processors / S-J. Lee ; P-C. Yew
A Unified Compiler Framework for Control and Data Speculation / R. Ju ; K. Nomura ; U. Mahadevan ; L-C. Wu
Applying Data Speculation in Modulo Scheduled Loops / R. Hank
Branch Prediction
Branch Prediction in Multi-Threaded Processors / J. Gummaraju ; M. Franklin
The Effect of Code Reordering on Branch Prediction / A. Ramirez ; J. Larriba-Pey ; M. Valero
A Taxonomy of Branch Mispredictions, and Alloyed Prediction as a Robust Solution to Wrong-History Mispredictions / K. Skadron ; M. Martonosi ; D. Clark
Dynamic Branch Prediction for a VLIW Processor / J. Hoogerbrugge
"Blue Gene" / Monty Denneau
Parallel Computation
Fine Grained Multithreading with Process Calculi / L. Lopes ; F. Silva ; V. Vasconcelos
Data Relation Vectors: A New Abstraction for Data Optimizations / M. Kandemir ; J. Ramanujam
Combined Selection of Tile Sizes and Unroll Factors Using Iterative Compilation / T. Kisuki ; P. Knijnenburg ; M. O'Boyle
Applications
Faster FFTs via Architecture-Cognizance / K. Gatlin ; L. Carter
Hybrid Parallel Circuit Simulation Approaches / E. Naroska ; R-J. Shang ; F. Lai ; U. Schwiegelshohn
Multithreaded Programming of PC Clusters / M. Schulz
Instruction Scheduling
A Fast Algorithm for Scheduling Instructions with Deadline Constraints on RISC Processors / H. Wu ; J. Jaffar ; R. Yap
Instruction Scheduling for Clustered VLIW DSPs / R. Leupers
Efficient Backtracking Instruction Schedulers / S. Abraham ; W. Meleis ; I. Baev
Author Index
Introduction
Organizing Committee
Program Committee
46.

電子ブック
ＥＢ
46. Proceedings of the 13th symposium on Integrated circuits and systems design
Association for Computing Machinery-Digital Library.; ACM Special Interest Group on Design Automation., Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , IEEE, 2000
所蔵情報: loading…
目次情報: 続きを見る
Foreword
Conference Organizers
Program Committee
Reviewers
Sponsoring Societies
Design for Test / Session 1：
Some Experiments in Test Pattern Generation for GPGA-Implemented Combinational Circuits / M. Renovell ; J. Portal ; P. Faure ; J. Figueras ; Y. Zorian
Solving the I/O Bandwidth Problem in System on a Chip Testing / W. Maroufi ; M. Benabdenbi ; M. Marzouki
Testability Properties of Vertex Precedent BDDs / A. Reis ; A Prado ; M. Lubaszewski
ATG-Based Timing Analysis of Circuits Containing Complex Gates / J. Guntzel ; A. Pinto ; E. d'Avila ; R. Reis
Microarchitectures--Architecture / Session 2：
A Bit Scalable Architecture for Fuzzy Processors with Three Inputs and a Flexible Fuzzification Unit / R. d'Amore
Partitioned Branch Condition Resolution Logic / A. Farooqui ; K. Current ; V. Oklobdzija
Synthesis of High Performance Extended Burst Mode Asynchronous State Machines / D. de Oliveira ; M. Strum ; W. Chau ; W. Cunha
Improved IDEA / S. Salomao ; J. Alcantara ; V. Alves ; F. Franca
Logic Design / Session 3：
Revisiting Hamiltonian Decomposition of the Hypercube / K. Okuda ; S. Song
An Input-Output Encoding Approach for Serial Decomposition / V. Muthukumar ; R. Bignall ; H. Selvaraj
Disjunctive Decomposition of Switching Functions Using Symmetry Information / M. Chrzanowska-Jeske ; W. Wang ; J. Xia ; M. Jeske
Methods Based on Petri Net for Resource Sharing Estimation / P. Maciel ; F. Filho ; E. Barros ; W. Rosenstiel
Analog Design / Session 4：
Robust Implementation and Statistical Modeling of a VI-Converter / A. Graupner ; R. Schuffny
Resizing Rules for the Reuse of MOS Analog Designs / C. Galup-Montoro ; M. Schneider
Analysis and Design of a Family of Low-Power Class AB Operational Amplifiers / F. Silveira ; D. Flandre
A Generator of Trapezoidal Association of Transistors (TAT): Improving Analog Circuits in a Pre-Diffused Transistor Array / A. Aita ; S. Bampi ; J. Choi
High Level Synthesis / Session 5：
Address Satisfaction for Storage Files with Fifos or Stacks during Scheduling of DSP Algorithms / C. Pinto ; K. van Eijk ; B. Mesman ; J. Jess
Register Binding for Predicated Execution in DSP Applications / Q. Zhao ; C. van Eijk
A Data Path Synthesis Method to Self-Testable Application Specific Integrated Circuit (ASIC) / J. Costa ; J. Neto
From a Hyperdocument-Centric to an Object-Oriented Approach for the Cave Project / L. Indrusiak
Physical Design / Session 6：
WTROPIC: A WWW-Based Macro-Cell Generator / J. Fragoso ; F. Moraes
Modular Exponentiation on Fine-Grained FPGA / A. Tiountchik ; E. Trichina
Net by Net Routing with a New Path Search Algorithm / M. Johann
Digital Circuit Design Based on the Resonant-Tunneling-Hetero-Junction-Bipolar-Transistor / P. Glosekotter ; C. Pacha ; K. Goser ; G. Wirth ; W. Prost ; U. Auer ; M. Agethen ; P. Velling ; F. Tegude
System Level Design / Session 7：
On the Choice of Models of Computation for Writing Executable Specifications of System Level Designs / I. Jeukens
Functional Redundancy for Dynamic Exploitation of Performance-Energy Consumption Trade-Offs / V. Ferreira ; H. Yasuura
Modeling an E1/TU12 Mapper for SDH Systems / R. Silveira ; W. Van Noije
JPEG Decoding in an Electronic Voting Machine / R. Jacobi ; F. Trindade ; J. de Carvalho ; R. Cantanhede
Industrial Applications/Applications of FPGAs / Session 8：
An FPGA Implementation of the ATM Layer / J. de Lima ; E. Melchier ; H. da Silva
Prototyping a Pager-Like Device Using FPGAs: Design of an Object Finder / G. Vasquez ; S. Barbin
Jet Determination in Liquid Argon Calorimeters Using a Heavily Interconnected System of Field Programmable Gate Arrays / B. Dulny ; J. Fent ; W. Haberer ; C. Kiesling ; A. Osthoff
Prototyping of a Biologically-Plausible Vision System for Robotic Applications / R. Zapata ; P. Lepinay ; L. Torres ; J. Droulez ; V. Creuze
Digital Design / Session 9：
Hybrid Latch Flip-Flop with Improved Power Efficiency / N. Nedovic
SisECO: Design of an Echo-Canceling IC for Base Band Modens / L. Agostini ; G. Stemmer ; A. Prado ; R. Pacheco ; T. Campos
Modeling of Short Circuit Power Consumption Using Timing-Only Logic Cell Macromodels / E. da Costa ; F. Cortes ; R. Cardoso ; L. Carro
The Use of Extended TSPC CMOS Structures to Build Circuits with Doubled Input/Output Data Throughput / J. Navarro
Fault Tolerant Design / Session 10：
Evaluation of Soft Error Tolerance Technique Based on Time and/or Space Redundancy / L. Anghel ; D. Alexandrescu ; M. Nicolaidis
Optimized Generation of VHDL Mutants for Injection of Transition Errors / R. Leveugle ; K. Hadjiat
Recent Improvements on the Specification of Transient-Fault Tolerant VHDL Descriptions: A Case-Study for Area Overhead Analysis / F. Vargas ; A. Amory
Designing a Radiation Hardened 8051-Like Micro-Controller / F. de Lima ; E. Cota ; R. Velazco ; S. Rezgui
Formal Methods and H/S Co-Design / Session 11：
JADE: An Embedded Systems Specification, Code Generation and Optimization Tool / C. Pereira ; R. Duarte ; C. Coelho, Jr. ; D. da Silva, Jr. ; A. Fernandes ; L. Ambrosio ; L. Canaan
An ACL2 Model of VHDL for Symbolic Simulation and Formal Verification / V. Rodrigues ; D. Borrione ; P. Georgelin
A New Approach to Solving the Hardware-Software Partitioning Problem in Embedded System Design / D. Engels ; S. Devadas
Design of a Classification System for Rectangular Shapes Using a Co-Design Environment / R. Molz ; P. Engel ; M. Robert
Analog and Mixed-Signal Design / Session 12：
Fault Models and Compact Test Vectors for MOS OpAmp Circuits / J. Calvano ; A. Mesquita
Toward Analog Circuit Synthesis: A Global Methodology Based upon Design of Experiments / Y. Deval ; J-B. Begueret ; J. Tomas ; P. Fouillat
A JAVA-Based Mixed-Signal Design Environment / J. Mades ; T. Schneider ; M. Glesner ; A. Windisch ; W. Ecker
Testing Mixed-Signal Cores / G. Huertas ; D. Vazquez ; E. Peralias ; A. Rueda ; J. Huertas
Physical Modeling / Session 13：
What is the Appropriate Model for Crosstalk Control? / L. Scheffer
Efficient vMOS Realization of Threshold Voters for Self-Purging Redundancy / J. Quintana ; M. Avedillo ; E. Rodriguez-Villegas
LASCA--Interconnect Parasitic Extraction Tool for Deep-Submicron IC Design / F. Ferreira
An Integrated Circuit for the in situ Characterization of CMOS Post-Process Micromachining / B. Warneke ; K. Pister
Reconfigurable Hardware / Session 14：
An Application-Tailored Dynamically Reconfigurable Hardware Architecture for Digital Baseband Processing / J. Becker ; T. Pionteck
Exploiting FPGA-Based Architectures and Design Tools for Problems of Reconfigurable Computations / I. Skliarova ; A. Ferrari
Synthesis of Control Circuits with Dynamically Modifiable Behavior on the Basis of Statically Reconfigurable FPGAs / V. Sklyarov
Implementation of Cryptographic Applications on the Reconfigurable FPGA Coprocessor microEnable / H. Singpiel ; H. Simmler ; A. Kugel ; R. Manner ; A. Vieira ; F. Galvez-Durand
Low-Power, Low-Voltage / Session 15：
Limits to Voltage Scaling from the Low Power Perspective / A. Forestier ; M. Stan
Adaptive Partial Businvert Encoding for Power-Efficient Data Transfer over Wide System Buses / C. Kretzschmar ; R. Siegmund ; D. Muller
Energy-Efficient Register Access / J. Tseng ; K. Asanovic
Embedded Systems / Session 16：
Design and Simulation of Heterogenous Embedded Systems / K. Mueller-Glaser ; S. Schmerler ; W. Stork ; A. Wagner ; J. Drescher ; M. Kuehl
A Comparison of OO and Reactive Based Specifications on the Design of Embedded Systems / S. Ito ; J. Mattos ; S. Toscani
A Comparison of Microcontrollers Targeted to FPGA-Based Embedded Applications
Author Index
Foreword
Conference Organizers
Program Committee
47.

電子ブック
ＥＢ
47. Proceedings of the 2000 workshop on Computer architecture education
Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , New York NY : ACM, 2000
所蔵情報: loading…
48.

電子ブック
ＥＢ
48. ACM SIGGRAPH 2000 Video Review on The History of Computer Graphics
Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , New York NY : ACM, 2000
所蔵情報: loading…
49.

電子ブック
ＥＢ
49. Proceedings 2000 IEEE/ACM International Workshop on Behavioral Modeling and Simulation
Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , IEEE, 2000
所蔵情報: loading…
目次情報: 続きを見る
Steering Committee
Program Committee
Keynote Address / Session 1：
Mixed-Singal Modeling / Session 2：
Modeling and Simulation of a Sigma-Delta Digital to Analog Converter Using VHDL-AMS / M. Vogels ; B. De Smedt ; G. Gielen
Event-Driven Electrothermal Modeling of Mixed-Signal Circuits / X. Huang ; H. Mantooth
High-Level Design Case of a Switched-Capacitor Low-Pass Filter Using Verilog-A / E. Lauwers ; K. Lampaert ; P. Miliozzi
Modeling and Simulating Semiconductor Devices Using VHDL-AMS / V. Kasulasrinivas ; H. Carter
Mixed-Technology Modeling / Session 3：
Integration of Mechanical CAD and Behavioral Modeling / R. Sinha ; C. Paredis ; P. Khosla
A Table-Based Time-Domain Simulation Method for Oversampled Microelectromechanical Systems / J. Wu ; L. Carley
Combining Models of Physical Effects for Describing Complex Electromechanical Devices / L. Vossamper ; R. Schmid ; G. Pelz
Panel: Analog Synthesis: Is It for Real? / Jim BarbySession 4：
Mixed-Level Simulation/Mixed-Domain Modelings / Session 5：
Mixed-Domain and Reduced-Order Modeling of Electroosmotic Transport in Bio-MEMS / R. Qiao ; N. Aluru
Characterization, Simulation and Modeling of PLL under Irradiation Using HDL-A / I. Martinez ; P. Delatte ; D. Flandre
Design and Optimization of Optical Links Based on VHDL-AMS Modeling / P. Bontoux ; F. Mieyeville ; I. O'Connor ; F. Gaffiot ; G. Jacquemod
Simulation Techniques / Session 6：
VHDL Based Simulation of a Sigma-Delta A/D Converter / M. Schubert
On Accommodating Particular Analog System Models with VHDL / G. Popescu
Dynamic Time Step Control Algorithm Enhancements / J. Bach
An Open VHDL-AMS Simulation Framework / T. Schneider ; J. Mades ; M. Glesner ; A. Windisch ; W. Ecker
Modeling and Simulation / Session 7：
Neural Network Design for Behavioral Model Generation with Shape Preserving Properties / O. Mikulchenko ; K. Mayaram
Verilog-AMS: Mixed-Signal Simulation and Cross Domain Connect Modules / P. Frey ; D. O'Riordan
Towards a Specification Notation for High-Level Synthesis of Mixed-Signal and Analog Systems / A. Doboli ; R. Vemuri
Tutorial on Verilog-A/MS / Session 8：
Author Index
Steering Committee
Program Committee
Keynote Address / Session 1：
50.

電子ブック
ＥＢ
50. THE PHYSICS OF ELECTRONIC AND ATOMIC COLLISIONS: XXI International Conference
Yukikazu Itikawa
出版情報: AIP Conference Proceedings (American Institute of Physics) , AIP Publishing, 2000
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼