close
1.

図書

図書
edited by H. Adeli ; sponsored by IASTED International Association of Science and Technology for Development
出版情報: Los Alamitos, Calif. : IEE Computer Society, c1997  xv, 607 p. ; 28 cm
所蔵情報: loading…
2.

図書

図書
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…
3.

図書

図書
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…
4.

図書

図書
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…
5.

図書

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

図書

図書
sponsored by IEEE Computer Society, IEEE Computer Society Technical Committee on Complexity in Computing ; in cooperation with Software Engineers Association of Japan ... [et al.] ; [edited by Michael G. Hinchey and Shaoying Liu]
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c1997  xi, 327 p. ; 28 cm
所蔵情報: loading…
7.

図書

図書
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…
8.

図書

図書
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…
9.

図書

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

図書

図書
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…
11.

図書

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

図書

図書
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…
13.

図書

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

図書

図書
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…
15.

図書

図書
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…
16.

図書

図書
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…
17.

図書

図書
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…
18.

図書

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

図書

図書
[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…
20.

図書

図書
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
21.

図書

図書
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
22.

図書

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

図書

図書
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…
24.

図書

図書
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
25.

図書

図書
sponsored by IEEE Computer Society, NASA Ames Research Center ; in cooperation with AAAI, ACM SIGART and SIGSOFT ; with generous support from Microsoft
出版情報: Los Alamitos, Calif. ; Brussels : IEEE Computer Society, c1997  xix, 321 p. ; 28 cm
所蔵情報: loading…
26.

図書

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

図書

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

図書

図書
edited by EP Innovations ; hosted by University of Pittsburgh ; sponsored by IEEE Education Society, IEEE Computer Society, ASEE Educational Research and Methods Division
出版情報: Champaign, Illinois : Stipes Publishing L. L. C., c1997  3 v. ; 28 cm
所蔵情報: loading…
29.

図書

図書
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…
30.

図書

図書
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…
31.

図書

図書
sponsored by IEEE Computer Society
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society, c1997  viii, 209 p. ; 28 cm
所蔵情報: loading…
32.

図書

図書
sponsored by IEEE Computer Society ... [et al.]
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1997  xxxvi, 634 p. ; 28 cm
所蔵情報: loading…
33.

図書

図書
sponsored by IEEE Computer Society, Technical Committee on Computer Communications, IEEE Communications Society
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1997  3 v. ; 28 cm
所蔵情報: loading…
34.

図書

図書
edited by Nello Scarabottolo, Peter Milligan
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c1997  xviii, 708 p. ; 28 cm
所蔵情報: loading…
35.

図書

図書
sponsored by the University of Maryland Institute for Advanced Computer Studies
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society, c1998  viii, 233 p. ; 28 cm
所蔵情報: loading…
36.

図書

図書
sponsored by IEEE Computer Society
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society, c1998  xix, 651 p. ; 28 cm
所蔵情報: loading…
37.

図書

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

図書

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

図書

図書
edited by R. Rajsuman, T. Wik ; sponsored by IEEE Computer Society, IEEE Computer Society Technical Committee on VLSI, IEEE Computer Society Technical Council on Test Technology ; in cooperation with The IEEE Solid-State Circuits Society
出版情報: Los Alamitos, Calif. : Institute of Electrical and Electronics Engieers, c1999  ix, 131 p. ; 28 cm
所蔵情報: loading…
40.

図書

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

図書

図書
sponsored by IEEE Engineering of Computer Based Systems Technical Committee
出版情報: Los Alamitos, California : IEEE Computer Society, c1999  ix, 345 p. ; 28cm
所蔵情報: loading…
42.

図書

図書
edited by Ronald J. Lomax, Pinaki Mazumder ; hosted by Department of Electrical Engineering and Computer Science the University of Michigan ; in cooperation with IEEE Computer Society, IEEE Circuits and Systems Society
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society Press, c1999  xiv, 400 p. ; 28 cm
所蔵情報: loading…
43.

図書

図書
sponsored by IEEE Computter Society, Computer Graphics Society
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1999  xi, 235 p. ; 28 cm
所蔵情報: loading…
44.

図書

図書
edited by Hossein Saiedian ; sponsored by IEEE Computer Society, IEEE Technical Council on Software Engineering, IEEE Computer Society Technical Committee on Software Engineering Education ; in cooperation with ACM ; supported by Software Engineering Institute ...[et al.]
出版情報: Los Alamitos, California : IEEE Computer Society Press, c1999  xiii, 198 p. ; 23 cm
所蔵情報: loading…
45.

図書

図書
sponsored by IEEE Communications Society, IEEE Computer Society
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c1999  xi, 486 p. ; 28 cm
所蔵情報: loading…
46.

図書

図書
sponsored by Concordia University, Faculty of Engineering and Computer Science and Department of Computer Science ; in cooperation with IEEE Computer Society ; [edited by Bipin C. Desai, Gösta Grahne]
出版情報: Los Alamitos, California : IEEE Computer Society, c1999  xiii, 467 p. ; 28 cm
所蔵情報: loading…
47.

図書

図書
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
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.

図書

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

図書

図書
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…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼