close
1.

図書

図書
sponsored by IEEE Computer Society Technical Committee on Distributed Processing
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society Press, c1999  x, 155 p. ; 28 cm
所蔵情報: loading…
目次情報: 続きを見る
Preface
Conference Organization
Opening Remarks / Phillip Sheu ; Luiz Bacellar
Software Engineering / Paper Session 1:
On the Coordination of Autonomous Systems / M. Mock ; E. Nett
Steering of Real-Time Systems based on Monitoring and Checking / O. Sokolsky ; M. Viswanathan ; I. Lee ; M. Kim ; S. Kannan
A Database Approach to Testing and Evaluating of Object-Oriented Programs / S. Ohara ; L. Hu ; M. Hui ; T. Wang ; P. Sheu ; F. Tsunoda
Run-Time Support / Paper Session 2:
Batching Earliest Deadline First Scheduling / M. Moghaddas ; B. Hamidzadeh
Protocol for Groups of Pseudo-Active Replicated Objects / H. Higaki ; N. Nemoto ; K. Tanaka ; M. Takizawa
Transparent Object Replication: A Formal Model / P. Dechering ; E. Jong
Software Testing of the Behavioral Aspects of Objects / S. Wong ; T. Dillon ; A. Hanish ; E. Chang
Newly Emerging Issues / Paper Session 3:
Towards a Real-Time Agent Architecture--A Whitepaper / L. DiPippo ; E. Hodys ; B. Thuraisingham
Do Current Technology Trends Enforce a Paradigm Shift in the Industrial Automation Market? / H. Kopetz
Vertically Distributed Real-Time Computer Systems: Integrating the Enterprise / E. Jensen
Real-Time Distributed Computing Tools / Paper Session 4:
Real-Time and Object-Oriented Issues for an Inspection Workstation Application / J. Horst
Applying a Scalable CORBA Event Service to Large-scale Distributed Interactive Simulations / C. O'Ryan ; D. Levine ; D. Schmidt ; J. Noseworthy
A Preliminary Assessment of the Real-Time Properties of Windows CE 3.0 / C. Netter ; L. Bacellar
Dependable Objects for Databases, Middleware and Methodologies: A Position Paper / M. Ceruti
QoS / Paper Session 5:
On Framing Object Relationships to Improve QoS in Distributed Systems / M. Mortazavi
High-level Integrated Design Environment for Dependability (HIDE) / A. Bondavalli ; M. Dal Cin ; D. Latella ; A. Pataricza
Towards Automatic Synthesis of QoS Preserving Implementations from Object-Oriented Design Models / M. Saksena
A CORBA Service Enabling Programmer-Friendly Object-Oriented Real-Time Distributed Computing / K. Kim ; D. Beck ; J. Liu ; H. Miyazaki ; E. Shokri
Fault-Tolerance and Other Works in Progress / Paper Session 6:
General Framework for Fault Tolerance from ISO/ITU Reference Model for Open Distributed Processing (RM-ODP) / J. Putman
An Experiment with Adaptive Fault Tolerance in Highly-Constraint Systems / P. Beltas
Towards Language Support for Component-Oriented Real-Time Programming / M. Franz ; P. Frohlich ; T. Kistler
Process Algebraic Approach to the Parametric Analysis of Object Scheduling in Real-time Systems / H. Kwak
Protocols / Paper Session 7:
Object-based Precedency of Messages in Object-based Systems / Y. Timura
Requirements Specification of an Automotive System with Hybrid Sequence Charts / R. Grosu ; I. Kruger ; T. Stauner
Panel Discussion: Summary of Progress and New Issues
Index of Authors
Preface
Conference Organization
Opening Remarks / Phillip Sheu ; Luiz Bacellar
2.

図書

図書
sponsored by IEEE Computer Society
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society, c1999  xx, 478 p. ; 28 cm
所蔵情報: loading…
目次情報: 続きを見る
Foreword
Preface
Program Overview
Committees
Reviewers
Why Is Software Integration So Hard? / Richard M. Soley
Legacy System
Architectural Evolution of Legacy Systems / G.T. Heineman ; A. Mehta
Some Insights into the Maintenance of Legacy Systems within Small Manufacturing and Distribution Organisations in the UK / H.M. Edwards ; G.M. Mallalieu ; J.B. Thompson
Extracting Ontologies from Legacy Systems for Understanding and Re-Engineering / H. Yang ; Z. Cui ; P. O'Brien
Database Systems
The Clustering Property of Corner Transformation for Spatial Database Applications / J.-W. Song ; K.-Y. Whang ; Y.-K. Lee ; S.-W. Kim
Object-Oriented Database Access via Reflection / R.K. Ege
ORR: Object-Relational Rapprochement / J.B. Crigler ; A. Orooji
Network Security
Protecting Information in the Web - Position Paper / E. Bertino
Formal Verification
An Industrial Application of an Integrated UML and SDL Modeling Technique / R.B. Trance ; M. Boughdadi ; R. Busser
Dynamic Software Architecture Slicing / T. Kim ; Y.-T. Song ; L. Chung ; D.T. Huynh
A Generic Approach of Static Analysis for Detecting Runtime Errors in Java Programs / X. Jia ; S. Skevoulis
A Protocol and Simulation for Distributed Communicating Firewalls / R.N. Smith ; S. Bhattacharya
Mobile Agents Protection in the Internet Environment / A. Corradi ; R. Montanari ; C. Stefanelli
Computer Network Intrusion Detection, Assessment and Prevention Based on Security Dependency Relation / S.S. Yau ; X. Zhang
Can Generic Software Be Assured?
Ensuring the Capability of COTS Products / J. Voas ; J.C. Dean
Establishing Guidelines for Suitability of COTS for a Mission Critical Application / R.J. Kohl
Cost Framework for COTS Evaluation / N.F. Schneidewind
Software Testing
Validating Software Specifications Against User Claims / C.-C. Chiang ; J.E. Urban
Generating Goal-oriented Test Cases / A. von Mayrhauser ; M. Scheetz ; E. Dahlman
CORBA Components Testing with Perception-based State Behavior / H.W. Sohn ; D.C. Kung ; P. Hsia
An Object-Oriented Architecture Supporting Web Application Testing / J.-T. Yang ; J.-L. Huang ; F.-J. Wang ; W.C. Chu
Reliable Distributed Computing
Distributed Object-Oriented Real-Time Simulation of Ground Transportation Networks with the TMO Structuring Scheme / K.H. Kim ; J. Liu ; M. Ishida ; I. Kim
Response Time Behavior of Voting Schemes for Managing Replicated Data / I.-R. Chen ; D.-C. Wang ; C.-P. Chu
Autonomous Coordination for Atomicity of Transaction in Heterogeneous Systems / Y. Tan ; I. Kaji ; K. Mori
Toward More Reliable Telecom Systems / A.M. da Silva Filho
E-Commerce
Software Design and Development
A Pattern-Based Approach to Structural Design Composition / P. Alencar ; D. Cowan ; J. Dong ; C. Lucena
Testing Extensible Design Patterns in Object-Oriented Frameworks through Scenario Templates / W.-T. Tsai ; Y. Tu ; W. Shao ; E. Ebner
A Design Pattern for Autonomous Vehicle Software Control Architectures / M.L. Nelson
Information Systems and Information Retrieval
System Scaling for Large-scale Internet-based Online Services / D. Ni ; J. Martinez ; J. Wang
A Method for Controlling Errors in Two-Class Classification / G. Felici ; F. Sun ; K. Truemper
Hierarchically Organized Neural Net Agents for Distributed Web Information Retrieval / Y.S. Choi ; S.I. Yoo ; J. Lee
Software Engineering Licensing
Licensing Software Engineers: the Computer Society Must Continue to Lead / D.J. Bagert
It's Different on the Other Side of the Pond. But Should It Be That Way?
Software Process and Management
Implementation and Evaluation of an Automatic Personal Workflow Extraction Method / A. Abeta ; K. Kakizaki
Using System Dynamics Modeling to Manage Projects / D. Sycamore ; J.S. Collofello
Cooperating Process Components / K.A. Gary ; T.E. Lindquist
Network and Mobile Systems
Multimedia Tools and Applications in the Development of a Large Complex Network System / S. Palangala ; S.P. Tolety
Supporting Preemption in Wormhole Networks / K. Knauber ; B. Chen
Performance Analysis of a Graph Model for Channel Assignment in a Cellular Network / H.C. Cankaya ; M. Iridon ; D.W. Matula
Here, There and Everywhere: The Future of Software Engineering Education
Software Engineering Education from a UK Academic's Perspective
Here, There and Everywhere: The Future of Software Engineering Education: Corporate View / B.J. Nigro
One System, Two Ideologies: Integrating the Two Worlds of Software Engineering Education / T.H. Tse
Software Architecture
Architecture-Centered Enterprise System Development and Integration Based on Distributed Object Technology Standard / K. Wreder ; Y. Deng
Object-Oriented Architectural Support for Developing Complex Systems / R. Agarwal ; G. Bruno ; M. Torchiano
Software Architecture Analysis--A Case Study / W.-L. Wang ; M.-H. Tang ; M.-H. Chen
Storage System and Caching
Merging Interval Caching with Adaptive Viewers' Bias Based Caching Strategy / B. Sonah ; M.R. Ito
A Proxy Server Structure and its Cache Consistency Mechanism at the Network Bottleneck / J.-Y. Kim ; K.-W. Cho ; K. Koh
A New Flash Memory Management for Flash Storage System / H.-J. Kim ; S.-G. Lee
Panel -- Silver-Bullet-Itis
Application of Special Interests
The Design of Agent-Based Tools for Bio-Informatics / C.-S. Liu ; W. Kuo ; L.-Y. Ch'ang ; W.-C. Lin
Validation of a Patient Headache Care Education System (PHCES) Developed from a Unified Modeling Language (UML) Domain Model / A. Khatri
Steps Toward a Theory of Coordination for Intelligent Agent Societies / P.S. Heck
A WWW Based Software Metrics Environment for Software Process Management and Software Product Quality Improvement / X. Liu ; R. Viswanathan
Distributed Shared Memory with Log Based Consistency for Scalable Data Mining / H. Hirayama ; H. Honda ; T. Yuba
Mining Weak Rules / H. Liu ; H. Lu
Software Development
Looking Beyond Software to Understand Software Design Patterns / M. Duell
Patterns in Postmortems / L. Rising
The Unique Reference Ncsloc Metric / S.D. Crouch ; D.B. Simmons
Initial Design of the "Plug-n-Analyze" Framework for Architecture Tradeoff Analysis / H. In ; A.E. Flores-Mendoza
A Useful Approach to Developing Reverse Engineering Metrics / S. Zhou ; P. Luker ; X. He
A Framework for Top-down Cost Estimation of Software Development / T. Yamaura ; T. Kikuno
Software Frameworks and Systems Engineering
Venice - a Toolkit/Framework for Integration and Component-based Computing / S. Lubenec
CataLogger: A Framework for Building Asset Management Solutions / G. Hamilton
The MEA Framework: A New Perspective for the Development of Situation-Specific Methods / C.J. Hardy
Dynamic Client-Side Scheduling in a Real-Time CORBA System / W. Feng
Failure Planning in STESCA / G. Flores, Jr.
Effect of Complementary Processing on Navy Command and Control Software / M.G. Ceruti ; R.C. Trout ; T. Lee
Software Metrics: What Have We Learned?
Supply and Demands of Information Technology Workers
Software Reuse
Software Reuse through a Novel Representation that Supports Factorization / H.B.K. Tan ; H.K. Tan
Processing Queries with Expensive Predicates by Filtering / H. Chen ; N. Ohbo ; T. Ohno
Reusing CAD Tools in Object Oriented Based Framework / H.C. Jiau ; K.-F. Ssu ; J.-M. Lin ; Y.-P. Ko
Project Management
Tracking Personal Processes in Group Projects / L.D. Sauer ; J. Cairney
Brooks' Law Revisited: A System Dynamics Approach / C.-T. Hsu
A Decision Support System for Software Reliability Engineering Strategy Selection / I. Rus
Computers as Partners: A Technology Forecast for Decision-Making in the 21st Century
Computers as Partners: A Technology Forecast for Decision-making in the 21st Century / J.P. Cavano
Developing Dynamic Decision Support: Opportunities, Issues and Approaches / E. Coupey ; M.T. Jones
Talking with Computers about the Future We Shall Share / J. De Oliveira
NLP-Supported Decision-Making / E.D. Liddy
Mobile Information Agents for Processing under Information Overload: A Position Statement / D. Rus
Software System Development
I[superscript 3]: A Petri-net Based Specification Method for Architectural Components / C.K. Chang ; S. Kim
An Active Database Approach to Integrating Black-box Software Components / A. Sundermier ; S.W. Dietrich ; V. Shah
Role-based Decomposition for Improving Concurrency in Distributed Object-Oriented Software Development Environments / T.-H. Kim ; Y.G. Shin
Lessons Learned Applying Software Engineering Principles to Visual Programming Language Application Development / T.G. Sparkman
E-Business and Application Systems
Signature Management in Workflow Systems / K.R.P.H. Leung ; L.C.K. Hui
Digiket: Decentralized Architecture for Worldwide Electronic Market / K. Kuramitsu ; K. Sakamura
Performance Analysis of Traffic Control System Based on Stochastic Timed Petri Net Models / C. Jin
Building Java Applets by Using DJ -- A Java-based Constraint Language / N.-F. Zhou
Software Verification and Analysis
OBL: A Formal Deduction Method for Object-Oriented Systems / K. Chang ; D. Kung
Detecting Null Pointer Violations in Java Programs / S. Sawant ; J. Zhou
A New Approach to Verify Rule-Based Systems Using Petri Nets / S.J.H. Yang
Optimal Software Release Policy Based on Cost and Reliability with Testing Efficiency / C.-Y. Huang ; S.-Y. Kuo ; M.R. Lyu
Foreword
Preface
Program Overview
3.

図書

図書
IEEE/ACM International Conference on Computer-Aided Design ; IEEE Computer Society
出版情報: New York : Association for Computing Machinery, c1999  xxiv, 613 p. ; 28 cm
所蔵情報: loading…
4.

図書

図書
sponsored by IEEE Computer Society, IEEE Computer Society Technical Committee on Fault-Tolerant Computing, IEEE Computer Society Test Technology Technical Council
出版情報: Los Alamitos, CA. ; Tokyo : IEEE Computer Society, c1998  xiii, 405 p. ; 23 cm
所蔵情報: loading…
5.

図書

図書
sponsored by the IEEE Computer Society Technical Committee on Security and Privacy
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society, c1999  viii, 239 p. ; 28 cm
所蔵情報: loading…
目次情報: 続きを見る
Preface
Workshop Committee
Welcome
Formal Models
A Formal Framework and Evaluation Method for Network Denial of Service / C. Meadows
I/O Automaton Models and Proofs for Shared-Key Communication Systems / N. Lynch
Security Protocol Analysis: Notation, Transformation, and Simplification
Safe Simplifying Transformations for Security Protocols / M. Hui ; G. Lowe
Decision Procedures for the Analysis of Cryptographic Protocols by Logics of Belief / D. Monniaux
A Meta-Notation for Protocol Analysis / I. Cervesato ; N. Durgin ; P. Lincoln ; J. Mitchell ; A. Scedrov
Strand Spaces
Mixed Strand Spaces / F. Thayer ; J. Herzog ; J. Guttman
Honest Functions and their Application to the Analysis of Cryptographic Protocols / A. Maneki
Panel: Formalization and Proof of Secrecy Properties / D. Volpano ; M. Abadi ; R. Focardi ; J. Millen
Formalization and Proof of Secrecy Properties
Local Names
Authentication via Localized Names / C. Bodei ; P. Degano ; C. Priami
A Logic for SDSI's Linked Local Name Spaces / J. Halpern ; R. van der Meyden
Interaction and Composition
Trusted System Construction / C. O'Halloran
Secure Composition of Insecure Components / P. Sewell ; J. Vitek
Security Function Interactions / P. Bieber
Logics for Authorization and Access Control
A Logic-based Knowledge Representation for Authorization with Delegation / N. Li ; J. Feigenbaum ; B. Grosof
A Logical Framework for Reasoning on Data Access Control Policies / E. Bertino ; F. Buccafurri ; E. Ferrari ; P. Rullo
Advances in Automated Security Protocol Analysis
Athena: A New Efficient Automatic Checker for Security Protocol Analysis / D. Song
CVS: A Compiler for the Analysis of Cryptographic Protocols / A. Durante ; R. Gorrieri
Noninterference Using Process Algebras
Process Algebra and Non-Interference / P. Ryan ; S. Schneider
What Is Intransitive Noninterference? / A. Roscoe ; M. Goldsmith
Index of Authors
Preface
Workshop Committee
Welcome
6.

図書

図書
sponsors, IEEE Components, Packaging, & Manufacturing Technology Society, IEEE Computer Society
出版情報: [New York] : Institute of Electrical and Electronics Engineers, c1998  vii, 114 p. ; 28 cm
所蔵情報: loading…
7.

図書

図書
sponsored by IEEE Computer Society Technical Committee on Multimedia Computing
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c1999  xiii, 317 p. ; 28 cm
所蔵情報: loading…
8.

図書

図書
[sponsored by IEEE Computer Society Test Technology Technical Committee and IEEE Philadelphia Section]
出版情報: Washington, D.C. : International Test Conference, c1999  xiv, 1163 p. ; 29 cm
所蔵情報: loading…
9.

図書

図書
sponsored by IEEE Computer Society, IEEE Circuits and Systems Society ; in cooperation with IEEE Electron Devices Society
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c1999  xxv, 661 p. ; 28 cm
所蔵情報: loading…
目次情報: 続きを見る
Foreword
Organizing Committee
Technical Program Committee
Reviewers
System Design: Traditional Concepts and New Paradigms / A. Ferrari ; A. Sangiovanni-Vincentelli
The Marco/Darpa Gigascale Silicon Research Center / Kurt Keutzer ; A. Richard Newton
Embedded Tutorial
CAD Techniques for Embedded Systems-on-Silicon
Applied Verification Techniques
Verification of Real Time Controllers against Timing Diagram Specifications Using Constraint Logic Programming / E. Cerny ; F. Jin
Formal Verification of Synthesized Analog Designs / A. Ghosh ; R. Vemuri
Implicit Verification of Structurally Dissimilar Arithmetic Circuits / T. Stanion
Automatic Error Correction of Tri-State Circuits / D. Hoffmann ; T. Kropf
Computer Arithmetic
Design Methodology for a One-Shot Reed-Solomon Encoder and Decoder / S. Morioka ; Y. Katayama
High-Speed CORDIC Architecture Based on Redundant Sum Formation and Overlapped [sigma]-Selection / J. Choi ; J.-H. Kwak ; E. Swartzlander, Jr.
Multilevel Reverse-Carry Computation for Comparison and for Sign and Overflow Detection in Addition / T. Lang ; J. Bruguera
A Unified Method for Iterative Computation of Modular Multiplication and Reduction Operations / W. Freking ; K. Parhi
Evolution of DSP Architecture
Machines and Characterization
Designing the M - CORE M3 CPU Architecture / J. Scott ; L. Lee ; A. Chin ; J. Arends ; B. Moyer
Performance Evaluation of Configurable Hardware Features on the AMD-K5 / M. Clark ; L. John
Detailed Characterization of a Quad Pentium Pro Server Running TPC-D / Q. Cao ; P. Trancoso ; J.-L. Larriba-Pey ; J. Torrellas ; R. Knighten ; Y. Won
Power and Noise Considerations in Microprocessor Design
Simultaneous Switching Noise Considerations in the Design of a High Speed, Multiported TLB of a Server-Class Microprocessor / N. Kalyanasundharam ; N. Patwa
On the Use of Pseudorandom Sequences for High Speed Resource Allocators in Superscalar Processors / S. Srinivasan
Power Estimation of System-Level Buses for Microprocessor-Based Architectures: A Case Study / W. Fornaciari ; D. Sciuto ; C. Silvano
Architectures for Embedded Systems
A DSP with Caches -- A Study of the GSM-EFR Codec on the TI C6211 / T. Jeremiassen
Evaluation of Computing in Memory Architectures for Digital Image Processing Applications / D. Landis ; P. Hulina ; S. Deno ; L. Roth ; L. Coraor
Customization of a CISC Processor Core for Low-Power Applications / Y.-S. Chang ; B.-I. Park ; I.-C. Park ; C.-M. Kyung
Built-In Self Test
A New Weight Set Generation Algorithm for Weighted Random Pattern Generation / H. Lee ; S. Kang
Multiple Paths Sensitization of Digital Oscillation Built-In Self Test / C. Dufaza
Design and Implementation of a Parallel Weighted Random Pattern and Logic Built in Self Test Algorithm / P. Chang ; B. Keller ; S. Paliwal
Intelligent Memory
Design and Evaluation of a Selective Compressed Memory System / J.-S. Lee ; W.-K. Hong ; S.-D. Kim
FlexRAM: Toward an Advanced Intelligent Memory System / Y. Kang ; W. Huang ; S.-M. Yoo ; D. Keen ; Z. Ge ; V. Lam ; P. Pattnaik
ActiveOS: Virtualizing Intelligent Memory / M. Oskin ; F. Chong ; T. Sherwood
Performance and Area Optimization
An Efficient Buffer Insertion Algorithm for Large Networks Based on Lagrangian Relaxation / I.-M. Liu ; A. Aziz ; D. Wong ; H. Zhou
An Exact Tree-Based Structural Technology Mapping Algorithm for Configurable Logic Blocks in FPGAs / K. Lee
An Effective Algorithm for Gate-Level Power-Delay Tradeoff Using Two Voltages / C. Chen ; M. Sarrafzadeh
VLSI Implementation of Arithmetic Circuits
Switching Characteristics of Generalized Array Multiplier Architectures and Their Applications to Low Power Design / K. Muhammad ; D. Somasekhar ; K. Roy
Low-Power Radix-4 Combined Division and Square Root / A. Nannarelli
A Regular Layout Structured Multiplier Based on Weighted Carry-Save Adders
Design Convergence
A Robust Solution to the Timing Convergence Problem in High-Performance Design / N. Shenoy ; M. Iyer ; R. Damiano ; P. Thilking ; K. Harer ; H.-K. Ma
Performance Driven Optimization of Network Length in Physical Placement / W. Donath ; P. Kudva ; L. Reddy
Efficient Crosstalk Estimation / M. Kuhlmann ; S. Sapatnekar
Poster Presentations
A High-Performance Hardware-Efficient Memory Allocation Technique and Design / H. Cam ; M. Abd-El-Barr ; S. Sait
Improving Microcontroller Power Consumption through a Segmented Gray Code Program Counter / R. Hakenes ; Y. Manoli
A Superscalar RISC Processor with 160 FPRs for Large Scale Scientific Processing / K. Shimada ; T. Kawashimo ; M. Hanawa ; R. Yamagata ; E. Kamada
Characterization of Java Applications at Bytecode and Ultra-SPARC Machine Code Levels / R. Radhakrishnan ; J. Rubio
Automatic Generation of Tree Multipliers Using Placement-Driven Netlists / A. Gautam ; V. Visvanathan ; S. Nandy
Yield Optimization by Design Centering and Worst-Case Distance Analysis / G. Samudra ; H. Chen ; D. Chan ; Y. Ibrahim
Area, Performance, and Yield Implications of Redundancy in On-Chip Caches / T. Thomas ; B. Anthony
Conceptual Modeling and Simulation / W. Cyre
System-on-a-Chip Bus Architecture for Embedded Applications / P. Aldworth
CalmRISC: A Low Power Microcontroller with Efficient Coprocessor Interface / K.-M. Lim ; S.-W. Jeong ; Y.-C. Kim ; S.-J. Jeong ; H.-K. Kim ; Y.-H. Kim ; B.-Y. Chung ; H.-L. Roh ; H. Yang
An Even Wiring Approach to the Ball Grid Array Package Routing / S.-S. Chen ; J.-J. Chen ; C.-C. Tsai ; S.-J. Chen
Synthesis of Pseudo Kronecker Lattice Diagrams / P. Lindgren ; R. Drechsler ; B. Becker
Generic Universal Switch Blocks / M. Shyu ; Y.-D. Chang ; G.-M. Wu ; Y.-W. Chang
Multi-Level Logic Minimization through Fault Dictionary Analysis / R. Mehler ; M. Mercer
A Fast and Exact Cell Matching Method for MUX-Based FPGA Technology Mapping / K. Yi ; S. Ohm
Novel Formulations for Low-Power Binding of Function Units in High-Level Synthesis / A. Kumar ; M. Bayoumi
An Efficient Functional Coverage Test for HDL Descriptions at RTL / C.-N. Liu ; J.-Y. Jou
An Efficient Interconnect Test Using BIST Module in a Boundary-Scan Environment / H.-J. Kim ; J. Shin
On-Line BIST for Testing Analog Circuits / J. Velasco-Medina ; I. Rayane ; M. Nicolaidis
Iteration-Free Timing Closure
MicroProcessor Architecture; Trends and Directions / Uri Weiser
System Level Issues
A Design Methodology for a Fully Synthesized High Speed DSP Core in a Deep Sub-Micron Technology / J. Rao ; K. Madathil ; V. Shah ; H. Udayakumar ; A. Menon ; S. Chandar
An Environment for Exploring Low Power Memory Configurations in System Level Design / S. Coumeri ; D. Thomas
Architectural Synthesis of Timed Asynchronous Systems / B. Bachman ; H. Zheng ; C. Myers
Computing Minimum Feedback Vertex Sets by Contraction Operations and Its Applications on CAD / H.-M. Lin
Compilers and Algorithms
A Compiler-Assisted Data Prefetch Controller / S. Vander Wiel ; D. Lilja
Energy and Performance Improvements in Microprocessor Design Using a Loop Cache / N. Bellas ; I. Hajj ; C. Polychronopoulos ; G. Stamoulis
A Fast Median Filter Using AltiVec / P. Kolte ; R. Smith ; W. Su
Approximating Hexagonal Steiner Minimal Trees by Fast Optimal Layout of Minimum Spanning Trees / G.-H. Lin ; G. Xue ; D. Zhou
Test Generation and Delay Testing
On Detecting Bridges Causing Timing Failures / S. Mandava ; S. Chakravarty ; S. Kundu
Design for Testability to Combat Delay Faults / J. Savir
Fault Simulation Based Test Generation for Combinational Circuits Using Dynamically Selected Subcircuits / I. Pomeranz ; S. Reddy
Using an Embedded Processor for Efficient Deterministic Testing of Systems-on-a-Chip / A. Jas ; N. Touba
Microarchitecture
Architecture of the Atlas Chip-Multiprocessor: Dynamically Parallelizing Irregular Applications / L. Codrescu ; D. Wills
Load-Balancing Branch Target Cache and Prefetch Buffer / C.-H. Chi ; J.-L. Yuan
Dynamic Branch Decoupled Architecture / A. Tyagi ; H.-C. Ng ; P. Mohapatra
Efficient State-Space Exploration
Improving Witness Search Using Orders on States / R. Sumners ; J. Bhadra ; J. Abraham
Verification of Scheduling in the Presence of Loops Using Uninterpreted Symbolic Simulation / P. Ashar ; A. Raghunathan ; A. Gupta ; S. Bhattacharya
Efficient Fixpoint Computation for Invariant Checking / K. Ravi ; F. Somenzi
Clocking and Analog Circuit Prototyping
A Low-Power Microcontroller with On-Chip Self-Tuning Digital Clock-Generator for Variable-Load Applications / M. Olivieri ; A. Trifiletti ; A. De Gloria
A Methodology for Rapid Prototyping of Analog Systems / S. Ganesan
Transmission Line Clock Driver / M. Becker ; T. Knight, Jr.
Benchmarking, Selection and Debugging of Microcontrollers
Digital Signal Processors
The Specialization of General Purpose Processor Architecture Elements for Programmable Digital Signal Processors / D. Steiss
DSP for the Third Generation Wireless Communications / U. Ko ; M. McMahan ; E. Auslander
Performance and Reliability Verification of C6201/C6701 Digital Signal Processors / N. NS ; F. Cano ; S. Thiruvengadam ; D. Kapoor
Caching Approaches
Pursuing the Performance Potential of Dynamic Cache Line Sizes / P. van Vleet ; E. Anderson ; L. Brown ; J.-L. Baer ; A. Karlin
The Non-Critical Buffer: Using Load Latency Tolerance to Improve Data Cache Efficiency / B. Fisk ; R. Bahar
Cache Optimization for Memory-Resident Decision Support Commercial Workloads
CMOS Circuit Design Techniques
An Investigation of Power Delay Trade-Offs for Dual V[subscript t] CMOS Circuits / Q. Wang ; S. Vrudhula
Delay Optimization of CMOS Logic Circuits Using Closed-Form Expressions / M. Shams ; M. Elmasry
Design and Synthesis of Monotonic Circuits / T. Thorp ; G. Yee ; C. Sechen
SOI Implementation of a 64-Bit Adder / J. Tran ; F. Mounes-Toussi ; S. Storino ; D. Stasiak
Forty Five Years of Computer Architecture -- All That's Old is New Again / Harvey G. Cragon
The TriMedia CPU64 VLIW Media Processor
TriMedia CPU64 Application Domain and Benchmark Suite / A. Riemens ; K. Vissers ; R. Schutten ; F. Sijstermans ; G. Hekstra ; G. La Hei
TriMedia CPU64 Architecture / J. van Eijndhoven ; E. Pol ; M. Tromp ; P. Struik ; R. Bloks ; P. van der Wolf ; A. Pimentel ; H. Vranken
TriMedia CPU64 Application Development Environment / B. Aarts ; J. van de Waerdt
TriMedia CPU64 Design Space Exploration / P. Bingley
Logic Synthesis
On State Assignment of Finite State Machines Using Hypercube Embedding Approach / I. Ahmad ; R. Ul-Mustafa
Synthesis of Arrays and Records / P. Jha ; S. Barnfield ; J. Weaver ; R. Mukherjee ; R. Bergamaschi
Decomposition of Finite State Machines for Area, Delay Minimization / R. Shelar ; M. Desai ; H. Narayanan
BDD Decomposition for Efficient Logic Synthesis / C. Yang ; V. Singhal ; M. Ciesielski
Hardware Software Partitioning and Synthesis
Software Synthesis for Complex Reactive Embedded Systems / F. Balarin ; M. Chiodo
Hardware/Software Partitioning of Multirate System Using Static Scheduling Theory / R. Kamdem ; A. Fonkoua ; A. Zenatti
Compositional Software Synthesis of Communicating Processes / X. Zhu ; B. Lin
Preference-Driven Hierarchical Hardware/Software Partitioning / G. Quan ; X. Hu ; G. Greenwood
Author Index
Foreword
Organizing Committee
Technical Program Committee
10.

図書

図書
sponsored by IEEE Computer Society, IEEE Communications Society
出版情報: Piscataway, N.J. : IEEE Operations Center, c1999  3 v. ; 28 cm
所蔵情報: loading…
11.

図書

図書
sponsored by the IEEE Computer Society, the IEEE Computer Society Technical Committee on Pattern Analysis and Machine Intelligence [PAMI] ; in cooperation with ACM SIGART, IEEE Circuits and Systems Society, IEEE Control Systems Society ... [et al.]
出版情報: Los Alamitos, CA : IEEE Computer Society Press, c1996  xii, 486 p. ; 24 cm
所蔵情報: loading…
12.

図書

図書
sponsored by the IEEE Computer Society, The Concurrent Engineering Research Center, West Virginia University ; technical co-sponsorship by The IEEE Communications Society ; in cooperation with ACM SIGOIS ; hosted by Center for Design Research, Stanford University
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1996  xii, 353p. ; 28 cm
所蔵情報: loading…
13.

図書

図書
sponsored by IEEE Computer Society ; in coorperation with NASA/Goddard Space Flight Center, USRA/CESDIS
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1996  xiv, 372 p. ; 28 cm
所蔵情報: loading…
14.

図書

図書
sponsored by Society for Computer Simulation International
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1999  x, 159 p. ; 28 cm
所蔵情報: loading…
15.

図書

図書
sponsored by New York State Center for Advanced Technology in Computer Applications and Software Engineering (CASE) at Syracuse University, IEEE Computer Society in cooperation with IEEE Computer Society Technical Committee on Multimedia Computing ... [et al.]
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1996  ix, 178 p. ; 28 cm
所蔵情報: loading…
16.

図書

図書
edited by Magdy A. Bayoumi, Greham Jullien ; organized by the Center for Advanced computer Studies, University of Southwestern Louisiana ; co-sponsored by IEEE Circuits and Systems Society, IEEE Computer Society
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society Press, c1998  xvi, 460 p.
所蔵情報: loading…
17.

図書

図書
sponsored by TRON Association ; in cooperation with the IEEE Computer Society
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1996  xiii, 176 p. ; 28 cm
所蔵情報: loading…
18.

図書

図書
sponsored by IEEE Computer Society, Technical Committee on Distriburted Computing ; contributions from Hitachi Software Engineering Company, Honeywell Technology Center
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1996  xiii, 176 p. ; 28 cm
所蔵情報: loading…
19.

図書

図書
sponsored by IEEE Computer Society ; Organized by The Committee on Software Reliability Engineering of the IEEE Computer Society Technical Council on Software Engineering
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society Press, c1996  xviii, 383 p. ; 28 cm
所蔵情報: loading…
20.

図書

図書
sponsored by the IEEE Computer Society, IEEE Computer Society, IEEE Computer Society Technical Committee on Fault-Tolerant Computing
出版情報: Los Alamitos, CA. ; Tokyo : IEEE Computer Society Press, c1996  xi, 341 p. ; 23 cm
所蔵情報: loading…
21.

図書

図書
IEEE/ACM International Conference on Computer-Aided Design ; IEEE Circuits and Systems Society ; IEEE Computer Society ; Institute of Electrical and Electronics Engineers ; IEEE Electron Devices Society
出版情報: New York : Association for Computing Machinery, c1998  xxii, 704 p. ; 28 cm
所蔵情報: loading…
22.

図書

図書
sponsored by IEEE Computer Society, Information Processing Society of Japan, the Society of Instrument and Control Engineers of Japan, the Institute of Electronics Information and Communication Engineers Japan ; in cooperation with International Federation for Information Processing, International Federation of Automatic Control ... [et al.]
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society, c1999  xvii, 426 p. ; 28 cm
所蔵情報: loading…
23.

図書

図書
sponsored by VLSI Society of India, Department of Electronics, Government of India ; in cooperation with IEEE ... [et al.]
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1997  xxxvii, 566 p. ; 28 cm
所蔵情報: loading…
24.

図書

図書
sponsored by IEEE Computer Society, IEEE Technical Committee on Pattern Analysis and Machine Intelligence (PAMI) ; in cooperation with IEEE Computer Society TAI ... [et al.]
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1996  x, 346 p. ; 28 cm
所蔵情報: loading…
25.

図書

図書
sponsored by Tennessee Technological University, Department of Electrical and Computer Engineering ... [et al.] ; in cooperation with IEEE Computer Society ... [et al.]
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1997  xix, 554 p. ; 28 cm
所蔵情報: loading…
26.

図書

図書
sponsored by IEEE Computer Society, IEEE Circuits and Systems Society, University of Illinois Urbana Champaign ECE Department
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1997  xii, 189 p. ; 28 cm
所蔵情報: loading…
27.

図書

図書
sponsored by IEEE Computer Society , ACM SIGDA ; in cooperation with IFIP Workgroup 10.5
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1997  x, 141 p. ; 28 cm
所蔵情報: loading…
28.

図書

図書
sponsored by ACM SIGSOFT and IEEE Computer Society ; in cooperation with International Federation for Information Processing
出版情報: Los Alamitos, Calif. : IEEE Computer Society, 1997  x, 311 p. ; 28 cm
所蔵情報: loading…
29.

図書

図書
in cooperation with CVPR '97 ; sponsored by IEEE Computer Society
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1997  vii, 108 p. ; 28 cm
所蔵情報: loading…
30.

図書

図書
sponsored by the IEEE Computer Society, CERC at West Virginia University ; Hosted by Intelligent Engineering Systems Lab, Department of Civil and Environmental Engineering, MIT ; Cooperating Organizations, IEEE Communications Society Technical Committee on Information Infrastructure, ACM SIGGROUP
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1997  xxiii, 356p. ; 28 cm
所蔵情報: loading…
31.

図書

図書
sponsored by the IEEE Computer Society, IEEE Computer Society Technical Committee on Fault-Tolerant Computing
出版情報: Los Alamitos, CA. ; Tokyo : IEEE Computer Society Press, c1997  xi,314 p. ; 23 cm
所蔵情報: loading…
32.

図書

図書
sponsored by IEEE Computer Society Technical Committee on Multiple-Valued Logic, Albert-Ludwigs-University, Freiburg im Breisgau, Germany
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c1999  xi, 302 p. ; 28 cm
所蔵情報: loading…
33.

図書

図書
Sponsored by The Computer Graphics Society (CGS)
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1999  xi, 249 p. ; 28 cm
所蔵情報: loading…
34.

図書

図書
sponsored by VHDL International, the IEEE Circuits & Systems Society ; in cooperation with Electronics Industries Association, European CAD Standards Initiative (ECSI)
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1997  x, 279 p. ; 28 cm
所蔵情報: loading…
35.

図書

図書
edited by Charles C. Weems, Jr. ; sponsored by IEEE Computer Society ... [et al.] ; in cooperation with Association for Computing Machinery, SIGARCH
出版情報: Los Alamitos, CA : IEEE Computer Society, 1997  x, 301 p. ; 28 cm
所蔵情報: loading…
36.

図書

図書
sponsors, the Institution of Electrical Engineers ... [et al.]
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c1997  xi, 279 p. ; 28 cm
所蔵情報: loading…
37.

図書

図書
Sociedad Chilena de Ciencia de la Computación. Conferencia Internacional ; Technical University Federico Santa Maria ; IEEE Computer Society
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c1997  xi, 279 p. ; 28 cm
所蔵情報: loading…
38.

図書

図書
edited by Peter Milligan, Patrick Corr
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c1997  xiv, 290 p. ; 23 cm
所蔵情報: loading…
39.

図書

図書
edited by Xindong Wu ... [et al.] ; sponsored by IEEE Computer Society
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1997  xi, 207 p. ; 28 cm
所蔵情報: loading…
40.

図書

図書
sponsored by IEEE Computer Society
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1997  xii, 227 p. ; 28 cm
所蔵情報: loading…
41.

図書

図書
IEEE Computer Society, The Institute of Electrical and Electronics Engineers Inc.
出版情報: Los Alamitos : IEEE Computer Society Press, c1999  vii, 276 p. ; 28 cm
所蔵情報: loading…
42.

図書

図書
sponsored by IEEE Education Society, IEEE Computer Society, ASEE Educational Research and Methods Division
出版情報: Champaign, Ill. : Stipes Publishing L.L.C., [c1999]  3 v. ; ill. ; 28 cm
所蔵情報: loading…
43.

図書

図書
Sponsored by Istituto di Analisi dei Sistemi ed Informatica ... [et al.] ; in cooperation with IEEE Computer Society ... [et al.] ; edited by Per Svensson, James C. French
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society Press, c1998  xi, 271 p. ; 28 cm
所蔵情報: loading…
44.

図書

図書
co-sponsored by the IEEE Computer Society, The Concurrent Engineering Research Center, West Virginia University ; Hosted by The Cemter for Design Research, Stanford University
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1998  xvii, 385p. ; 28 cm
所蔵情報: loading…
45.

図書

図書
sponsored by IEEE Computer Society ... [et al.]
出版情報: Los Alamitos, CA : IEEE Computer Society Press, c1998  x, 149 p. ; 28 cm
所蔵情報: loading…
46.

図書

図書
sponsored by Institute of Electrical and Electronics Engineers, IEEE Communications Society and IEEE Computer Society
出版情報: Piscataway, NJ : IEEE Service Center, c1999  498 p. ; 28 cm
所蔵情報: loading…
47.

図書

図書
sponsored by IEEE Education Society, IEEE Computer Society, ASEE Educational Research and Methods Division ; hosted by the Center for Inoovation in Engineering Education and the College of Engineering and Applied Scienes, Arizona State University
出版情報: Champaign, Ill. : Stipes Publishing L. L. C., c1998  3 v. (xlviii, 1368 p.) ; 28 cm
所蔵情報: loading…
48.

図書

図書
edited by Viktor K. Prasanna ; cosponsored by IEEE Computer Society's Technical Committee on Parallel Processing, U.S. Office of Naval Research
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society, c1999  x, 219 p. ; 29 cm
所蔵情報: loading…
49.

図書

図書
IEEE/ACM International Conference on Computer-Aided Design ; IEEE Computer Society ; Institute of Electrical and Electronics Engineers
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1997  xxvi, 769 p. ; 28 cm
所蔵情報: loading…
50.

図書

図書
sponsored by IEEE Computer Society, IEEE Communications Society
出版情報: Piscataway, N.J. : IEEE, c1998  3 v. ; 28 cm
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼