Message from the ECBS Technical Committee Chairman
Conference Committee
Steering Committee
Program Committee
Keynote Speaker / Dr Bruce Shriver
Distributed Systems
Integrating CAD and CAM via CORBA / D. Yoon ; F. Shaikh
An Algorithm for Tolerating Crash Failures in Distributed Systems / V. De Florio ; G. Deconinck ; R. Lauwereins
A Choice of SM/DM Parallel ANN Implementation for Embedded Applications / V. Dvorak ; R. Cejka
Architecture 1
Architecture-Based Performance Analysis of the COLLINS Class Submarine Open System Extension (COSE) Concept Demonstrator (CD) / T. O'Neill ; J. Leaney ; P. Martyn
A Component-Based Architecture for Software Communication Systems / M. Jung ; E. Biersack
SAABNet: Managing Qualitative Knowledge in Software Architecture Assessment / J. van Gurp ; J. Bosch
Invited Paper
Limited Software Warranties / Jeffrey M. Voas
Modeling 1
Modeling and Simulating Functional and Timing Aspects of Real-Time Systems by Delegated Execution / M. Naedele
Java-Prototyping of Hardware/Software CBS Using a Behavioral OO Model / B. Mendelhaum ; R. Gallant ; J-F. Brette ; C. Ducateau
Designing a Model-Based Interaction Planner with Dialogue Analysis / J. Cook ; T. Khan
Components and Reuse 1
A Survey of Software Reuse Repositories / J. Guo ; Luqi
Information Required for the Success Geographically Distributed Software Engineering of Components and Component-Based Systems / P. Taylor ; T. Anderson ; P. Nicholl
On the Design of ORBIT / M. Rangarajan ; N. Abu-Ghazaleh ; I. Mutabanna ; D. Dieckman ; B. Farooqi ; A. Rajkhowa ; S. Doumit ; A. Venkataraman ; C. Kong ; R. Kamath ; P. Alexander
Architecture 2 / Prof Ian Sommerville
A Co-Operative Object-Oriented Architecture for Adaptive Systems / R. de Lemos
A Component-Driven Architecture for Internet-Based, Directly Reactive Information Systems / R. Stolle ; W. Rossak ; V. Kirova
Enhancing Architectural Mismatch Detection with Assumptions / S. Uchitel ; D. Yankelevich
Instrumentation and Industrial Control 1
Coupling Architectures for Low- Level Fieldbusses / M. Sveda ; R. Vrba ; F. Zezulka
The Virtual Automation Lab -- Web Based Teaching of Automation Engineering Concepts / D. Buhler ; W. Kuchlin ; G. Gruhler ; G. Nusser
Truly Distributed Control Systems Using Fieldbus Technology / A. Scott ; W. Buchanan
Instrumentation and Industrial Control 2
Component-Based Control System / A. Speck
The Use of Architecture Description Languages to Describe a Distributed Measurement System / G. Georg ; S. Seidman
Agents
Integrating the Components of an Intelligent Telecom Design Tool into an Agent-Based Framework / A. Eberlein ; R. Kremer
Monitoring of Distributed Processes with Mobile Agents / R. Kennedy ; F. Kurfess
Software Agents and Computer Network Security / J. Pikoulas ; M. Mannion
Enhancing Network Management Using Mobile Agents / M. Naylor
Components and Reuse 2
A Component Coordination Model for Customization and Composition of Component-Based System Design / M. Olarnsakul ; D. Batanov
PuLSE-I: Deriving Instances from a Product Line Infrastructure / J. Bayer ; C. Gacek ; D. Muthig ; T. Widen
Development Experiences of a Component-Based System / M. Larsson ; I. Crnkovic
Design
Multimedia Systems - On the Ergonomic Design and Evaluation of User Interfaces and System Structures / G. Schade
Formal Parameters Synthesis for Track Segments of a Subway Mesh / A. Bonifacio ; A. Moura ; J. Camargo Jr. ; J. de A. Jr.
Design Tool Integration: An Exercise in Semantic Interoperability / G. Karsai
Ensuring Structure and Behavior Correctness in Design Composition / J. Dong ; P. Alencar ; D. Cowan
Requirements and Specification 1 / Stuart Arnold
Refinement in Requirements Specification and Analysis: A Case Study / E de Jong ; J van de Pol ; J. Hooman
System Specification in Rosetta / D. Barton
Discrete Event System Specification (DEVS) and StateMate StateCharts Equivalence for Embedded Systems Modeling / S. Schulz ; T. Ewing ; J. Rozenblit
Verification and Validation
Application of Factorial Design to Validation of System Performance / T. Berling ; P. Runeson
Assisting the Definition and Execution of Test Suites for Complex Systems / J. Garbajosa ; M. Alandes ; M-A. Mahillo ; M. Piattini
Issues in Defining, Analyzing, Refining, and Specifying System Dependability Requirements / B. Melhart ; S. White
Modeling 2
Model Checking the Java Meta-Locking Algorithm / S. Basu ; S. Smolka ; O. Ward
Support for Representation of Functional Behavior Specifications in AP-233 / E. Herzog ; A. Torne
Systematic Derivation of Operational Scenarios Using ECSAM / J. Lavi ; J. Kudish
Process Support
A Java-Based CSCW Tool for Supporting Software Processes / Z. Zhiying ; L. Haipeng
Scenario-Based Software Process / K. Breitman ; J. Leite
Working Group Meetings
IEEE/IFIP Joint Workshop on Formal Specifications of Computer-Based Systems / F. Pichler ; C. Rattray
IEEE ECBS'99 TC Architecture Working Group (AWG) Report / D. Rowe ; H. Simpson ; J. Weiss ; Z. Papp ; T. Bapty ; B. Purves ; G. Horvath ; E. de Jong
Forensic ECBS: A Situational Assessment / D. Dalcher
Smooth Seas - Rough Sailing: The Case of the Lame Ship
ECBS Education and Training Working Group Report
Standards Focus Group / H. Lawson
Author Index
Preface
Message from the ECBS Technical Committee Chairman
sponsored by IEEE Computer Society, IEEE Technical Committee on Complexity in Computing ; in cooperation with Information Processing Society of Japan ... [et. al.] ; supported by IEICE Communication Society Technical Committee on Network Revolution and Software
出版情報:
Los Alamitos, Calif. ; Tokyo : IEEE Computer Society Press, c2000 xiii, 240 p. ; 28 cm
Timed Multi-Threaded Formal Object Modeling Techniques / Jin Song Dong
Application of Formal Methods to Railway Systems / Jim Woodcock
Global Information Processing Technology
Opening Address / Kenji Ohmori
Invited Speech
Complexity: Concept, Causes and Control / John A. McDermid
Reactive Systems
Managing Complexity in Real-Time Reactive Systems / V. Alagar ; O. Ormandjieva ; M. Zheng
Verification Criteria for a Compositional Model for Reactive Systems / P. Bellini ; M. Bruno ; P. Nesi
Dependability Engineering of Complex Computing Systems / M. Kaaniche ; J.-C. Laprie ; J.-P. Blanquart
Parallel Sessions
System Modeling / Jeff A. OffuttSession 1:
Domain Modeling of Software Process Models / H. Gomaa ; L. Kerschberg ; G. Farrukh
Integration of the Domain Modeling Method for Families of Systems with the SOFL Formal Specification Language / S. Liu ; M. Shin
Experience Using Formal Methods for Specifying a Multi-Agent System / C. Rouff ; J. Rash ; M. Hinchey
Special Session: Network Software I / Yasushi WakaharaSession 2:
Engineering Software for the Net / Tadashi Ohta ; Mauro Pezze
Systems Development / Paolo Nesi
Distributed Development of Complex Software Systems with Object Make / Y. Sugiyama
An Intelligent-Agent Based Decision Support System for a Complex Command and Control Application / P. Petrov ; A. Stoyen
Using the Right Tool for the Job / W. Howerton
Special Session: Network Software II
Interworking among Intelligent Networks and Different Networks: Service Control Interfaces and Their Applications / R. Takeuchi ; A. Miura ; M. Yoshimi
Mobile IP Route Optimization Method for a Carrier-Scale IP Network / T. Ihara ; H. Ohnishi ; Y. Takagi
Multiple Backup Virtual Paths Reservation Problem and Its Solution / S. Inoue ; Y. Kakuda
PNNI Data Management for Dynamic Routing in ATM Network / H.-S. Shin
Closing Address / Yoshiaki Kakuda
Overcoming Software Complexity by Constructing Abstraction Hierarchies--The Principles and Applications / Shaoying Liu ; Tosiyasu L. Kunii ; Masayuki Hisada
Embedded, Concurrent, and Distributed Systems / Yoshinori Yamaguchi
Definitions of Equivalence for Transformational Synthesis of Embedded Systems / L. Cortes ; P. Eles ; Z. Peng
Scalable Data Mining with Log Based Consistency DSM for High Performance Distributed Computing / H. Hirayama ; H. Honda ; T. Yuba
Concurrent Programming Made Easy / R. Ramirez ; A. Santosa ; R. Yap
Special Session: Formal Engineering Method--SOFL
SOFL Language and Method for Software Development
Reusable Semantics for SOFL / J. Dong
Generating Test Data from SOFL Specifications / J. Offutt
Software Verification, Management, and Business Application Using SOFL / H. Tomioka ; F. Nagoya
Dynamically Detecting Relevant Program Invariants / Alexander D. Stoyen ; David Notkin
Testing and Verification
A Test Class Framework for Generating Test Cases from Z Specifications / M. Huaikou ; L. Ling
An Analysis Tool for Coupling-Based Integration Testing / A. Abdurazik ; R. Alexander
Evaluation of Three Specification-Based Testing Criteria / P. Ammann ; W. Ding
Automated Result Verification with AWK / B. Bakar ; T. Janowski
Principles and Mechnisms for Evolving Software Systems: A Report from a Project on Software Evolution Principles / Tetsuo Tamai ; Takuya Katayama
Communication and Control Systems / Kenji Toda
Reducation of the Number of Terminal Assisgnments for Detecting Feature Interactions in Telecommunication Services / T. Yoneda ; T. Ohta
A Flexible Scheduling for Automobile Control Using Imprecise Computation and Its Fundamental Evaluation / F. Nakanishi ; S. Hiraike ; K. Toda
New Measure and Experimental Evaluation for Multiagent-Based Reservation of Backup Virtual Paths in ATM Networks / M. Terabe
Cost Models for Electronic Architecture Trade Studies / J. Axelsson
sponsored by Oregon Center for Advanced Technology Education ...[et al.] ; supported by School of Engineering and Applied Science, Portland State University ...[et al.]
出版情報:
Los Alamitos, Calif. : IEEE Computer Society Press, c2000 xiv, 468 p. ; 28 cm
Computational Neurobiology Meets Semiconductor Engineering / D. Hammerstrom
Neural and Threshold Nets / Session 2a:
Multi-Valued Logic Pass Gate Network Using Neuron-MOS Transistors / J. Shen ; M. Inaba ; K. Tanno ; O. Ishizuka
The Synthesis of Multiple-Valued Logic Circuits Using Local-Excitation-Type Neuron Models / M. Matsumoto ; Y. Ueda ; I. Nomoto
Multi-Input Variable-Threshold Circuits for Multi-Valued Logic Functions / M. Syuto
The Computing Capacity of Three-Input Multiple-Valued One-Threshold Perceptrons / A. Ngom ; I. Stojmenovic ; R. Tosic
Spectral Methods / Session 2b:
MDD-Based Synthesis of Multi-Valued Logic Networks / R. Drechsler ; M. Thornton ; D. Wessels
Fast Transforms for Multiple-Valued Input Binary Output PLI Logic / B. Falkowski ; S. Rahardja
Computation of Spectral Information from Logic Netlists
Fault Analysis of the Multiple Valued Logic Using Spectral Method / J. Kim ; P. Lala ; Y. Kim ; H. Kim
Neural Networks: Binary Monotonic and Multiple-Valued / J. ZuradaSession 3:
Decomposition and Data Mining / Session 4a:
Data Mining of Weak Functional Decompositions / S. Jaroszewicz ; D. Simovici
Multi-Valued Sub-Function Encoding in Functional Decomposition Based on Information Relationships Measures / A. Chojnacki ; L. Jozwiak
On the Number of Dependent Variables for Incompletely Specified Multiple-Valued Functions / T. Sasao
Algebra I / Session 4b:
Some Properties of Discrete Interval Truth Valued Logic / N. Takagi ; K. Nakashima
Independence of the Axioms of Boolean Algebra in Multiple-Valued Logic / T. Ninomiya ; M. Mukaidono
On Urquhart's C Logic / A. Ciabattoni
Fuzzy Logic / Session 5a:
A New Class of Fuzzy Modifiers / M. De Cock ; E. Kerre
Fuzzy Decision Diagrams for the Representation, Analysis and Optimization of Rule Bases / K. Strehl ; C. Moraga ; K.-H. Temme ; R. Stankovic
On Algebraic Foundations of Information Granulation III Investigating the HATA-MUKAIDONO Approach / H. Thiele
Reed-Muller Logic and Its Extensions / Session 5b:
Experiments on FPRM Expressions for Partially Symmetric Logic Functions / S. Yanushkevich ; J. Butler ; G. Dueck ; V. Shmerko
Representations of Multiple-Output Switching Functions Using Multiple-Valued Pseudo-Kronecker Decision Diagrams / H. Babu
A New Algorithm to Compute Quaternary Reed-Muller Expansions
Evolvable Hardware: From On-Chip Circuit Synthesis to Evolvable Space Systems / A. StoicaSession 6:
Logic and Algebra / Session 7a:
De Morgan Bisemilattices / J. Brzozowski
Finite-Valued Approximations of Product Logic / S. Aguzzoli ; B. Gerla
Integration of Information in Four-Valued Logics under Non-Uniform Assumptions / Y. Loyer ; N. Spyratos ; D. Stamate
Decision Diagrams / Session 7b:
Lower Bound Sifting for MDDs / D. Jankovic ; W. Gunther
Implementation of Multiple-Output Functions Using PQMDDs / Y. Iguchi ; M. Matsuura
Fibonacci Decision Diagrams and Spectral Fibonacci Decision Diagrams / M. Stankovic ; J. Astola ; K. Egiazarian
Circuits I / Session 8a:
Cost-Analysis of 4-Valued Unary Functions Implemented Using Current-Mode CMOS Circuits / M. Abd-El-Barr ; A. Al-Mutawa
Implementation of Multiple-Valued Multiplier on GF(3[subscript m]) Using Current Mode CMOS / H. Seong ; J. Choi ; B. Shin
Novel II-Type Resistor Network in D/A Converter Based on Multiple-Valued Logic / X. Wu ; X. Zhou
Decision Diagrams and Test / Session 8b:
Mod-p Decision Diagrams: A Data Structure for Multiple-Valued Functions / H. Sack ; E. Dubrova ; C. Meinel
Dynamic Re-Encoding During MDD Minimization / F. Schmiedle
Controllability/Observability Measures for Multiple-Valued Test Generation Based on D-Algorithm / N. Kamiura ; Y. Hata ; N. Matsui
Evolutionary and Information Theory Approaches / Session 9a:
Evolutionary Multi-Level Network Synthesis in Given Design Style / T. Luba ; M. Opoka
An Evolutionary Computing Approach to Multilevel Logic Synthesis Using Various Logic Operations / T. Hozumi ; O. Kakusho ; K. Yamato
Information Theoretic Approach to Minimization of Polynomial Expressions over GF(4) / D. Popel ; V. Cheushev
Image and Language Processing / Session 9b:
On an Architecture of Medical Image Registration System Based on Multiple-Valued Logic / S. Kobashi ; Y. Kitamura ; T. Yanagida
Gray Scale Image Compression Based on Multiple-Valued Input Binary Functions, Walsh and Reed-Muller Spectra / L.-S. Lim
A Four-Valued Logic B(4) of E(9) for Modeling Human Communication / D. Rine ; R. Alnakari
Structures with Many-Valued Information and Their Relational Proof Theory / I. Duntsch ; W. MacCaull ; E. OrlowskaSession 10:
Circuits II / Session 11a:
Demonstration of a Novel Multiple-Valued T-Gate Using Multiple-Junction Surface Tunnel Transistors and Its Application to Three-Valued Data Flip-Flop / T. Uemura ; T. Baba
A Study on the Ternary Parallel Circuit Design with DCG Properties Based on the Matrix Equation / G.-N. Byun ; C.-U. Lee ; S.-Y. Park ; H.-S. Kim
Novel Resonant-Tunneling Multiple-Threshold Logic Circuit Based on Switching Sequence Detection / T. Waho ; K. Hattori ; K. Honda
Standard CMOS Implementation of a Multiple-Valued Logic Signed-Digit Adder Based on Negative Differential-Resistance Devices / A. Gonzalez ; M. Bhattacharya ; S. Kulkarni ; P. Mazumder
Theorem-Proving and Applications / Session 11b:
The 2-SAT Problem of Regular Signed CNF Formulas / B. Beckert ; R. Hahnle ; F. Manya
Chaining Techniques for Automated Theorem Proving in Many-Valued Logics / H. Ganzinger ; V. Sofronie-Stokkermans
High-Radix Parallel VLSI Dividers without Using Quotient Digit Selection Tables / T. Aoki ; K. Nakazawa ; T. Higuchi
Properties of Independent Components of Self-Motion Optical Flow / M. Jabri ; K.-Y. Park ; S.-Y. Lee ; T. SejnowskiSession 12:
Panel Discussion / Session 13:
Multiple-Valued Logic: Provocative Questions / D. Hammerstrom M. Kameyama ; R. Baltar ; Y. Takahashi
A Multilevel-Cell 32MB Flash Memory / M. Bauer ; R. Alexis ; G. Atwood ; B. Baltar ; A. Fazio ; K. Frary ; M. Hensel ; M. Ishac ; J. Javanifard ; M. Landgraf ; D. Leak ; K. Loe ; D. Mills ; P. Ruby ; R. Rozman ; S. Sweha ; S. Talreja ; K. WojciechowskiSession 14:
Circuits III / Session 15a:
Hardware Implementation of "Supplementary Symmetrical Logic Circuit Structure" Concepts / D. Olson ; K. Current
Design of a Quaternary Latch Circuit Using a Binary CMOS RS Latch
Low-Power Dual-Rail Multiple-Valued Current-Mode Logic Circuit Using Multiple Input-Signal Levels / T. Hanyu ; T. Ike ; M. Kameyama
Clones and Asynchronous Machines / Session 15b:
Rigidity Problem of Autodual Clones / M. Miyakawa ; I. Rosenberg
On the Intersection of Maximal Partial Clones and the Join of Minimal Partial Clones / L. Haddad ; H. Machida
Logic Synthesis of Controllers for B-Ternary Asynchronous Systems / Y. Nagata ; D. Miller
Silicon Single-Electron Devices and Their Applications / A. Fujiwara ; Y. Ono ; K. MuraseSession 16:
Arithmetics and Systems / Session 17a:
DRAM-Cell-Based Multiple-Valued Logic-in-Memory VLSI with Charge Addition and Charge Storage / H. Kimura
An Efficient Data Transmission Technique for VLSI Systems Based on Multiple-Valued Code-Division Multiple Access / Y. Yuminaka ; O. Katoh ; Y. Sasaki
Arithmetic-Oriented Multiple-Valued Logic-in-Memory VLSI Based on Current-Mode Logic / S. Kaeriyama
Verification and Power Estimation / Session 17b:
A Method for Approximate Equivalence Checking
Propagation Algorithm of Behavior Probability in Power Estimation Based on Multiple-Valued Logic / M. Pedram
Probabilistic Verification of Multiple-Valued Functions
edited by Jagan Agrawal, Abdelsalam Helas, and Linda F. Wilson ; sponsored by IEEE Communications Society, IEEE Computer Society, IEEE Computer Society Technical Committee on the Internet
出版情報:
Piscataway, NJ : IEEE Service Center, c2000 xvi, 603 p. ; 28 cm
A Principled Approach to Supporting Adaptation in Distributed Mobile Environments / G. Blair ; G. Coulson ; A. Andersen ; L. Blair ; M. Clarke ; F. Costa ; H. Duran ; N. Parlavantzas ; K. Saikoski
A Skeleton-Based Approach for the Design and Implementation of Distributed Virtual Environments / F. Rabhi ; H. Cai ; B. Tompsett
Specifying and Verifying Reconfigurable Software Architectures / V. de Paula ; G. Justo ; P. Cunha
Dynamic Reconfiguration of Component-Based Applications / T. Batista ; N. Rodriguez
Applying Distributed Object Technology to Network Planning / T. Wessels ; J. Bishop
Dynamic Workflow Management in CORBA Distributed Object Systems / Z. Tari ; V. Pande
Design of a Virtual Store Using Distributed Object Technology / D. Chambers ; G. Lyons ; J. Duggan
A CORBA-Based Architecture for Adding Dependability to Legacy Servers / D. Cotroneo ; L. Romano ; S. Russo ; N. Mazzocca
Filtering and Scalability in the ECO Distributed Event Model / M. Haahr ; R. Meier ; P. Nixon ; V. Cahill ; E. Jul
Scalability Issues in CORBA / P. Rani ; A. Srinivas ; D. Ram
Formalization and Verification of Coherence Protocols with the Gamma Framework / D. Mentre ; D. Le Metayer ; T. Priol
A CSP Model for Java Multihreading / P. Welch ; J. Martin
A CORBA-Based Object Group Service and a Join Service Providing a Transparent Solution for Parallel Programming / M. Aleksy ; A. Korthaus
Performance Debugging of Parallel and Distributed Embedded Systems / F. Suarez ; D. Garcia ; J. Garcia
Early Evaluation of Design Options for Distributed Systems / H. Giese ; G. Wirtz
Implementation of an Intrusion Detection System Based on Mobile Agents / M. Bernares ; E. dos Santos Moreira
A Formalism for Hierarchical Mobile Agents / I. Satoh
Component Location and the Role of Trading in Large Scale Distributed Systems / S. Terzis
HERCULE: Monitoring Component-Based Application Activity and Enabling Post-Implementation Tailoring of Feedback / K. Renaud
Exploratory Visualization of Distributed Computations: A Case Study / N. Gupta ; E. Kraemer ; D. Hart ; M. Chinwala ; D. Miller
Institute of Electrical and Electronics Engineers ; IEEE Computer Society ; IEEE Signal Processing Society ; IEEE Circuits and Systems Society ; IEEE Communications Society ; IEEE Industrial Electronics Society
出版情報:
New York, N.Y. : IEEE Computer Society, c2002-c2011 v. ; 28 cm
An Approach to Higher Reliability Using Software Components / H. Jin ; P. Santhanam
A Bayesian Approach to Reliability Prediction and Assessment of Component Based Systems / H. Singh ; V. Cortellessa ; B. Cukic ; E. Gunel ; V. Bharadwaj
Comparison of Architecture-Based Software Reliability Models / K. Goseva-Popstojanova ; A. Mathur ; K. Trivedi
Testing GUI Software / Session 1B.:
Finite-State Testing and Analysis of Graphical User Interfaces / F. Belli
Incorporating Software Reliability Engineering into the Test Process for an Extensive GUI-Based Network Management System / D. Donovan ; C. Dislis ; R. Murphy ; S. Unger ; C. Kenneally ; J. Young ; L. Sheehan
User-Based Testing of GUI Sequences and Their Interactions / L. White ; H. Almezen ; N. Alzeidi
Software Fault Models and Prediction / Session 2A.:
An Application of Zero-Inflated Poisson Regression for Software Fault Prediction / T. Khoshgoftaar ; K. Gao ; R. Szabo
A Fault Model for Fault Injection Analysis of Dynamic UML Dynamic Specifications / A. Ibrahim ; H. Ammar ; S. Yacoub
A Fault Model for Subtype Inheritance and Polymorphism / J. Offutt ; R. Alexander ; Y. Wu ; Q. Xiao ; C. Hutchinson
Reliable Wireless and Mobile Systems / Session 2B.:
Modeling and Analysis of Using Memory Management Unit to Improve Software Reliability / S.-J. Chang ; P. Kapauan
Modeling and Verifying Strong Cache Consistency for Mobile Data Access / J. Wei ; S.-C. Cheung ; H. Zhou ; X. Wang ; J. Li ; Y.-l. Feng
Recovery Proxy for Wireless Applications / B. Yao ; W. Fuchs
Fault Tolerant Distributed Software Systems / Session 3A.:
Estimation of Software Diversity by Fault Simulation and Failure Searching / L. Chen ; J. May ; G. Hughes
Fault Tolerant Distributed Information Systems / J. Knight ; M. Elder
Increasing the Reliability of Three-Tier Applications / W. Zhao ; L. Moser ; P. Melliar-Smith
Low-Cost Flexible Software Fault Tolerance for Distributed Computing / A. Tai ; K. Tso ; W. Sanders ; L. Alkalai ; S. Chau
A Simulation Based Trainer for Software Reliability Modeling / E. Jones ; A. Rembert
Analysis of Hypergeometric Distribution Software Reliability Model / T. Dohi ; N. Wakana ; S. Osaki
Discrete Equations and Software Reliability Growth Models / D. Satoh ; S. Yamada
Modelling the Fault Correction Process / N. Schneidewind
Testing Internet and Multimedia Systems / Session 4A.:
An Auto-Generating Tool for the MPEG-2 Formatted Test Data: ATEP / B. Choi ; S. Yeum ; T. Gwak ; B. Min
Generating Test Cases for XML-Based Web Component Interactions Using Mutation Analysis / S. Lee
Toward Generic Timing Tests for Distributed Multimedia Software Systems / S. Cheung ; S. Chanson ; Z. Xu
Formal Approaches / Session 4B.:
Efficient Deadlock Analysis of Clients/Server Systems with Two-Way Communication / J. Zhou ; K.-c. Tai
Feedback Control of the Software Test Process Through Measurements of Software Reliability / J. Cangussu ; R. DeCarlo
Tool Support for Production Use of Formal Techniques / K. Hanks ; S. Travis
Software Testing Experiments / Session 5A.:
An Empirical Evaluation of Statistical Testing Designed from UML State Diagrams: The Flight Guidance System Case Study / P. Chevalley ; P. Thevenod-Fosse
Evaluating the Software Test Strategy for the 2000 Sydney Olympics / K. Bassin ; S. Biyani
Coverage and Testing Strategies / Session 5B.:
Coverage Analysis for Message Flows / N. Aizenbud-Reshef
Revisiting Strategies for Ordering Class Integration Testing in the Presence of Dependency Cycles / L. Briand ; Y. Labiche ; Y. Wang
Software Architecture / Session 6A.:
Automated and Portable Native Code Isolation / G. Czajkowski ; L. Daynes ; M. Wolczko
Deriving Tests From Software Architectures / Z. Jin
Reliability of Systems of Independently Developable End-User Assessable Logical (IDEAL) Programs / F. Bastani ; I.-L. Yen ; K. Sung ; J. Linn ; K. Rao
Towards a 'Safe' Use of Design Patterns to Improve OO Software Testability / B. Baudry ; Y. Sunye ; J.-M. Jezequel
Measurement Field Data and Experience / Session 6B.:
Accounting for Realities When Estimating the Field Failure Rate of Software / D. Jeske ; X. Zhang ; L. Pham
Defect Content Estimation for Two Reviewers / C. Wohlin ; H. Petersson ; M. Host ; P. Runeson
Measurement-Based Availability of Unix Systems in a Distributed Environment / C. Simache ; M. Kaaniche
Quantitative Evaluation and Operative Usage of Interactive Systems / A. Pasquini ; A. Rizzo ; L. Save ; M. Sujan
edited by Mathew A. Diethelm ... [et al.] ; sponsored by IEEE Computer Society, IEEE Computer Society Technical Committee on the Internet, IEEE Communications Society,
出版情報:
Piscataway, N.J. : IEEE Service Center, c2002 x, 434 p. ; 28 cm
The WHaT: A Wireless Haptic Texture Sensor / D. K. Pai ; P. Rizun
Haptic Displays Based on Magnetorheological Fluids: Design, Realization and Psychophysical Validation / E. P. Scilingo ; N. Sgambelluri ; D. De Rossi ; A. Bicchi
Multi-Fingered Tactile Feedback from Virtual and Remote Environments / A. Kron ; G. Schmidt
Designing the Haptic Turntable for Musical Control / T. Beamish ; K. MacLean ; S. Fels
Development of a Non-Grounded Haptic Interface Using the Gyro Effect / H. Yano ; M. Yoshie ; H. Iwata
SmartTouch--Augmentation of Skin Sensation with Electrocutaneous Display / H. Kajimoto ; M. Inami ; N. Kawakami ; S. Tachi
Performance Analysis of a 2-Link Haptic Device with Electric Brakes / C. Cho ; M. Kim ; J.-B. Song
Device Evaluation and Performance / Session II:
Spatial Low Pass Filters for Pin Actuated Tactile Displays / J. M. Lee ; C. R. Wagner ; S. J. Lederman ; R. D. Howe
Motion Guidance Experiments with Scooter Cobot / E. S. Boy ; E. Burdet ; C. L. Teo ; J. E. Colgate
Human Motor Performance While Using a Single-DOF Visual-Haptic Interface / C. M. Hendrix ; W. K. Durfee
Guideline for Designing Haptic Master Hands Based on Dynamic Multi-Fingered Manipulability / M. Fujiwara ; Y. Yokokohji ; T. Yoshikawa
Preliminary Two Dimensional Haptic Thresholds and Task Performance Enhancements / G. S. Lee ; B. Hannaford
Simulating Side Slopes on Locomotion Interfaces Using Torso Forces / J. M. Hollerbach ; D. Checcacci ; H. Noma ; Y. Yanagida ; N. Tetsutani
Control and Modeling / Session III:
Path-Following Control for Dissipative Passive Haptic Displays / D. K. Swanson ; W. J. Book
Dynamic Local Models for Stable Multi-Contact Haptic Interaction with Deformable Objects / F. Barbagli ; K. Salisbury ; D. Prattichizzo
The Haptic Probe: Mechanized Haptic Exploration and Automated Modeling / V. Patoglu ; R. B. Gillespie
Recognition of Operator Motions for Real-Time Assistance Using Virtual Fixtures / M. Li ; A. M. Okamura
Toward Robust Passivity: A Passive Control Implementation Structure for Mechanical Teleoperators / D. Lee ; P. Y. Li
The Effect of Sensor/Actuator Asymmetries in Haptic Interfaces
Psychophysics / Session IV:
Relative Performance Using Haptic and/or Touch-Produced Auditory Cues in a Remote Absolute Texture Identification Task / S.J. Lederman ; A. Martin ; C. Tong ; R.L. Klatzky
Feedback Distortion for Rehabilitation: Gauging Perceived Physical Effort / M. Fagan ; Y. Matsuoka ; R. Klatzky
Validity of Haptic Cues and Its Effect on Priming Visual Spatial Attention / J. J. Young ; H. Z. Tan ; R. Gray
Material Discrimination and Thermal Perception / L. A. Jones ; M. Berris
How Well Can We Encode Spatial Layout from Sparse Kinesthetic Contact? / R. L. Klatzky
The Role of Multisensory Feedback in Haptic Surface Perception / G. L. Poling ; J. M. Weisenberger ; T. Kerwin
Rendering / Session V:
An Experimental Study of Perceived Instability During Haptic Texture Rendering: Effects of Collision Detection Algorithm / S. Choi
Levels of Detail in Reducing Cost of Haptic Rendering: A Preliminary User Study / J. Zhang ; S. Payandeh ; J. Dill
Haptic Editing of Decoration and Material Properties / L. Kim ; G. S. Sukhatme ; M. Desbrun
An Integral Equation Based Multiresolution Modeling Scheme for Multimodal Medical Simulations / J. Kim ; S. De ; M. A. Srinivasan
Six Degree-of-Freedom Haptic Rendering of Complex Polygonal Models / D. E. Johnson ; P. Willemsen
Fuzzy Vector Median Based Surface Smoothing in a Haptic Environment / Y. Shen ; K. E. Barner
Applications / Session VI:
Haptic Effects for Virtual Reality-Based Post-Stroke Rehabilitation / R. F. Boian ; J. E. Deutsch ; C. S. Lee ; G. C. Burdea ; J. Lewis
Haptic Aided Design: A Case Study
Electro-Rheological Fluidic Actuators for Haptic Vehicular Instrument Controls / J. Melli-Huber ; B. Weinberg ; A. Fisch ; J. Nikitczuk ; C. Mavroidis ; C. Wampler
Haptic Task Constraints for 3D Interaction / R. Komerska ; C. Ware
Implementation of a Haptic Interface for a Virtual Reality Simulator for Flexible Endoscopy / O. Korner ; R. Manner
Performance and Co-Presence in Heterogeneous Haptic Collaboration / M. McLaughlin ; G. Sukhatme ; W. Peng ; W. Zhu ; J. Parks
Poster and Demonstration Papers / Session VII:
Sensors Assisted Telemanipulation for Maximizing Manipulation Capabilities of Persons with Disabilities / W. Yu ; B. E. Fritz ; N. Pernalete ; M. Jurczyk ; R. V. Dubey
The Role of Torque in Haptic Perception of Object Location in Virtual Environments / S. Wang
Design of a Uniactuated Bimanual Haptic Interface / N. L. Bernstein ; D. A. Lawrence ; L. Y. Pao
Web-Based Haptic Applications for Blind People to Create Virtual Graphs / K. Kangas ; S. Brewster
Real-Time Rigid Body Simulation Based on Volumetric Penalty Method / S. Hasegawa ; N. Fujii ; Y. Koike ; M. Sato
An Actuator for the Tactile Vest--A Torso-Based Haptic Device / M. Nakamura ; L. Jones
A Framework for the Haptic Rendering of the Human Hand / P. Stergiopoulos ; G. Moreau ; M. Ammi ; P. Fuchs
Passive and Active Assistance for Human Performance of a Simulated Underactuated Dynamic Task / M. K. O'Malley ; A. Gupta
The Hapticon Editor: A Tool in Support of Haptic Communication Research / M. J. Enriquez ; K. E. MacLean
Role of Haptics in Teaching Structural Molecular Biology / G. Sankaranarayanan ; S. Weghorst ; M. Sanner ; A. Gillet ; A. Olson
Omni-Directional Treadmill System / Z. Wang ; K. Bauernfeind ; T. G. Sugar
Design and Analysis of a Novel Virtual Walking Machine / J. Yoon ; J. Ryu ; G. Burdea
Transparency and Stability Analysis of a Surgical Teleoperator System / H. Flemmer ; J. Wikander
A Haptic Based Virtual Grinding Tool / A. Balijepalli ; T. Kesavadas
Controller Design for a Wearable, Near-Field Haptic Display / R. W. Lindeman ; J. R. Cutler
Activation Cues and Force Scaling Methods for Virtual Fixtures / J. T. Nolin ; P. M. Stemniski
Haptic Interface for Hands-On Instruction in System Dynamics and Embedded Control / M. B. Hoffman ; J. Freudenberg
Haptic Feedback Using Local Models of Interaction / D. Constantinescu ; S. E. Salcudean ; E. A. Croft
Design of Data Glove and Arm Type Haptic Interface / C. Wusheng ; W. Tianmiao ; H. Lei
Simplified Authoring of 3D Haptic Content for the World Wide Web / M. O'Malley ; S. Hughes
Observations on and Modifications to the Rutgers Master to Support a Mixture of Passive Haptics and Active Haptic Feedback / C. W. Borst ; R. A. Volz
Author Index
Preface
Device Design / Session I:
The WHaT: A Wireless Haptic Texture Sensor / D. K. Pai ; P. Rizun
Modeling as Craft / Paul Fishwick ; Gainesville ; USA
Simulation-Based Performance Analysis I / Session 1:
A Simulation Study of the Proactive Server Roaming for Mitigating Denial of Service Attacks / C. Sangpachatanaruk ; S. M. Khattab ; T. F. Znati ; R. Melhem ; D. Mosse
Priorities Among Multiple Queues for Processor Co-Allocation in Multicluster Systems / A. I. D. Bucur ; D. H. J. Epema
Network Modeling and Simulation I / Session 2:
An Efficient Scheme for Chaining with Client-Centric Buffer Reservation for Multimedia Streaming / J. J. Schultz
Asymptotically Optimal Worksharing in HNOWs: How Long Is "Sufficiently Long"? / M. Adler ; Y. Gong ; A. L. Rosenberg
Location-Based Taxi Service in Wireless Communication Environment / A. P. Silva ; G. R. Mateus
Network Modeling and Simulation II / Session 3:
Performance Modeling and Simulation of Dynamic and Rapid Auto-Configuration Protocols for Ad-Hoc Wireless Networks / R. Vaidyanathan ; L. Kant ; A. McAuley ; M. Bereschinsky
Simulation Study of a Class of Autonomous Host-Centric Mobility Prediction Algorithms for Cellular and Ad Hoc Networks / I.-R. Chen ; N. Verma
A Preemptive On-Demand Distance Vector Routing Protocol for Mobile and Wireless Ad Hoc Networks / A. Boukerche ; L. Zhang
Approximate Connectivity Graph Generation in Mobile Ad Hoc Radio Networks / C. L. Barrett ; M. V. Marathe ; D. C. Engelhart ; A. Sivasubramaniam
Dynamic Reconfiguration of an Optical Interconnect / P. Krishnamurthy ; M. Franklin ; R. Chamberlain
Simulation-Based Performance Analysis II / Session 4:
Simulating Highly Dependable Applications in a Distributed Computing Environment / Y. Chen ; Z. He
Performance Analysis of Parallel Job Scheduling in Distributed Systems / H. D. Karatza ; R. C. Hilzer
A Supernet: Engineering Traffic Across Network Boundaries / S. Lincke-Salecker ; C. S. Hood
Network and Distributed Systems Modeling and Simulation / Session 5:
One-to-All Broadcasting Scheme for Hypercubes with Background Traffic / D. Kouvatsos ; I.-H. Mkwawa ; I. Awan
Security Issues in the ABELS System for Linking Distributed Simulations / G. A. Mills-Tettey ; L. F. Wilson
An ns-based Bluetooth Topology Construction Simulation Environment / C.-J. Hsu ; Y.-J. Joung
AI and Simulation-Based Techniques for the Assessment of Supply Chain Logistic Performance / A. Bruzzone ; A. Orsoni
Web-Based Modeling and Simulation--Multimedia Systems Simulation / Session 6:
Integrating Web Service and Grid Enabling Technologies to Provide Desktop Access to High-Performance Cluster-Based Components for Large-Scale Data Services / V. P. Holmes ; W. R. Johnson ; D. J. Miller
Enhancing Multimedia Caching Algorithm Performance Through New Definition Strategies / J. Fernandez ; J. Carretero ; F. Garcia ; J. M. Perez ; A. Calderon
A Simulation-Based Analysis of Scheduling Policies for Multimedia Servers / N. J. Sarhan ; C. R. Das
Parallel and Distributed Simulation / Session 7:
Design and Development of a Cluster Gateway for Cluster-Based HLA Distributed Virtual Simulation Environment / D. Chen ; B.-S. Lee ; W. Cai ; S. J. Turner
Evaluating Alternative Solutions for Cloning in Distributed Simulation / B. P. Gan ; N. Julka ; J. Wei
Improving Data Filtering Accuracy in Hierarchical Federations / L. Liu ; G. Li
Redesigning the WARPED Simulation Kernel for Analysis and Application Development / D. E. Martin ; P. A. Wilsey ; R. J. Hoekstra ; E. R. Keiter ; S. A. Hutchinson ; T. V. Russo ; L. J. Waters
Parallelizing Black Oil Reservoir Simulation Systems for SMP Machines / F. A. B. Silva ; E. P. Lopes ; E. P. L. Aude ; F. Mendes ; H. Serdeira ; J. Silveira
VLSI Circuit Simulation / Session 8:
Efficient Microprocessor Design Space Exploration Through Statistical Simulation / L. Eeckhout ; D. Stroobandt ; K. De Bosschere
Internode: Internal Node Logic Computational Model / A. Millan ; M. J. Bellido ; J. Juan ; D. Guerrero ; P. Ruiz-de-Clavijo ; E. Ostua
Modeling the Power Consumption of Audio Signal Processing Computations Using Customized Numerical Representations / E. Hemmeter ; R. Morley ; J. White
Advances in Simulation Methodology and Practices / Session 9:
Sojourn Times and Rare Events / N. T. Muller ; F. Brenner
Assessing and Improving Testing of Real-Time Software Using Simulation / J. Henry ; J. C. Stiff ; A. J. Shirar
Implementing Parallel Cell-DEVS / A. Troccoli ; G. Wainer
Adapting MASCOT Methodology to Software Performance Engineering Using Object-Oriented Simulation / O. Munar ; C. Juiz
Optimization of Cell Spaces Simulation for the Modeling of Fire Spreading / A. Muzy ; E. Innocenti ; J.-F. Santucci ; D. R. C. Hill
Network Modeling and Simulation III / Session 10:
Wireless Fading Vector Channel Model for Multi-Antenna System at Mobile Terminals / Y. Yuan
Tunable Fiber Bragg Gratings Modeling and Simulation / M. Mahmoud ; Z. Ghassemlooy
Dissemination Scenarios in Peer-to-Peer Networks / K. G. Zerfiridis
Simulation Languages, Tools, and Environments / Session 11:
An Event-Driven Approach to Crosstalk Noise Analysis / P. Bazargan-Sabet ; P. Renault
Multicast Routing Simulator over MPLS Networks / A. Boudani ; B. Cousin ; C. Jawhar ; M. Doughan
A Simulation Tool for Evaluating Shared Memory Systems / J. Tao ; M. Schulz ; W. Karl
XACDML--Extensible ACD Markup Language / J. N. Gil ; C. M. Hirata
Hyperpresence--An Application Environment for Control of Multi-User Agents in Mixed Reality Spaces / D. Tavares ; A. Burlamaqui ; A. Dias ; M. Monteiro ; V. Antunes ; G. Tho ; T. Tavares ; C. Lima ; L. Goncalves ; G. Lemos ; P. Alsina ; A. Medeiros
Smart Dust--Hardware Limits to Wireless Sensor Networks / K. Pister
Self-Stabilizing Systems / Session 2A:
Self-Stabilizing Smoothing and Counting / M. Herlihy ; S. Tirthapura
Enabling Snap-Stabilization / A. Cournier ; A. Datta ; F. Petit ; V. Villain
Efficient Self-Stabilizing Algorithms for Tree Networks / J. Blair ; F. Manne
Sensor Networks and Energy Management / Session 2B:
PEAS: A Robust Energy Conserving Protocol for Long-Lived Sensor Networks / F. Ye ; G. Zhong ; J. Cheng ; S. Lu ; L. Zhang
On Energy Efficiency and Network Connectivity of Mobile Ad Hoc Networks / W. Yuen ; C. Sung
SPEED: A Stateless Protocol for Real-Time Communication in Sensor Networks / T. He ; J. Stankovic ; C. Lu ; T. Abdelzaher
Peer-to-Peer Services / Session 2C:
Partial Lookup Services / Q. Sun ; H. Garcia-Molina
Mutual Anonymity Protocols for Hybrid Peer-to-Peer Systems / L. Xiao ; Z. Xu ; X. Zhang
Updates in Highly Unreliable, Replicated Peer-to-Peer Systems / M. Hauswirth ; K. Aberer
Distributed Algorithms / Session 3A:
A Generic Framework for Indulgent Consensus / R. Guerraoui ; M. Raynal
Weakly-Connected Dominating Sets and Sparse Spanners in Wireless Ad Hoc Networks / K. Alzoubi ; P.-J. Wan ; O. Frieder
Software Fault Tolerance of Distributed Programs Using Computation Slicing / N. Mittal ; V. Garg
Multimedia Streaming / Session 3B:
Optimal Distribution Tree for Internet Streaming Media / M. Kim ; S. Lam ; D.-Y. Lee
Deliver Multimedia Streams with Flexible QoS via a Multicast DAG / J. Yang
An Integrated Resource Sharing Policy for Multimedia Storage Servers Based on Network-Attached Disks / N. Sarhan ; C. Das
Secure Data Sharing / Session 3C:
Responsive Security for Stored Data / S. Lakshmanan ; M. Ahamad ; H. Venkateswaran
A Graph-Theoretical Analysis of Multicast Authentication / A. Chan
Performance Optimizations for Group Key Management Schemes / S. Zhu ; S. Setia ; S. Jajodia
Quality of Service / Session 4A:
Scalable Resource Allocation for Multi-Processor QoS Optimization / S. Ghosh ; R. Rajkumar ; J. Hansen ; J. Lehoczky
Scalable Service Differentiation in a Shared Storage Cache / B.-J. Ko ; K.-W. Lee ; K. Amiri ; S. Calo
QoS-Assured Service Composition in Managed Service Overlay Networks / X. Gu ; K. Nahrstedt ; R. Chang ; C. Ward
Internet Protocols / Session 4B:
Experiences with Monitoring OSPF on a Regional Service Provider Network / D. Watson ; F. Jahanian ; C. Labovitz
VirtualWire: A Fault Injection and Analysis Tool for Network Protocols / P. De ; A. Neogi ; T. Chiueh
TCP-PR: TCP for Persistent Packet Reordering / S. Bohacek ; J. Hespanha ; J. Lee ; C. Lim ; K. Obraczka
Middleware Communication Services / Session 4C:
Efficient Content-Based Event Dispatching in the Presence of Topological Reconfiguration / G. Picco ; G. Cugola ; A. Murphy
Improving Application Throughput with Enterprise JavaBeans Caching / A. Leff ; J. Rayfield
NRMI: Natural and Efficient Middleware / E. Tilevich ; Y. Smaragdakis
Human Design: Wearable Computers for Human Networking / A. PentlandSession 5:
Fault-Tolerant Systems / Session 6A:
Evaluating Distributed Checkpointing Protocols / A. Agbaria ; A. Freund ; R. Friedman
Synchronous Consensus for Dependent Process Failures / F. Junqueira ; K. Marzullo
Elastic Vector Time / C. Fetzer
Ubiquitous Computing / Session 6B:
A Context-Aware Data Management System for Ubiquitous Computing Applications / C. Hess ; R. Campbell
Impact of Data Compression on Energy Consumption of Wireless-Networked Handheld Devices / R. Xu ; Z. Li ; C. Wang ; P. Ni
PARM: Power Aware Reconfigurable Middleware / S. Mohapatra ; N. Venkatasubramanian
Network Security / Session 6C:
Protecting BGP Routes to Top Level DNS Servers / L. Wang ; X. Zhao ; D. Pei ; R. Bush ; D. Massey ; A. Mankin ; S. Wu
A Path Information Caching and Aggregation Approach to Traffic Source Identification / F.-H. Hsu
On Effectiveness of Link Padding for Statistical Traffic Analysis Attacks / X. Fu ; B. Graham ; R. Bettati ; W. Zhao
Real-Time Systems / Session 7A:
An Integrated Approach to Modeling and Analysis of Embedded Real-Time Systems Based on Timed Petri Nets / Z. Gu ; K. Shin
Rate-Monotonic Scheduling on Uniform Multiprocessors / S. Baruah ; J. Goossens
Effective Delay Control for High Rate Heterogeneous Real-Time Flows / W. Jia ; H. Wang ; M. Tang
Web Servers / Session 7B:
Performance Guarantees for Cluster-Based Internet Services / C. Li ; G. Peng ; K. Gopalan
Decision-Support Workload Characteristics on a Clustered Database Server from the OS Perspective / Y. Zhang ; J. Zhang ; A. Sivasubramaniam ; C. Liu ; H. Franke
Integrated Access Control and Intrusion Detection for Web Servers / T. Ryutov ; C. Neuman ; D. Kim ; L. Zhou
Middleware and Interoperability / Session 7C:
Pragmatic Type Interoperability / S. Baehni ; P. Eugster ; P. Altherr
Efficiently Distributing Component-Based Applications across Wide-Area Environments / D. Llambiri ; A. Totok ; V. Karamcheti
Monitoring and Characterization of Component-Based Systems with Global Causality Capture / J. Li
Formal Methods / Session 8A:
Remote Belief: Preserving Volition for Loosely Coupled Processes / N. Aydin ; P. Sivilotti
Enhancing the Fault-Tolerance of Nonmasking Programs / S. Kulkarni ; A. Ebnenasir
Modular Composition and Verification of Transaction Processing Protocols / V. Janarthanan ; P. Sinha
Ad Hoc Network Protocols / Session 8B:
A Generic Distributed Broadcast Scheme in Ad Hoc Wireless Networks / J. Wu ; F. Dai
Fragmentation Based D-MAC Protocol in Wireless Ad Hoc Networks / P. Zhou ; J. Hou
Cross-Feature Analysis for Detecting Ad-Hoc Routing Anomalies / Y. Huang ; W. Fan ; W. Lee ; P. Yu
Peer-to-Peer Infrastructure / Session 8C:
PeerCQ: A Decentralized and Self-Configuring Peer-to-Peer Information Monitoring System / B. Gedik ; L. Liu
Building Topology-Aware Overlays Using Global Soft-State / C. Tang ; Z. Zhang
Neighbor Table Construction and Update in a Dynamic Peer-to-Peer Network / H. Liu
The Conundrum of Distributed Computing / A. SpectorSession 9:
Synchronization / Session 10A:
Obstruction-Free Synchronization: Double-Ended Queues as an Example / V. Luchangco ; M. Moir
Scalable Distributed Concurrency Services for Hierarchical Locking / N. Desai ; F. Mueller
Local-Spin Mutual Exclusion Using Fetch-and-O Primitives / J. Anderson ; Y.-J. Kim
Wide Area Distributed Computing / Session 10B:
A Case for Grid Computing on Virtual Machines / R. Figueiredo ; P. Dinda ; J. Fortes
Efficient Distributed Shared State for Heterogeneous Machine Architectures / D. Chen ; S. Dwarkadas ; M. Scott
Group Membership and Wide-Area Master-Worker Computations / K. Jacobsen
Mobile Agents / Session 10C:
Monotonicity and Partial Results Protection for Mobile Agents / B. Yee
Mobile Agent Rendezvous in a Ring / E. Kranaks ; N. Santoro ; C. Sawchuk ; D. Krizanc
Compiler Scheduling of Mobile Agents for Minimizing Overheads / X. Zhuang ; S. Pande
Program/Software Analysis / Session 11A:
Method Partitioning--Runtime Customization of Pervasive Programs without Design-Time Application Knowledge / D. Zhou ; K. Schwan
Dynamic Module Replacement in Distributed Protocols / N. Sridhar ; S. Pike ; B. Weide
Analysis of Task Assignment with Cycle Stealing under Central Queue / M. Harchol-Balter ; T. Osogami ; A. Scheller-Wolf ; M. Squillante
Wireless Access Control / Session 11B:
Collision Avoidance in Single-Channel Ad Hoc Networks Using Directional Antennas / Y. Wang ; J. Garcia-Luna-Aceves
SmartNode: Achieving 802.11 MAC Interoperability in Power-Efficient Ad Hoc Networks with Dynamic Range Adjustments / E. Poon ; B. Li
Energy-Efficient Real-Time Scheduling in IEEE 802.11 Wireless LANs / Y. Ge
Scalable Data Services / Session 11C:
The Hash History Approach for Reconciling Mutual Inconsistency / B. Kang ; R. Wilensky ; J. Kubiatowicz
New Algorithms for Content-Based Publication-Subscription Systems / A. Riabov ; Z. Liu ; J. Wolf
Trading Replication Consistency for Performance and Availability: An Adaptive Approach / C. Zhang
An Empirical Validation of the Relationship between the Magnitude of Relative Error and Project Size / E. Stensrud ; T. Foss ; B. Kitchenham ; I. Myrtveit
On the Sensitivity of the COCOMO II Software Cost Estimation Model / P. Musilek ; W. Pedrycz ; N. Sun ; G. Succi
Estimating Software Project Effort by Analogy Based on Linguistic Values / A. Idri ; A. Abran ; T. M. Khoshgoftaar
Measurement for Object-Oriented Systems
Dynamic Coupling Measures for Object-Oriented Software / E. Arisholm
Architectural Tradeoffs at the Object Level / W.M. Evanco
Testability Analysis of a UML Class Diagram / B. Baudry ; Y. Le Traon ; G. Sunye
Maintenance and Evolution
Gemini: Maintenance Support Environment Based on Code Clone Analysis / Y. Ueda ; T. Kamiya ; S. Kusumoto ; K. Inoue
Avoiding Architectural Degeneration: An Evaluation Process for Software Architecture / M. Lindvall ; R. Tesoriero ; P. Costa
Software Quality Analysis Code Clones in Industrial Legacy Software / A. Monden ; D. Nakae ; S-I. Sato ; K-I. Matsumoto
Software Inspections
An Industrial Case Study to Examine a Non-Traditional Inspection Implementation for Requirements Specifications / O. Laitenberger ; T. Beil ; T. Schwinn
Investigating the Influence of Inspector Capability Factors with Four Inspection Techniques on Inspection Performance / S. Biffl ; M. Halling
Software Inspection Benchmarking--A Qualitative and Quantitative Comparative Opportunity / C. Wohlin ; A. Aurum ; H. Petersson ; F. Shull ; M. Ciolkowski
Web and Network Technology
A Comparison of Development Effort Estimation Techniques for Web Hypermedia Applications / E. Mendes ; I. Watson ; C. Triggs ; N. Mosley ; S. Counsell
A Generic Model and Tool Support for Assessing and Improving Web Processes / D. Rodriguez ; R. Harrison ; M. Satpathy
A Metric to Predict Software Scalability / E.J. Weyuker ; A. Avritzer
Models and Abstractions
An Empirical Study of the Impact of Count Models Predictions on Module-Order Models / T.M. Khoshgoftaar ; E. Geleyn ; K. Gao
Entropy-Metric for Systems with COTS Software / N. Chapin
Measuring Graph Abstractions of Software: An Information-Theory Approach / E.B. Allen
Fault Prediction
Program Risk Definition via Linear Programming Techniques / M. Pighin ; V. Podgorelec ; P. Kokol
Tree-Based Software Quality Estimation Models for Fault Prediction / N. Seliya
Methodological Issues
Experience from Replicating Empirical Studies on Prediction Models / M.C. Ohlsson ; P. Runeson
A New Approach to Factorization--Introducing Metrics / M. Dao ; M. Huchard ; T. Libourel ; C. Roume ; H. Leblanc
How Valuable is Company-Specific Data Compared to Multi-Company Data for Software Cost Estimation? / I. Wieczorek ; M. Ruhe
Workshop
What We Have Learned About Fighting Defects / V. Basili ; B. Boehm ; A. Winsor Brown ; D. Port ; I. Rus ; M. Zelkowitz
Manufacturability Analysis of Analog CMOS ICs Through Examination of Multiple Layout Solutions / P. Khademsameni ; M. Syrzycki
Effect of Static Power Dissipation in Burn-In Environment on Yield of VLSI / A. Vassighi ; O. Semenov ; M. Sachdev ; A. Keshavarzi
Yield Estimates for the TESH Multicomputer Network / B. M. Maziarz ; V. K. Jain
Crosstalk Faults / Session 2:
A Simplified Gate-Level Fault Model for Crosstalk Effects Analysis / P. Civera ; L. Macchiarulo ; M. Violante
A Test-Vector Generation Methodology for Crosstalk Noise Faults / H. Hashempour ; Y.-B. Kim ; N. Park
Self-Checking and ABFT / Session 3:
A Parity Code Based Fault Detection for an Implementation of the Advanced Encryption Standard / G. Bertoni ; L. Breveglieri ; I. Koren ; P. Maistri ; V. Piuri
Designing Self-Checking FPGAs Through Error Detection Codes / C. Bolchini ; F. Salice ; D. Sciuto
Self-Checking 1-out-of-n CMOS Current-Mode Checker / J. Mathew ; E. Dubrova
Partially Duplicated Code-Disjoint Carry-Skip Adder / D. Marienfeld ; V. Ocheretnij ; M. Gossel ; E. S. Sogomonyan
Input Ordering in Concurrent Checkers to Reduce Power Consumption / K. Mohanram ; N. A. Touba
Fault Simulation and Injection I / Session 4:
New Methods for Evaluating the Impact of Single Event Transients in VDSM ICs / D. Alexandrescu ; L. Anghel ; M. Nicolaidis
Injecting Bit Flip Faults by Means of a Purely Software Approach: A Case Studied / R. Velazco ; A. Corominas ; P. Ferreyra
Gate-Delay Fault Diagnosis Using the Inject-and-Evaluate Paradigm / H.-B. Wang ; S.-Y. Huang ; J.-R. Huang
Scan Design / Session 5:
Scan Architecture for Shift and Capture Cycle Power Reduction / P. M. Rosinger ; B. M. Al-Hashimi ; N. Nicolici
Inserting Test Points to Control Peak Power During Scan Testing / R. Sankaralingam
Adaptable Voltage Scan Testing of Charge-Sharing Faults for Domino Circuits / C.-H. Cheng
Test Application / Session 6:
Matrix-Based Test Vector Decompression Using an Embedded Processor / K. J. Balakrishnan
Data Compression for System-on-Chip Testing Using ATE / F. Karimi ; W. Meleis ; Z. Navabi ; F. Lombardi
Test Generation / Session 7:
Fortuitous Detection and Its Impact on Test Set Sizes Using Stuck-At and Transition Faults / J. Dworak ; J. Wingfield ; B. Cobb ; S. Lee ; L.-C. Wang ; M. R. Mercer
Test Time Reduction in a Manufacturing Environment by Combining BIST and ATE / F. J. Meyer
Testing Digital Circuits with Constraints / A. A. Al-Yamani ; S. Mitra ; E. J. McCluskey
Concurrent Error Detection / Session 8:
On-Line Testing of Transient Faults Affecting Functional Blocks of FCMOS, Domino and FPGA-Implemented Self-Checking Circuits / C. Metra ; S. Di Francescantonio ; G. Marrale
Self-Checking and Fault Tolerance Quality Assessment Using Fault Sampling / F. M. Goncalves ; M. B. Santos ; I. C. Teixeira ; J. P. Teixeira
A Memory Overhead Evaluation of the Interleaved Signature Instruction Stream / F. Rodriguez ; J. C. Campelo ; J. J. Serrano
Fault-Tolerant CAM Architectures: A Design Framework / M. G. Sami ; R. Stefanelli
Fault Simulation and Injection II / Session 9:
Using Run-Time Reconfiguration for Fault Injection in Hardware Prototypes / L. Antoni ; R. Leveugle ; B. Feher
A Fault Hypothesis Study on the TTP/C Using VHDL-Based and Pin-Level Fault Injection Techniques / S. Blanc ; J. Gracia ; P. J. Gil
Fault List Compaction Through Static Timing Analysis for Efficient Fault Injection Experiments / M. Sonza Reorda
Interconnect / Session 10:
Performance of Deadlock-Free Adaptive Routing for Hierarchical Interconnection Network TESH / S. Horiguchi ; Y. Miura
Modeling of FPGA Local/Global Interconnect Resources and Derivation of Minimal Test Configurations / X. Sun ; A. Alimohammad ; P. Trouborst
Testing Layered Interconnection Networks
Yield II / Session 11:
Repair Yield Simulation with Iterative Critical Area Analysis for Different Types of Failure / Y. Hamamura ; K. Nemoto ; T. Kumazawa ; H. Iwata ; K. Okuyama ; S. Kamohara ; A. Sugimoto
Yield Modeling of a WSI Telcom Router Architecture / B. Qiu ; Y. Savaria ; M. Lu ; C. Wang ; C. Thibeault
System-on-Chip Test / Session 12:
Fast and Energy-Frugal Deterministic Test Through Test Vector Correlation Exploitation / O. Sinanoglu ; A. Orailoglu
Adaptive Test Scheduling in SoC's by Dynamic Partitioning / D. Zhao ; S. Upadhyaya
Feasibility of CED / Session 13:
Duplication-Based Concurrent Error Detection in Asynchronous Circuits: Shortcomings and Remedies / T. Verdel ; Y. Makris
Feasibility Study of Designing TSC Sequential Circuits with 100% Fault Coverage / S. J. Piestrak
Test / Session 14:
Emulation-Based Design Errors Identification / A. CasteInuovo ; A. Fin ; F. Fummi ; F. Sforza
A New Functional Fault Model for FPGA Application-Oriented Testing / M. Rebaudengo
Neighbor Current Ratio (NCR): A New Metric for I[subscript DDQ] Data Analysis / S. S. Sabade ; D. M. H. Walker
CMOS Standard Cells Characterization for I[subscript DDQ] Testing / W. A. Pleskacz ; T. Borejko ; W. Kuzmicz
On-Chip Jitter Measurement for Phase Locked Loops / T. Xia ; J.-C. Lo
Neural Networks-Based Parametric Testing of Analog IC / V. Stopjakova ; D. Micusik ; L. Benuskova ; M. Margala
Reliable and Repairable Memories / Session 15:
Balanced Redundancy Utilization in Embedded Memory Cores for Dependable Systems / M. Choi ; Y. B. Kim
Repairability Evaluation of Embedded Multiple Region DRAMs / Y. Chang
edited by , Teresa A. Dahlberg, Michela Meo, Albert Y. Zomaya ; sponsored by ACM Computer Society. ACM SIGMOBILE in conjuction with the eighth Annual International Conference on Mobile Computing and Networking ; supported by ACM SIGSIM, IEEE Computer Society
出版情報:
New York, N.Y. : Association for Computing Machinery, c2002 viii, 128 p. ; 28 cm
editors, Tatsuo Nakajima, Moon Hae Kim ; Co-sponsored by IEEE Computer Society Technical Committee on Distributed Processing and Communications Research Laboratory, Japan
出版情報:
Los Alamitos, Carif. ; Tokyo : IEEE Computer Society, c2003 vii, 105 p. ; 28 cm
Fuzzy Logic as a Basis for a Theory of Hierarchical Definability (THD) / L. Zadeh
Logic Design I / Session 2A:
Implementation of Multiple-Valued Functions Using Literal-Splitting Technique / E. Dubrova
Hyperoperations on {0, 1, 2} Based on Min, Max, and Universal Literal Operations / N. Takagi ; K. Nakashima
An Extension of Ternary Majority Function and Its Application to Evolvable System / Y. Yamamoto
A New Construction of the Irreducible Polynomial for Parallel Multiplier over GF(2[superscript m]) / J.-H. Hwang ; K.-J. Moon ; S.-Y. Park ; H.-S. Kim
Functional Expressions / Session 2B:
New Information on the Effectiveness of Different Reed-Muller Algebras on the Representation of Quaternary Functions / K. Adams ; J. McGregor
Polynomial Expansions over GF(3) Based on Fastest Transformation / B. Falkowski ; C. Fu
The Generation Circulation Method to Generalized Reed-Muller Coefficients over GF(3) / C. Lee ; G.-Y. Byun ; B.-S. Shin ; J.-H. Sim
Optimization of GF(4) Expressions Using the Extended Dual Polarity Property / D. Jankovic ; R. Stankovic ; C. Moraga
Fuzzy Logic / Session 3A:
Normal Forms for Fuzzy Logic Functions / I. Perfilieva
Towards Fuzzy Type Theory / V. Novak
Universes of Fuzzy Sets--A Short Survey / S. Gottwald
Fixed Points for Fuzzy Rule Bases and Fuzzy Chaining Syllogism / K. Soleimani ; M. Mashinchi ; H. Maleki
Automated Finding of the Willis Ring in MR Angiography Images Using Fuzzy Knowledge Base / S. Kobashi ; K. Kondo ; Y. Hata
LSI Design / Session 3B:
Counter Tree Diagrams for Design and Analysis of Fast Addition Algorithms / J. Sakiyama ; T. Aoki ; T. Higuchi
Bidirectional Data Transfer Based Asynchronous VLSI System Using Multiple-Valued Current Mode Logic / T. Hanyu ; T. Takahashi ; M. Kameyama
MVL Circuit Design and Characterization at the Transistor Level Using SUS-LOC / E. Kinvi-Boh ; M. Aline ; O. Sentieys ; E. Olson
A Technique for Logic Design of Voltage-Mode Pass Transistor Based Multi-valued Multiple-Output Logic Circuits / H. Babu ; Md. R. Islam ; A. Ali ; Md. M. Akon ; Md. A. Rahaman ; Md. F. Islam
Recursive Evaluation of the Generalized Reed-Muller Coefficients / G. Na ; S. Kim ; J. Choi ; H. Kim
Logic Design II / Session 4A:
Cascade Realizations of Two-Valued Input Multiple-Valued Output Functions Using Decomposition of Group Functions / T. Sasao
A Novel Technology Mapping Method for AND/XOR Expressions / S.-B. Ko ; J.-C. Lo
Iterative Symmetry Indices Decomposition for Ternary Logic Synthesis in Three-Dimensional Space / A. Al-Rabadi
Multi-output Galois Field Sum of Products Synthesis with New Quantum Cascades / M. Khan ; M. Perkowski ; P. Kerntopf
Relationship between UCHT and FFT / S. Xie ; S. Rahardja ; Z. Gu
Logics and Algebras / Session 4B:
Several Remarks on Non-Boolean Functions over Boolean Algebras / D. Simovici
Complete and Independent Sets of Axioms of Boolean Algebra / T. Ninomiya ; M. Mukaidono
Characterization of the Axiomatizable Prenex Fragments of First-Order Godel Logics / M. Baaz ; N. Preining ; R. Zach
New Logical and Complexity Results for Signed-SAT / C. Ansotegui ; F. Manya
From Intuitionistic Logic to Godel-Dummett Logic via Parallel Dialogue Games / C. Fermuller ; A. Ciabattoni
Biomorphic Analog Devices Based on Reaction-Diffusion Systems / T. Asai ; Y. AmemiyaSession 5:
LSI Circuits / Session 6A:
Multiple-Valued Dynamic Source-Coupled Logic / A. Mochizuki
A Field-Programmable Digital Filter Chip Using Multiple-Valued Current-Mode Logic / K. Degawa
A Study on the Design of Flash Analog to Quaternary Converter Using DLC Comparator / S. Han ; Y. Choi ; H. Seong
A Novel Multiple-Input Multiple-Valued Semi-floating-gate Latch / O. Mirmotahari ; Y. Berg
Decision Diagrams I / Session 6B:
On the Size of Multiple-Valued Decision Diagrams / D. Miller ; G. Dueck
Efficient Minimization of Multiple-Valued Decision Diagrams for Incompletely Specified Functions / D. Popel ; R. Drechsler
Compact Representations of Logic Functions Using Heterogeneous MDDs / S. Nagayama
Complexity of Decision Trees for Boolean Functions / R. Freivalds ; M. Miyakawa ; I. Rosenberg
Nano Technology / Session 7A:
Experimental and Simulation Studies of Single-Electron-Transistor-Based Multiple-Valued Logic / H. Inokawa ; Y. Takahashi
Complementary Self-Biased Scheme for the Robust Design of CMOS/SET Hybrid Multi-valued Logic / K.-W. Song ; S. Lee ; D. Kim ; K. Kim ; J. Kyung ; G. Baek ; C.-A. Lee ; J. Lee ; B.-G. Park
Proposal of Four-Valued MRAM Based on MTJ/RTD Structure / T. Uemura ; M. Yamamoto
Modeling and Simulation / Session 7B:
Modeling Multi-valued Circuits in SystemC / D. Grosse ; G. Fey
Dynamic Reliability Indices for Multi-state System / E. Zaitseva
CTL Model-Checking over Logics with Non-classical Negations / M. Chechik ; W. MacCaull
Clone Theory / Session 8A:
On the Centralizers of Monoids in Clone Theory / H. Machida
Generation of the Post Lattice by Irreducible Clones / G. Pogosyan
On Intervals of Partial Clones of Boolean Partial Functions / L. Haddad ; G. Simons
Spectral Techniques / Session 8B:
Family of Fast Transforms over GF(3) Logic
Spectral Transforms of Mixed-Radix MVL Functions / M. Thornton
Fast Algorithm for Computing Spectral Transforms of Boolean and Multiple-Valued Functions on Circuit Representation / R. Krenz ; A. Kuehlmann
Functions of Multiple-Valued Logic and the Complexity of Constraint Satisfaction: A Short Survey / A. Krokhin ; A. Bulatov ; P. JeavonsSession 9:
Applications / Session 10A:
Learning Subjective Probabilities from a Small Data Set / C. Huang
Using Games for Benchmarking and Representing the Complete Solution Space Using Symbolic Techniques / S. Kinder
From Continuous to Multiple-Valued Data
Decision Diagrams II / Session 10B:
Augmented Sifting of Multiple-Valued Decision Diagrams
On the Average Path Length in Decision Diagrams of Multiple-Valued Functions / J. Butler
Generalized Complex Spectral Decision Diagrams Using Unified Complex Hadamard Transform
sponsored by IEEE Computer Society ; in cooperation with the Information Technology Research Institute Wright at State University and the IEEE Neural Networks Society
出版情報:
Los Alamitos, California : IEEE Computer Society, c2003 xii, 442 p. ; 28 cm
A Computational Pipeline for Protein Structure Prediction and Analysis at Genome Scale / M. Shah ; S. Passovets ; D. Kim ; K. Ellrott ; L. Wang ; I. Vokler ; P. LoCascio ; D. Xu ; Y. Xu
A Fast Algorithm for RNA Secondary Structure Prediction Including Pseudoknots / F. Tahi ; S. Engelen ; M. Regnier
Towards Automated Derivation of Biological Pathways Using High-Throughput Biological Data / Y. Chen ; T. Joshi
Prediction of Contact Maps Using Support Vector Machines / Y. Zhao ; G. Karypis
Biomedical Data Engineering / Bioeng-1:
Performance Comparison of Generalized PSSM in Signal Peptide Cleavage Site and Disulfide Bond Recognition / P. Clote
Analysis of Atlantic Salmon Skin Mucus: COPS--A Computer-Based System for Protein Pattern Analysis of 1D SDS-PAGE Gels / R. Eibrand ; P. Kennedy ; D. Cotter ; U. MacEvilly ; B. Wu
An Open Multiple Instance Learning Framework and Its Application in Drug Activity Prediction Problems / X. Huang ; S.-C. Chen ; M.-L. Shyu
Analysis of Spontaneous Activity in Cultured Brain Tissue Using the Discrete Wavelet Transform / J. D. Johnson ; D. Plenz ; J. Beggs ; W. Li ; M. Mieier ; N. Miltner ; K. Owen
Phylogenetic Tress / Bioinfo-2:
An Empirical Comparison of Tools for Phylogenetic Footprinting / M. Blanchette ; S. Kwong ; M. Tompa
An Investigation of Phylogenetic Likelihood Methods / T. L. Williams ; B. M. E. Moret
Nodal Distance Algorithm: Calculating a Phylogenetic Tree Comparison Metric / J. Bluis ; D.-G. Shin
A Collapsing Method for the Efficient Recovery of Optimal Edges in Phylogenetic Trees / M. Hu ; P. Kearney ; J. Badger
Medical Image Processing I / Bioeng-2:
Comparison of Bicubic and Bezier Polynomials for Surface Parameterization in Volumetric Images / F. Quek ; V. Kulkarni ; C. Kirbas
Evolving Bubbles for Prostate Surface Detection from TRUS Images / F. Shao ; L. V. Ling ; W. S. Ng
Structure-Trageting Fast Magnetic Resonance Imaging Angiography with Partial Collection of the Inverse Space (k-Space) Based on the Orientation of the Vessel in Real Space / D. Gui ; N. V. Tsekos
Respiratory Gating for MRI and MRS in Rodents (Short Paper) / J. R. Garbow ; J. P. Dugas ; M. S. Conradi
Bio-Databases I / Bioinfo-3:
A Novel Laboratory Version Management System for Tracking Complex Biological Experiments / W. M. Shui ; N. Lam ; R. K. Wong
Requirements of Phylogenetic Databases / L. Nakhleh ; D. Miranker ; F. Barbancon ; W. H. Piel ; M. Donoghue
Filtration of String Proximity Search via Transformation / S. A. Aghili ; D. Agrawal ; A. El Abbabi
GenoMosaic: On-Demand Multiple Genome Comparison and Comparative Annotation / C. Gibas ; D. Sturgill ; J. Weller
Biomedical Imaging, Signaling, and Computation / Bioeng-3:
Automatic Detection of Premature Ventricular Contraction Using Quantum Neural Networks / J. Zhou
Vessel Extraction in Medical Images by 3D Wave Propagation and Traceback / F. K. H. Quek
A New Approach to Detect Similar Proteins from 2D Gel Electrophoresis Images / N. Khan ; S. Rahman
A Robotic Device for Minimally Invasive Breast Interventions with Real-Time MRI Guidance / B. T. Larson ; A. G. Erdman
Sequences and Searching / Bioinfo-4:
An Algorithm to Reconstruct a Target DNA Sequence from Its Spectrum Connected at a Given Level / F.-X. Wu ; W.-J. Zhang ; A. J. Kusalik
A Model of Random Sequences for de novo Peptide Sequencing / K. D. Jarman ; W. R. Cannon ; K. H. Jarman ; A. Heredia-Langner
Performance Comparison of Algorithms for Finding Transcription Factor Binding Sites / S. Sinha
Medical Image Processing II / Bioeng-4:
Determining the Asymmetries of Skin Lesions with Fuzzy Borders / V. T. Y. Ng ; T. Lee ; B. Y. M. Fung
Unsupervised Iterative Segmentation and Recognition of Anatomic Structures in Medical Imagery Using Second-Order B-Spline Descriptors and Geometric Quasi-Invariants / T. A. El Doker
Vessel Extraction Techniques and Algorithms: A Survey
Prostate Gland and Extra-Capsular Tissue 3D Reconstruction and Measurement (Short Paper) / F. McKenzie ; R. Hussein ; J. Seevinck ; P. Schellhammer ; J. Diaz
Bio-Databases II / Bioinfo-5:
Empirical Evaluation of Ensemble Feature Subset Selection Methods for Learning from a High-Dimensional Database in Drug Design (Short Paper) / H. Mamitsuka
Streamlining Biological Data Analysis Using BioFlow (Short Paper) / Z. Guan ; H. M. Jamil
BioSeek: Exploiting Source-Capability Information for Integrated Access to Multiple Bioinformatics Data Sources (Short Paper) / L. Liu ; D. Buttler ; T. Critchlow ; W. Han ; H. Paques ; C. Pu ; D. Rocco
Biological Systems and Models / Bioeng-5:
A Computational Model of the Role of Deficit-Related Drives in Sequential Movement Learning in a T-Maze Environment (Abstract)
A Biological Mapping of a Learned Avoidance Behavior Model to the Basal Ganglia (Short Paper) / K. M. Biddell ; J. Li
Influence of the Thermal Treatment Applied to PAN Gel on Its Length Change and Generated Force (Short Paper) / H. Tamagawa ; F. Nogata ; T. Watanabe ; A. Abe ; S. Popovic
Panel
Bioinformatics and Biotechnology Research Issues
Gene Expressions / Bioinfo-6:
Analyzing the Escherichia coli Gene Expression Data by a Multilayer Adjusted Tree Organizing Map / N. Wei ; L. Gruenwald ; T. Conway
A Data Mining Method to Predict Transcriptional Regulatory Sites Based on Differentially Expressed Genes in Human Genome / H. Huang ; H. Chang ; T. Tsou ; B. Liu ; C.-Y. Kao ; J. Horng
Time Series Analysis of Gene Expression and Location Data / C.-H. Yeang ; T. Jaakkola
Regulating Gene Expression Using Optimal Control Theory / Y. Liu ; H. B. Sun ; H. Yokota
Clustering Algorithms and Molecular Structures / Bioinfo-7:
Enhanced Biclustering on Expression Data / J. Yang ; H. Wang ; W. Wang ; P. Yu
Hierarchical Clustering of Gene Expression Data / F. Luo ; K. Tang ; L. Khan
MotifMiner: A General Toolkit for Efficiently Identifying Common Substructures in Molecules / M. Coatney ; S. Parthasarathy
Augmenting SSEs with Structural Properties for Rapid Protein Structure Comparison / C.-H. Chionh ; Z. Huang ; K.-L. Tan ; Z. Yao
Bio-Databases III / Bioinfo-8:
Load Balancing: A Case Study of a Pharmaceutical Drug Candidate Database / Z. Ben Miled ; S. Li ; J. Martin ; C. Balagoplakrishna ; O. Bukhres ; R. J. Oppelt
Effective Indexing and Filtering for Similarity Search in Large Biosequence Databases / O. Ozturk ; H. Ferhatosmanoglu
Application of XML Schema and Active Rules System in Management and Integration of Heterogeneous Biological Data
An Assessment of a Metric Space Database Index to Support Sequence Homology / R. Mao ; W. Xu ; N. Singh ; D. P. Miranker
Clustering Algorithms / Bioinfo-9:
Detecting Experimental Noises in Protein-Protein Interactions with Iterative Sampling and Model-Based Clustering
DHC: A Density-Based Hierarchical Clustering Method for Time Series Gene Expression Data / D. Jiang ; J. Pei ; A. Zhang
Determination of the Minimum Sample Size in Microarray Experiments to Cluster Genes Using K-Means Clustering
A Repulsive Clustering Algorithm for Gene Expression Data (Short Paper) / C.-S. Cheng ; S.-S. Wang
Prediction, Simulation and Mining Models / Bioinfo-10:
Combining Few Neural Networks for Effective Secondary Structure Prediction / K. S. Guimaraes ; J. C. B. Melo ; G. D. C. Cavalcanti
Uses of Multiagents Systems for Simulation of MAPK Pathway (Short Paper) / G. Querrec ; V. Rodin ; J. F. Abgrall ; S. Kerdelo ; J. Tisseau
A Framework for Cancer-Related Genes Mining over the Internet / J. J. P. Tsai ; J. G. Chang ; S. H. Shih ; R. M. Chen ; H. W. Hsiao ; R. M. Hu ; S. N. Chen ; M. M. Lee ; F. M. Liu ; W. L. Chan
Predictive Model for Yeast Protein Functions Using Modular Neural Approach (Short Paper) / D. Hwang ; F. Fotouhi ; R. L. Filey, Jr. ; W. I. Grosky
edited by Alan D. George ... [et al.] ; sponsored by IEEE Computer Society, IEEE Computer Society Technical Committee on the Internet, IEEE Communications Society,
出版情報:
Piscataway, N.J. : IEEE Service Center, c2003 xiii, 556 p. ; 28 cm
Application-Bypass Broadcast in MPICH over GM / D. Buntinas ; D. Panda ; R. Brighwell
Evaluation of MPI Implementations on Grid-Connected Clusters Using an Emulated WAN Environment / M. Matsuda ; T. Kudoh ; Y. Ishikawa
Grid Enabled MPI Solutions for Clusters / M. Muller ; M. Hess ; E. Gabriel
MPICH/MADII: A Cluster of Clusters Enabled MPI Implementation / O. Aumage ; G. Mercier
Multimedia
Image Processing for the Grid: A Toolkit for Building Grid-Enabled Image Processing Applications / S. Hastings ; T. Kurc ; S. Langella ; U. Catalyurek ; J. Saltz ; T. Pan
A Row-Permutated Data Reorganization Algorithm for Growing Server-less Video-on-Demand Systems / T. Ho ; J. Lee
Building a Performance Model of Streaming Media Applications in Utility Data Center Environment / L. Cherkasova ; L. Staley
Algorithms & Applications
A Method to Find Unique Sequences on Distributed Genomic Databases / K.-i. Kurata ; V. Breton ; H. Nakamura
A Parallel FPT Application for Clusters / J. Cheetham ; F. Dehne ; A. Rau-Chaplin ; U. Stege ; P. Taillon
A Synthesis of Parallel Out-of-Core Sorting Programs on Heterogeneous Clusters / C. Cerin ; H. Fkaier ; M. Jemni
Parallel Multi-Dimensional ROLAP Indexing / T. Eavis
Parallel I/O
Discretionary Caching for I/O on Clusters / M. Vilayannur ; A. Sivasubramaniam ; M. Kandemir ; R. Thakur ; R. Ross
Noncontiguous I/O Accesses through MPI-IO / A. Ching ; A. Choudhary ; K. Coloma ; W.-k. Liao ; W. Gropp
CARDs: Cluster Aware Remote Disks / V. Olaru ; W. Tichy
Leveraging Non-Uniform Resources for Parallel Query Processing / T. Mayr ; P. Bonnet ; J. Gehrke ; P. Seshadri
Scheduling and Resource Management
A Performance Oriented Migration Framework for The Grid / S. Vadhiyar ; J. Dongarra
Scheduling Distributed Applications: the SimGrid Simulation Framework / A. Legrand ; L. Marchal ; H. Casanova
Fair Share on High Performance Computing Systems: What Does Fair Really Mean? / S. Kleban ; S. Clearwater
Programming on the Grid
Distributed Computing with Hierarchical Master-Worker Paradigm for Parallel Branch and Bound Algorithm / K. Aida ; W. Natsume ; Y. Futakata
Programming for Dependability in a Service-Based Grid / W. Bausch ; C. Pautasso ; G. Alonso
Improving Access to Multi-Dimensional Self-Describing Scientific Datasets / B. Nam ; A. Sussman
Grid Tools
Merging the CCA Component Model with the OGSI Framework / M. Govindaraju ; S. Krishnan ; K. Chiu ; A. Slominski ; D. Gannon ; R. Bramley
PortalLab: A Web Services Toolkit for Building Semantic Grid Portals / M. Li ; P. van Santen ; D. Walker ; O. Rana ; M. Baker
GridFlow: Workflow Management for Grid Computing / J. Cao ; S. Jarvis ; S. Saini ; G. Nudd
OmniRPC: A Grid RPC System for Parallel Programming in Cluster and Grid Environment / M. Sato ; T. Boku ; D. Takahashi
Peer-to-Peer
A Scalable Infrastructure for Peer-to-Peer Networks Using Web Service Registries and Intelligent Peer Locators / V. Prasad ; Y. Lee
Creating Services with Hard Guarantees from Cycle-Harvesting Systems / C. Kenyon ; G. Cheliotis
Explore the "Small World Phenomena" in a Pure P2P Information Sharing Systems / Y. Ren ; C. Sha ; W. Qian ; A. Zhou ; B. Ooi ; K.-L. Tan
Combining Task- and Data Parallelism to Speed up Protein Folding on a Desktop Grid Platform--Is Efficient Protein Folding Possible with CHARMM on the United Devices MetaProcessor? / B. Uk ; M. Taufer ; T. Stricker ; G. Settanni ; A. Cavalli ; A. Caflisch
Data Grid
A Slacker Coherence Protocol for Pull-Based Monitoring of On-Line Data Sources / R. Sundaresan ; M. Lauria ; S. Parthasarathy
Chameleon: A Resource Scheduler in a Data Grid Environment / S.-M. Park ; J.-H. Kim
Fault-Tolerant Distributed Mass Storage for LHC Computing / A. Wiebalck ; P. Breuer ; V. Lindenstruth ; T. Steinbeck
QoS & SLA
Performance Guarantees for Cluster-Based Internet Services / C. Li ; G. Peng ; K. Gopalan ; T.-c. Chiueh
Network QoS Management Framework for Server Clusters--An End-Host Retrofitting Event-Handler Approach Using Netnice / T. Okumura ; D. Mosse ; M. Minami ; O. Nakamura
Specifying and Monitoring Guarantees in Commercial Grids through SLA / A. Sahai ; S. Graupner ; V. Machiraju ; A. van Moorsel
Cluster Tools
The Performance of Processor Co-Allocation in Multicluster Systems / A. Bucur ; D. Epema
MAGNET: A Tool for Debugging, Analyzing and Adapting Computing Systems / M. Gardner ; W.-c. Feng ; M. Broxton ; A. Engelhart ; G. Hurwitz
Performance Evaluation of RHiNET-2/NI: A Network Interface for Distributed Parallel Computing Systems / K. Watanabe ; T. Otsuka ; J.-i. Tsuchiya ; H. Amano ; H. Harada ; J. Yamamoto ; H. Nishi
PM/Ethernet-kRMA: A High Performance Remote Memory Access Facility Using Multiple Gigabit Ethernet Cards / S. Sumimoto ; K. Kumon
Workshops
Global and Peer-to-Peer Computing on Large Scale Distributed Systems
A Tree Model for Structured Peer-to-Peer Protocols / H.-C. Hsiao ; C.-T. King
DKS(N,k,f): A Family of Low Communication, Scalable and Fault-Tolerant Infrastructures for P2P Applications / L. Alima ; S. El-Ansary ; P. Brand ; S. Haridi
Criticality-Based Analysis and Design of Unstructured Peer-to-Peer Networks as "Complex Systems" / F. Banaei-Kashani ; C. Shahabi
Peer-to-Peer Keyword Search Using Keyword Relationship / K. Nakauchi ; H. Morikawa ; T. Aoyama
Clustering Hosts in P2P and Global Computing Platforms / A. Agrawal
Evaluation of the Inter-Cluster Data Transfer on Grid Environment / S. Ogura ; S. Matsuoka ; H. Nakada
Xtrem Web & Condor: Sharing Resources between Internet Connected Condor Pools / O. Lodygensky ; G. Fedak ; F. Cappello ; V. Neri ; M. Livny ; D. Thain
Supporting Peer-to-Peer Computing with FlexiNet / T. Fuhrmann
A Transport Layer Abstraction for Peer-to-Peer Networks / R. Ferreira ; C. Grothoff ; P. Ruth
P2P-RPC: Programming Scientific Applications on Peer-to-Peer Systems with Remote Procedure Call / S. Djilali
Secure Communication in a Distributed System Using Identity Based Encryption / T. Stading
Large Scale Dissemination Using a Peer-to-Peer Network / K. Zerfiridis ; H. Karatza
Towards a Framework for Collaborative Peer Groups / V. Sunderam ; J. Pascoe ; R. Loader
RelayCast: A Middleware for Application-Level Multicast Services / N. Mimura
Improving Performance via Computational Replication on a Large-Scale Computational Grid / Y. Li ; M. Mascagni
DSM2003: Distributed Shared Memory on Clusters
Performance of Cluster-Enabled OpenMP for the SCASH Software Distributed Shared Memory System / Y. Ojima
Distributed Shared Memory Using the .NET Framework / T. Seidmann
Preliminary Evaluation of Dynamic Load Balancing Using Loop Re-Partitioning on Omni/SCASH / Y. Sakae
Checkpointing and Recovery of Shared Memory Parallel Applications in a Cluster / R. Badrinath ; C. Morin ; G. Vallee
Implementation of Page Management in Mome, a User-Level DSM / Y. Jegou
Kernel Level Speculative DSM / C. Tapus ; J. Smith ; J. Hickey
The Performance Model of SilkRoad--A Multithreaded DSM System for Clusters / L. Peng ; W.-F. Wong ; C.-K. Yuen
A Gaming Framework for a Transactional DSM System / M. Schoettner ; M. Wende ; R. Goeckelmann ; T. Bindhammer ; U. Schmid ; P. Schulthess
An Extended Home-Based Coherence Protocol for Causally Consistent Replicated Read-Write Objects / J. Brzezinski ; M. Szychowiak
Making a DSM Consistency Protocol Hierarchy-Aware: An Efficient Synchronization Scheme / G. Antoniu ; L. Bouge ; S. Lacour
Grids and Advanced Networks (GAN'03)
An Exposed Approach to Reliable Multicast in Heterogeneous Logistical Networks / M. Beck ; Y. Ding ; E. Fuentes ; S. Kancherla
Using Topology Aware Communications Services in Grid Environments / C. Lee ; E. Coe ; B. Michel ; J. Stepanek ; I. Solis ; J. Clark ; B. Davis
Recovering Internet Symmetry in Distributed Computing / S. Son
Multi-Class Applications for Parallel Usage of a Guaranteed Rate and a Scavenger Service / M. Fidler ; V. Sander
HMCS-G: Grid-Enabled Hybrid Computing System for Computational Astrophysics / K. Onuma ; J. Makino ; H. Susa ; M. Umemura ; A. Ukawa
BioGrid '03
Grid-Based Nonequilibrium Multiple-Time Scale Molecular Dynamics/Brownian Dynamics Simulations of Ligand-Receptor Interactions in Structured Protein Systems / M. Peters
Cluster Infrastructure for Biological and Health Related Research / S. Corsava ; V. Getov
Magnetic Resonance Imaging (MRI) Simulation on a Grid Computing Architecture / H. Benoit-Cattin ; F. Bellet ; J. Montagnat ; C. Odet
Using Grid Technologies to Face Medical Image Analysis Challenges / I. Magnin
Can the Grid Help to Solve the Data Integration Problems in Molecular Biology? / B. Sturgeon ; D. McCourt ; J. Cowper ; F. Palmer ; S. McClean ; W. Dubitzky
An Overlay-Network Approach for Distributed Access to SRS / A. Schafferhans ; T. Etzold
DM[superscript 2]: A Distributed Medical Data Manager for Grids / H. Duque ; J.-M. Pierson ; L. Brunie
Agent Based Cluster and Grid Computing
A-peer: An Agent Platform Integrating Peer-to-Peer Network / T.-Y. Li ; Z.-G. Zhao ; S.-Z. You
Agile Computing: Bridging the Gap between Grid Computing and Ad-hoc Peer-to-Peer Resource Sharing / N. Suri ; J. Bradshaw ; M. Carvalho ; T. Cowin ; M. Breedy ; P. Groth ; R. Saavedra
An Ontology for Scientific Information in a Grid Environment: The Earth System Grid / L. Pouchard ; L. Cinquini ; B. Drach ; D. Middleton ; D. Bernholdt ; K. Chanchio ; I. Foster ; V. Nefedova ; D. Brown ; P. Fox ; J. Garcia ; G. Strand ; D. Williams ; A. Chervenak ; C. Kesselman ; A. Shoshani ; A. Sim
Agent-Based Service Management in Large Datacentres and Grids
An Agent Version of a Cluster Server / A. Bezek ; M. Gams
Decentralized Resource Allocation in Application Layer Networks / T. Eymann ; M. Reinicke ; O. Ardaiz ; P. Artigas ; F. Freitag ; L. Navarro
Towards Data-Parallel Skeletons for Grid Computing: An Itinerant Mobile Agent Approach / S. Loke
On the Use of Agents in a BioInformatics Grid / L. Moreau ; S. Miles ; C. Goble ; M. Greenwood ; V. Dialani ; M. Addis ; N. Alpdemir ; R. Cawley ; D. De Roure ; J. Ferris ; R. Gaizauskas ; K. Glover ; C. Greenhalgh ; P. Li ; X. Liu ; P. Lord ; M. Luck ; D. Marvin ; T. Oinn ; N. Paton ; S. Pettifer ; M. Radenkovic ; A. Roberts ; A. Robinson ; T. Rodden ; M. Senger ; N. Sharman ; R. Stevens ; B. Warboys ; A. Wipat ; C. Wroe
Evaluation of an Economy-Based File Replication Strategy for a Data Grid / W. Bell ; D. Cameron ; R. Carvajal-Schiaffino ; A. Millar ; K. Stockinger ; F. Zini
Communication Paradigm for Mobile Grid Users / D. Bruneo ; M. Scarpa ; A. Zaia ; A. Puliafito
Invited
MONET: Service Discovery and Composition for Mathematical Problems / M.-L. Aird ; W. Medina ; J. Padget
Fault Tolerance in Scalable Agent Support Systems: Integrating DARX in the AgentScape Framework / B. Overeinder ; F. Brazier ; O. Marin
Parallel I/O in Cluster Computing and Computational Grids
READ[superscript 2]: Put Disks at Network Level / O. Cozette ; C. Randriamaro ; G. Utard
Design and Implementation of PVFS-PM: A Cluster File System on SCore / K. Segawa ; O. Tatebe ; Y. Kodama ; T. Shimizu
A Greedy I/O Scheduling Method in the Storage System of Clusters / W. Zhou ; T. Wei
Data Allocation and Load Balancing for Heterogenenous Cluster Storage Systems / J. Perez ; F. Garcia ; J. Carretero ; A. Calderon ; L. Sanchez
Performance Analysis of Parallel I/O Scheduling Approaches on Cluster Computing Systems / J. Abawajy
Improved Read Performance in a Cost Efficient, Fault-Tolerant Parallel Virtual File System (CEFT-PVFS) / Y. Zhu ; H. Jiang ; X. Qin ; D. Feng ; D. Swanson
Performability Evaluation of Networked Storage Systems Using N-SPEK / M. Zhang ; Q. Yang ; X. He
The Ruthless Pursuit of Frameworks and Patterns for Web-Based Applications / Louis Blazy
Pervasive and Ubiquitous Systems / Session 1:
Mining Sequential Patterns Using Graph Search Techniques / Y.-F. Huang ; S.-Y. Lin
A Middleware Service for Secure Group Communication in Mobile Ad Hoc Networks / S. Yau ; X. Zhang
Device State Recovery in Non-volatile Main Memory Systems / R. Ohmura ; N. Yamasaki ; Y. Anzai
Panel / Session 2:
Homeland Security's Cyber Component: A Survey of Legal Issues
Software and System Testing (1) / Session 3:
BINTEST--Binary Search-Based Test Case Generation / S. Beydeda ; V. Gruhn
Automated Metamorphic Testing / A. Gotlieb ; B. Botella
Smart Debugging Software Architectural Design in SDL / W. Wong ; T. Sugeta ; Y. Qi ; J. Maldonado
Software Reuse and Management / Session 4:
Lessons Learned from Software Engineering Multi-Agent Systems / D. Kung ; H. Bhambhani ; S. Nwokoro ; W. Okasha ; R. Kambalakatta ; P. Sankuratri
Application of Tightly Coupled Engineering Team for Development of Test Automation Software--A Real World Experience / A. Pandey ; N. Kameli ; A. Eapen ; C. Miklos ; F. Boudigou ; I. Sutedjo ; M. Paul ; V. Vijay ; W. McDermott
A Cooperative Framework for Inter-Organizational Workflow System / S.-B. Yan ; F.-J. Wang
Middleware Systems / Session 5:
Context Aware Deployment for Mobile Users / C. Taconet ; E. Putrycz ; G. Bernard
Policy-Based Separation of Concerns for Dynamic Code Mobility Management / R. Montanari ; G. Tonti ; C. Stefanelli
Semantic-Based Approach to Streaming XML Contents Using Xstream / E. Wong ; A. Chan ; H.-V. Leong
Trustworthy Software Systems / Session 6:
Automating Checking of Models Built Using a Graphically Based Formal Modelling Language / R. Walters
Techniques and Tools for Automated Safety Analysis and Decision Support for Redundancy Allocation in Automotive Systems / Y. Papadopoulos ; C. Grante
Design and Implementation of a Cache-Conscious Index Manager for the Tachyon, a Main Memory DBMS / K.-T. Lee ; I. Jung ; C.-Y. Choi ; W. Choi ; S.-W. Kim
Software Testing / Session 7:
Software Process Management / Session 8:
Towards Dynamic Process with Variable Structure by Reflection / S. Liu ; J. Wei ; W. Xu
Current Trends in the Adoption of the CMMI Product Suite / D. Zubrow
A CC-Based Security Engineering Process Evaluation Model / J. Lee ; S. Lee ; B. Choi
Mobile and High Performance Systems / Session 9:
An Object-Passing Model for Parallel Programming / J. Al-Jaroodi ; N. Mohamed
Conceptual Modelling of Mobile Object Systems: Language Constructs for Distinguishing between Mobile and Stationary Subsystems / P. Ahlbrecht ; S. Eckstein ; K. Neumann
Data Placement and Query Processing Based on RPE Parallelisms / Y. Yu ; G. Wang ; G. Yu ; G. Wu ; J. Hu ; N. Tang
Information Security / Session 10:
A Protection Environment for Administrators of Windows 2000/XP Against Malicious Program Attacks / A. Spalka ; M. Winandy
A Security Characterisation Framework for Trustworthy Component Based Software Systems / K. Khan ; J. Han
Exploiting Self-Modification Mechanism for Program Protection / Y. Kanzaki ; A. Monden ; M. Nakamura ; K.-i. Matsumoto
Software and System Testing (2) / Session 11:
Tolerance of Control-Flow Testing Criteria / S. Vilkomir ; K. Kapoor ; J. Bowen
Data Flow-Based Unit Testing of Aspect-Oriented Programs / J. Zhao
A Strategy for Selecting Synchronization Sequences to Test Concurrent Object-Oriented Software / H. Chen ; Y. Sun ; T. Tse
Global Trends in SPI / Session 12:
Plenary Panel Session
Challenges and Recent Advances in Developing Trustworthy Software-Based Systems
Collaborative Systems / Session 13:
A Multi-Agent Software Environment for Testing Web-Based Applications / Q. Huo ; H. Zhu ; S. Greenwood
Mediating Electronic Meetings / J. Zhang ; C. Chang ; J.-Y. Chung
Scalable Multilateral Communication Technique for Large-Scale Information Systems / K. Ragab ; N. Kaji ; K. Mori
Software Architecture and Framework / Session 14:
Runtime Software Architecture Based Software Online Evolution / Q. Wang ; G. Huang ; J. Shen ; H. Mei ; F. Yang
The XIS Generative Programming Techniques / A. da Silva ; G. Lemos ; T. Matias ; M. Costa
Proactive Views on Concrete Aspects: A Pattern Documentation Approach for Software Evolution / T. Ng ; S. Cheung
Requirements Engineering / Session 15:
A Feature Oriented Approach to Modeling and Reusing Requirements of Software Product Lines / W. Zhang ; F. Gu
A Synergistic Interweaving of Formal and Informal Methods / W. Yeung ; K. Leung
Mockup-Driven Fast-Prototyping Methodology for Web Requirements Engineering
Case Studies in Systems/Software Engineering / Session 16:
Internet and Web-Based Systems / Session 17:
Integrating Heterogeneous Web Services with WebXcript / D. Chiu ; D. Kok ; A. Lee
A Probabilistic Model for Intelligent Web Crawlers / K. Hu
Autonomous Decentralized Database System Reconstruction Technology through Mobile Agent Monitoring and Coordination / C. Leguizamo ; D. Wang
Software Reengineering (1) / Session 18:
Incremental Transformation of Procedural Systems to Object Oriented Platforms / Y. Zou ; K. Kontogiannis
Migrating Web Frameworks Using Water Transformations / A. Hassan ; R. Holt
Bridging Legacy Systems to Model Driven Architecture / B. Qiao ; H. Yang ; W. Chu ; B. Xu
Quality Management / Session 19:
Transforming Quantities into Qualities in Assessment of Software Systems / G. Canfora ; L. Cerulo ; L. Troiano
Information Quality Assessment of a Yellow-Pages Location-Based Service / A. Katasonov ; M. Sakkinen
VDM over PSP: A Pilot Course for VDM Beginners to Confirm Its Suitability for Their Development / H. Suzumori ; H. Kaiya ; K. Kaijiri
Software Reengineering (2) / Paper Session 20:
A Reengineering Process for Migrating from an Object-Oriented Legacy System to a Component-Based System / E. Lee ; B. Lee ; W. Shin ; C. Wu
Determining Granularity of Independent Tasks for Reengineering a Legacy System into an OO System / R. Millham ; M. Ward
Recovering a Business Object Model from Web Applications / G. Di Lucca ; A. Fasolino ; P. Tramontana ; U. De Carlini
Measurement and Metrics / Session 21:
Testing the Suitability of Markov Chains as Web Usage Models / Z. Li ; J. Tian
Integrating Practical Software Measurement and the Balanced Scorecard / D. Card
A Cut-Based Algorithm for Reliability Analysis of Terminal-Pair Network Using OBDD / Y.-R. Chang ; H.-Y. Lin ; S.-Y. Kuo
Keynote Address 2
The Pursuit of Trust: Finding a Way Through the High Assurance Landscape / Robin Bloomfield
Distributed Systems / Session 22:
IBHIS: Integration Broker for Heterogeneous Information Sources / I. Kotsiopoulos ; J. Keane ; M. Turner ; P. Layzell ; F. Zhu
Protecting Distributed Software Upgrades that Involve Message-Passing Interface Changes / A. Tai ; K. Tso ; W. Sanders
Implementation of Nonstop Software Update for Client-Server Applications / W.-K. Wei ; K.-F. Ssu ; H. Jiau
Component Based Software Engineering / Session 23:
A Test-Driven Component Development Framework Based on the CORBA Component Model / E. Teiniker ; S. Mitterdorfer ; L. Johnson ; C. Kreiner ; Z. Kovacs ; R. Weiss
Information Use in CBSE Design / S. Owen ; D. Budgen ; P. Brereton
Variable Strength Interaction Testing of Components / M. Cohen ; P. Gibbons ; W. Mugridge ; C. Colbourn ; J. Collofello
Network Systems / Session 24:
An Integrated Approach to Scatternet Traffic Management in Bluetooth Ad Hoc Networks / L. Shek ; Y.-K. Kwok
Distributed Garbage Collection by Timeouts and Backward Inquiry / S.-W. Ryu ; E. Im ; B. Neuman
Facilitating Secure Ad hoc Service Discovery in Public Environments / M. Mutka ; L. Ni
Object-Oriented Development (1) / Session 25:
Precise Specification to Compound Patterns with ExLePUS / J. Mak ; C. Choy ; D. Lun
Scenario Architecture--A Methodology to Build a Global View of OO Software System / Y. Tsai
A Role-Based Metamodeling Approach to Specifying Design Patterns / D.-K. Kim ; R. France ; S. Ghosh ; E. Song
Enterprise Systems / Session 26:
A Toolkit for Developing Web-Based Information Systems: Case Studies / T. Bodhuin ; M. Tortorella
Rapid Verification of Embedded Systems Using Patterns / W. Tsai ; L. Yu ; R. Paul
Software Documentation-Driven Manufacturing / Luqi ; X. Liang ; L. Zhang ; V. Berzins
Object Oriented Development (2) / Session 27:
Meta Model Approach for Mediation / M. Shiroiwa ; T. Miura ; I. Shioya
A Flexible Framework for Replication in Distributed Systems
A Graph Grammar Approach to Software Architecture Verification and Transformation / J. Kong ; K. Zhang ; J. Dong ; G. Song
System Reliability / Paper Session 28:
Sensitivity Analysis of Software Reliability for Component-Based Software Applications / J.-H. Lo ; C.-Y. Huang ; M. Lyu
Effects of Introducing Survival Behaviours into Automated Negotiators / P. Henderson ; S. Crouch ; Q. Ni
System Reliability (2) / F. Liu ; J. Li ; X. Shan ; W. ChouSession 29:
Integrating Runtime Assertions with Dynamic Types: Structuring a Derivation from an Incomputable Specification / P. Bailes ; C. Kemp
Deductive Schedulability Verification Methodology of Real-Time Software Using Both Refinement Verification and Hybrid Automata / S. Yamane
An Efficient Defect Estimation Method for Software Defect Curves / C. Bai ; K.-Y. Cai ; T. Chen
Compsac 2003 Workshops
Workshop on Architectures for Complex Application Integration (WACAI2003) / Workshop 1:
Just What Could Possibly Go Wrong in B2B Integration? / D. Kuo ; A. Fekete ; P. Greenfield ; J. Jang ; D. Palmer
An Experience of Applying Architecture-Based Approach to Build a Component-Based Requirements Management Toolset / M. Babar
Enterprise Application Integration Using a Component-Based Architecture / P. Maheshwari
Flexible Fault Tolerance in Configurable Middleware for Embedded Systems / K. Dorow
Ad Hoc Software Interfacing Enterprise Application Integration (EAI) When Middleware Is Overkill / A. Reyes ; J. Espino ; V. Mohan ; M. Nadkar
Next Generation Application Integration/Challenges and New Approaches / I. Gorton ; D. Thurman ; J. Thomson
Web and Security Informatics Workshop / Workshop 2:
Intelligent Web Topics Search Using Early Detection and Data Analysis / C.-C. Lee ; Y. Yang
Discovering Cyber Communities from the WWW / X. Hu ; N. Cercone
Internet-Based Decision Support: Toward E-Hospital / S. Tsumoto ; S. Hirano ; E. Hanada
A Framework for Web-Based Research Support Systems / Y. Yao
Intelligent Mobile Agents for Efficient and Inexpensive e-Shopping / L. Lu ; Y.-Q. Zhang
Managing Security Policy in Large Distributed Web Services Environment / S. Chang ; Q. Chen ; M. Hsu
Information Flows in E-Government / T. Lin
Measured Responses to Cyber Attacks Using Schmitt Analysis: A Case Study of Attack Scenarios for a Software-Intensive System / J. Michael ; T. Wingfield ; D. Wijesekera
A Methodology for Hiding Knowledge in XML Document Collections / T. Johnsten ; R. Sweeney ; V. Raghavan
Security for the Semantic Web / B. Thuraisingham
Situation-Aware Personalized Information Retrieval for Mobile Internet / H. Liu ; D. Huang
Web Based Systems and Applications (WEBSA2003) / Workshop 3:
A Multiple-Tier Model Manipulation Architecture for Enterprise Decision Making / Z. Liang ; S. Li ; H. Liao ; H. Kang ; Q. Duan ; H. Zhou
Regression Testing for Web Applications Based On Slicing / L. Xu ; Z. Chen ; J. Jiang
A Supervised Visual Wrapper Generator for Web-Data Extraction / X. Meng ; H. Wang ; D. Hu ; C. Li
A Dynamic Information Retrieval System for the Web / X. Gao ; S. Murugesan ; B. Lo
A Pattern Language Model for Framework Development / L. Wu-dong ; H. Ke-qing ; Yingshi ; X. Hui ; J. Yixing
Some Domain Patterns in Web Application Framework / L. Chao ; H. Keqing ; L. Jie ; Y. Shi
Web-Based Support for Managing Large Collections of Software Artefacts / C. Boldyreff ; J. Brittle ; C. Korhonen ; P. Kyaw ; J. Lavery ; D. Nutter ; S. Rank
MDA-Based Development of E-Learning System / D. Zhang ; J. Zhou
PeAgen--A Mobile Agent System to Support Secure Internet and Web Applications / Q. Ma ; W. Hao ; W. Li ; M. Tu ; I.-L. Yen
Toward an Easy Programming Environment for Implementing Mobile Applications: A Fleet Application Case Study Using SyD Middleware / S. Prasad ; M. Weeks ; Y. Zhang ; A. Zelikovsky ; S. Belkasim ; R. Sunderraman ; V. Madisetti
A Hierarchical Strategy for Testing Web-Based Applications and Ensuring Their Reliability / L. Ma ; A. Koru
edited by A. Boukerche, S. K. Das, and S. Majumdar ; sponsored by IEEE Computer Society Technical Committee on Computer Architecture, IEEE Computer Society Technical Committee on Simulation ; in cooperation with ACM SIGSIM, ACM SIGARCH ; supported by University of North Texas, University of Texas at Arlington
出版情報:
Los Alamitos, Calif. : IEEE Computer Society, c2002 xvi, 521 p. ; 28 cm
Hardware Assisted Multichannel Volume Rendering / A. Ghosh ; P. Prabhu ; A. Kaufman ; K. Mueller
Interactive Transfer Function Modification for Volume Rendering Using Compressed Sample Runs / V. Srivastava ; U. Chebrolu
Design and Implementation of Panoramic Movie System by Using Commodity 3D Graphics Hardware / T. Yamamoto ; M. Doi
CG Modeling / Session 2:
Interpolatory Subdivision Curves via Diffusion of Normals / Y. Ohtake ; A. Belyaev ; H. Seidel
Mesh Denoising via Iterative Alpha-Trimming and Nonlinear Diffusion of Normals with Automatic Thresholding / H. Yagou
An Efficient Mesh Simplification Method with Feature Detection for Unstructured Meshes and Web Graphics / B. Chen ; T. Nishita
Invited Talk
Clinical Application of Augmented Reality in Neurosurgical Field / H. Iseki ; Y. Muragaki ; K. Naemura ; M. Hayashi ; T. Hori ; K. Takakura
Natural Scene Modeling / Session 3:
@l/f[superscript beta] Noise-Based Real-Time Animation of Trees Swaying in Wind Fields / S. Ota ; M. Tamura ; K. Fujita ; T. Fujimoto ; K. Muraoka ; N. Chiba
Modeling Lobed Leaves / L. Mundermann ; P. MacMurchy ; J. Pivovarov ; P. Prusinkiewicz
Rendering / Session 4:
Data Compression for a Massive Image Data Set in IBMR / C. Leung ; P. Lam ; T. Wong
Fast Volumetric Display of Natural Gaseous Phenomena / S. Roettger ; T. Ertl
Virtual Reality / Session 5:
Flexible Materials in Avango Virtual Environment Framework / L. Nikitina ; I. Nikitin ; S. Klimenko
Immersive Vehicle Simulators for Prototyping, Training and Ergonomics / M. Kallmann ; P. Lemoine ; D. Thalmann ; F. Cordier ; N. Magnenat-Thalmann ; C. Ruspa ; S. Quattrocolo
VHD++Development Framework: Towards Extendible, Component Based VR/AR Simulation Engine Featuring Advanced Virtual Character Technologies / M. Ponder ; G. Papagiannakis ; T. Molet
Real Time Detection Interface for Walking on CAVE / S. Barrera ; P. Romanos ; S. Saito ; H. Takahashi ; M. Nakajima
Texture / Session 6:
Textile and Tile Pattern Design Automatic Cataloguing Using Detection of the Plane Symmetry Group / M. Valor ; F. Albert ; J. Gomis ; M. Contero
Image Restoration Using Multiresolution Texture Synthesis and Image Inpainting / H. Yamauchi ; J. Haber
Compressing Texture Coordinates with Selective Linear Predictions / M. Isenburg ; J. Snoeyink
Virtualizing Real-World Objects / H. Lensch ; J. Kautz ; M. Goesele ; J. Lang
Non-Photo / Session 7:
Rendering Artistic and Believable Trees for Cartoon Animation / F. Di Fiore ; W. Van Haevre ; F. Van Reeth
"Nijimi" Rendering Algorithm for Creating Quality Black Ink Paintings / Q. Guo ; T. Kunii
Application CG / Session 8:
Visualization of Distributed Processes Using "Data Jewelry Box" Algorithm / Y. Yamaguchi ; T. Itoh
Automatic Tracking of Face Sequences in MPEG Video / Y. Zhao ; T. Chua
A Framework for Transfer Colors Based on the Basic Color Categories / Y. Chang
Real Time Rendering / Session 9:
Real-Time Visualization of Japanese Artcraft / R. urikovi ; R. Kimura ; K. Kolchin
A Real-Time Refraction Renderer for Volume Objects Using a Polygon-Rendering Scheme / E. Ohbuchi
Fast Depth of Field Rendering with Surface Splatting / J. K ivanek ; J. Zara ; K. Bouatouch
Ray Tracing Height Fields / H. Qu ; F. Qiu ; N. Zhang ; A. Kauman ; M. Wan
Volume Rendering for Curvilinear and Unstructured Grids / N. Max ; P. Williams ; C. Silva ; R. Cook
Short Paper Session
Interactive Editing of Arbitrary Sub-Meshes / F. Silva ; A. Gomes
Cut-and-Paste Editing Based on Constrained B-spline Volume Fitting / Y. Furukawa ; H. Masuda ; K. Miura ; H. Yamato
Sphairahedral Approach to Parameterize Visible Three Dimensional Quasi-Fuchsian Fractals / K. Ahara ; Y. Araki
A Method of Rendering Scenes Including Volumetric Objects Using Ray-Volume Buffers--Expanding to Render Scenes Including Overlapped Volumetric Objects / K. Kajihara
Time-Sequence Dynamic Virtual Images / Z. Li ; J. Sun ; J. Zhang
Using Virtual Reality to bring Singaporean Heritage to Life / M. Song ; T. Elias ; W. Muller-Wittig ; T. Chan
Modeling Rocky Scenery Taking into Account Joints / T. Ito
Consistent Visualization and Querying of GIS Databases by a Location-Aware Mobile Agent / S. Lodha ; N. Faaland ; G. Wong ; A. Charaniya ; S. Ramalingam ; A. Keller
Robust Watermarking of 3D Polygonal Models Based on Vertice Scrambling / Y. Zhi-qiang ; H. Ip ; L. Kwok
A Framework to Customize a Face Model for Reusing Animation / K. Zhang ; Z. Huang
Camera Self-Calibration Using the Geometric Structure in Real Scenes / P. Liu ; J. Shi ; J. Zhou ; L. Jiang
An Inverse Kinematics Method for 3D Figures with Motion Data / T. Komura ; A. Kuroda ; S. Kudoh ; T. Lan ; Y. Shinagawa
Natural Human Animation via Learning with Dynamic Manipulability / T. Mukai ; S. Kuriyama ; T. Kaneko
Cartoon Blur: Non-Photorealistic Motion Blur / Y. Kawagishi ; K. Hatsuyama ; K. Kondo
A Production Method of Reusing Existing 2D Animation Sequences / F. Sumi
An Educational Tool for Basic Techniques in Beginner's Pencil Drawing / S. Takagi ; N. Matsuda ; M. Soga ; H. Taki ; T. Shima ; F. Yoshimoto
Generation of Varing Line Thickness / A. Kani
Visualization of Musical Pitch / P. McLeod ; G. Wyvill
Animation / Session 10:
Extraction of Motion Individuality in Sports and its Application to Motion of Characters with Different Figures / R. Kawasaki ; Y. Kitamura ; F. Kishino
Creating Various Styles of Animations Using Example-Based Filtering / R. Hashimoto ; H. Johan
Diorama Engine--A 3D Directing Tool for 3D Computer Animation Production / K. Mikami ; T. Tokuhara
Reaching Volumes Generated by Means of Octal Trees and Cartesian Constraints / I. Rodriguez ; M. Peinado ; R. Boulic ; D. Meziat
Color Plates
Author Index
Preface
CG Hardware / Session 1:
Hardware Assisted Multichannel Volume Rendering / A. Ghosh ; P. Prabhu ; A. Kaufman ; K. Mueller
sponsored by IEEE Computer Society Technical Committee on Data Engineering, The Concurrent Engineering Research Center(CERC), West Virginia University,USA ; supported by the City of Linz, the Government of Upper Austria, the Linzer Hochschulfonds
出版情報:
Los Alamitos, Calif. : IEEE Computer Society Press, c2003 xviii, 408p. ; 28 cm
Message from the WET ICE Organizer / Sumitra Mitra Reddy
WET ICE Organizing Committees
Workshop Organizing Committees
WET ICE Participants
Plenary Talks
Coordination in Pervasive Computing Environments / A. Ferscha
Network Threat Modeling / J. M. Johansson
Instructional Design for Collaborative E-Learning / W. Gerteis ; J. Schaper
DEVISE: A Methodology for Building Web Services Based Infrastructure for Collaborative Enterprises / N. Dhyanesh ; G. C. Vineel ; S. V. Raghavan
Workshop: Agent-Based Computing for Enterprise Collaboration (ACEC)
ACEC Workshop Report: Agent-Based Computing for Enterprise Collaboration--What Can Agents Learn from Human Collaboration? / M. B. Blake ; G. Cabri
Integrated Multi-Agent-Based Supply Chain Management / D. Frey ; T. Stockheim ; P.-O. Woelk ; R. Zimmermann
Mapping Abstractions of Norms in Electronic Institutions / I. K. Ibrahim ; G. Kotsis ; W. Schwinger
Agent.Hospital--Agent-Based Open Framework for Clinical Applications / S. Kirn ; C. Heine ; R. Herrler ; K.-H. Krempels
A Case Study in Role-Based Agent Interactions / L. Ferrari ; L. Leonardi
Short Paper--An Agent-Based Approach to Specify a Web Service-Oriented Environment / Z. Maamar ; F. Akhter ; M. Lahkim
Workshop: Distributed and Mobile Collaboration (DMC)
DMC Workshop Report: DMC--Distributed and Mobile Collaboration Workshop Report / S. Dustdar ; H. Gall
Session: DMC--Collaboration and Coordination
WebDAVA: An Administrator-Free Approach to Web File-Sharing / A. Levine ; V. Prevelakis ; J. Ioannidis ; S. Ioannidis ; A. D. Keromytis
A Logical Model for Coordination Rule Classes in Collaborative Sessions / J. M. Molina Espinosa ; J. Fanchon ; K. Drira
Using UML to Design Distributed Collaborative Workflows: From UML to XPDL / P. Jiang ; Q. Mair ; J. Newman
Short Paper--Mobile Collaboration Tool for University Education / S. Berger ; R. Mohr ; H. Nosekabel ; K. J. Schafer
Session: DMC--Frameworks
Yet Another Framework for Supporting Mobile and Collaborative Work / M. Caporuscio ; P. Inverardi
Supporting Collaboration in the Development of Tools and Dies in Manufacturing Networks / Z. Yalniz ; E. Kirda
Session: Issues in Peer-to-Peer Systems
Supporting Rich Queries in DHT-Based Peer-to-Peer Systems / M. Zhang ; K.-L. Tan
On Optimal Update Policies and Cluster Sizes for 2-Tier Distributed Systems / P. Dey ; A. Datta
Introducing Domain Specific Ad-Hoc Collaboration: The Peer-to-Peer Tool iK[superscript now] / C. Eikemeier ; U. Lechner
Short Paper--A Provision-Centric Model for Electronic Services / C. Gryce ; G. Piccinelli ; C. Zirpins
Session: Designing DMC Systems
Designing Coordination Systems for Distributed Teamwork / N. D. Mehandjiev ; A. A. Karageorgos ; G. H. Tsang
Automatic Synthesis of Coordinators for COTS Group-Ware Applications: An Example / M. Tivoli ; A. Bucchiarone
Workshop: Evaluating Collaborative Information Systems and Support for Virtual Enterprises (ECE)
ECE Workshop Report: WETICE 2003 Evaluating Collaborative Enterprises Workshop Report / E. M. Raybourn ; J. P. H. Huang
The Virtual Environment: The "How-To" of Studying Collaboration and Performance of Geographically Dispersed Teams / L. M. L. Peters
Assessing Collaborative Tools from an Information-Processing Perspective: Identification of Value-Added Processes / F. Bouthillier ; K. Shearer
Use of Scenario Evaluation in Preparation for Deployment of a Collaborative System for Knowledge Transfer--The Case of KiMERA / L. M. S. Lau ; C. A. Adams ; P. M. Dew ; C. M. Leigh
E-Magine: The Development of an Evaluation Method to Assess Groupware Applications / M. A. A. Huis in 't Veld ; J. H. E. Andriessen ; R. M. Verburg
An Agent-Based Evaluation Framework for Supporting Virtual Enterprise Formation / S. A. Petersen
Modeling Contribution for Virtual Enterprise Support / S. Tata ; I. Boughzala
Historical Awareness Support and Its Evaluation in Collaborative Software Engineering / D. Nutter ; C. Boldyreff
Workshop: Enterprise Security (ES)
ES Workshop Report: WETICE 2003 Eighth Enterprise Security (ES) Workshop Report / D. Gilliam
Verifying Enterprise's Mandatory Access Control Policies with Coloured Petri Nets / K. Juszczyszyn
Specification and Verification of Constraints in Role Based Access Control for Enterprise Security System / G. Kolaczek
Policy Storage for Role-Based Access Control Systems / A. Belokosztolszki ; D. M. Eyers ; W. Wang ; K. Moody
Specification and Classification of Role-Based Authorization Policies / G.-J. Ahn
A Hybrid Key Tree Scheme for Multicast to Balance Security and Efficiency Requirements / C. Duma ; N. Shahmehri ; P. Lambrix
Secured Advanced Federated Environment (SAFE): A NASA Solution for Secure Cross-Organization Collaboration / E. Chow ; M. C. Spence ; B. Pell ; H. Stewart ; D. Korsmeyer ; J. Liu ; H.-P. Chang ; C. Viernes ; A. Goforth
A Network Worm Vaccine Architecture / S. Sidiroglou
Indra: A Peer-to-Peer Approach to Network Intrusion Detection and Prevention / R. Janakiraman ; M. Waldvogel ; Q. Zhang
Verification of Access Control Coherence in Information System during Modifications / G. Goncalves ; F. Hemery ; A. Poniszewska
Supporting Digital Signatures in Mobile Environments / S. Campbell
Software Security Checklist for the Software Life Cycle / D. P. Gilliam ; T. L. Wolfe ; J. S. Sherif ; M. Bishop
Key Exchange (KX)--A Next Generation Protocol to Synchronise PGP Keyservers / A. von Bidder ; N. Weiler
Practical Anonymity for the Masses with Mix-Networks / M. Rennhard ; B. Plattner
Session: Trust Management
Cooperating through a Belief-Based Trust Computation / C. Castelfranchi ; R. Falcone ; G. Pezzulo
Design and Implementation of Virtual Private Services / S. M. Bellovin ; J. M. Smith
Attack-Resistance of Computational Trust Models / A. Twigg ; N. Dimmock
Short Paper--How Much Is "Enough"? Risk in Trust-Based Access Control
Trust Dynamics for Collaborative Global Computing / C. English ; S. Terzis ; W. Wagealla ; H. Lowe ; P. Nixon ; A. McGettrick
Workshop: Knowledge Management for Distributed Agile Processes (KMDAP)
KMDAP Workshop Report: Knowledge Management for Distributed Agile Processes: Models, Techniques, and Infrastructure / H. Holz ; G. Melnik ; M. Schaaf
Ontology-Based Information in Dynamic Environments / H. Stuckenschmidt
WebRat: Supporting Agile Knowledge Retrieval through Dynamic, Incremental Clustering and Automatic Labelling of Web Search Result Sets / M. Granitzer ; W. Kienreich ; V. Sabol ; G. Dosinger
Knowledge Sharing: Agile Methods vs. Tayloristic Methods / T. Chau ; F. Maurer
Requirements Engineering and Agile Software Development / F. Paetsch ; A. Eberlein
Lessons Learned about Distributed Pair Programming: What Are the Knowledge Needs to Address? / G. Canfora ; A. Cimitile ; C. A. Visaggio
Collaborative, Task-Specific Information Delivery for Agile Processes / J. Schafer
Using Design Rationales for Agile Documentation / T. Sauer
The PROGEMM Approach for Managing Clinical Processes / K. Maximini
Short Paper--Proactive Knowledge Distribution for Agile Processes / R. Weber
Weakly-Structured Workflows for Knowledge-Intensive Tasks: An Experimental Evaluation / L. van Elst ; F.-R. Aschoff ; A. Bernardi ; H. Maus ; S. Schwarz
KEPT: A Knowledge Elicitation Tool to Support Communities of Practice / E. Colombo ; F. Sartori
Workshop: Theory and Practice of Open Computational Systems (TAPOCS)
TAPOCS Workshop Report: First International Workshop on Theory and Practice of Open Computational Systems / M. Fredriksson ; R. Gustavsson ; A. Omicini ; A. Ricci
Quality of Service in Network-Centric Warfare and Challenges in Open Computational Systems Engineering
Supporting Coordination in Open Computational Systems with TuCSoN
Modeling Indirect Interaction in Open Computational Systems / D. Keil ; D. Goldin
An Agent-Based Computational Model for the Battle of Trafalgar: A Comparison between Analytical and Simulative Methods of Research / G. Trautteur ; R. Virgilio
The AMAS Theory for Complex Problem Solving Based on Self-Organizing Cooperative Agents / D. Capera ; J.-P. George ; M.-P. Gleizes ; P. Glize
Living Design for Open Computational Systems / G. Picard
Designing New Agent Based Applications Architectures with the AGP Methodology / E. Sanchis
Developing Adaptive and Context-Aware Applications in Dynamic Networks / M. Mamei ; F. Zambonelli
Author Index
Message from the General Chair / Gabriele Kotsis
Message from the WET ICE Organizer / Sumitra Mitra Reddy
Challenges in the Design of Security-Aware Processors / R. Lee
Models, Methods and Tools / Session 1:
Context-Aware Process Networks / H. van Dijk ; H. Sips ; E. Deprettere
Multi-Dimensional Incremental Loop Fusion for Data Locality / S. Verdoolaege ; M. Bruynooghe ; G. Janssens ; F. Catthoor
Switched Memory Architectures--Moving Beyond Systolic Arrays / R. Lakshminarayanan ; S. Rajopadhye
Hardware Synthesis for Multi-Dimensional Time / A.-C. Guillou ; P. Quinton ; T. Risset
Using Group Theory to Specify Application Specific Interconnection Networks for SIMD DSPs / T. Drager ; G. Fettweis
Design Methodology / Session 2:
Systematic Register Bypass Customization for Application-Specific Processors / K. Fan ; N. Clark ; M. Chu ; K. Manjunath ; R. Ravindran ; M. Smelyanskiy ; S. Mahlke
Storage Management in Process Networks Using the Lexicographically Maximal Preimage / A. Turjan ; B. Kienhuis
Energy Aware Register File Implementation through Instruction Predecode / J. Ayala ; M. Lopez-Vallejo ; A. Veidenbaum ; C. Lopez
Physical Planning for On-Chip Multiprocessor Networks and Switch Fabrics / T. Ye ; G. De Micheli
Automatic Instruction Set Extension and Utilization for Embedded Processors / A. Peymandoust ; L. Pozzi ; P. Ienne
Invited Session--Nanocomputing Technology and Systems / Session 3:
Nanotechnology in the Development of Future Computing Systems / T. Yamada ; M. Meyyappan
Circuit Characteristics of Molecular Electronic Components / D. Janes ; S. Ghosh ; J. Choi ; S. Lodha ; S. Bhattacharya
Reconfigurable Computing and Electronic Nanotechnology / S. Goldstein ; M. Budiu ; M. Mishra ; G. Venkataramani
Processors / Session 4:
Using Media Processors for Low-Memory AES Implementation / J. Irwin ; D. Page
Variable-Length Instruction Compression for Area Minimization / P. Simonen ; I. Saastamoinen ; J. Nurmi
A Generic Tool-Set for SoC Multiprocessor Debugging and Synchronization / A. Wieferink ; T. Kogel ; R. Leupers ; H. Meyr ; A. Nohl ; A. Hoffmann
Evaluating Memory Architectures for Media Applications on Coarse-Grained Reconfigurable Architectures / J.-e. Lee ; K. Choi ; N. Dutt
Application-Specific Computing with Adaptive Register File Architectures / R. Sangireddy ; A. Somani
Numeric Co-Processors / Session 5:
A Floating-Point CORDIC Based SVD Processor / Z. Liu ; K. Dickson ; J. McCanny
Combined Multiplication and Sum-of-Squares Units / M. Schulte ; L. Marquette ; S. Krithivasan ; E. Walters III ; J. Glossner
Comparison of Branching CORDIC Implementations / A. Singh ; D. Phatak ; T. Goff ; M. Riggs ; J. Plusquellic ; C. Patel
Unified Radix-4 Multiplier for GF(p) and GF(2[superscript n]) / L.-S. Au ; N. Burgess
Arbitrary Bit Permutations in One or Two Cycles / Z. Shi ; X. Yang
Multimedia Architectures / Session 6:
Color Space Conversion for MPEG Decoding on FPGA-Augmented TriMedia Processor / M. Sima ; S. Vassiliadis ; S. Cotofana ; J. van Eijndhoven
Reducing Dynamic Power Consumption in Next Generation DS-CDMA Mobile Communication Receivers / V. Chandrasekhar ; F. Livingston ; J. Cavallaro
An Efficient Disk-Array-Based Server Design for a Multicast Video Streaming System / P. Chan ; J. Lee
An Efficient PIM (Processor-In-Memory) Architecture for Motion Estimation / J.-Y. Kang ; S. Gupta ; S. Shah ; J.-L. Gaudiot
A VLSI Architecture for Advanced Video Coding Motion Estimation / S. Yap
Computer Arithmetic / Session 7:
Complex Division with Prescaling of Operands / M. Ercegovac ; J.-M. Muller
Iterative Methods for Logarithmic Subtraction / M. Arnold
A Family of Parallel-Prefix Modulo 2[superscript n] - 1 Adders / G. Dimitrakopoulos ; H. Vergos ; D. Nikolos ; C. Efstathiou
Performance-Improved Computation of Very Large Word-Length LNS Addition/Subtraction Using Signed-Digit Arithmetic / C. Chen ; R.-L. Chen
Decimal Multiplication Via Carry-Save Addition / M. Erle
Signal Processing Architectures / Session 8:
Reconfigurable Viterbi Decoding Using a New ACS Pipelining Technique / Y. Zhu ; M. Benaissa
Application-Specific DSP Architecture for Fast Fourier Transform / K. Heo ; S. Cho ; M. Sunwoo
An Architecture for a Radix-4 Modular Pipeline Fast Fourier Transform / A. El-Khashab ; E. Swartzlander, Jr
GFS: An Efficient Implementation of Fair Scheduling for Multi-Gigabit Packet Networks / G. Kornaros ; T. Orphanoudakis ; I. Papaefstathiou
Area and Time Efficient Modular Multiplication of Large Integers / V. Bunimov ; M. Schimmler
Cryptography / Session 9:
Modular Multiplication for FPGA Implementation of the IDEA Block Cipher / J.-L. Beuchat
Concurrent Fault Detection in a Hardware Implementation of the RC5 Encryption Algorithm / G. Bertoni ; L. Breveglieri ; I. Koren ; P. Maistri ; V. Piuri
Hardware Implementation of an Elliptic Curve Processor over GF(p) / S. Ors ; L. Batina ; B. Preneel ; J. Vandewalle
A Cryptographic Processor for Arbitrary Elliptic Curves over GF(2[superscript m]) / H. Eberle ; N. Gura ; S. Chang-Shantz
Instruction Set Extension for Fast Elliptic Curve Cryptography over Binary Finite Fields GF(2[superscript m]) / J. Grossschadl ; G.-A. Kamendje
sponsored by IEEE Computer Society, IEEE Computer Society Technical Committee on VLSI, IEEE Computer Society Technical Council on Test Technology ; in cooperation with IEEE Solid State Circuits Society ; [edited by Tom Wik, Adit Singh, and Rochit Rajsuman]
出版情報:
Los Alamitos, Calif. : IEEE Computer Society, c2003 ix, 95 p. ; 28 cm
Designing Next Generation Clusters with Infiniband: Opportunities and Challenges / D. Panda
Using MPI-2: Advanced Features of the Message Passing Interface / W. Gropp ; E. Lusk ; R. Ross ; R. Thakur
The Gridbus Toolkit for Grid and Utility Computing / R. Buyya
Building and Managing Clusters with NPACI Rocks / G. Bruno ; M. Katz ; P. Papadopoulos ; F. Sacerdoti ; L. Liew ; N. Ninaba
Technical Session
Grid Demo--Live Demonstrations of Grid Technologies and Applications
Scheduling I
Dynamic Scheduling of Parallel Real-time Jobs by Modelling Spare Capabilities in Heterogeneous Clusters / L. He ; S. Jarvis ; G. Nudd ; D. Spooner
Parallel Job Scheduling on Multicluster Computing Systems / J. Abawajy ; S. Dandamudi
Interstitial Computing: Utilizing Spare Cycles on Supercomputers / S. Kleban ; S. Clearwater
Applications
A Cluster-Based Solution for High Performance Hmmpfam Using EARTH Execution Model / W. Zhu ; Y. Niu ; J. Lu ; C. Shen ; G. Gao
Computing Large-scale Alignments on a Multi-cluster / C. Chen ; B. Schmidt
Auto-CFD: Efficiently Parallelizing CFD Applications on Clusters / L. Xiao ; X. Zhang ; Z. Kuang ; B. Feng ; J. Kang
Performance Analysis
Performance Analysis of a Large-Scale Cosmology Application on Three Cluster Systems / Z. Lan ; P. Deshikachar
A Performance Monitor Based on Virtual Global Time for Clusters of PCs / M. Taufer ; T. Stricker
A Distributed Performance Analysis Architecture for Clusters / H. Brunst ; W. Nagel ; A. Malony
Scheduling II
Co-ordinated Coscheduling in Time-Sharing Clusters through a Generic Framework / S. Agarwal ; G. Choi ; C. Das ; A. Yoo ; S. Nagar
A Robust Scheduling Strategy for Moldable Scheduling of Parallel Jobs / S. Srinivasan ; S. Krishnamoorthy ; P. Sadayappan
Towards Load Balancing Support for I/O-Intensive Parallel Jobs in a Cluster of Workstations / X. Qin ; H. Jiang ; Y. Zhu ; D. Swanson
Java
JavaSplit: A Runtime for Execution of Monolithic Java Programs on Heterogeneous Collections of Commodity Workstations / M. Factor ; A. Schuster ; K. Shagin
Performance Analysis of Java Message-Passing Libraries on Fast Ethernet, Myrinet and SCI Clusters / G. Taboada ; J. Tourino ; R. Doallo
Compiler Optimized Remote Method Invocation / R. Veldema ; M. Philippsen
Communication I
Optimizing Mechanisms for Latency Tolerance in Remote Memory Access Communication on Clusters / J. Nieplocha ; V. Tipparaju ; M. Krishnan ; G. Santhanaraman
Impact of Computational Resource Reservation to the Communication Performance in the Hypercluster Environment / K. Tse ; P. Lun
Kernel Implementations of Locality-Aware Dispatching Techniques for Web Server Clusters / M. Di Santo ; N. Ranaldo ; E. Zimeo
Middleware
OptimalGrid: Middleware for Automatic Deployment of Distributed FEM Problems on an Internet-Based Computing Grid / T. Lehman ; J. Kaufman
Adaptive Grid Resource Brokering / A. Othman ; P. Dew ; K. Djemame ; I. Gourlay
HPCM: A Pre-compiler Aided Middleware for the Mobility of Legacy Code / C. Du ; X. Sun ; K. Chanchio
Cluster/Job Management I
The Process Management Component of a Scalable Systems Software Environment / R. Butler ; N. Desai ; A. Lusk
Load Distribution for Heterogeneous and Non-Dedicated Clusters Based on Dynamic Monitoring and Differentiated Services / L. Sato ; H. Senger
GridRM: An Extensible Resource Monitoring System / M. Baker ; G. Smith
I/O I
A High Performance Redundancy Scheme for Cluster File Systems / M. Pillai ; M. Lauria
VegaFS: A Prototype for File-Sharing Crossing Multiple Administrative Domains / W. Li ; J. Liang ; Z. Xu
Design and Performance of the Dawning Cluster File System / J. Xiong ; S. Wu ; D. Meng ; N. Sun ; G. Li
Novel Systems
Coordinated Checkpoint versus Message Log for Fault Tolerant MPI / A. Bouteiller ; P. Lemarinier ; G. Krawezik ; F. Cappello
A Performance Comparison of Linux and a Lightweight Kernel / R. Brightwell ; R. Riesen ; K. Underwood ; T. Hudson ; P. Bridges ; A. Maccabe
Implications of a PIM Architectural Model for MPI / A. Rodrigues ; R. Murphy ; P. Kogge ; J. Brockman
Cluster/Job Management II
Reusable Mobile Agents for Cluster Computing / I. Satoh
High Service Reliability for Cluster Server Systems / M. Deris ; M. Rabiei ; A. Noraziah ; H. Suzuri
Wide Area Cluster Monitoring with Ganglia / M. Massie ; D. Culler
Novel Software
Efficient Parallel Out-of-core Matrix Transposition / G. Baumgartner ; D. Cociorva ; C. Lam
A Case Study of Parallel I/O for Biological Sequence Search on Linux Clusters
CTFS: A New Light-weight, Cooperative Temporary File System for Cluster-Based Web Servers / J. Wang
I/O II
Efficient Structured Data Access in Parallel File Systems / A. Ching ; A. Choudhary ; W. Liao
View I/O: Improving the Performance of Non-contiguous I/O / F. Isaila ; W. Tichy
Supporting Efficient Noncontiguous Access in PVFS over InfiniBand / J. Wu ; P. Wyckoff
Scheduling III
A General Self-adaptive Task Scheduling System for Non-dedicated Heterogeneous Computing / M. Wu
Adding Memory Resource Consideration into Workload Distribution for Software DSM Systems / Y. Liu ; C. Shieh ; T. Liang
An Energy-Based Implicit Co-scheduling Model for Beowulf Cluster / S. Sriprayoonsakul ; P. Uthayopas
High Availability
Availability Prediction and Modeling of High Availability OSCAR Cluster / L. Shen ; C. Leangsuksun ; T. Liu ; H. Song ; S. Scott
A System Recovery Benchmark for Clusters / I. Pramanick ; J. Mauro ; J. Zhu
Performance Evaluation of Routing Algorithms in RHiNET-2 Cluster / M. Koibuchi ; K. Watanabe ; K. Kono ; A. Jouraku ; H. Amano
Communications II
Application-Bypass Reduction for Large-Scale Clusters / A. Wagner ; D. Buntias
Improving the Performance of MPI Derived Datatypes by Optimizing Memory-Access Cost / S. Byna
Shared Memory Mirroring for Reducing Communication Overhead on Commodity Networks / B. Palmer ; E. Apra
Poster Session/Short Papers
"Plug-and-Play" Cluster Computing Using Mac OS X / D. Dauger ; V. Decyk
Improving Performance of a Dynamic Load Balancing System by Using Number of Effective Tasks / M. Choi ; J. Yu ; H. Kim ; S. Maeng
Dynamic Self-Adaptive Replica Location Method in Data Grids / D. Li ; N. Xiao ; X. Lu ; K. Lu ; Y. Wang
Efficient Distributed Disk Caching in Data Grid Management / S. Jiang
Optimized Implementation of Extendible Hashing to Support Large File System Directory / R. Tang
Parallel Design Pattern for Computational Biology and Scientific Computing Applications / W. Liu
FJM: A High Performance Java Message Library / T. Hsiao ; M. Cheng ; H. Chiao ; S. Yuan
Cluster Architecture with Lightweighted Redundant TCP Stacks / H. Jin ; Z. Shao
From Clusters to the Fabric: The Job Management Perspective / T. Roblitz ; F. Schintke ; A. Reinefeld
Towards an Efficient Cluster-Based E-Commerce Server / V. Ungureanu ; B. Melamed ; M. Katehakis
A Kernel Running in a DSM--Design Aspects of a Distributed Operating System / R. Goeckelmann ; M. Schoettner ; S. Frenz ; P. Schulthess
Distributed Recursive Sets: Programmability and Effectiveness for Data Intensive Applications / R. Diaconescu ; R. Conradi
Run-Time Prediction of Parallel Applications on Shared Environments / B. Lee ; J. Schopf
An Instance-Oriented Security Mechanism in Grid-Based Mobile Agent System / T. Ma ; S. Li
A Hierarchical and Distributed Approach for Mapping Large Applications to Heterogeneous Grids Using Genetic Algorithms / S. Sanyal ; A. Jain ; S. Das ; R. Biswas
BCFG: A Configuration Management Tool for Heterogeneous Clusters / R. Bradshaw ; R. Evard
Communication Middleware Systems for Heterogenous Clusters: A Comparative Study / D. Balkanski ; M. Trams ; W. Rehm
QoS-Aware Adaptive Resource Management in Distributed Multimedia System Using Server Clusters / M. Moghal ; M. Mian
On the InfiniBand Subnet Discovery Process / A. Bermudez ; R. Casado ; F. Quiles ; T. Pinkston ; J. Duato
Euromicro Conference on Parallel, Distributed and Network-Based Processing ; IEEE Computer Society ; Clematis, Andrea ; IMATI-CNR Genova ; European Comission Information Society Technologies Programme
出版情報:
Los Alamitos, Calif. : IEEE Computer Society, c2003 xiv, 553 p. ; 28 cm
[sponsored by IEEE Computer Society, Information Processing Society of Japan, Society of Instrument and Control Engineers of Japan, Institute of Electronics, Information, and Communication Engineers, Japan, AICA]
出版情報:
Los Alamitos, Calif. : IEEE Computer Society, c2003 xvi, 336 p. ; 28 cm
Distributed Systems: Lessons Learned and Challenges Remaining / Alfred Z. Spector
Kanai Award 2002
Software Development Support for Next-Generation Distributed Embedded Systems / Stephen S. Yau
Keynote Address 1
Autonomic Computing / David L. Cohn
Group Coordination and Management / Session 1:
Managing Dynamic Groups of Mobile Systems / S. Schemmer ; E. Nett
Assuring Interoperability in Heterogeneous, Autonomous and Decentralized Multi-Agent Systems / H. Suguri ; E. Kodama ; M. Miyazaki
Dynamic Information Allocation through Mobile Agents to Achieve Load Balancing in Evolving Environment / H. F. Ahmad
Architectures 1 / Session 2:
The Central Guardian Approach to Enforce Fault Isolation in the Time-Triggered Architecture / G. Bauer ; H. Kopetz ; W. Steiner
An Adaptable Architecture for Secure Delivery of Converged Services / J. Li ; W. Chou ; X. Shan ; F. Liu ; W. E. Wong
A GUI Approach to Programming of TMO Frames and Design of Real-Time Distributed Computing Software / K. H. Kim ; S.-J. Kang
Application Based on Agents and Mobility / Session 3:
Distributed Motion Coordination with Co-Fields: A Case Study in Urban Traffic Management / M. Mamei ; F. Zambonelli ; L. Leonardi
Proposal of an Autonomous Group-Management Model and Its Application to Intelligent Transport System / A. Shimura ; T. Sakaibara ; M. Hiraiwa ; T. Aizono
Hand-OLAP: A System for Delivering OLAP Services on Handheld Devices / A. Cuzzocrea ; F. Furfaro ; D. Sacca
Keynote Address 2
Strategic Railway Systems Using ADS Technologies in Japan / Yoshio Ishida
Fault Tolerance / Session 4:
Structuring Integrated Web Applications for Fault Tolerance / A. Romanovsky ; P. Periorellis ; A. F. Zorzo
Message Logging and Recovery in Wireless CORBA Using Access Bridge / X. Chen ; M. R. Lyu
Mobile Agent Fault Tolerance for Information Retrieval Applications: An Exception Handling Approach / S. Pears ; J. Xu ; C. Boldyreff
Real-Time / Session 5:
Predicting Timeliness of Reactive Systems under Flexible Scheduling / G. Bucci ; A. Fedeli ; E. Vicario
Dynamic Three-Value Logic in Decentralized Time-Critical Domains / M. G. Ceruti ; S. H. Rubin
Fault Containment and Error Detection in the Time-Triggered Architecture
Security and QoS / Session 6:
Specification of Secure Distributed Collaboration Systems / A. R. Tripathi ; T. Ahmed ; R. Kumar
Managing eBusiness on Demand SLA Contracts in Business Terms Using the Cross-SLA Execution Manager SAM / M. Buco ; R. Chang ; L. Luan ; C. Ward ; J. Wolf ; P. Yu
Panel Session
Uncertain, Dynamic, Out of Control? Coordination and Cooperation in Next Generation Systems
Keynote Address 3
The Modest Software Engineer / Martyn Thomas
Verification and Testing / Session 7:
TTCN-3 Based Online Test and Validation Platform for Internet Services / P. H. Deussen ; G. Din ; I. Schieferdecker
Software Testing for Mobile and Ubiquitous Computing / I. Satoh
A Rigorous Approach to Modeling Autonomous Traffic Control Systems / V. S. Alagar ; D. Muthiayen
Special Session Research and Development of Autonomous Decentralized Systems in East Asia I / Session I-1:
A Train Control System for Low-Density Lines Based on Intelligent Autonomous Decentralized System (IADS) / T. Tao ; B. Cai
Autonomous Coordination in Sensor Networks: Heterogeneous ADS / Y. Tan ; Q. Li ; Q. Qian ; K. Mori
Study on Essential Characteristics of RITS / J. Limin ; J. Qiuhua
Information Dissemination / Session 8:
Autonomous Integration and Provision of Heterogeneous Information Services in Distributed Information System / X. Lu ; Y. Zhou ; H. Arfaoui
I-Centric Services Based on Super Distributed Objects / S. Steglich ; R. N. Vaidya ; O. Gimpeliovskaja ; S. Arbanovski ; R. Popescu-Zeletin ; S. Sameshima ; K. Kawano
An Approach to Developing Information Dissemination Service for Ubiquitous Computing Applications / S. S. Yau ; S. I. Ahamed
Special Session Research and Development of Autonomous Decentralized Systems in East Asia II / Session I-2:
Flexible Autonomous Decentralized Technology for Heterogeneous Requirements from Reusable Launch Vehicle / T. Morito ; M. Ohno ; M. Wakamiya
Assurance Technology for Coexisting Test and Operation Subsystems and Its Application to Train Control System / M. Matsumoto
Autonomous Successive Construction Technology without Stopping System Operation for Real-Time System / K. Kera ; K. Bekki ; H. Osumi
Networks / Session 9:
Implementation and Evaluation of Autonomous Decentralized System Based Mobile Communications Platform for ITS Services
A Distributed Network Connectivity Algorithm / E. P. Duarte Jr. ; A. Weber
An Adaptive Multihop Clustering Scheme for Highly Mobile Ad Hoc Networks / T. Ohta ; S. Inoue ; Y. Kakuda
Architecture 2 / Session 10:
Patia: Adaptive Distributed Webserver (A Position Paper) / J. A. McCann ; G. Jawaheer ; L. Sun
Stability and Adaptability of Autonomous Decentralized Flow Control in High-Speed Networks / C. Takano ; M. Aida
An Experience on CORBA Component Deployment / M. C. B. Barros ; E. R. M. Madeira ; I. Sotoma
Panel Session: The Future of Autonomous Decentralized Systems
The Future of Autonomous Decentralized Systems
Autonomy and Community
Supporting Future ADS Applications in Ubiquitous Computing Environments Using Adaptive, Context-Sensitive Middleware
Dependable Computing for National Security: A Position Paper / B. Thuraisingham
New Horizons for Mobile Computing / R. Want ; T. Pering
Middleware Services / Session PC-1:
Portability, Extensibility and Robustness in iROS / S. Ponnekanti ; B. Johanson ; E. Kiciman ; A. Fox
Touch-and-Connect: A Connection Request Framework for Ad-hoc Networks and the Pervasive Computing Environment / Y. Iwasaki ; N. Kawaguchi ; Y. Inagaki
Application-Service Interoperation without Standardized Service Interfaces
Sensor Networks / Session PC-2:
Node-Level Energy Management for Sensor Networks in the Presence of Multiple Applications / A. Boulis ; M. Srivastava
Energy-Optimal and Energy-Balanced Sorting in a Single-Hop Sensor Network / M. Singh ; V. Prasanna
Energy-Aware Target Localization in Wireless Sensor Networks / Y. Zou ; K. Chakrabarty
Ubiquitous Services / Session MA-1:
Seamless Service Platform for Following a User's Movement in a Dynamic Network Environment / K. Takasugi ; M. Nakamura ; S. Tanaka ; M. Kubota
WiFi Bridge: Wireless Mobility Framework Supporting Session Continuity / A. Calvagna ; G. Morabito ; A. La Corte
Self-Routing in Pervasive Computing Environments Using Smart Messages / C. Borcea ; C. Intanagonwiwat ; A. Saxena ; L. Iftode
Pervasive Computing Environments / Session PC-3:
Movement Awareness for a Sentient Environment / R. Headon
Adaptive Offloading Inference for Delivering Applications in Pervasive Computing Environments / X. Gu ; K. Nahrstedt ; A. Messer ; I. Greenberg ; D. Milojicic
An Architecture that Treats Everyday Objects as Communicating Tangible Components / A. Kameas ; S. Bellis ; I. Mavrommati ; K. Delaney ; M. Colley ; A. Pounds-Cornish
Pervasive Environments / Session PC-4:
Using Personnel Movements for in-Door Autonomous Environment Discovery / R. Harle ; A. Hopper
Providing Contextual Information to Pervasive Computing Applications / G. Judd ; P. Steenkiste
WLAN Location Determination via Clustering and Probability Distributions / M. Youssef ; A. Agrawala ; U. Shankar
Context Aware Computing / Session MA-2:
Trust for Ubiquitous, Transparent Collaboration / B. Shand ; N. Dimmock ; J. Bacon
Collaborative Context Recognition for Handheld Devices / J. Mantyjarvi ; J. Himberg ; P. Huuskonen
Dynamic Application Composition: Customizing the Behaviour of an Active Space / M. Roman ; B. Ziebart ; R. Campbell
Ad Hoc Networks / Session PC-5:
On Security Study of Two Distance Vector Routing Protocols for Mobile Ad Hoc Networks / W. Wang ; Y. Lu ; B. Bhargava
Study of Distance Vector Routing Protocols for Mobile Ad Hoc Networks / Y. Zhong
Dynamic Bandwidth Management for Single-Hop Ad Hoc Wireless Networks / S. Shah ; K. Chen
Location-Aware Systems / Session PC-6:
Location-Based E-Campus Web Services: From Design to Deployment / S. Koo ; C. Rosenberg ; H.-H. Chan ; Y. Lee
A High Performance Privacy-Oriented Location System / M. Hazas ; A. Ward
Indirect Routing Using Distributed Location Information / A. Viana ; M. de Amorim ; S. Fdida ; J. de Rezende
Resource Identification and Naming / Session MA-3:
Splendor: A Secure, Private, and Location-Aware Service Discovery Protocol Supporting Mobile Services / F. Zhu ; M. Mutka ; L. Ni
Context-Sensitive Resource Discovery / G. Chen ; D. Kotz
Smart Identification Frameworks for Ubiquitous Computing Applications / K. Romer ; T. Schoch ; F. Mattern ; T. Dubendorfer
Location-Based Services / Session PC-7:
PILGRIM: A Location Broker and Mobility-Aware Recommendation System / M. Brunato ; R. Battiti
Location-Detection Strategies in Pervasive Computing Environments / S. Fischmeister ; G. Menkhaus ; A. Stumpfl
Dealing with Continuous Location-Dependent Queries: Just-in-Time Data Refreshment / S. Ilarri ; E. Mena ; A. Illarramendi
Networking Issues / Session PC-8:
Evaluation of Kalman Filtering for Network Time Keeping / A. Bletsas
Spatial Index On Air / B. Zheng ; W.-C. Lee ; D. Lee
Using Peer-to-Peer Data Routing for Infrastructure-Based Wireless Networks / S. Kodeswaran ; O. Ratsimor ; A. Joshi ; T. Finin ; Y. Yesha
Philosophy of Intelligent Environments / Session IE-1:
Steerable Interfaces for Pervasive Computing Spaces / G. Pingali ; C. Pinhanez ; A. Levas ; R. Kjeldsen ; M. Podlaseck ; H. Chen ; N. Sukaviriya
Using Semantic Networks for Knowledge Representation in an Intelligent Environment / S. Peters ; H. Shrobe
Managing Behaviour of Intelligent Environments / S. Yoshihama ; P. Chou ; D. Wong
Mobile Services / Session PC-9:
A Performance Comparison of Scatternet Formation Protocols for Networks of Bluetooth Devices / S. Basagni ; R. Bruno ; C. Petrioli
Sharing Presence Information and Message Notification in an Ad Hoc Network / D. Zhu
Mobile Link Services with MQSeries Everyplace / S. Vivek ; K. Tso ; D. De Roure
Devices for Pervasive Computing / Session PC-10:
A System of Card Type Battery-less Information Terminal: CardBIT for Situated Interaction / Y. Nakamura ; T. Nishimura ; H. Itoh ; H. Nakashima
Interaction in Pervasive Computing Settings Using Bluetooth-Enabled Active Tags and Passive RFID Technology Together with Mobile Phones / F. Siegemund ; C. Florkemeier
A Pervasive Keyboard--Separating Input from Display / C. Magerkurth ; R. Stenzel
Activity Recognition / Session IE-2:
Object Labelling from Human Action Recognition / P. Peursum ; S. Venkatesh ; G. West ; H. Bui
LANDMARC: Indoor Location Sensing Using Active RFID / Y. Liu ; Y. Lau ; A. Patil
Recognition of Human Activity through Hierarchical Stochastic Learning / S. Luhr
Resource Management / Session PC-11:
ReCalendar: Calendaring and Scheduling Applications with CPU and Energy Resource Guarantees for Mobile Devices / W. Yuan
Adaptation of Web Contents and Services to Terminals Capabilities: The @Terminals Approach / E. Di Nitto ; G. Sassaroli ; M. Zuccala
System Level Design Issues / Session MA-4:
BASE--A Micro-Broken-Based Middleware for Pervasive Computing / C. Becker ; G. Schiele ; H. Gubbels ; K. Rothermel
Synthesizing Distributed Controllers for the Safe Operation of Connected Spaces / B. Sridharan ; A. Mathur ; K.-Y. Cai
Mobile Agent Based Evacuation System When the Battery Runs Out: EASTER / H. Kaneko ; Y. Fukazawa ; F. Kumeno ; N. Yoshioka ; S. Honiden
Location Detection / Session IE-3:
System Design of Smart Table / P. Steurer
Location Aware Resource Management in Smart Homes / A. Roy ; S. Das ; A. Bhattacharya ; K. Basu ; D. Cook
Cerberus: A Context-Aware Security Scheme for Smart Spaces / J. Al-Muhtadi ; A. Ranganathan ; M. Mickunas
Session PC-S: Short Papers
Pervasive Messaging / J.-M. Wams ; M. van Steen
MACA-P: A MAC for Concurrent Transmissions in Multi-Hop Wireless Networks / A. Acharya ; A. Misra ; S. Bansal
LABAR: Location Area Based Ad Hoc Routing for GPS Scarce Wide-Area Ad Hoc Networks / G. Zaruba ; V. Chaluvadi ; A. Suleman
Bio-Inspired Mobility in Environment Aware Wireless Sensor Networks / S. Doumit ; D. Agrawal
Session: IE-S: Short Papers
MavHome: An Agent-Based Smart Home / M. Youngblood ; E. Heierman ; K. Gopalratnam ; S. Rao ; A. Litvin ; F. Khawaja
A New in-Door Location Detection Method Adopting Learning Algorithms / T. Ogawa ; S. Yoshino ; M. Shimizu ; H. Suda
Enabling Location-Aware Pervasive Computing Applications for the Elderly / S. Helal ; B. Winkler ; C. Lee ; Y. Kaddoura ; l. Ran ; C. Giraldo ; S. Kuchibhotla ; W. Mann
Self-Adaptive Leasing for Jini / K. Bowers ; K. Mills ; S. Rose
Scalable Home Network Interaction Model Based on Mobile Agents / J.-J. Yoo ; D.-I. Lee
Context-Aware Agent Platform in Ubiquitous Environments and Its Verification Tests / M. Hattori ; K. Cho ; A. Ohsuga ; M. Isshiki
Making Java-Enabled Mobile Phone as Ubiquitous Terminal by Lightweight FIPA Compliant Agent Platform / G. Hattori ; S. Nishiyama ; C. Ono ; H. Horiuchi
edited by Hyeong-Seok Ko, organized by Graphics & Media Lab., Collage of Engineering at Seoul National University ; sponsored by Korea Computer Graphics Society ... [et al.]
出版情報:
Los Alamitos, Calif. : IEEE Computer Society, c2001 x, 261 p. ; 28 cm
sponsored by IEEE Computer Society...[et al.] ; in cooperation with ACM Sigsoft, IFIP Working Group 2.9, International Council on Systems Engineering (INCOSE)
出版情報:
Los Alamitos, California : IEEE Computer Society, c2003 xv, 378 p. ; 28 cm
The Journey toward Secure Systems: Achieving Assurance / Steve Lipner
Modern Systems Engineering: A Driving Force for Industrial Competitivity! / Heinz Stoewer
Technical Papers
Requirements Evolution / Session P1:
In Situ Requirements Analysis: A Deeper Examination of the Relationship between Requirements Determination and Project Selection / M. Bergman ; G. Mark
Requirements Stability Assessment Using Scenarios / D. Bush ; A. Finkelstein
Resolving Requirements Discovery in Testing and Operations / R. Lutz ; I. Mikulski
Requirements for Business Systems / Session P2:
Lessons Learnt from Five Years of Experience in ERP Requirements Engineering / M. Daneva
Requirements Engineering for a Pervasive Health Care System / J. Jorgensen ; C. Bossen
Monitoring Web Service Requirements / W. Robinson
DWARF: An Approach for Requirements Definition and Management of Data Warehouse Systems / F. Paim ; J. de Castro
Combining Formal and Informal Techniques / Session P3:
Acquiring and Incorporating State-Dependent Timing Requirements / C.-S. Shih ; J. Liu
Refinement-Based Requirements Modeling Using Triggered Message Sequence Charts / B. Sengupta ; R. Cleaveland
Specifying and Analyzing Early Requirements: Some Experimental Results / A. Fuxman ; L. Liu ; M. Pistore ; M. Roveri ; J. Mylopoulos
Goal-Driven Requirements / Session P4:
Requirements Analysis for Customizable Software: A Goals-Skills-Preferences Framework / B. Hui ; S. Liaskos
Adding Hypermedia Requirements to Goal-Driven Analysis / D. Bolchini ; P. Paolini ; G. Randazzo
Improving Requirements Tracing via Information Retrieval / J. Hayes ; A. Dekhtyar ; J. Osborne
Requirements Elicitation / Session P5:
Security and Privacy Requirements Analysis within a Social Setting / E. Yu
Formal Structure for Specifying the Content and Quality of the Electronic Health Record / H. Covvey ; D. Zitner ; D. Berry ; D. Cowan ; M. Shepherd
Elicitation Technique Selection: How Do Experts Do It? / A. Hickey ; A. Davis
Making Formal Techniques Usable / Session P6:
A Reference Model for Requirements Engineering / J. Hall ; L. Rapanotti
Understanding and Comparing Model-Based Specification Notations / J. Niu ; J. Atlee ; N. Day
Deriving Tabular Event-Based Specifications from Goal-Oriented Requirements Models / R. De Landtsheer ; E. Letier ; A. van Lamsweerde
Requirements Elicitation (2) / Session P7:
Determining Socio-technical Systems Requirements: Experiences with Generating and Walking through Scenarios / A. Mavin ; N. Maiden
Requirements Elicitation for the Design of Venue Operations for the Athens 2004 Olympic Games / P. Loucopoulos ; K. Zografos ; N. Prekas
Teaching Requirements Engineering through Role Playing: Lessons Learnt / D. Zowghi ; S. Paryani
Requirements Prioritizing and Negotiation / Session P8:
A Benchmarking Method for Information Systems / L. Hagge ; J. Kreutzkamp
An Analytical Model for Requirements Selection Quality Evaluation in Product Software Development / B. Regnell ; L. Karlsson ; M. Host
Evolutionary Requirements Analysis / A. Sutcliffe ; W.-C. Chang ; R. Neville
Industry Talks
Requirements Analysis / Industry Session 1:
Customer Requirements and User Requirements: Why the Discrepancies? / M. Deraitus ; A. Miller
Evaluating the Quality of a UML Business Model / B. Berenbach
Using Convergent Design Processes to Surface Hidden Ambiguity and Conflict in Requirements / R. Barnes
Requirements Gathering / Industry Session 2:
Embracing Requirements Variety for e-Governments Based on Multiple Product-Lines Frameworks / M. Aoyama ; K. Watanabe ; Y. Nishio ; Y. Moriwaki
From Requirements to Release Criteria: Specifying, Monitoring, and Demonstrating Product Quality / E. Simmons
The Automated Extraction of Requirements from UML Models
Metrics & Measurement / Industry Session 3:
Measuring Requirements Traceability from Multiple Angles at Multiple Lifecycle Entry Points / D. Becker
One Approach to the Metric Baselining Imperative for Requirements Processes / R. Chardon ; M. Dorfman
RE in Flatness Measurement and Control Systems Development at ABB / N. Yilmazturk
State of Practice / Industry Session 4:
Daily Challenges in Requirements Engineering / F. Salvatore ; T. Alameda
Practical Lessons from 40 System Integrating Projects / T. Nakamura ; S. Matsuda
Requirements Based Testing at HP OpenView / G. Heller ; P. Vollmer
Testing & Traceability / Industry Session 5:
Testing with Partial Traced Requirements: A Necessary Step towards Higher Quality System Level Verification / S. Catrava
Requirements, Configuration Management and Traceability for Safety Critical Software / G. Romanski
Requirement Tracking: A Streamlined Approach / J. Archer
Mini-Tutorials
Ontology as a Requirements Engineering Product / K. Breitman ; J. Leite
Scenario-Based Requirements Engineering
QFD for Customer-Focused Requirements Engineering / G. Herzwurm ; S. Schockert ; W. Pietsch
Panel Sessions
Marketing Meets Requirements Engineering / M. Rossi ; T. Tuunanen
Requirements Engineering in Practice: Making the Business Case for Requirements Engineering / N. Mead ; N. Kameli
Poster Presentations and Research Tool Demos
Posters and Demos Session 1
Demos
Nimbus: A Tool for Specification Centered Development / M. Heimdahl ; M. Whalen ; J. Thompson
FAUST: Formal Analysis Using Specification Tools / A. Rifaut ; P. Massonet ; J.-F. Molderez ; C. Ponsard ; P. Stadnik ; H. Tran Van
SMaRT-Scenario Management and Requirements Tool / W. Stufflebeam ; A. Anton ; T. Alspaugh
Relating Practitioner Needs to Research Activities / M. Feather ; T. Menzies ; J. Connelly
Poster Presentations
Contrasting Use Case, Goal, and Scenario Analysis of the Euronet System
Trade-Off Analysis between Security Policies for Java Mobile Codes and Requirements for Java Application / H. Kaiya ; K. Sasaki ; Y. Maebashi ; K. Kaijiri
Bringing Usability to the Early Stages of Software Development / L. Cysneiros ; A. Kushniruk
Posters and Demos Session 2
Goal-Oriented Idea Generation Method for Requirements Elicitation / K. Oshiro ; K. Watahiki ; M. Saeki
Software Requirements for Architectured Systems / E. Navarro ; I. Ramos ; J. Perez
Market Driven Requirements Elicitation via Critical Success Chains
Integrating RE Methods to Support Use Case Based Requirements Specification / S. Jones ; M. Flynn
Introducing Abuse Frames for Analysing Security Requirements / L. Lin ; B. Nuseibeh ; D. Ince ; M. Jackson ; J. Moffett
An Approach to Visualise and Reconcile Use Case Descriptions from Multiple Viewpoints / D. Richards ; A.-B. Fure ; O. Aguilera
Media-Assisted Product and Process Requirements Traceability in Supply Chains / M. Jarke ; O. Fritzen ; M. Miatidis ; M. Schluter
High-Speed Link Design, Then and Now / M. Horowitz
Terascale Computing and BlueGene / W. Pulley
Advanced EDA Tools for High-Performance Design / T. Vucurevich
Energy Efficiency / Session 1.1:
Energy Efficient Asymmetrically Ported Register Files / A. Aggarwal ; M. Franklin
Power Efficient Data Cache Designs / J. Abella ; A. Gonzalez
On Reducing Register Pressure and Energy in Multiple-Banked Register Files
Low Power Multiplication Algorithm for Switching Activity Reduction through Operand Decomposition / M. Ito ; D. Chinnery ; K. Keutzer
Timing Verification / Session 1.2:
Verification of Timed Circuits with Failure Directed Abstractions / H. Zheng ; C. Myers ; D. Walter ; S. Little ; T. Yoneda
Procedures for Identifying Untestable and Redundant Transition Faults in Synchronous Sequential Circuits / G. Chen ; S. Reddy ; I. Pomeranz
Event-Centric Simulation of Crosstalk Pulse Faults in Sequential Circuits / M. Phadoongsidhi ; K. Saluja
Specifying and Verifying Systems with Multiple Clocks / E. Clarke ; D. Kroening ; K. Yorav
Electrical Analysis for System LSI / Session 1.3:
Enhanced QMM-BEM Solver for 3-D Finite-Domain Capacitance Extraction with Multilayered Dielectrics / W. Yu ; Z. Wang ; X. Hong
An Improved Method for Fast Noise Estimation Based on Net Segmentation / C. Huang ; A. Dasgupta
Symbolic Failure Analysis of Custom Circuits due to Excessive Leakage Current / H. Song ; S. Bohidar ; I. Bahar ; J. Grodstein
An Efficient Algorithm for Calculating the Worst-case Delay due to Crosstalk / V. Rajappan ; S. Sapatnekar
Power Optimization / Session 2.1:
A Compact Model for Analysis and Design of On-chip Power Network with Decoupling Capacitors / P. Zarkesh-Ha ; K. Doniger ; W. Loh ; D. Sun ; R. Stephani ; G. Priebe
Precomputation-Based Guarding for Dynamic and Leakage Power Reduction / A. Abddollahi ; M. Pedram ; F. Fallah ; I. Ghosh
Charge-Recycling Voltage Domains for Energy-Efficient Low-Voltage Operation of Digital CMOS Circuits / S. Rajapandian ; Z. Xu ; K. Shepard
Low Power Adder with Adaptive Supply Voltage / H. Suzuki ; W. Jeong ; K. Roy
A Transparent Voltage Conversion Method and Its Application to a Dual-Supply-Voltage Register File / N. Tzartzanis ; W. Walker
Invited Session: Gene Chip Design / Session 2.2:
Detection of Biological Molecules: From Self-Assembled Films to Self-Integrated Devices / R. Levicky
Embedded Tutorial
Design Flow Enhancements for DNA Arrays / A. Kahng ; I. Mandoiu ; S. Reda ; X. Xu ; A. Zelikovsky
System Level Design / Session 2.3:
Bus Architecture Synthesis for Hardware-Software Co-Design of Deep Submicron Systems on Chip / N. Thepayasuwan ; V. Damle ; A. Doboli
Dynamically Optimized Synchronous Communication for Low Power System on Chip Designs / V. Chandra ; G. Carpenter ; J. Burns
Interface Synthesis Using Memory Mapping for an FPGA Platform / M. Luthra ; S. Gupta ; N. Dutt ; R. Gupta ; A. Nicolau
Efficient Synthesis of Networks On Chip / A. Pinto ; L. Carloni ; A. Sangiovanni-Vincentelli
Reducing Compilation Time Overhead in Compiled Simulators / M. Reshadi
Systems Performance / Session 3.1:
Profiling Interrupt Handler Performance through Kernel Instrumentation / B. Moore ; T. Slabach ; L. Schaelicke
Design and Performance of Compressed Interconnects for High Performance Servers / K. Kant ; R. Iyer
Routed Inter-ALU Networks for ILP Scalability and Performance / K. Sankaralingam ; V. Singh ; S. Keckler ; D. Burger
Micro Processor Test & Diagnosis / Session 3.2:
Automatic Generation of Critical-Path Tests for a Partial-Scan Microprocessor / D. Bhavsar ; V. Bettada ; R. Davies
Test Generation for Non-separable RTL Controller-datapath Circuits Using a Satisfiability Based Approach / L. Lingappan ; S. Ravi ; N. Jha
Cost-Effective Graceful Degradation in Speculative Processor Subsystems: The Branch Prediction Case / S. Almukhaizim ; T. Verdel ; Y. Makris
Multiple Fault Diagnosis Using n-Detection Tests / M. Marek-Sadowska ; K. Tsai ; J. Rajski
Physical Design / Session 3.3:
A Physical Design Methodology for 1.3GHz SPARC64 Microprocessor / N. Ito ; H. Komatsu ; Y. Tanamura ; R. Yamashita ; H. Sugiyama ; Y. Sugiyama ; H. Hamamura
Physical Design of the "2.5D" Stacked System / Y. Deng ; W. Maly
Flow-Based Cell Moving Algorithm for Desired Cell Distribution / B. Choi ; H. Xu ; M. Wang ; M. Sarrafzadeh
Performance Optimization / Session 4.1:
NpBench: A Benchmark Suite for Control plane and Data plane Applications for Network Processors / B. Lee ; L. John
Hardware-Only Compression of Underutilized Address Buses: Design and Performance, Power, and Cost Analysis / N. Mahapatra ; J. Liu ; K. Sundaresan
Pipelined Multiplicative Division with IEEE Rounding / G. Even ; P. Seidel
Clock & Signal Distribution / Session 4.2:
Design of Resonant Global Clock Distributions / S. Chan ; P. Restley
Modeling and Mitigation of Jitter in Multi-Gbps Source-Synchronous I/O Links / G. Balamurugan ; N. Shanbhag
A Mixed-Mode Delay-Locked Loop Architecture / D. Eckerbert ; L. Svensson ; P. Larsson-Edefors
Optimal Inductance for On-chip RLC Interconnections / S. Das ; K. Agarwal ; D. Blaauw ; D. Sylvester
Performance and Power-Driven Physical Design / Session 4.3:
Spec Based Flip-Flop and Buffer Insertion / N. Akkiraju ; M. Mohan
A Microeconomic Model for Simultaneous Gate Sizing and Voltage Scaling for Power Optimization / N. Ranganathan ; A. Murugavel
A Simple Yet Effective Merging Scheme for Prescribed-Skew Clock Routing / R. Chaturvedi ; J. Hu
Instruction Execution / Session 5.1:
Hardware-Based Pointer Data Prefetcher / S. Lai ; S. Lu
A Dependence Driven Efficient Dispatch Scheme / S. Nadathur ; A. Tyagi
An Efficient VLIW DSP Architecture for Baseband Processing / T. Lin ; C. Chang ; C. Lee ; C. Jen
Dynamic Thread Resizing for Speculative Multithreaded Processors / M. Zahran
Invited Session: Test Compression Technology / Session 5.2:
Care Bit Density and Test Cube Clusters: Multi-Level Compression Opportunities / B. Koenemann
XMAX: X-Tolerant Architecture for MAXimal Test Compression / S. Mitra ; K. Kim
Test Data Compression and Compaction for Embedded Test of Nanometer Technology Designs / J. Tyszer
Physical Design for Regular Fabrics and FPGA's / Session 5.3:
Non-Crossing OBDDs for Mapping to Regular Circuit Structures / A. Cao ; C. Koh
Interconnect Estimation for FPGAs under Timing Driven Domains / P. Kannan ; D. Bhatia
ROAD: An Order-Impervious Optimal Detailed Router for FPGAs / H. Arslan ; S. Dutt
Array Design Optimization / Session 6.1:
Reducing dTLB Energy through Dynamic Resizing / V. Delaluz ; M. Kandemir ; A. Sivasubramaniam ; M. Irwin ; N. Vijaykrishnan
Distributed Reorder Buffer Schemes for Low Power / G. Kucuk ; O. Ergin ; D. Ponomarev ; K. Ghose
Virtual Page Tag Reduction for Low-Power TLBs / P. Petrov ; A. Orailoglu
Dynamic Cluster Resizing / J. Gonzalez
Test Compaction / Session 6.2:
Independent Test Sequence Compaction through Integer Programming / P. Drineas
On Combining Pinpoint Test Set Relaxation and Run-Length Codes for Reducing Test Data Volume / S. Kajihara ; Y. Doi ; L. Li ; K. Chakrabarty
Static Test Compaction for Multiple Full-Scan Circuits
A Method to Find Don't Care Values in Test Sequences for Sequential Circuits / Y. Higami ; S. Kobayashi ; Y. Takamatsu
Invited Session: Techniques for Synthesizing into Fabrics / Session 6.3:
Simplifying SoC Design with the Customizable Control Processor Platform / C. Ogilvie ; R. Ray ; R. Devins ; M. Kautzman ; M. Hale ; R. Bergamaschi ; B. Lynch ; S. Gaur
Structured ASICs: Opportunities and Challenges / B. Zahiri
System LSI Implementation Fabrics for the Future / S. Kaptanoglu
Hardware Partitioning / Session 7.1:
Multiple-V[subscript dd] Scheduling/Allocation for Partitioned Floorplan / D. Kang ; M. Johnson
SCATOMi: Scheduling Driven Circuit Partitioning Algorithm for Multiple FPGAs Using Time-multiplexed, Off-chip, Multicasting Interconnection Architecture / Y. Kwon ; B. Park ; C. Kyung
A Study of Hardware Techniques that Dynamically Exploit Frequent Operands to Reduce Power Consumption in Integer Function Units / K. Gandhi
Energy-Aware Design and Application / Session 7.2:
KnapBind: An Area-Efficient Binding Algorithm for Low-leakage Datapaths / C. Gopalakrishnan ; S. Katkoori
A Novel Synthesis Strategy Driven by Partial Evaluation Based Circuit Reduction for Application Specific DSP Circuits / M. Mukherjee ; R. Vemuri
Power Fluctuation Minimization During Behavioral Synthesis Using ILP-Based Datapath Scheduling / S. Mohanty ; S. Chappidi
An Energy-Aware Simulation Model and Transaction Protocol for Dynamic Workload Distribution in Mobile Ad Hoc Networks / F. Ghasemi-Tari ; P. Rong
Invited Session: High-Speed Design Issues and Test Challenges / Session 7.3:
CMOS High-Speed Serial I/Os--Present and Future / M. Lee ; W. Dally ; R. Farjad-Rad ; H. Ng ; R. Senthinathan ; J. Edmondson ; J. Poulton
Fully Differential Receiver Chipset for 40 Gb/s Applications Using GaInAs/InP Single Heterojunction Bipolar Transistors / K. Kiziloglu ; S. Seetharaman ; K. Glass ; C. Bil ; H. Duong ; G. Asmanis
Paradigm Shift for Jitter and Noise in Design and Test [greater than sign]GB/s Data Communication Systems / M. Li ; J. Wilstrup
Efficiency and Reliability / Session 8.1:
Cost-Efficient Memory Architecture Design of NAND Flash Memory Embedded Systems / C. Park ; J. Seo ; D. Seo ; S. Kim ; B. Kim
Exploiting Microarchitectural Redundancy for Defect Tolerance / P. Shivakumar ; C. Moore
Reducing Multimedia Decode Power Using Feedback Control / Z. Lu ; J. Lach ; M. Stan ; K. Skadron
Novel Methods in Logic Synthesis / Session 8.2:
Structural Detection of Symmetries in Boolean Functions / G. Wang ; A. Kuehlmann
Boolean Decomposition Based on Cyclic Chains / E. Dubrova ; M. Teslenko ; J. Karlsson
SAT-Based Algorithms for Logic Minimization / S. Sapra ; M. Theobald
Communications and Context Management / Session 9.1:
Low-Density Parity-Check Decoder Architecture for High Throughput Optical Fiber Channels / A. Selvarathinam ; E. Kim ; G. Choi
Improving Branch Prediction Accuracy in Embedded Processors in the Presence of Coniext Switches / S. Pasricha ; A. Veidenbaum
Reducing Operand Transport Complexity of Superscalar Processors Using Distributed Register Files / S. Bunchua ; D. Wills ; L. Wills
xpipes: a Latency Insensitive Parameterized Network-on-chip Architecture for Multi-Processor SoCs / M. Dall'Osso ; G. Biccari ; L. Giovannini ; D. Bertozzi ; L. Benini
Board Test and Power-Aware Test / Session 9.2:
Aggressive Test Power Reduction through Test Stimuli Transformation / O. Sinanoglu
Power-Time Tradeoff in Test Scheduling for SoCs / M. Nourani ; J. Chin
Multiple Transition Model and Enhanced Boundary Scan Architecture to Test Interconnects for Signal Integrity / M. Tehranipour ; N. Ahmed
[edited by C. Bolchini ... [et al.] ] ; sponsored by the Counci the IEEE Computer Society Technical Committee on Fault-Tolerant Computing, IEEE Computer Society Test Technology Technicall
出版情報:
Los Alamitos, Calif. : IEEE Computer Society, c2003 xii, 607 p. ; 23 cm
Clock Calibration Faults and Their Impact on Quality of High Performance Microprocessors / C. Metra ; T. Mak ; D. Rossi
A Tool for Injecting SEU-Like Faults into the Configuration Control Mechanism of Xilinx Virtex FPGAs / M. Alderighi ; F. Casini ; S. D'Angelo ; M. Mancini ; A. Marmo ; S. Pastore ; G. Sechi
CodSim--A Combined Delay Fault Simulator / W. Qiu ; X. Lu ; Z. Li ; D. Walker ; W. Shi
Test & Diagnosis / Session 4:
BIST Based Fault Diagnosis Using Ambiguous Test Set / H. Takahashi ; Y. Tsugaoka ; H. Ayano ; Y. Takamatsu
On the Test and Diagnosis of the Perfect Shuffle / L. Schiano
Detecting and Locating Faults in VLSI Implementations of the Advanced Encryption Standard / G. Bertoni ; L. Breveglieri ; I. Koren ; P. Maistri
Current Test & Diagnosis / Session 5:
3DSDM: A 3 Data-Source Diagnostic Method / Y. Hariri ; C. Thibeault
Power Supply Current Test Approach for Resistive Fault Screening in Embedded Analog Circuits / M. Dragic ; M. Margala
CROWNE: Current Ratio Outliers with Neighbor Estimator / S. Sabade
Chip Level Power Supply Partitioning for I[subscript DDQ] Testing Using Built-In Current Sensors / A. Prasad
Test Generation & Application / Session 6:
ATE-Amenable Test Data Compression with No Cyclic Scan Registers / H. Hashempour
A Digital and Wide Power Bandwidth H-Field Generator for Automatic Test Equipment / F. Zhang ; Y. Lee ; T. Kane ; M. Momenzadeh ; Y.-B. Kim ; F. Meyer ; S. Max ; P. Perkinson
Function-Based Dynamic Compaction and Its Impact on Test Set Sizes / J. Wingfield ; J. Dworak ; M. Mercer
Constrained ATPG for Broadside Transition Testing / X. Liu ; M. Hsiao
Scan Design & Test / Session 7:
Test Compaction by Using Linear-Matrix Driven Scan Chains / S. Bhatia
Multiple Scan Chain Design Technique for Power Reduction during Test Application in BIST / D. Ghosh ; S. Bhunia ; K. Roy
Design Scan Test Strategy for Single Phase Dynamic Circuits / C.-H. Cheng
BIST / Session 8:
Scan-Based BIST Diagnosis Using an Embedded Processor / K. Balakrishnan ; N. Touba
Hybrid BIST Using an Incrementally Guided LFSR / C. Krishna
Hybrid BIST Time Minimization for Core-Based Systems with STUMPS Architecture / G. Jervan ; P. Eles ; Z. Peng ; R. Ubar ; M. Jenihhin
Error Correcting Codes / Session 9:
A Single Error Correcting and Double Error Detecting Coding Scheme for Computer Memory Systems / P. Lala
Array Codes Correcting a Cluster of Unidirectional Errors for Two-Dimensional Matrix Symbols / H. Kaneko ; E. Fujiwara
Quadruple Time Redundancy Adders / W. Townsend ; J. Abraham ; E. Swartzlander, Jr.
Error Correcting Codes for Crosstalk Effect Minimization / S. Cavallotti
Invited Talk
A View from the Bottom: Nanometer Technology AC Parametric Failures--Why, Where, and How to Detect / C. Hawkins ; A. Keshavarzi ; J. Segura
Analogue & Mixed Signal Test / Session 10:
Analysis and Testing of Analog and Mixed-Signal Circuits by an Operation-Region Model: A Case Study of Application and Implementation / Y. Miura ; D. Kato
An Approach for Selection of Test Points for Analog Fault Diagnosis / K. Pinjala ; B. Kim
BiST Model for IC RF-Transceiver Front-End / J. Dabrowski
A Monolithic Spectral BIST Technique for Control or Test of Analog or Mixed-Signal Circuits / J. Emmert ; J. Cheatham ; B. Jagannathan ; S. Umarani
Defect Tolerance and Testing / Session 11:
Thermal Management of High Performance Microprocessors in Burn-In Environment / A. Vassighi ; O. Semenov ; M. Sachdev
Fault Recovery Based on Checkpointing for Hard Real-Time Embedded Systems / Y. Zhang ; K. Chakrabarty
Fault Tolerant Multi-layer Neural Networks with GA Training / E. Sugawara ; M. Fukushi ; S. Horiguchi
Detailed Comparison of Dependability Analyses Performed at RT and Gate Levels / A. Ammari ; R. Leveugle ; M. Sonza-Reorda ; M. Violante
Low Cost Convolutional Code Based Concurrent Error Detection in FSMs / K. Rokas ; Y. Makris ; D. Gizopoulos
Reducing Test Power, Time and Data Volume in SoC Testing Using Selective Trigger Scan Architecture / S. Sharifi ; M. Hosseinabadi ; P. Riahi ; Z. Navabi
An FFT Approximation Technique Suitable for On-Chip Generation and Analysis of Sinusoidal Signals
Fault Tolerant Hopfield Associative Memory on Torus / R. Ayoubi ; H. Ziade ; M. Bayoumi
Efficiency of Transient Bit-Flips Detection by Software Means: A Complete Study / B. Nicolescu ; P. Peronnard ; R. Velazco
Buffer and Controller Minimisation for Time-Constrained Testing of System-On-Chip / A. Larsson ; E. Larsson
Regressive Testing for System-on-Chip with Unknown-Good-Yield / N.-J. Park ; B. Jin ; K. George ; M. Choi
Error Detection in Signed Digit Arithmetic Circuit with Parity Checker / G. Cardarilli ; S. Pontarelli ; M. Re ; A. Salsano
Application-Dependent Testing of FPGA Interconnects / M. Tahoori
Automatic Modification of Sequential Circuits for Self-Checking Implementation / S. Di Francescantonio ; M. Omana
Control Constrained Resource Partitioning for Complex SoCs / D. Zhao ; S. Upadhyaya
Partial Error Masking to Reduce Soft Error Failure Rate in Logic Circuits / K. Mohanram
FPGA & Memory Test / Session 12:
An Integrated Design Approach for Self-Checking FPGAs / C. Bolchini ; F. Salice ; D. Sciuto ; R. Zavaglia
Power-Constrained Embedded Memory BIST Architecture / B. Fang ; N. Nicolici
A Memory Built-In Self-Repair for High Defect Densities Based on Error Polarities / M. Nicolaidis ; N. Achouri ; L. Anghel
Redundancy, Repair, and Test Features of a 90nm Embedded SRAM Generator / R. Aitken ; N. Dogra ; D. Gandhi ; S. Becker
An Efficient Functional Test for the Massively-Parallel C-RAM Logic-Enhanced Memory Architecture / X. Sun ; B. Cockburn ; D. Elliott
Design Verification & Synthesis / Session 13:
Dependability Analysis Using a Fault Injection Tool Based on Synthesizability of HDL Models / H. Zarandi ; S. Miremadi ; A. Ejlali
Preliminary Validation of an Approach Dealing with Processor Obsolescence / S. Saleh ; S. Deswaertes ; A. El Moucary
SoC & Core Test / Session 14:
Efficient Test Data Decompression for System-on-a-Chip Using an Embedded FPGA Core / G. Zeng ; H. Ito
A Unified SoC Test Approach Based on Test Data Compression and TAM Design / V. Iyengar ; A. Chandra
Embedded Compact Deterministic Test for IP-Protected Cores / A. Kinsman ; J. Hewitt
System Reliability / Session 15:
System-Level Analysis of Fault Effects in Automotive Environment / F. Corno ; S. Tosato ; P. Gabrielli
Dependability Analysis of CAN Networks: An Emulation-Based Approach / J. Perez ; M. Sonza Reorda
Fault Tolerance / Session 16:
Exploiting Instruction Redundancy for Transient Fault Tolerance / T. Sato
An Integrated Fault-Tolerant Design Framework for VLIW Processors / Y.-Y. Chen ; S.-J. Horng ; H.-C. Lai
Fault Tolerant Design of Combinational and Sequential Logic Based on a Parity Check Code / S. Almukhaizim
Heterogeneous Redundancy for Fault and Defect Tolerance with Complexity Independent Area Overhead / V. Kumar ; J. Lach
Soft Errors / Session 17:
Soft-Error Detection Using Control Flow Assertions / O. Goloubeva ; M. Rebaudengo
SIED: Software Implemented Error Detection
Techniques for Transient Fault Sensitivity Analysis and Reduction in VLSI Circuits / A. Maheshwari ; W. Burleson
sponsored by IEEE Computer Society, CRIM, ACM-SIGART, ACM-SIGSOFT ; supported by Ministere du Developpement Economique et Regional du Quebec, Universite de Montreal, RCM2
出版情報:
Los Alamitos, Calif. : IEEE Computer Society, c2003 xii, 382 p. ; 28 cm
An Empirical Study on Groupware Support for Software Inspection Meetings / P. Grunbacher ; M. Halling ; S. Biffl
Analysis of Inconsistency in Graph-Based Viewpoints: A Category-Theoretic Approach / M. Sabetzadeh ; S. Easterbrook
Deriving User Interface Requirements from Densely Interleaved Scientific Computing Applications / A. Strelzoff ; L. Petzold
Testing I
Fault Localization with Nearest Neighbor Queries / M. Renieris ; S. Reiss
Tool-Assisted Unit Test Selection Based on Operational Violations / T. Xie ; D. Notkin
A New Structural Coverage Criterion for Dynamic Detection of Program Invariants / N. Gupta ; Z. Heidepriem
Software Architectures and Distributed Systems
DeCo: A Declarative Coordination Framework for Scientific Model Federations / D. Herington ; D. Stotts
A Programmable Client-Server Model: Robust Extensibility via DSLs / L. Reveillere ; C. Consel
Specification and Synthesis of Hybrid Automata for Physics-Based Animation / T. Ellman
Model Checking
Debugging Overconstrained Declarative Models Using Unsatisfiable Cores / I. Shlyakhter ; R. Seater ; M. Sridharan ; M. Taghdiri ; D. Jackson
Parallel Breadth-First Search LTL Model-Checking / J. Barnat ; L. Brim ; J. Chaloupka
Automated Environment Generation for Software Model Checking / O. Tkachuk ; M. Dwyer ; C. Pasareanu
Software Components
Aspectizing Server-Side Distribution / E. Tilevich ; S. Urbanski ; Y. Smaragdakis ; M. Fleury
Automating Component Adaptation for Reuse / B. Morel ; P. Alexander
Model-Based Verification of Web Service Compositions / H. Foster ; S. Uchitel ; J. Magee ; J. Kramer
Testing II
What Test Oracle Should I Use for Effective GUI Testing? / A. Memon ; I. Banerjee ; A. Nagarajan
A Type System for Statically Detecting Spreadsheet Errors / Y. Ahmad ; T. Antoniu ; S. Goldwater ; S. Krishnamurthi
Testing Database Transaction Concurrency / Y. Deng ; P. Frankl ; Z. Chen
Software Evolution and Maintenance
On the Automatic Evolution of an OS Kernel Using Temporal Logic and AOP / R. Aberg ; J. Lawall ; M. Sudholt ; G. Muller ; A. Le Meur
Unspeculation / N. Snavely ; S. Debray ; G. Andrews
SPQR: Flexible Automated Design Pattern Extraction from Source Code / J. Smith
Automatically Inferring Concern Code from Program Investigation Activities / M. Robillard ; G. Murphy
Short Papers
A Model-Driven Approach to Non-Functional Analysis of Software Architectures / J. Skene ; W. Emmerich
Extending Diagnosis to Debug Programs with Exceptions / W. Mayer ; M. Stumptner
Generating Design Pattern Detectors from Pattern Specifications / D. Heuzeroth ; W. Lowe ; S. Mandel
Predicting Fault Prone Modules by the Dempster-Shafer Belief Networks / L. Guo ; B. Cukic ; H. Singh
Semi-Automatic Fault Localization and Behavior Verification for Physical System Simulation Models / P. Bunus ; P. Fritzson
Automatic Generation of Content Management Systems from EER-Based Specifications / S. Vigna
Automated Requirements-Based Generation of Test Cases for Product Families / C. Nebut ; S. Pickin ; Y. Le Traon ; J. Jezequel
XRay Views: Understanding the Internals of Classes / G. Arevalo ; S. Ducasse ; O. Nierstrasz
Visual Constraint Diagrams: Runtime Conformance Checking of UML Object Models versus Implementations / C. Turner ; T. Graham ; C. Wolfe ; J. Ball ; D. Holman ; H. Stewart ; A. Ryman
A Pragmatic Study of Binary Class Relationships / Y. Gueheneuc ; H. Albin-Amiot
The Features Signatures of Evolving Programs / D. Licata ; C. Harris
Test Suite Design for Code Generation Tools / I. Sturmer ; M. Conrad
Theoretical Foundations of Updating Systems / H. Harris ; M. Ryan
An Incremental Approach to Task-Specific Information Delivery in SE Processes / H. Holz
Architecture Style-Based Calculi for Non-functional Properties / D. Wile
Certifying Measurement Unit Safety Policy / G. Rosu ; F. Chen
Automated Software Testing Using a Metaheuristic Technique Based on Tabu Search / E. Diaz ; J. Tuya ; R. Blanco
Model Checking Software Requirement Specifications Using Domain Reduction Abstraction / Y. Choi ; M. Heimdahl
An Approach for Tracing and Understanding Asynchronous Architectures / S. Hendrickson ; E. Dashofy ; R. Taylor
Refactoring C with Conditional Compilation / A. Garrido ; R. Johnson
A Java Component Model for Evolving Software Systems / M. Silva ; P. Guerra ; C. Rubira
Depiction and Playout of Multi-threaded Program Executions / A. Roychoudhury
Applying AutoBayes to the Analysis of Planetary Nebulae Images / B. Fischer ; J. Schumann
Automation for Exception Freedom Proofs / B. Ellis ; A. Ireland
Overview of OpenModel-Based Validation with Partial Information / R. Hall ; A. Zisman
Doctoral Symposium Papers
Detecting Requirements Interactions: A Three-Level Framework / M. Shehata ; A. Eberlein
Automating Relative Debugging / A. Searle ; J. Gough ; D. Abramson
Communicating Requirements Using End-User GUI Constructions with Argumentation / J. Moore
Graph Rewriting and Transformation (GreAT): A Solution for the Model Integrated Computing (MIC) Bottleneck / A. Agrawal
Visual Specification of Concurrent Systems / D. Safranek
VUML: A Viewpoint Oriented UML Extension / M. Nassar
An Infrastructure to Support Meta-Differencing and Refactoring of Source Code / M. Collard
An Overview of Haplotyping via Perfect Phylogeny: Theory, Algorithms and Programs / D. Gusfield
Phase Transitions, Backbones and Heuristic Search / W. Zhang
Artificial Intelligence in Financial Applications / B. Wah
Kernel Methods for Pattern Analysis / N. Cristianini
(Balboa) Bioinformatics I / Session 1:
Pairwise Protein Structure Alignment Based on an Orientation-Independent Representation of the Backbone Geometry / J. Ye ; R. Janardan ; S. Liu
Predicting Conserved Hairpin Motifs in Unaligned RNA Sequences / G. Pavesi ; G. Mauri ; G. Pesole
A Biology Inspired Neural Learning Algorithm for Analyzing Protein Sequences / E. Berry ; Z. Yang ; X. Wu
Order-Sensitive Clustering for Remote Homologous Protein Detection / J. Chen ; W. Hsu ; M. Lee
(Calaveras) Software Engineering with Computational Intelligence I / Session 2:
An Intelligent Early Warning System for Software Quality Improvement and Project Management / X. Liu ; G. Kane ; M. Bambroo
Deployment and Dynamic Reconfiguration Planning for Distributed Software Systems / N. Arshad ; D. Heimbigner ; A. Wolf
Application of an Attribute Selection Method to CBR-Based Software Quality Classification / T. Khoshgoftaar ; L. Nguyen ; K. Gao ; J. Rajeevalochanam
Analysis of Software Maintenance Data Using Multi-Technique Approach / M. Reformat ; V. Wu
(Granada) Al in Medicine I / Session 3:
Adaptive Modeling of Biochemical Pathways / R. Brause
Semantic Biological Image Management and Analysis / C. Chubb ; Y. Inagaki ; C. Cotman ; B. Cummings ; P. Sheu
Ontology-Based Medical Image Annotation with Description Logics / B. Hu ; S. Dasmahapatra ; P. Lewis ; N. Shadbolt
(Balboa) SAT / Session 4:
MFSAT: A SAT Solver Using Multi-Flip Local Search / A. Mali ; Y. Lipen
Improving Nogood Recording Using 2SAT / P. Stuckey ; L. Zheng
Eliminating Redundancies in SAT Search Trees / R. Ostrowski ; B. Mazure ; L. Sais ; E. Gregoire
Probing-Based Preprocessing Techniques for Propositional Satisfiability / I. Lynce ; J. Marques-Silva
(Calaveras) Data Mining I / Session 5:
A Software Infrastructure for Research in Textual Data Mining / L. Holzman ; T. Fisher ; L. Galitsky ; A. Kontostathis ; W. Pottenger
Detecting Spatial Outliers with Multiple Attributes / C. Lu ; D. Chen ; Y. Kou
Mining Association Rules with Linguistic Terms / J. Lu ; B. Xu ; L. Xu ; D. Kang ; H. Chen ; H. Yang
Parallel Mining of Maximal Frequent Itemsets from Databases / S. Chung ; C. Luo
(Granada) Evolutionary Computing / Session 6:
Feature Selection for Support Vector Machines by Means of Genetic Algorithms / H. Frohlich ; O. Chapelle ; B. Scholkopf
Engineering Optimization Using a Simple Evolutionary Algorithm / E. Mezura-Montes ; C. Coello ; R. Landa-Becerra
Multi-Modal Function Optimization Problem for Evolutionary Algorithm / H. Pan ; J. Yuan ; L. Zhong
A New Genetic Programming Approach in Symbolic Regression / S. Xiong ; W. Wang ; F. Li
Session 7 (Balboa) Planning and Scheduling I
Search Control Techniques for Planning / M. Tang
A Diversity-Controlling Adaptive Genetic Algorithm for the Vehicle Routing Problem with Time Windows / K. Zhu
Effective Heuristics to Solve Pickup and Delivery Problems with Time Windows / V. Tam ; L. Tseng
Aircraft and Gate Scheduling with Time Windows / Y. Zhu ; A. Lim ; B. Rodrigues
Fragmental Optimization on the 2-Machine Bicriteria Flowshop Scheduling Problem / G. Huang
Session 8 (Calaveras) Knowledge Management and Sharing
On Case-Based Knowledge Sharing in Semantic Web / Z. Wu
All from One, One for All, Failure Diagnosis of Discrete Event Systems Using Representatives / Y. Pencole
About the Use of Semaphores to Handle Contradictory Knowledge Sources
TROJAN: A Scalable Distributed Semantic Network System / C. Lee ; C. Huang ; S. Rajasekaran
Session 9 (Granada) NLP and Speech Understanding
Using a Text-to-Speech Synthesizer to Generate a Reverse Turing Test / T. Chan
Learning Name Pronunciations in Automatic Speech Recognition Systems / F. Beaufays ; A. Sankar ; S. Williams ; M. Weintraub
Answer Filtering via Text Categorization in Question Answering Systems / A. Moschitti
Transcoding HTML to VoiceXML Using Annotation / Z. Shao ; R. Capra ; M. Perez-Quinones
Nonlinear Speech Model Based on Support Vector Machine and Wavelet Transform / J. Li ; B. Zhang ; F. Lin
Session 10 (Balboa) Planning and Scheduling II
Partitioning of Temporal Planning Problems in Mixed Space using the Theory of Extended Saddle Points / Y. Chen
S-MEP: A Planner for Numeric Goals / J. Sanchez
Ant Colony Optimization for Resource-Constrained Project Scheduling with Generalized Precedence Relations / S. Luo ; C. Wang ; J. Wang
Transportation Bid Analysis Optimization with Shipper Input / Y. Guo
Session 11 (Calaveras) Machine Learning
Discriminative Parameter Learning of General Bayesian Network Classifiers / B. Shen ; X. Su ; R. Greiner ; P. Musilek ; C. Cheng
Learning Refinements on Curve-Strokes / S. Simhon ; G. Dudek
Q-Concept-Learning: Generalization with Concept Lattice Representation in Reinforcement Learning / M. Ricordeau
Reinforcement Learning with Extended Spatial and Temporal Learning Scale / X. Zhuang ; Q. Meng ; B. Yin
Session 12 (Granada) Agents
Learning of Mediation Strategies for Heterogeneous Agents Cooperation / R. Charton ; A. Boyer ; F. Charpillet
Efficient Key Assignment Scheme for Mobile Agent Systems / W. Chew ; C. Chi ; T. Li
Task Allocation via Multi-Agent Coalition Formation: Taxonomy, Algorithms and Complexity / H. Lau ; L. Zhang
RoboCupRescue System and Arian: A Flexible Infrastructure for Multi-Agent Research and Education / M. Ahmadi ; T. Takahashi ; J. Habibi ; T. Koto
Session 13 (Balboa) Software Engineering with Computational Intelligence II
Eliminating Mismatching Connections between Components by Adopting an Agent-Based Approach / W. Jiao ; H. Mei
Experiments in Automatic Programming for General Purposes / X. Chai ; J. Miller
Genetic Programming-Based Decision Trees for Software Quality Classification / Y. Liu ; N. Seliya
Validating an Online Adaptive System Using SVDD / S. Gururajan ; B. Cukic ; T. Menzies ; M. Napolitano
Session 14 (Calaveras) Vision and Image Processing
Automatic Lesion/Tumor Detection Using Intelligent Mesh-Based Active Contour / L. Yin ; S. Deshpande ; J. Chang
A Cognitive Vision Platform for Automatic Recognition of Natural Complex Objects / C. Hudelot ; M. Thonnat
Interactive Open Architecture Computer Vision / Q. Yu ; H. Cheng ; W. Cheng ; X. Zhou
Improving the Performance of Multi-Class SVMs in Face Recognition with Nearest Neighbor Rule / S. Park ; W. Chang ; J. Park
Session 15 (Granada) Bioinformatics II
Integrating Microarray Data by Consensus Clustering / V. Filkov ; S. Skiena
Sweep A*: Space-Efficient Heuristic Search in Partially Ordered Graphs / R. Zhou ; E. Hansen
Two-Layer Protein Structure Comparison / M. Yamamura
Session 16 (Balboa) Al in Medicine II
Interpreting Historical ICU Data Using Associational and Temporal Reasoning / A. Salatian
A Comparative Study of Feature Selection Methods for Probabilistic Neural Networks in Cancer Classification / W. Liao
Discovering Clusters in Gene Expression Data Using Evolutionary Approach / P. Ma ; K. Chan
Extracting Biochemical Interactions from MEDLINE Using a Link Grammar Parser / J. Ding ; D. Berleant ; J. Xu ; A. Fulmer
Session 17 (Calaveras) CSP
Reducing Redundancy in the Hypertree Decomposition Scheme / P. Harvey ; A. Ghose
Implicit Random Constraint Satisfaction Problems / C. Lecoutre ; F. Boussemart ; F. Hemery
Progressive Stochastic Search for Solving Constraint Satisfaction Problems / B. Lam ; H. Leung
Combining the Min-Conflicts and Look-Forward Heuristics to Effectively Solve a Set of Hard University Timetabling Problems / D. Ting
Session 18 (Granada) Fuzzy Logic
Approximate Discrete Probability Distribution Representation Using a Multi-Resolution Binary Tree / D. Bellot ; P. Bessiere
Raw Relation Sets and Multiperson Decision Making / W. Meng
Inference via Fuzzy Belief Petri Nets / C. Looney ; L. Liang
Genetic Algorithm Calibration of Probabilistic Cellular Automata for Modeling Mining Permit Activity / S. Louis ; G. Raines
Session 19 (Balboa) DataMining II
Generalization of Classification Rules / Z. Xie
A Global Rule Induction Approach to Information Extraction / J. Xiao ; T. Chua ; J. Liu
Partitioning Large Data to Scale up Lattice-Based Algorithm / H. Fu ; E. Nguifo
Addressing the Ramification Problem in a Temporal Context: The Case of Concurrent Actions / N. Papadakis ; D. Plexousakis
Session 20 (Calaveras) Intelligent Information Retrieval
Query Expansion and Query Reduction in Document Retrieval / I. Zukerman ; B. Raskutti ; Y. Wen
Classification of Web Documents Using a Naive Bayes Method / Y. Wang ; B. Tang ; J. Hodges
A Novel Bag Generator for Image Database Retrieval with Multi-Instance Learning Techniques / Z. Zhou ; M. Zhang ; K. Chen
A Comparative Study of Techniques for Intrusion Detection / S. Mukkamala ; A. Sung
Session 21 (Granada) Knowledge Representation
DOSE: A Distributed Open Semantic Elaboration Platform / D. Bonino ; F. Corno ; L. Farinetti
Equuleus: Presentation from Legacy Documents / S. McRoy ; S. Ali ; N. Nalamlieng
Domain Ontology and Galois Lattice Structure for Query Refinement / B. Safar ; H. Kefi
Human-Agent Teamwork for Distributed Team Training / D. Xu ; R. Volz ; M. Miller ; J. Plymale
Session 22 (Balboa) Computer Vision and Pattern Recognition
Automatic Recognition of a Baby Gesture / J. Bhatt ; N. Lobo ; M. Shah ; G. Bebis
Object Recognition Using Local-global Graphs / N. Bourbakis ; P. Yuan ; S. Makrogiannis
An L-G & SPNG Based Model for Brain Biometrics
Shape-Based 3D Model Retrieval / J. Song ; F. Golshani
iCare--A User Centric Approach to the Development of Assistive Devices for the Blind and Visually Impaired / S. Panchanathan ; J. Black ; M. Rush ; V. Iyer
organized by the Computer Graphics Society ; hosted by MIRALab, University of Geneva ; with the support of IFIP WG5.10 (Computer Graphics and Virtual Worlds)
出版情報:
Los Alamitos, Calif. : IEEE Computer Society, c2002 x, 271 p. ; 28 cm
editors, Bernard Courtois, Thomas Wik, Yervant Zorian ; sponsored by IEEE Computer Society, IEEE Computer Society Technical Council on Test Technology, IEEE Computer Society Technical Committee on VLSI ; in cooperation with IEEE Solid-State Circuits Society
出版情報:
Los Alamitos, Calif. : IEEE Computer Society, c2002 xii, 182 p. ; 28 cm
Joint Session with The Eighth IEEE International On-Line Testing Workshop (IOLTW 2002)
Plenary Session / Session A:
Keynote Address: Embedded Memory Test and Repair / A. Kablanian
Memory BIST Analysis and Application / Session B:
Defect-Oriented Analysis of Memory BIST Tests / A. Jee
A BIST-Based Solution for the Diagnosis of Embedded Memories Adopting Image Processing Techniques / D. Appello ; A. Fudoli ; V. Tancorre ; F. Corno ; M. Rebaudengo ; M. Sonza Reorda
A Scan-Bist Environment for Testing Embedded Memories / F. Karimi ; F. Lombardi
Memory ECC and Soft Errors / Session C:
Soft Error Protection for Embedded Memories / M. Nicolaidis
Fast and Compact Error Correcting Scheme for Reliable Multilevel Flash Memories / D. Rossi ; C. Metra ; B. Ricco
High Speed 15 ns 4 Mbits SRAM for Space Application / B. Coloma ; P. Delaunay ; O. Husson
High Reliability in Railway and Automotive Systems / Session D:
The YATE Fail-Safe Interface: The User's Point of View / D. Bied-Charreton ; D. Guillon ; B. Jacques
Fault Tolerant Insertion and Verification: A Case Study / A. Manzone ; D. De Costantini
Design and Implementation of a Self-Checking Scheme for Railway Trackside Systems / L. Schiano ; D. Marino
Embedded Memory Yield Enhancement / Session E:
A Silicon-Based Yield Gain Evaluation Methodology for Embedded-SRAMs with Different Redundancy Scenarios / E. Rondey ; Y. Tellier ; S. Borri
A March-Based Fault Location Algorithm for Static Random Access Memories / V. A. Vardanian ; Y. Zorian
A Simulator for Evaluating Redundancy Analysis Algorithms of Repairable Embedded Memories / R.-F. Huang ; J.-F. Li ; J.-C. Yeh ; C.-W. Wu
MTDT
Keynote Address: Challenges and Opportunities Created by the SoC Shockwave / M. Templeton
Embedded Memory Systems and Test Optimization / Session 1:
Design and Test of a 9-Port SRAM for a 100 Gb/s STS-1 Switch / R. Gibbins ; R. D. Adams ; T. Eckenrode ; M. Ouellette ; Y. Wu
Design of Embedded System for Video Coding with Logic-Enhanced DRAM and Configurable Process / T. Kaya ; I. Shirakawa ; R. Miyamoto ; T. Onoye
Adder Merged DRAM Architecture / M. Hashimoto
Memory Test Strategies / Session 2:
March SS: A Test for All Static Simple RAM Faults / S. Hamdioui ; A. J. van de Goor ; M. Rodgers
Random Testing of Multi-Port Static Random Access Memories / F. J. Meyer
Fault Modeling / Session 3:
A Fault Modeling Technique to Test Memory BIST Algorithms / R. Venkatesh ; S. Kumar ; J. Philip ; S. Shukla
Fault Modeling and Pattern-Sensitivity Testing for a Multilevel DRAM / M. Redeker ; B. F. Cockburn ; D. G. Elliott ; Y. Xiang ; S. A. Ung
An Investigation into Crosstalk Noise in DRAM Structures
Embedded Memory Compiler Tutorial / Session 4:
Keynote Address: SoC's Trends and Challenges going to 0.10 [mu]m / P. Magarshack
EPROM/EEPROM Design / Session 5:
An Automated Design Methodology for EEPROM Cell (ADE) / J. M. Portal ; L. Forli ; H. Aziza ; D. Nee
A Novel Memory Array Based on an Annular Single-Poly EPROM Cell for Use in Standard CMOS Technology / C. Dray ; P. Gendrier
A New Single Ended Sense Amplifier for Low Voltage Embedded EEPROM Non Volatile Memories / C. Papaix ; J. M. Daga
Process Technology and Reliability / Session 6:
Validated 90 nm CMOS Technology Platform with Low-k Copper Interconnects for Advanced System-on-Chip (SoC) / T. Devoivre ; M. Lunenborg ; C. Julien ; J-P. Carrere ; P. Ferreira ; W. J. Toren ; A. VandeGoor ; P. Gayet ; T. Berger ; O. Hinsinger ; P. Vannier ; Y. Trouiller ; Y. Rody ; P-J. Goirand ; R. Palla ; I. Thomas ; F. Guyader ; D. Roy ; B. Borot ; N. Planes ; S. Naudet ; F. Pico ; D. Duca ; F. Lalanne ; D. Heslinga ; M. Haond
Converting an Embedded Low-Power SRAM from Bulk to PD-SOI / M. R. Casu ; P. Flatresse
Decreasing EEPROM Programming Bias with Negative Voltage, Reliability Impact / R. Laffont ; J. Razafindramora ; P. Canet ; R. Bouchakour ; J. M. Mirabel
Compositional Technique for Synthesising Multi-Phase Regular Arrays / M. Manjunathaiah ; G. M. Megson
A Compile Time Based Approach for Solving Out-of-Order Communication in Kahn Process Networks / A. Turjan ; B. Kienhuis ; E. Deprettere
Model-Based Exploration of the Design Space for Heterogeneous Systems on Chip / H. Blume ; H. Hubert ; H. T. Feldkamper ; T. G. Noll
A Component Architecture for FPGA-Based, DSP System Design / G. Spivey ; S. S. Bhattacharyya ; K. Nakajima
Low Power Design / Session 2:
Low Power Memory Design / W.-T. Shiue
Reduced Power Consumption for MPEG Decoding with LNS / M. G. Arnold
A Model-Based Methodology for Application Specific Energy Efficient Data Path Design Using FPGAs / S. Mohanty ; S. Choi ; J. Jang ; V. K. Prasanna
Design Space Exploration for Energy-Efficient Secure Sensor Network / L. Yuan ; G. Qu
Computer Arithmetic I / Session 3:
High-Radix Logarithm with Selection by Rounding / J.-A. Pineiro ; M. D. Ercegovac ; J. D. Bruguera
An Analysis of the CORDIC Algorithm for Direct Digital Frequency Synthesis / C. Y. Kang ; E. E. Swartzlander, Jr.
Evaluating Products of Non Linear Functions by Indirect Bipartite Table Lookup / D. W. Matula ; A. Fit-Florea ; L. D. McFearin
Efficient Conversion From Binary to Multi-Digit Multi-Dimensional Logarithmic Number Systems Using Arrays of Range Addressable Look-Up Tables / R. Muscedere ; V. S. Dimitrov ; G. A. Jullien ; W. C. Miller
Memory Organization / Session 4:
Predictable Instruction Caching for Media Processors / J. Irwin ; M. D. May ; H. L. Muller ; D. Page
A Mathematical Model of Trace Cache / A. Hossain ; D. J. Pease ; J. S. Burns ; N. Parveen
Implementation of a 32-bit RISC Processor for the Data-Intensive Architecture Processing-In-Memory Chip / J. Draper ; J. Sondeen ; S. Mediratta ; I. Kim
A Mid-texturing Pixel Rasterization Pipeline Architecture for 3D Rendering Processors / W.-C. Park ; K.-W. Lee ; I.-S. Kim ; T.-D. Han ; S.-B. Yang
Computer Arithmetic II / Session 5:
Fast Radix-4 Retimed Division with Selection by Comparisons / E. Antelo ; T. Lang ; P. Montuschi ; A. Nannarelli
PAPA--Packed Arithmetic on a Prefix Adder for Multimedia Applications / N. Burgess
A Combined Interval and Floating-Point Comparator/Selector / A. Akkas
Reviewing 4-to-2 Adders for Multi-Operand Addition / P. Kornerup
Media Processors / Session 6:
Implications of Programmable General Purpose Processors for Compression/Encryption Applications / B. K. Lee ; L. K. John
Design and Evaluation of a Multimedia Computing Architecture Based on a 3D Graphics Pipeline / C. Y. Chung ; R. A. Managuli ; Y. Kim
Refining Instruction Set Architecture for High-Performance Multimedia Processing in Constrained Environments / R. B. Lee ; A. M. Fiskiran ; Z. Shi ; X. Yang
Polynomial Evaluation on Multimedia Processors / J. Villalba ; G. Bandera ; M. A. Gonzalez ; J. Hormigo ; E. L. Zapata
Cryptography / Session 7:
Integrated Design of AES (Advanced Encryption Standard) Encrypter and Decrypter / C.-C. Lu ; S.-Y. Tseng
Instruction Stream Mutation for Non-Deterministic Processors / N. P. Smart
A Novel Pipelined Threads Architecture for AES Encryption Algorithm / M. Alam ; W. Badawy ; G. Jullien
On the Propagation of Faults and Their Detection in a Hardware Implementation of the Advanced Encryption Standard / G. Bertoni ; L. Breveglieri ; I. Koren ; P. Maistri ; V. Piuri
VLSI Architectures / Session 8:
Matrix Engine for Signal Processing Applications Using the Logarithmic Number System / E. I. Chester ; J. N. Coleman
A VLSI Architecture for Object Recognition Using Tree Matching / K. Sitaraman ; N. Ranganathan ; A. Ejnioui
Implementation of a Single Chip, Pipelined, Complex, One-Dimensional Fast Fourier Transform in 0.25 [mu]m Bulk CMOS / S. M. Currie ; P. R. Schumacher ; B. K. Gilbert ; E. E. Swartzlander ; B. A. Randall
Optical Network Reconfiguration for Signal Processing Applications / R. Chamberlain ; M. Franklin ; P. Krishnamurthy
Application-Specific System Design / Session 9:
New Results on Array Contraction / A. Darte ; G. Huard
A CORBA-Based GIS-T for Ambulance Assignment / T.-Y. Liao ; T.-Y. Hu
Advances in Bit Width Selection Methodology / D. Cachera ; T. Risset
Tradeoffs Between Quality of Results and Resource Consumption in a Recognition System / M. DeVore ; G. Engel ; J. O'Sullivan
edited by Kia Ng, Christoph Busch, and Paolo Nesi ; sponsored by Interdisciplinary Centre for Scientific Resaerch in Music ... [et al.] ; supported by MUSICNETWORK Project IST, European Commission
出版情報:
Los Alamitos ; Tokyo : IEEE Computer Society, c2003 x, 155 p. ; 28 cm
Laramedia Inc., An Internet Distribution Network for Commercial Audio / T. Laramee
Distributed Multimedia Plays with QoS Guaranties over IP / A. Lie ; L. A. Ronningen
Use of the MPEG-21 Rights Expression Language for Music Distribution / J. Delgado ; I. Gallego ; E. Rodriguez
Online Music Services
Potato System and Signed Media Format--An Alternative Approach to Online Music Business / J. Nutzel ; R. Grimm
Key Success Factors in the Emerging Landscape of Mobile Music Services / P. Vlachos ; A. Vrechopoulos
Enhancement of Existing Web Applications to Support Audio and Musical Tools / G. Tummarello ; C. Morbidoni ; F. Piazza
Music Transcription and Translation
Automatic Music Transcription Supporting Different Instruments / I. Bruno ; S. L. Monni ; P. Nesi
Producing Accessible Multimedia Music / D. Crombie ; R. Lenoir ; N. McKenzie
The Need of Perceptual Hashing Techniques for Music Scores / J. Irons ; M. Schmucker
Watermarking
Attacks on Digital Audio Watermarks and Countermeasures / M. Arnold
Unitary Approach of Watermarking and Attack Algorithms for Audio Signals / T. Muntean ; M. Najim
On the Spectral Singularities of Watermarked Audio / X. Zhao ; W. Wang ; K. Chen
Watermarking of Audio Signals Using Independent Component Analysis / B. Toch ; D. Lowe ; D. Saad
Music Analysis, Generation and Preservation
Modeling Musical Style Using Grammatical Inference Techniques: A Tool for Classifying and Generating Melodies / P. P. Cruz-Alcazar ; E. Vidal-Ruiz
Semantic Relationship and Identification of Music / F. Seifert ; W. Benn
Determining the Chromatic Index of Music / D. Politis ; D. Margounakis
Computer-Aided Composition from Melodic Contours and Tabular Constraints / H.-C. Shen ; C. Lee
CBS: A Concept-Based Sequencer for Soundtrack Composition / M. O Jewell ; M. S. Nixon ; A. Prugel-Bennett
Preserving Interactive Digital Music: A Report on the MUSTICA Research Initiative / B. Bachimont ; O. Lescurieux ; J.-F. Blanchette ; P. Morizet-Mahoudeaux ; A. Gerzso ; N. Donin ; A. Swetland ; J. Teasley
Digital Rights and Metadata
The Application of Digital Rights Management Systems in the Music Industry--An Empirical Investigation / M. Fetscherin ; M. Schmid
LicenseScript: A Novel Digital Rights Language and Its Semantics / C. N. Chong ; R. Corin ; S. Etalle ; P. Hartel ; W. Jonker ; Y. W. Law
Editorial Metadata in the Cuidado Music Browser: Between Universalism and Isolationism / A. Laburthe ; F. Pachet ; J.-J. Aucouturier
Using Cultural Metadata for Artist Recommendations / S. Baumann ; O. Hummel
Industrial Applications
Beyond the Talking Head: The Web Delivery of Methodology and Field Experience for Music Education / E. Burkett ; G. Ohlenbusch
Watermarking Music Sheets, It Is Possible? / M. Campanai ; M. B. Spinu
Using MusicXML for File Interchange / M. Good ; G. Actor
Interactive Sound Player (ISP): Enabling Interactive Sound in Digital Media / M. Westermann
High-Performance Front-End Embedded Signal Processors for Adaptive Sensor Arrays / W. Song
Video and Multimedia Processors / Jurgen Teich
Subword Permutation Instructions for Two-Dimensional Multimedia Processing in MicroSIMD Architectures / R. Lee
Architecture of an Image Rendering Co-Processor for MPEG-4 Systems / M. Berekovic ; P. Pirsch ; T. Selinger ; K.-I. Wels ; C. Miro ; A. Lafage ; C. Heer ; G. Ghigo
A Multiplication-Free Parallel Architecture for Affine Transformation / W. Badawy ; M. Bayoumi
A Simple RISC Microprocessor Core Designed for Digital Set-Top-Box Applications / M. Dal Poz ; J. Aedo Cobo ; W. Van Noije ; M. Zuffo
Reconfigurable Computing / Doran Wilde
Formal Verification for Microprocessors with Extendable Instruction Set / S. Sawitzki ; R. Spallek ; J. Schonherr ; B. Straube
Compiling Image Processing Applications to Reconfigurable Hardware / R. Rinker ; J. Hammes ; W. Najjar ; W. Bohm ; B. Draper
Integration of High-Performance ASICs into Reconfigurable Systems Providing Additional Multimedia Functionality / H. Blume ; H.-M. Bluthgen ; C. Henning ; P. Osterloh
Modeling and Synthesis / Shuvra Bhattacharyya
High Level Modeling for Parallel Executions of Nested Loop Algorithms / E. Deprettere ; E. Rijpkema ; P. Lieverse ; B. Kienhuis
Minimal Complexity Hierarchical Loop Representations of SFG Processors for Optimal High Level Synthesis / A. Stone ; E. Manolakos
High Level Synthesis for Peak Power Minimization Using ILP / W.-T. Shiue
High-Level Synthesis of Nonprogrammable Hardware Accelerators / R. Schreiber ; S. Aditya ; B. Ramakrishna Rau ; V. Kathail ; S. Mahlke ; S. Abraham ; G. Snider
Cryptography / Ruby Lee
Implementing 1,024-bit RSA Exponentiation on a 32-bit Processor Core / B. Phillips ; N. Burgess
Bit Permutation Instructions for Accelerating Software Cryptography / Z. Shi
Performance-Scalable Array Architectures for Modular Multiplication / W. Freking ; K. Parhi
Digital Signal Processing / Joseph Cavallaro
A 108 Gbps, 1.5 GHz 1D-DCT Architecture / A. Shams
Efficient VLSI Architectures for Baseband Signal Processing in Wireless Base-Station Receivers / S. Rajagopal ; S. Bhashyam ; J. Cavallaro ; B. Aazhang
A Vector Multiprocessor for Real-Time Multi-User Detection in Spread-Spectrum Communication / N. Manjikian
A 550 Mb/s Radix-4 Bit-level Pipelined 16-State 0.25-[mu]m CMOS Viterbi Decoder / V. Gierenz ; O. Weiss ; T. Noll ; I. Carew ; J. Ashley ; R. Karabed
Arithmetic / Magdy Bayoumi
A Booth Multiplier Accepting Both a Redundant or a Non-Redundant Input with No Additional Delay / M. Daumas ; D. Matula
A Hardware Algorithm for Variable-Precision Logarithm / J. Hormigo ; J. Villalba ; M. Schulte
Block-Update Parallel Processing QRD-RLS Algorithm for Throughput Improvement with Low Power Consumption / L. Gao
A 16-bit x 16-bit MAC Design Using Fast 5:2 Compressors / O. Kwon ; K. Nowka ; E. Swartzlander
Multiprocessor Systems / Ed Deprettere
Control for High-Speed PE Arrays / M. Herbordt ; J. Cravy ; H. Zhang ; C. Lin ; H. Rao
Explicit SIMD Programming for Asynchronous Applications / A. Di Blas ; R. Hughey
Quadratic Control Signals in Linear Systolic Arrays / S. Bowden ; D. Wilde ; S. Rajopadhye
Contention-Conscious Transaction Ordering in Embedded Multiprocessors / M. Khandelia ; S. Bhattacharyya
Application-Specific Architectures / Neil Burgess
Architecture for Wavelet Packet Transform with Best Tree Searching / M. Trenas ; J. Lopez ; M. Sanchez ; F. Arguello ; E. Zapata
Tradeoff Analysis and Architecture Design of a Hybrid Hardware/Software Sorter / M. Bednara ; O. Beyer ; J. Teich ; R. Wanka
A Programmable Processor for Approximate String Matching with High Throughput Rate
Design Methodology / Elias Manolakos
A New Algorithm for the Elimination of Common Subexpressions in Hardware Implementation of Digital Filters by Using Genetic Programming / H. Safiri ; M. Ahmadi ; G. Jullien ; W. Miller
A Theory for Software-Hardware Co-Scheduling for ASIPs and Embedded Processors / R. Govindarajan ; E. Altman ; G. Gao
Partitioning Conditional Data Flow Graphs for Embedded System Design / M. Auguin ; L. Bianco ; L. Capella ; E. Gresset
Generation of Scheduling Functions Supporting LSGP-Partitioning / D. Fimmel
Business-to-Business Connectivity and Emerging Protocols for E-Biz / Daniel Dias
Formalism / Timos SellisSession 2:
A Formal Background to Build Constraint Objects / A. Di Deo ; D. Boulanger
Information Filtering and Personalization in Databases Using Gaussian Curves / G. Specht ; T. Kahabka
A Study on the Interaction between Interscheme Property Extraction and Type Conflict Resolution / G. Terracina ; D. Ursino
Querying: Objects, Web / Domenico SaccaSession 3:
The Hybrid Technique for Reference Materialization in Object Query Processing / Q. Wang ; D. Maier ; L. Shapiro
Fuzzy Functional Dependency and its Application to Approximate Data Querying / R. Intan ; M. Mukaidono
SISQL: Schema-Independent Database Querying (On and off the Web) / U. Masermann ; G. Vossen
Querying Databases with Knowledge Domains / W. Ng
Applications I / Joachim BiskupSession 3a:
Design of RapidBase--An Active Measurement Database System / A. Wolski ; J. Kuha ; T. Luukkanen ; A. Pesonen
StreamJoin: A Generic Database Approach to Support the Class of Stream-Oriented Applications / C. Nippl ; R. Rantzau ; B. Mitschang
How to Reuse Former Queries to Facilitate the Formulation of New Ones / C. Oussalah ; A. Seriai
Data Caching for Telephony Services / T. Carpenter ; R. Carter ; M. Cochinwala ; M. Eiger
Untangling the Web / Gottfried VossenSession 4:
Metadata Based Web Mining for Relevance / J. Yi ; N. Sundaresan
Khoj Yantra: An Integrated MetaSearch Engine with Classification, Clustering and Ranking / R. Mishra ; T. Prabhakar
Fuzzy and Presentation Algebras for Web and Multimedia Data / E. Bertino ; D. Montesi ; A. Trombetta
Keynote Speech / Motomichi YoyomaSession 5:
Databases Supporting Changes in Changing Worlds--The Case Spatio-Temoral Database Systems
Dealing with Time / Session 6:
Calculating Worst-Case Execution Times of Transactions in Databases for Event-Driven, Hard Real-Time Embedded Systems / A. Munnich ; G. Farber
The Vagabond Temporal OID Index: An Index Structure for OID Indexing in Temporal Object Database Systems / K. Norvag
Representation of Definite, Indefinite and Infinite Temporal Information / P. Chountas ; I. Petrounias
Data Marts and Warehouses / Jaroslav PokornySession 7:
Bulk Loading a Data Warehouse Built upon a UB-Tree / R. Fenk ; A. Kawakami ; V. Markl ; R. Bayer ; S. Osaki
Efficient Maintenance of Temporal Data Warehouses / S. de Amo ; M. Alves
FCompress: A New Technique for Queriable Compression of Facts and Datacubes / P. Furtado ; H. Madeira
Application of SuperSQL Query Language for the Migration from a Relational to an Object-Oriented Database / S. Udoguchi ; T. Iijima ; M. Toyama
Applications and Concerns I / Richard McClatcheySession 7a:
Keeping Web Pages Up-to-Date with SQL: 1999 / H. Loeser
Architecture for the Interaction and Access on Multimedia Database Systems in the Context of Mobile Environments / G. Flach ; N. Gunther
Algorithms for Cartogram Animation / M. Ouyang ; P. Revesz
Query Result Size Estimation Using the Trapezoidal Attribute Cardinality Map / B. Oommen ; M. Thiyagarajah
Measuring the Contributions of (O)RDBMS to Object-Oriented Software Development / W. Zhang ; N. Ritter
An Integration System of Web Information Sources for Mobile Users / W. Sae-Tung ; T. Ohmori ; M. Hoshi
XML and DB / Peter ReveszSession 8:
An XML-Based Architecture for Adaptive Web Hypermedia Systems Using a Probabilistic User Model / M. Cannataro ; A. Pugliese
XML Functionally / J. Pokorny
Modeling and Querying XML-Data / S. Flesca ; S. Greco ; E. Zumpano
Concurrency and Access / Bala IyerSession 9:
Concurrency Control for B-Trees with Differential Indices / K. Pollari-Malmi ; J. Ruuth ; E. Soisalon-Soininen
Speculation Based Nested Locking Protocol to Increase the Concurrency of Nested Transactions / P. Reddy ; M. Kitsuregawa
A Study of MBR-Based Spatial Access Methods: How Well They Perform in High-Dimensional Spaces / R. Orlandic ; B. Yu
Multimedia Access / Uwe HohensteinSession 10:
Multimedia Data Access Based on the Sensitivity Factors / T. Hochin ; K. Yamada ; T. Tsuji
Enabling Hypermedia Videos in Multimedia Database Systems Coupled with Realtime Media Servers / W. Lindner ; H. Berthold ; F. Binkowski ; A. Heuer ; K. Meyer-Wegener
Resiliency and Robustness of Alternative Shape-Based Image Retrieval Techniques / M. Safar ; C. Shahabi ; C.-H. Tan
Distributed Systems / B. John OommenSession 11:
Open Active Services for Data-Intensive Distributed Applications / C. Collet ; G. Vargas-Solar ; H. Grazziotin-Ribeiro
Mediated Information Gain / J. Biskup ; D. Embley
Supporting Data Migration between Relational and Object-Oriented Databases Using a Federation Approach / U. Hohenstein
Plug and Play with Query Algebras: SECONDO A Generic DBMS Development Environment / S. Dieker ; R. Guting
Applications and Concerns II / Guenther SpechtSession 11a:
Path Query Reduction and Diffusion for Distributed Semi-Structured Data Retrieval / J. Lee ; Y. Chung ; M. Kim
Implementation and Performance Analysis of Incremental Equations for Nested Relations / J. Liu ; M. Vincent ; M. Mohania
Dynamic Performance Optimization Mechanism for Parallel Object-Oriented Database Programming Languages / K. Kimura ; H. Amano ; A. Makinouchi
A Cost Function for Uniformly Partitioned UB-Trees
Time is the Shadow of Reactive Behavior / M. Berndtsson ; J. Hansson
Materializing a Set of Views: Dynamic Strategies and Performance Evaluation / Z. Bellahsene ; P. Marot
Applications II / Teruhisa HochinSession 12:
Wrapping WWW Information Sources / M. Montebello
What Can Partitioning Do for Your Data Warehouses and Data Marts? / L. Bellatreche ; K. Karlapalem ; M. Schneider
sponsored by IEEE Computer Society, IEEE Computer Society Technical Committee on Fault-Tolerant Computing, IEEE Computer Society Test Technology Technical Committee ; in cooperation with Technical Group on Fault Torerant Systems, IEICE, Japan
出版情報:
Los Alamitos, CA. : IEEE Computer Society, c2000 xii, 422 p. ; 23 cm
The Effect of Placement on Yield for Standard Cell Designs / R. Prasad ; I. Koren
IC Critical Volume Calculation through Ray-Casting of CSG Trees / M. Moran ; G. Allan
A New Defect Outline Model Used for Critical Area Estimation in VLSI / X. Jiang ; Y. Hao ; S. Horiguchi
Predicting the Yield Efficacy of a Defect-Tolerant Embedded Core / F. Meyer ; N. Park
Yield Enhancement Techniques / Session 2:
VLSI Yield Optimization Based on the Sub-Processing-Element Level Redundancy / T. Zhao ; Y. Jiao
Quality-Effective Repair of Multichip Module Systems / F. Lombardi
A Self-Correcting Active Pixel Camera / G. Chapman ; Z. Koren
Wafer Scale/Large Area Systems / Session 3:
Introduction to Special Session
A High Speed and High Fault Tolerant Reconfigurable Reasoning System: Toward a Wafer Scale Reconfigurable Reasoning LSI / M. Yasunaga ; I. Yoshihara ; J. Kim
Self-Configuration of a Large Area Integrated Multiprocessor System for Video Applications / M. Rudack ; M. Redeker ; D. Treytnar ; O. Mende ; K. Herrmann
A Reconfigurable WSI Massively Data-Parallel Processing Device for Cost-Effective 3D Sensor Data Processing / R. Lea ; P. Tetnowski ; M. Covic
Optimization of Wafer Scale H-Tree Clock Distribution Network Based on a New Statistical Skew Model
Implementation of a Multiprocessor System with Distributed Embedded DRAM on a Large Area Integrated Circuit / S. Moch ; J. Hilgenstock ; P. Pirsch
A Multifunctional Laser Linking and Cutting Structure for Standard 0.25 [mu]m CMOS-Technology
Fault-Tolerant Interconnections / Session 4:
On the Complexity of Switch Programming in Fault-Tolerant Configurable Chips / W. Shi ; K. Kumar
Design of Switching Blocks Tolerating Defects/Faults in FPGA Interconnection Resources / A. Doumar ; H. Ito
Design of a Fault Tolerant Multistage Interconnection Network with Parallel Duplicated Switches / N. Kamiura ; T. Kodera ; N. Matsui
Fault-Tolerant Systems / Session 5:
Achieving Fault-Tolerance by Shifted and Rotated Operands in TMR Non-Diverse ALUs / M. Alderighi ; S. D'Angelo ; C. Metra ; G. Sechi
Fault-Tolerant High-Performance Cordic Processors / J.-H. Kwak ; V. Piuri ; E. Swartzlander, Jr.
A Fault-Tolerant 176 Gbit Solid State Mass Memory Architecture / G. Cardarilli ; P. Marinucci ; M. Ottavi ; A. Salsano
Error Coding / Session 6:
Evaluations of Burst Error Recovery for VF Arithmetic Coding / M. Kitakami ; H. Chen ; E. Fujiwara
Single Byte Error Control Codes with Double Bit within a Block Error Correcting Capability for Semiconductor Memory Systems / G. Umanesan
Efficient Error Correction Code Configurations for Quasi-Nonvolatile Data Retention by DRAMs / Y. Katayama ; Y. Negishi ; S. Morioka
Reconfiguration and Repair / Session 7:
Built-In Self-Reconfiguring Systems for Mesh-Connected Processor Arrays with Spares on Two Rows/Columns / I. Takanami
Fault-Tolerant Ring-and Toroidal Mesh-Connected Processor Arrays Able to Enhance Emulation of Hypercubes / N. Tsuda
Self-Repairing in a Micro-Programmed Processor for Dependable Applications / A. Benso ; S. Chiusano ; P. Prinetto ; P. Simonotti ; G. Ugo
Self-Reconfigurable Mesh Array System on FPGA / M. Fukushi
Online Testing / Session 8:
How Does Resource Utilization Affect Fault Tolerance? / C. Scherrer ; A. Steininger
An Experimental Evaluation of the Effectiveness of Automatic Rule-Based Transformations for Safety-Critical Applications / M. Rebaudengo ; M. Reorda ; M. Torchiano ; M. Violante
Synthesis of On-Line Testing Control Units: Flow Graph Coding/Monitoring Approach / S. Demidenko ; E. Levine
An On-Line Reconfigurable FPGA Architecture / P. Lala ; A. Walker
Built-In Self-Test / Session 9:
Test Cost Minimization for Hybrid BIST / G. Jervan ; Z. Peng ; R. Ubar
BIST Architectures Selection Based on Behavioral Testing / G. Biasoli ; F. Ferrandi ; A. Fin ; F. Fummi ; D. Sciuto
Brains: A BIST Compiler for Embedded Memories / C. Cheng ; C.-T. Huang ; J.-R. Huang ; C.-W. Wu ; C.-J. Wey ; M.-C. Tsai
Testing Strategies / Session 10:
Testing the Configurability of Dynamic FPGAs / S. Ruiwale
Design for Testability to Achieve High Test Coverage--A Case Study / S. Mukherjee
Low-Speed Scan Testing of Charge-Sharing Faults for CMOS Domino Circuits / C. Chen ; W. Jone ; J. Wang ; S. Chang
Path Delay Fault Testability Analysis / J. Sosnowski ; T. Wabia ; T. Bech
I[subscript DDQ] Testing / Session 11:
Threshold Voltage and Power-Supply Tolerance of CMOS Logic Design Families / M. Kishor ; J. de Gyvez
A New Light-Based Logic IC Screening Method / S. Ohnishi ; M. Nishihara
Testability Analysis of I[subscript DDQ] Testing with Large Threshold Value / M. Hashizume ; H. Yotsuyanagi ; T. Tamesada ; M. Takeda
The 2nd Order Analysis of I[subscript DDQ] Test Data / S. Li ; K. Zhang ; J.-C. Lo
Fault Injection / Session 12:
"BOND": An Interposition Agents Based Fault Injector for Windows NT / A. Baldini
A Prototype of a VHDL-Based Fault Injection Tool / J. Baraza ; J. Gracia ; D. Gil ; P. Gil
Using Run-Time Reconfiguration for Fault Injection in Hardware Prototypes / L. Antoni ; R. Leveugle ; B. Feher
Fault Injection in VHDL Descriptions and Emulation
edited by Virginio Cantoni, Concettina Guerra ; sponsored by IEEE Computer Society Technical Committees on Pattern Analysis and Recognition, Parallell Processing and Cmputer Architecture ; in cooperation with ACM SIGARCH
出版情報:
Los Alamitos, CA ; Tokyo : IEEE Computer Society, c2000 xi, 364 p. ; 28 cm
Algebras for Hazard Detection / J. Brzozowski ; Z. Esik ; Y. Iland
Circuits I / Session 2a:
A New Improved Cost-Table-Based Technique for Synthesis of 4-Valued Unary Functions Implemented Using Current-Mode CMOS Circuits / M. Abd-El-Barr ; A. Al-Mutawa
Dual-Rail Multiple-Valued Current-Mode VLSI with Biasing Current Sources / T. Ike ; T. Hanyu ; M. Kameyama
Realization of NMAX and NMIN Functions with Multi-Valued Voltage Comparators / M. Inaba ; K. Tanno ; O. Ishizuka
Design and Verification of Systems / Session 2b:
An Application of Multiple-Valued Logic to Test Case Generation for Software System Functional Testing / M. Hu
Spectral Techniques in Binary and Multiple-Valued Switching Theory / M. Karpovsky ; R. Stankovic ; C. Moraga
Tunnelling Diode Technology / W. Prost ; U. Auer ; F-J. Tegude ; C. Pacha ; K. Goser ; R. Duschl ; K. Eberl ; O. SchmidtSession 3:
Circuits II / Session 4a:
Power Efficient Inter-Module Communication for Digit-Serial DSP Architectures in Deep-Submicron Technology / I. Ben Dhaou ; E. Dubrova ; H. Tenhunen
A 4-Digit CMOS Quaternary to Analog Converter with Current Switch and Neuron MOS Down-Literal Circuit / S. Han ; Y. Choi ; H. Kim
Fuzzy Logics and Their Applications I / Session 4b:
On Some Classes of Fuzzy Information Relations / A. Radzikowska ; E. Kerre
On Complete Residuated Many-Valued Logics with T-Norm Conjunction / F. Esteva ; L. Godo
Circuits III / Session 5a:
A Three-Valued D-Flip-Flop and Shift Register Using Multiple-Junction Surface Tunnel Transistors / T. Uemura ; T. Baba
Flash Analog-to-Digital Converter Using Resonant-Tunneling Multiple-Valued Circuits / T. Waho ; K. Hattori ; Y. Takamatsu
The Use of Arithmetic Operators in a Self-Restored Current-Mode CMOS Multiple-Valued Logic Design Architecture / H. Teng ; R. Bolton
Fuzzy Logics and Their Applications II / Session 5b:
Evaluation of Inconsistency in a 2-Way Fuzzy Adaptive System Using Shadowed Sets / E. Gurkan ; A. Erkmen ; I. Erkmen
Identification of Incompletely Specified Fuzzy Unate Logic Function / H. Kikuchi
Representation Theorems and the Semantics of (Semi)Lattice-Based Logics / V. Sofronie-StokkermansSession 6:
Tutorial / Session 7:
Tutorial: Complexity of Many-Valued Logics / R. Hahnle
Exploiting Polarity in Multiple-Valued Inference Systems / Z. StachniakSession 8:
Logic Design I / Session 9a:
Multiple-Valued Galois Field S/D Trees for GFSOP Minimization and Their Complexity / A. Al-Rabadi ; M. Perkowski
Multiple-Valued Mask-Programmable Logic Array Using One-Transistor Universal-Literal Circuits / K. Shimabukuro ; C. Zukeran
Decomposition of Multi-Valued Functions into Min- and Max-Gates / C. Lang ; B. Steinbach
Automated Reasoning and Complexity I / Session 9b:
Cut-Elimination in a Sequents-of-Relations Calculus for Godel Logic / M. Baaz ; A. Ciabattoni ; C. Fermuller
Model Checking with Multi-Valued Temporal Logics / M. Chechik ; S. Easterbrook ; B. Devereux
Automated Reasoning with Ordinary Assertions and Default Assumptions / D. Van Heule ; A. Hoogewijs
Logic Design II / Session 10a:
Information Theory Method for Flexible Network Synthesis / V. Cheushev ; S. Yanushkevich ; V. Shmerko ; J. Kolodziejczyk
Compact SOP Representations for Multiple-Output Functions: An Encoding Method Using Multiple-Valued Logic / T. Sasao
Two-Stage Exact Detection of Symmetries / A. Tomaszewska ; P. Dziurzanski
Automated Reasoning and Complexity II / Session 10b:
A Modular Reduction of Regular Logic to Classical Logic / R. Bejar ; F. Manya
Hypersequents as a Uniform Framework for Urquhart's C, MTL and Related Logics
Polynomial-Time Algorithms for Verification of Some Properties of k-Valued Functions Represented by Polynomials / S. Selezneva
Challenge of a Multiple-Valued Technology in Recent Deep-Submicron VLSI / Session 11:
Computing Paradigms / Session 12a:
A Model of Reaction-Diffusion Cellular Automata for Massively Parallel Molecular Computing / M. Hiratsuka ; T. Aoki ; T. Higuchi
Synthesis of Multiple-Valued Arithmetic Circuits Using Evolutionary Graph Generation / M. Natsui
An Axiomatization of Generalized Entropy of Partitions / D. Simovici ; S. Jaroszewicz
MV Logics and Algebras I / Session 12b:
Many Valued Paraconsistent Logic / C. Morgan
On Logical Fiberings and Decomposition of Many-Valued Operations: A Brief Survey / J. Pfalzgraf
Relations between Clones and Full Monoids / H. Machida ; M. Miyakawa ; I. Rosenberg
Classical Gentzen-Type Methods in Propositional Many-Valued Logics / A. AvronSession 13:
Decision Diagrams / Session 14a:
Selection of Efficient Re-Ordering Heuristics for MDD Construction / F. Schmiedle ; W. Gunther ; R. Drechsler
Bit-Level and Word-Level Polynomial Expressions for Functions in Fibonacci Interconnection Topologies / M. Stankovic ; J. Astola ; K. Egiazarian
Design of Haar Wavelet Transforms and Haar Spectral Transform Decision Diagrams for Multiple-Valued Functions
Fuzzy Logics and Set Theories / Session 14b:
A Set Theory within Fuzzy Logic / P. Hajek ; Z. Hanikova
On a Kleenean Extension of Fuzzy Measure / T. Araki ; M. Mukaidono ; F. Yamamoto
On Axiomatic Characterization of Fuzzy Approximation Operators II. The Rough Fuzzy Set Based Case / H. Thiele
Neural Networks / Session 15a:
A Functional Manipulation for Improving Tolerance against Multiple-Valued Weight Faults of Feedforward Neural Networks / N. Kamiura ; Y. Taniguchi ; N. Matsui
Logic Circuit Diagnosis by Using Neural Networks / H. Tatsumi ; Y. Murai ; S. Tokumasu
The Designing and Training of a Fuzzy Neural Hamming Classifier / Q. Hua ; Q-L. Zhen
MV Logics and Algebras II / Session 15b:
Weierstrass Approximations by Lukasiewicz Formulas with One Quantified Variable / S. Aguzzoli ; D. Mundici
Composing Submonads / P. Eklund ; M. Galan ; J. Medina ; M. Ojeda-Aciego ; A. Valverde
A Method of Uncertainty Reasoning by Using Information / J. Ma ; J. Liu ; Y. Xu
edited by Horst Clausen ... [et al.] ; sponsored by IEEE Communications Society, IEEE Computer Society, IEEE Computer Society Technical Committee on the Internet
出版情報:
Piscataway, N.J. : IEEE Service Center, c2001 x, 386 p. ; 28 cm
sponsored by IEEE Computer Society : co-sponsored by IPS of Japan, IEICE Communications Society of Japan ; in cooperation with Osaka University ; supported by the Telecommunications Advancement Foundation of Japan, International Communications Foundation of Japan
出版情報:
Los Alamitos, Calif. : IEEE Computer Society, c2000 xiii, 338 p. ; 28 cm
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, c2000 x, 131 p. ; 28 cm
Failure Mechanisms in Semiconductor Memory Circuits / R. Haythornthwaite
Diagnosing the Interconnect of Bus-Connected Multi-RAM Systems under Restricted and General Fault Models / J. Zhao ; F. Meyer ; F. Lombardi
Optimizing Memory Tests by Analyzing Defect Coverage / A. Jee ; J. Colburn ; V. Irrinki ; M. Puri
Flash/EEPROM Design / Alex Shubat ; Virage LogicSession 2:
Hierarchical Sector Biasing Organization for Flash Memories / R. Micheloni ; M. Zammattio ; G. Campardo ; O. Khouri ; G. Torelli
Fast Voltage Regulator for Multilevel Flash Memories / S. Gregori
Design Techniques for Embedded Eeprom Memories in Portable Asic and Assp Solutions / J. Daga ; C. Papaix ; M. Merandat ; S. Ricard ; G. Medulla ; J. Guichaoua ; D. Auvergne
New Ideas / Fabrizio LombardiSession 3:
Windowed Mram Sensing Scheme / R. Zhang ; W. Black, Jr. ; M. Hassoun
Panel: Future Memorq Challenges / Session 4:
Test and Yield / Robert EvansSession 5:
Tutorial: Synchronous Dynamic Memory Test Construction: A Field Approach / J. Vollrath
Yield Analysis Methodology for Low Defectivity Wafer Fabs / K. Rajkanan
Memorq Testing and Built-In Self-Test / Swamy IrrinkiSession 6:
March Tests for Realistic Faults in Two-Port Memories / S. Hamdioui ; M. Rodgers ; Ad J. van de Goor ; D. Eastwick
A Simple Built-In Self Test for Dual Ported SRAMs / K. Truong
Using Glfsrs for Pseudo-Random Memory Bist / M. Redeker ; M. Rudack ; T. Lobbe ; D. Niggemeyer
Invited Rddress
1-T Sram / Fu-Chieh Hsu
Memorq Design / Robert GibbinsSession 7:
Optimizing Meory Bandwidth with ILP Based Memory Exploration and Assignment for Low Power Embedded Systems / W.-T. Shiue
66MHz 2.3M Ternary Dynamic Content Addressable Memory / V. Lines ; A. Ahmed ; P. Ma ; S. Ma ; R. McKenzie ; H.-S. Kim ; C. Mar
A Low Voltage Embedded Single Port Sram Generator in a 0.18[mu]m Standard Cmos Process / C. Frey ; F. Genevaux ; C. Issartel ; D. Turgis ; JP. Schoellkopf
Diagnosis / Sharon MurraySession 8:
Diagnostic Testing of Embedded Memories Based on Output Tracing / E. Rudnick
Defect Analysis and Realistic Fault Model Extensions for Static Random Access Memories / K. Zarrineh ; A. Deo ; R. Adams
Crosstalk in Deep Submicron Drams / Z. Yang ; S. Mourad
Detecting Timed-Out Client Requests for Avoiding Livelock and Improving Web Server Performance / R. Carter ; L. Cherkasova
Flex: Load Balancing and Management Strategy for Scalable Web Hosting Service
Bandwidth Sensitive Content Transformation in Pervasive Computing / C. Hung ; L. Hong
Design of a Media Service Provider Architecture for the Internet / A. Calvagna ; A. Puliafito ; O. Tomarchio
Virtual Network Ports: Design, Implementation and Applications / V. Vuppala ; L. Ni
Access Networks / Session 2:
Solutions for Service Deployment in The Edge of the Network / D. Chantrain
Performance Evaluation of a Time Division Multiplexing Method Applicable for Dynamic Transfer Mode Networks / C. Antal ; J. Biro ; T. Henk ; G. Matefi
Multilevel Reed-Solomon Coding in Asymmetric Digital Subscriber Lines / L. Zhang ; A. Yongacoglu
Performance Optimisation of AAL2 Signalling for Supporting Soft Handoffs in UMTS Terrestrial Radio Access Networks / I. Szabo ; S. Szekely ; I. Moldovan
Multiaccess Strategies in an Integrated UTRA System / M. Ruiz-Garcia ; J. Burgos-Lati ; J. Romero-Jerez ; A. Diaz-Estrella
Network Management / Session 3:
Generic QoS-Support for CORBA / C. Becker ; K. Geihs
The Study and Implementation of the VPN Service Management System / Q. Xuesong ; X. Ao ; M. Luoming
Evolution of Operation Support Systems in Public Data Networks / M. Sherif ; S. Ho
Classification and Computation of Dependencies for Distributed Management / A. Keller U. Blumenthal ; G. Kar
A CORBA-Based Distributed Multimedia Database Management Layer: Design and Implementation Aspects / A. Coelho ; I. Ricarte
Internet II - TCP and Performance Aspects / Session 4:
Quantifying TCP Performance Improvements in Noisy Environments Using Protocol Boosters / D. Bakin ; M. Joa-Ng ; A. McAuley
A Simple Refinement of Slow-Start of TCP Congestion Control / H. Wang ; H Xin ; D. Reeves ; K. Shin
Energy/Throughput Tradeoffs of TCP Error Control Strategies / V. Tsaoussidis ; H. Badr ; X. Ge ; K. Pentikousis
Extending Mobile IP with Adaptive Individual Paging: A Performance Analysis / C. Castelluccia
Design and Performance of a Scalable Real Time Control Protocol: Simulations and Evaluations / R. El-Marakby
Some Observations on Fairness of Bandwidth Sharing / D. Chiu
Optical Networks / Session 5:
Distributed Algorithms and Architectures for Optical Flow Switching in WDM Networks / B. Ganguly ; E. Modiano
Wavelength Converters for Deflection Routing Networks / T. Chich ; F. Clerot
Dynamic Routing and Wavelength Assignment Using First Policy Iteration / E. Hyytia ; J. Virtamo
Comparative Study of Parallel vs. Distributed Genetic Algorithm Implementation for ATM Networking Environment / A. Sleem ; M. Ahmed ; A. Kumar ; K. Kamel
Network Security / Session 6:
Security Requirements for Management Systems Using Mobile Agents / H. Reiser ; G. Vogt
A Simple XOR-Based Technique for Distributing Group Key in Secure Multicasting / S. Ghanem ; H. Abdel-Wahab
FATIMA: A Firewall-Aware Transparent Internet Mobility Architecture / S. Mink ; F. Pahlke ; G. Schafer ; J. Schiller
Light Weight Security for Parallel Access to Multiple Mirror Sites / B. Yener
ATM Security with Firewalls / C. Simon ; A. Torok
Internet III--MPLS and Traffic Issues / Session 7:
Differentiated Services and Integrated Services Use of MPLS / N. Rouhana ; E. Horlait
Fractal Traffic Models for Internet Simulation / B. Ryu ; S. Lowen
An Empirical Study of Today's Internet Traffic for Differentiated Services IP QoS / F. Li ; N. Seddigh ; B. Nandy ; D. Matute
Formulation of the Traffic Engineering Problems in MPLS Based IP Networks / M. Girish ; B. Zhou ; J-Q. Hu
A Performance System Based on the Balanced Scorecard Approach for Measuring Performance in a Business Environment / G. Vardangalos ; A. Pantelis
Study of a Transport Protocol Employing Bottleneck Probing and Token Bucket Flow Control / R. Wade ; M. Kara ; P. Dew
Satellite Communication / Session 8:
Location Registration and Paging in Mobile Satellite Systems / J. McNair
Bulk Data Multicast Rate Scheduling for Hybrid Heterogeneous Satellite-Terrestrial Networks / A. Tunpan ; M. Corson
Acceleration of TCP Throughput over Satellite-Based Internet Access Using TCP Gateway / Y. Miyake ; T. Hasegawa ; T. Kato
Bit Error Rate Evaluation of a Spectrally Efficient CDMA Scheme for Geostationary Satellite Communications / E. Geraniotis ; D. Gerakoulis
DRS Compression Applied to MPEG-2 Video Data Transmitted over a Satellite Channel / N. Celandroni ; E. Ferro ; F. Potorti ; A. Chimienti ; M. Lucenteforte
Standardization and E-Commerce / Session 9:
Producing Standards for Communication Systems--The Impact of the Individual / K. Jakobs
Standards and Intellectual Property Rights--The International Standardization of Third-Generation Mobile System / B. Hjelm
Single-Term Divisible Electronic Cash Based on Bit Commitment / M. Zhong ; Y. Feng ; Y. Yang
Business-to-Consumer Electronic Commerce: A Longitudinal Study / M. Limayem ; M. Khalifa
Network and Service Anomaly Detection in Multi-Service Transaction-Based Electronic Commerce Wide Area Networks / L. Ho ; S. Papavassiliou
Multimedia I / Session 10:
Estimation of Multiplexer-Introduced Loss for MPEG-4 Data Streams Connected to (R)CBR Channels / U. Mayer ; J. Deicke ; M. Glesner
A Standalone Video Communication System for Wireless Applications / H. Ng ; H. Toh ; S. Rahardja ; H. Huang ; X. Chen ; H. Lan ; X. Lin
Analyses of MPEG-4 Video Streams Processing in Computer Clusters Based on Multihop ATM Networks / Z. Zografski ; T. Janevski
Bandwidth Adaptation of Audio Streams for Mobile Hosts / K. Brown ; L. Christianson
An End to End QoS Discovery Architecture Embedded in a TINA Based Multimedia Platform / F. Vandermeulen ; B. Vermeulen ; P. Demeester ; F. Steegmans ; S. Vermeulen
Quality of Service I / Session 11:
Differentiated Service Performance Analysis / L. Nguyen ; T. Eyers ; J. Chicharo
Performance Evaluation of Per-Hop Forwarding Behaviors in the Diffserv Internet / Z. Di ; H. Mouftah
Achieving Per-Flow Fair Rate Allocation within Diffserv / N. Li ; M. Borrego ; S-q. Li
A Novel Buffer Management Scheme for CBQ-Based IP Routers in a Combined IntServ and DiffServ Architecture / M. Markaki ; I. Venieris
Dynamic Management for End-to-End IP QoS: From Requirements to Offers / F. Bennani ; N. Simoni
Performance Analysis of QoS Mechanisms in IP Networks / D. Jia ; E. Dutkiewicz
Broadband Networks I - ATM / Session 12:
Design and Implementation of an ABR Server in a Shared-Bus ATM Switch / E. Zervanos ; G. Stassinopoulos
Using Dynamic Weights for Improving Fairness in the ATM ABR Service / J. Chew ; A. Gupta
Improvement of Traffic Load Measurement Mechanism of ATM Switches in Presence of VBR Traffic / S. Kamolphiwong
Scalable Memory Management for ATM Systems / D. Serpanos ; P. Karakonstantis
Inverse Multiplexing for ATM. Technical Operation, Applications and Performance Evaluation Study / M. Postigo-Boix ; J. Garcia-Haro ; M. Aguilar-Igartua
Multimedia II / Session 13:
Light-Weight Stream Synchronization Framework for Multimedia Collaborative Applications / A. Gonzalez ; H. Adbel-Wahab
An Efficient and Flexible Late Join Algorithm for Interactive Shared Whiteboards / W. Geyer ; J. Vogel ; M. Mauve
Implementing a User Level Multimedia Transport Protocol in Java / L. Apvrille ; L. Dairaine ; L. Rojas ; P. Senac ; M. Diaz
Phase Locked Loop Using Delay Compensation Techniques / F. Spagna
Diagnostic Tests for Communicating Nondeterministic Finite State Machines / R. Belhassine-Cherif ; A. Ghedamsi
Quality of Service II / Session 14:
Non-Exhaustive Channel Access Strategy in Multi-Resource Communication Systems with Non-Homogeneous Traffic / A. Melikov ; D. Deniz
Introducing Service Differentiation into IEEE 802.11 / I. Aad
An Analysis of the Backoff Mechanism Used in IEEE 802.11 Networks / M. Natkaniec ; A. Pach
Improving QoS for Real-Time Traffic in a Shared Link / P. Gong ; M. Lee ; T. Saadawi
An Admission Control Algorithm for Providing Quality-of-Service Guarantee for Individual Connection in a Video-on-Demand System / J. Lui ; X. Wang
Measurement-Based Admission Control: A Large Deviations Approach for Bufferless Multiplexers / M. Reisslein
Broadband Networks II / Session 15:
Experiences in Programming a Traffic Shaper / D-M. Chiu ; M. Kadansky ; J. Provino ; J. Wesley
System Stability with the PD ABR Flow Control Algorithm / I. Lengliz ; F. Kamoun
The Adaptive Load Service (ALS): An ABR-Like Service for the Internet / D. Sisalem ; H. Schulzrinne
Continuous Bandwidth, Non-Blocking, Multirate Switching in 3-Stage Clos Networks / W. Kabacinski ; F. Liotopoulos
A Fair and Efficient Multicast ATM Switch Based on Deflection Routing / R. Kannan ; S. Ray
Panel: Network Management / Veli Sahin ; Salah Aidorous ; Omar Mansour
Wireless Communications I / Session 16:
Energy-Efficient Adaptive Wireless Network Design / P. Havinga ; G. Smit ; M. Bos
Designing a Minimal Cost Wireless Network: A Case Study / R. Stanley
A Fully Distributed Location Management Scheme for Large PCS / K. Ratnam ; I. Matta ; S. Rangarajan
Striping Scheme for Wireless Communication Systems / F. Jacquet ; P. Kauffmann ; M. Misson
Study of a Home Automation Network Radio Variant: The Case of Teledomotis
Network Architecture / Session 17:
Iso WAN: A NASA Science and Engineering Information and Services Framework / D. Korsmeyer ; E. Chow ; M. Conroy
The Internet Is Challenging the Intelligent Network / B. El Ouahidi ; M. Bouhdadi ; D. Bourget
Application Level Error Recovery Using Active Network Nodes / J. Meggers ; M. Wallbaum
The Use of Software Agents as Proxies / B. Thai ; A. Seneviratne
Extending the MASIF Location Service in the MAP Agent System / E. Di Pietro ; A. La Corte
Routing / Session 18:
On-Demand QoS-Based Routing Protocol for Ad Hoc Mobile Wireless Networks / Y-K. Ho ; R-S. Liu
Load-Balanced Anycast Routing in Computer Networks / W. Zauemen ; S. Vutukury ; J. Garcia-Luna-Aceves
On the Performance of a Scalable Single-Tier Position Based Routing Protocol for Mobile Ad-hoc Wireless Networks / S. Xu ; K. Amouris
Optimal Multi-Path End-to-End Data Transmission in Networks / G. Xue
Connection-Oriented Routing in Ad Hoc Networks Based on Dynamic Group Infrastructure / Y-L. Chang ; C-C. Hsu
Wireless Communications II - Traffic Issues / Session 19:
Call Admission Control for Multimedia Services in Mobile Cellular Networks: A Markov Decision Approach / J. Choi ; T. Kwon ; Y. Choi ; M. Naghshineh
Connection Admission Control in Micro-Cellular Multi-Service Mobile Networks / R. Raad
An Adaptive Redundancy Technique for Wireless Indoor Multicasting / Y. Xu ; T. Zhang
An Adaptive, Location-Aware Hoarding Mechanism / U. Kubach ; K. Rothermel
On Multiple Traffic Type Integration over Wireless TDMA Channels / P. Koutsakis ; M. Paterakis
Distributed Systems / Session 20:
Implementing a Distributed Server Using Mobile Agent Technology / V. Carchiolo ; M. Malgeri ; G. Mangioni
The Partition Method for the Order - Insensitivity in a Synchronous Distributed Systems / M. Yeddes ; H. Alla ; R. David
Managing Services in Distributed Systems by Integrating Trading and Load Balancing / D. Thissen ; H. Neukirchen
Resource Balancing Using Trader Federation / C. Daval-Frerot ; M. Lacroix ; H. Guyennet
A UML Based Methodology for the Creation of TINA Compatible Telecommunications Services / D. Adamopoulos ; G. Pavlou ; C. Papandreou
Hierarchical Performance Modeling for Distributed System Architectures / D. Smarkusky ; R. Ammar ; I. Antonios ; H. Sholl
Multicast / Session 21:
Contractual Group Membership CGM: A New Mechanism for Multicast Group Management / T. Asfour ; S. Block ; A. Serhrouchni ; S. Tohme
A Tree Switching Protocol for Multicast State Reduction / F. Cheng ; R. Chang
A Rate-Based End-to-End Multicast Congestion Control Protocol / S. Shi ; M. Waldvogel
Router-Assistance for Receiver Access Control in PIM-SM / T. Hardjono
DISEC: A Distributed Framework for Scalable Secure Many-to-Many Communication / L. Dondeti ; S. Mukherjee ; A. Samal
Wireless Communications IIII - CDMA / Session 22:
Decentralized Power Control Algorithms for Multi-Service CDMA-Based Cellular Systems / G. Kotsakis ; P. Demestichas
Association of Uplink Power Control and Base Station Assignment in Cellular CDMA Systems / L. Nuaymi ; P. Godlewski
Throughput and Efficiency Capacities of Optical OOK-CDMA Communication Systems / H. Shalaby
Transmit Diversity Combining for Wideband DS/CDMA in Wireless Communications Systems / R. Choi ; K. Lataief ; R. Murch
Resource Allocation and Capacity in Wireless CDMA Networks Using Adaptive Power Control and Antenna Array Multiuser Receiver / Y. Guo ; B. Aazhang
Coding and Signal Processing / Session 23:
Iterative Decoding of Product Codes Composed of Extended Hamming Codes / N. Yu ; Y. Kim ; P. Lee
General Construction of Periodic Complete Complementary Codes Composed of Expanded Modulatable Orthgonal Sequences / H. Torii ; N. Suehiro ; M. Nakamura
An Adaptive Method of IFS Image Compression Based on Creditability / D. Yun-Zhao ; C. He-Xin
A Secure Data Hiding Scheme for Two-Color Images / H-K. Pan ; Y-Y. Chen ; Y-C. Tseng
Performance Improvement of Nonuniform Polarity-DPLL Symbol Synchronizers by Using Novel Adaptive Statistical Loop Filtering Technique / I. Panayiotopoulos ; P. Constantinou
Scheduling / Session 24:
An Effective Scheduler for IP Routers / G. Quadros ; A. Alves ; E. Monteiro ; F. Boavida
Packet Scheduling Based on Learning in the Next Generation Internet Architectures / A. Melo, Jr. ; J. Coello
How Unfair Can Weighted Fair Queuing Be?
Managing Performance Using Weighted Round-Robin / J. Wang ; Y. Levy
RED Behavior with Different Packet Sizes / S. De Cnodder ; O. Elloumi ; K. Pauwels
Some Results on the Centralizers of Monoids in Clone Theory / H. Machida ; I. Rosenberg ; M. Miyakawa
Partial Hyperclones on a Finite Set / B. Romov
On the Structures of Weak Interlaced Bilattice / M. Kondo
Logical Design I
Improving the Characterization of p-Valued Threshold Functions / C. Moraga
A Conjunctive Canonical Expansion of Multiple-Valued Functions / E. Dubrova ; P. Farm
Sierpinski Gaskets for Logic Functions Representation / D. Popel ; A. Dani
Logic for Static Hazard Detection of Multiple-Valued Logic Circuits with Tsum, Min, and Literals / N. Takagi ; K. Nakashima
Circuits I
Multiple-Valued Data Recovery Techniques for Band-Limited Channels in VLSI / Y. Yuminaka ; T. Morishita ; T. Aoki ; T. Higuchi
An Impact of Introducing Multi-Level Signals to a Bandpass Cascaded Delta-Sigma Modulator / T. Waho ; S. Kobayashi ; K. Matsuura
Voltage Comparator Circuits for Multiple-Valued CMOS Logic / Y. Guo ; K. Current
Logical Design II
Efficient Calculation of Fixed-Polarity Polynomial Expressions for Multiple-Valued Logic Functions / D. Jankovic ; R. Stankovic ; R. Drechsler
Comparison of Different Features of Quaternary Reed-Muller Canonical Forms and Some New Statistical Results / K. Adams ; J. McGregor
Design and Implementation of Error Detection and Correction Circuitry for Multilevel Memory Protection / B. Polianskikh ; Z. Zilic
Parallel Evolutionary Graph Synthesis on a PC Cluster and Its Application to Multiple-Valued Circuit Synthesis / M. Natsui
Consequence and Complexity in Infinite-Valued Logic: A Survey / V. Marra ; D. Mundici
Spectral Techniques
Some Remarks on Linear Transform of Variables in Representation of Adders by Word-Level Expressions and Spectral Transform Decision Diagrams / J. Astola
Chrestenson Spectrum Computation Using Cayley Color Graphs / M. Thornton ; D. Miller ; W. Townsend
The Role of Super-Fast Transforms in Speeding Up Quantum Computations / K. Radecka
Multiple-Valued and Spectral Approach to Lossless Compression of Binary, Gray Scale and Color Biomedical Images / B. Falkowski ; B. Olejnicka
Circuits II
Design of Dynamic Reliability Indices / E. Zaitseva ; V. Levashenko
PODEM Based on Static Testability Measures and Dynamic Testability Measures for Multiple-Valued Logic Circuits / N. Kamiura ; T. Isokawa ; N. Matsui
Design of Ternary Schmitt Triggers Based on Its Sequential Characteristics / X. Wu ; P. Wang ; Y. Xia
Multiple-Valued Logic-in-Memory VLSI Based on Ferroelectric Capacitor Storage and Charge Addition / H. Kimura ; T. Hanyu ; M. Kameyama
Optimization of Multi-Valued Multi-Level Networks / M. Gao ; J. Jiang ; Y. Jiang ; Y. Li ; A. Mishchenko ; S. Sinha ; T. Villa ; R. Brayton
Algebra II
de Morgan Bisemilattice of Fuzzy Truth Value / H. Kikuchi
Independence of Each Axiom in a Set of Axioms and Complete Sets of Axioms of Boolean Algebra / T. Ninomiya ; M. Mukaidono
On Functions Defined on Free Boolean Algebras / D. Simovici ; S. Jaroszewicz
Logical Design III
The Word-Level Models for Efficient Computation of Multiple-Valued Functions. Part 1: LAR Based Model / S. Yanushkevich ; P. Dziurzanski ; V. Shmerko
The Word-Level Models for Efficient Computation of Multiple-Valued Functions. Part 2: LWL Based Model / A. Tomaszewska
Efficient Bridging Fault Simulation of Sequential Circuits Based on Multi-Valued Logics / I. Polian ; P. Engelke ; B. Becker
Multiple-Valued-Digit Number Representations in Arithmetic Circuit Algorithms
Decision Diagrams
Variable Selection Heuristics and Optimum Decision Trees--An Experimental Study / N. Otsu
On the Construction of Multiple-Valued Decision Diagrams
Evaluation of Static Variable Ordering Heuristics for MDD Construction
Representations of Logic Functions Using QRMDDs / S. Nagayama ; T. Sasao ; Y. Iguchi ; M. Matsuura
Circuits III
Fully Source-Coupled Logic Based Multiple-Valued VLSI / T. Ike
A Current-Mode Folding/Interpolating CMOS Analog to Quaternary Converter Using Binary to Quaternary Encoding Block / S. Han ; S. Park ; H. Seong ; H. Kim
Multi-Valued Flip-Flop with Neuron-CMOS NMIN Circuits / M. Inaba ; K. Tanno ; O. Ishizuka
sponsored by IEEE Computer Society, IEEE CS Virtual Intelligence Task Force ; in cooperation with The Information Technology Research Institute, Wright State University, AIIS Inc
出版情報:
Los Alamitos, Calif. : IEEE Computer Society, c2001 xiv, 375 p. ; 28 cm
Towards Ontological Reconciliation for Agents / L. Sterling ; K. Lister
Transaction Oriented Computational Models for Multi-Agent Systems / K. Ramamohanarao ; J. Bailey ; P. Busetta
Resource Coordination in Single Agent and Multiagent Systems / G. Edwin ; M. T. Cox
Smart Cars as Autonomous Intelligent Agents / N. Bourbakis ; M. Findler
Interleaved Backtracking in Distributed Constraint Networks / Y. Hamadi
A Multi-Agent System to the Common Management of a Renewable Resource: Application to Water Sharing / M. Le Bars ; J. M. Attonaty
Using Software Agents to Avoid Collisions Among Multiple Robots / M. Jager
Reasoning / Session 2:
RaBeCa: A Hybrid Case-Based Reasoning Development Environment / R. B. Sovat ; S. M. Aluisio ; A. C. P. L. F. de Carvalho
Automatic Knowledge Acquisition from Subject Matter Experts / M. Boicu ; G. Tecuci ; B. Stanescu ; D. Marcu ; C. Cascaval
Inconsistent Requirements: An Argumentation View / L. Perrussel ; P.-J. Charrel
Perfect Sequences for Belief Networks Representation / R. Jirousek ; J. Vejnarova
A Decentralized Model-Based Diagnostic Tool for Complex Systems / Y. Pencole ; M.-O. Cordier ; L. Roze
Alma/Carne: Implementation of a Time-Situated Meta-Reasoner / K. Purang
Towards a General Theory for Qualitative Space / B. A. El-Geresy ; A. I. Abdelmonty
Genetic Algorithms / Session 3:
Dynamic Load-Balancing via a Genetic Algorithm / W. A. Greene
Parallel Genetic Programming for Decision Tree Induction / G. Folino ; C. Pizzuti ; G. Spezzano
New Hybrid Genetic Algorithms for the Frequency Assignment Problem / M. Alabau ; L. Idoumghar ; R. Schott
Planning / Session 4:
Fast Suboptimal Planning with Nexus States / W. Briggs ; B. Dawson
An Architecture for Planning in Uncertain Domains / M. E. Agueda ; P. H. Ibarguengoytia
A Metaheuristic for the Pickup and Delivery Problem with Time Windows / H. Li ; A. Lim
Machine Learning and Data Mining / Session 5:
An Effective Method for Generating Multiple Linear Regression Rules from Artificial Neural Networks / R. Setiono ; A. Azcarraga
Data Flow Coherence Criteria in ILP Tools / S. Muresan ; T. Muresan ; R. Potolea
Comparing Keyword Extraction Techniques for WEBSOM Text Archives / A. P. Azcarraga ; T. N. Yap, Jr.
Developing Collaborative Golog Agents by Reinforcement Learning / I. A. Letia ; D. Precup
Combinatorial Optimization through Statistical Instance-Based Learning / O. Telelis ; P. Stamatopoulos
Empirical Study of a Stacking State-Space / A. Ledezma ; R. Aler ; D. Borrajo
Mining First-Order Knowledge Bases for Association Rules / H. M. Jamil
Visualization Support for User-Centered Model Selection in Knowledge Discovery in Databases / T. B. Ho ; T. D. Nguyen
Generation of Propagation Rules for Intentionally Defined Constraints / S. Abdennadher ; C. Rigotti
Natural Language Processing and Information Retrieval / Session 6:
B-Course: A Web Service for Bayesian Data Analysis / P. Myllymaki ; T. Silander ; H. Tirri ; P. Uronen
An Expert Recommendation System Using Concept-Based Relevance Discernment / T. Yukawa ; K. Kasahara ; T. Kato ; T. Kita
A Robust Model for Intelligent Text Classification / R. Basili ; A. Moschitti
Corefdraw--A Tool for Annotation and Visualization of Coreference Data / S. M. Harabagiu ; R. C. Bunescu ; S. Trausan-Matu
Word Semantics for Information Retrieval: Moving One Step Closer to the Semantic Web / R. F. Mihalcea ; S. I. Mihalcea
High Precision Logic Form Transformation / V. Rus
Software Engineering / Session 7:
Loop--A Language for LP-Based AI Applications / A. Suciu ; K. Pusztai ; Z. Simon
Shamash: An AI Tool for Modeling and Optimizing Business Processes / D. Camacho ; A. Sierra-Alonso
An On-Line Repository for Embedded Software / I.-L. Yen ; L. Khan ; B. Prabhakaran ; F. B. Bastani ; J. Linn
Constraint Satisfaction / Session 8:
A New Hybrid Method for Solving Constraint Optimization Problems in Anytime Contexts / S. Loudni ; P. Boizumault
Pickup and Delivery with Time Windows: Algorithms and Test Case Generation / H. C. Lau ; Z. Liang
Successive Search Method for Valued Constraint Satisfaction and Optimization Problems / M. Tounsi ; P. David
Applications / Session 9:
Maintaining Credible Dialogs in a VideoBot System with Special Audio Techniques / D. DeGroot
Maximizing Paper Spread in Examination Timetabling Using a Vehicle Routing Method / W.-K. Ho ; W.-C. Oon
Artificial Neural Networks in Hydrological Watershed Modeling: Surface Flow Contribution from the Ungauged Parts of a Catchment / R. Chibanga ; J. Berlamont ; J. Vandewalle
sponsored by IEEE Computer Society Technical Committee on Complexity in Computing ... [et al.] ; edited by Sten F. Andler, Michael G. Hinchey, Jeff Offutt
出版情報:
Los Alamitos, Calif. : IEEE Computer Society, c2001 xi, 281 p. ; 28 cm
Multiple Conceptions of Character-Based Interactive Installations / B. Blumberg ; B. Tomlinson ; M. Downie
Human Modelling / Session 1:
An Inverse Kinematics Method Based on Muscle Dynamics / T. Komura ; Y. Shinagawa ; T. L Kunii
3D Animated Movie Actor Training Using Fuzzy Logic / S. Karunaratne ; H. Yan
Towards Real Time Virtual Human Life Simulations / E. de Sevin ; M. Kallmann ; D. Thalmann
Principal Components of Expressive Speech Animation / S. Kshirsagar ; T. Molet ; N. Magnenat-Thalmann
Image Processing and Retrieval 1 / Session 2:
Paint by Relaxation / A. Hertzmann
Affine-Invariant Sketch-Based Retrieval of Images / H. H. S. Ip ; A. K. Y. Cheng ; W. Y. F. Wong ; J. Feng
Web-Based Image Retrieval: A Hybrid Approach / Y. Zhuang ; Q. Li ; R. W. H. Lau
Natural Phenomenon Modelling / Session 3:
Water Animation with Disturbance Model / Q. Chen ; J. Deng ; F. Chen
Animating the Escape Response of the Sea Anemone, Stomphia coccinea from the Starfish, Dermasterias imbricata Modeled Using Implicit Surfaces / M. A. Nur ; X. Liang ; B. Wyvill ; G. B. Bourne
Visual Simulation of Lightning Taking into Account Cloud Growth / B. Sosorbaram ; T. Fujimoto ; K. Muraoka ; N. Chiba
Non-Photo Realistic Rendering / Session 4:
Volumes of Expression: Artistic Modelling and Rendering of Volume Datasets / S. M. F. Treavett ; M. Chen ; R. Satherley ; M. W. Jones
Animating Chinese Landscape Paintings and Panorama Using Multi-Perspective Modeling / N. S.-H. Chu ; C.-L. Tai
Creating Pen-and-Ink Illustration Using Stroke Morphing Method / H.-S. Kim ; H.-J. Jin ; Y.-J. Yu ; H.-G. Cho
3D Graphics / Session 5:
Efficient 3D Image Warping for Composing Novel Views / X. Zheng ; E. Wu
A Hybrid Approach to the Recovery of Deformable Superquadric Models from 3D Data / J. Sinnott ; T. Howard
A Motion Prediction Method for Mouse-Based Navigation / A. Chan ; A. Si
Modeling and Rendering of Various Natural Phenomena Consisting of Particles / T. Nishita ; Y. Dobashi
Computational Geometry / Session 6:
Implementation of Object Attachments by Cellular Modeling / M. Hisada
The Hash Function and the Principle of Duality / V. Skala ; M. Kuchar
Polygonizing Non-Uniformly Distributed 3D Points by Advancing Mesh Frontiers / I. Atmosukarto ; L. Zhou ; W. K. Leow ; Z. Huang
Blendeforming: Ray Traceable Localized Foldover-Free Space Deformation / D. Mason ; G. Wyvill
Rendering / Session 7:
Using A-Buffer in Radiosity / Q. Wang ; J. H. Tang ; C. H. Lim ; H. C. Teh
A Monte Carlo Method for Accelerating the Computation of Animated Radiosity Sequences / G. Besuievsky ; X. Pueyo
Hardware-Accelerated Rendering of Antialiased Shadows with Shadow Maps / S. Brabec ; H.-P. Seidel
Ray Tracing Surfaces of Revolution: An Old Problem with A New Perspective / G. Baciu ; J. Jia ; G. Lam
Image Processing and Retrieval 2 / Session 8:
Cartoon Image Vectorization Based on Shape Subdivision / J. J. Zou
Region Matching and Optimal Matching Pair Theorem / Z. Zeng
An Intelligent System for Integrating Semantic and Iconic Features for Image Retrieval / L. H. Tang ; R. Hanka ; K. K. T. Cheung ; R. Lam
Soft-body Modelling / Session 9:
A Multi-Layered Reflection Model of Natural Human Skin / C. S.-L. Ng ; L. Li
Physically-Based Real-Time Animation of Draped Cloth / C. Cheng ; Y.-Q. Xu ; J. Shi ; H.-Y. Shum
Comparing Efficiency of Integration Methods for Cloth Simulation / P. Volino ; N. Mangenat-Thalmann
A New Approach of Point-Based Rendering / Q. Peng ; W. Hua ; X. Yang
Surface Modelling and Rendering / Session 10:
Dynamic Refinement of Deformable Triangle Meshes for Rendering / K. Kahler ; J. Haber
Hierarchical Implicit Surface Refinement
Providing Local Interpolation, Tension and Normal Control in the Manipulation of Loop Subdivision Surfaces / J. Claes ; M. Ramaekers ; F. van Reeth
A Marching Voxels Method for Surface Rendering of Volume Data / C.-F. Lin ; D.-L. Yang ; Y.-C. Chung
Short Paper Session 1
Visualization of Geostress Tensor along Oil Well Trajectory / Y. Zhou ; Q.-L. Li ; S.-D. Ma
3D Discrete Clothoid Splines / G. Li ; X. Li ; H. Li
What Do You Think You're Doing?: Measuring Perception in Fish Tank Virtual Reality / M. Treadgold ; K. Novins ; B. Niven
Applying Functional Networks to Fit Data Points from B-Spline Surfaces / A. Iglesias ; A. Galvez
Javra: A Simple, Extensible Java Package for VRML / H. van de Wetering
NURBS Streams / F. W. B. Li
Short Paper Session 2
Technical Illustration Based on Human-Like Approach / W. Geng ; M. Fleischmann ; H. Yu ; Y. Pan
Real-Time Physically-Based Facial Expression Animation Using Mass-Spring System / Y. Zhang ; E. C. Prakash ; E. Sung
Layout Adjustment and Boundary Detection for a Diagram / W. Lai
A Realtime Rough Surface Renderer / T. Ikedo ; E. Obuchi
Robust Invisible Watermarking of Volume Data Using the 3D DCT / Y. Wu ; X. Guan ; M. S. Kankanhalli
Mosaic and Warping for Forward Moving Images / S. Zhang ; H. Chen ; P. Shi
Xyleme: A Dynamic Warehouse for XML Data of the Web
Query / Session 2:
Query Scheduling in Multi Query Optimization / A. Gupta ; S. Sudarshan ; S. Vishwanathan
Exploiting Upper and Lower Bounds in Top-Down Query Optimization / L. Shapiro ; D. Maier ; P. Benninghoff ; K. Billings ; Y. Fan ; K. Hatwal ; Q. Wang ; Y. Zhang ; H.-M. Wu ; B. Vance
Web Document Searching Using Enhanced Hyperlink Semantics Based on XML / I. Varlamis ; M. Vazirgiannis
Physical Data Structures / Session 3:
Design and Implementation of Bitmap Indices for Scientific Data / K. Stockinger
Implementing KDB-Trees to Support High-Dimensional Data / R. Orlandic ; B. Yu
Qualitative Representations in Large Spatial Databases / B. El-Geresy ; A. Abdelmoty
Prefix Trees: New Efficient Data Structures for Matching Strings of Different Lengths / N. Yazdani ; P. Min
Schemas and Version / Session 4a:
Generation of External Schemas in ODMG Databases / M. Torres ; J. Samos
Dynamic Systems Specifications Using Versions and Time / M. Moro ; S. Saggiorato ; N. Edelweiss ; C. dos Santos
Short Papers I / Session 4b:
Optimization of SchemaSQL Queries / K. Davis ; F. Sadri
Static Analysis of Queries as a Tool for Static Optimization / J. Plodzien ; K. Subieta
XPathLog: A Declarative, Native XML Data Manipulation Language / W. May
Metadata Management for Data Warehousing: Between Vision and Reality / A. Vaduva ; K. Dittrich
Invited Address II / Session 5:
Evolution of Database Technology: Hyperdatabases / Hans-Jorg Schek
OLAP / Session 6:
Novel Algorithms for Computing Medians and Other Quantiles of Disk-Resident Data / L. Fu ; S. Rajasekaran
Exploitation of Pre-sortedness for Sorting in Query Processing: The TempTris-Algorithm for UB-Trees / M. Zirkel ; V. Markl ; R. Bayer
Interactive ROLAP on Large Datasets: A Case Study with UB-Trees / F. Ramsak ; R. Fenk ; T. Ruf
Improving the Processing of Decision Support Queries: The Case for a DSS Optimizer / H. Schwarz ; R. Wagner ; B. Mitschang
Federated Data Sources / Session 7a:
Version Propagation in Federated Database Systems / M. Schonhoff ; M. Strassler ; K. Dittich
Semantic Integration of XML Heterogeneous Data Sources / C. Reynaud ; J.-P. Sirot ; D. Vodislav
Reducing Inconsistency in Integrating Data from Different Sources / S. Lujan-Mora ; M. Palomar
A Data Preparation Framework Based on a Multidatabase Language / K.-U. Sattler ; E. Schallehn
Short Papers II / Session 7b:
A UML-Based Metamodeling Architecture for Database Design / M..-N. Terrasse ; M. Savonnet ; G. Becker
An Integrated Graphical User Interface for High Performance Distributed Computing / X. Shen ; W.-K. Liao ; A. Choudhary
Virtual Integration of Temporal and Conflicting Information / P. Chountas ; I. Petrounias
Modeling and Management of Spatio-temporal Objects within Temporal GIS Application Framework / D. Stojanovic ; S. Djordjevic-Kajan ; Z. Stojanovic
Integrity Constraint Management for Design Object Versions in a Concurrent Engineering Design Environment / J. Goonetillake ; T. Carnduff ; W. Gray
Distributed Systems / Session 8:
Tradeoff between Client and Server Transaction Validation in Mobile Environment / A. Das ; K. Kai
Cryptography and Relational Database Management Systems / J. He ; M. Wang
Steiner-Optimal Data Replication in Tree Networks with Storage Costs / K. Kalpakis ; K. Dasgupta ; O. Wolfson
Invited Address III / Session 9:
Query Languages and XML / Donald D. Chamberlin
Data Warehouse and Mining / Session 10:
Towards an Architecture for Real-Time Decision Support Systems: Challenges and Solutions / K. Delic ; L. Douillet ; U. Dayal
Experimental Evalution of a New Distributed Partitioning Technique for Data Warehouses / J. Bernardino ; H. Madeira
Mining Free Itemsets under Constraints / J.-F. Boulicaut ; B. Jeudy
A Framework for Understanding Existing Databases / S. Lopes ; J.-M. Petit ; L. Lakhal
Multimedia Farewell / Session 11:
A Study on Content-Based Classification and Retrieval of Audio Database / M. Liu ; C. Wan
Similarity-Based Operators and Query Optimization for Multimedia Database Systems / S. Atnafu ; L. Brunie ; H. Kosch
An Adaptive and Efficient Clustering-Based Approach for Content-Based Image Retrieval in Image Databases / R. Stehling ; M. Nascimento ; A. Falcao
sponsored by the IEEE Society on Social Implications of Technology (SSIT), IEEE Computer Society ; in cooperation with ACM Special Interest Group on Computers and Society (SIGCAS)
出版情報:
Los Alamitos, Calif. : IEEE Computer Society, c2001 xi, 263 p. ; 28 cm
The EDM and Bee Projects at CMU: Meeting the ABET Criteria (Panel) / Peter Madsen et al.
Teaching vs. Preaching: EC2000 and the Engineering Ethics Dilemma / Sarah K.A. Pfatteicher
Multidisciplinary Perspectives
The Role of Discourses in Multidisciplinarity / Y. Julliard ; A. Schwab
Teaching Business/IT Ethics / R. Bellaver ; J. Gentry
Bridging the Cultural Chasm: Improving Collaboration and Cooperation between the Computer and Social Sciences / B. Perlman ; R. Varma
Educating Frankenstein: An Interdisciplinary Approach to Teaching Undergraduate Computing and Ethics / P. Corey
Curriculum Development within Computing
Curriculum Issues and Controversies in Computer Ethics Instruction / H. Tavani
"Star Wars" Revisited--A Continuing Case Study in Ethics and Safety-Critical Software / K. Bowyer
Enhancing Computer Ethics by Increasing Collaboration and Peer Learning / J. Polack-Wahl
A Conceptual Framework for Teaching Internet Ethics / A. Bardon
The Humanities within the Curriculum
Humanities and Social Sciences in Engineering Education--Postwar to Postmodern and Beyond / F. Lyman
Human-Environment Interactions: An Organizing Principle for the Liberal Arts Component of Engineering Education / A. Sacks
Infusion of Ethics and Social Issues throughout Engineering, Scientific and Technical Curricula / K. Alyadurai
An Existentialist Ethic of Technological Application and Assessment in Medicine / D. Gunn
Economic Issues
Russian Technology and Highly Educated Personnel on the Modern American Market / L. Bzhilianskaya
Ethical Issues with Target Marketing on the Internet / E. Sujdak
Policy Issues
Quelle Est la Clef a la Mondialisation? / R. Bradley
Ethics, Law and Technology: A Case Study in Computer-Mediated Communication / T. Flynn
Issues in Expert Knowledge
Formation of Knowledge Societies in the Developing World: Empowerment and Governance / V. Nath
Technical Authority in the Media: Public Debate on the Strategic Defense Initiative / R. Slayton
Humble Analysis: The Practice of Joint Fact Finding / C. Andrews
Fostering Guarded Trust in Collaborative Filtering Systems / J. Oravec
Dramatic Reading of 'Mourning Becomes Electric' / R. Epstein
Keynote Address
Lee W. Saperstein, Past President, Accreditation Board for Engineering and Technology, Inc., Dean, School of Mines and Metallurgy, University of Missouri-Rolla
Ethics Education for Engineers
Ethics Education for Engineers: An Industry Perspective (Panel) / John Shelton ; Kathy McCaffrey ; Janet Rochester
The Engineering Profession
All This and Engineering Too: History of Accreditation Requirements for Non-technical Curriculum Content in U.S. Engineering Education 1933-2000 / K. Stephan
The Engineer Shall Hold Paramount the Health, Safety, and Welfare of the Public. Unless, of Course / P. Vesilind
Engineering Professionalism and the Imperative of Sustainable Development / M. Manion
On Subjectivity in Focal Engineering / G. Moriarty
History of Technology
Early Bell System/Independents Relationships
Safety in the Workplace of 1904 / J. Reitman
EC2000 Outside Engineering
Opportunities and Challenges for the Teaching of the Humanities and Social Sciences to Engineering Students
Standards-Based Assessment of Humanities/Social Science (H/SS) Programs in the Liberal Education Division / L. Schachterle
Re-inventing the Humanities and Social Sciences in Engineering Education under the ABET 2000 Accreditation Standards / K. Neeley
ABET's Engineering Criteria 2000 and Engineering Ethics: A Status Report / J. Herkert
Faculty and Curriculum: Roles and Development
The Problem of Changing Values in Managerial Development through Open Education and Distance Learning Programs for the Organizational Postmodernity / J. Vargas Hernandez
MEP: Towards Faculty Development / C. Carbonell
Development and Assessment of the Innovative Curriculum: Required Online Courses / S. Fredricks ; G. Greenberg ; B. Dolan
Ethical and Legal Issues Related to Emerging Technologies: Reconsidering Faculty Roles and Technical Curricula in a New Environment / S. Ross
Issues in Accreditation
Shaping the Future of American University Education: Conceiving Engineering a Liberal Art / R. Barke ; E. Lane ; K. Knoespel
Engineering as Social and Ethical Practice: The Role of New Course Accreditation Requirements / S. Johnston ; D. Eager
Assessment Study of Communication Modes and Content Used by Engineering Students in a Special Project Course (Panel) / G. Del Cerro ; J. Le Mie ; E. Mar ; S. Wei ; C. Weiman ; A. Wortzel
Applying ABET Engineering Criteria 2000 to a German Electrical Engineering Program / C. Meinecke
Models in Teaching and Learning
Social Informatics and Service-Learning as Models for Teaching Ethical and Social Issues in Science and Engineering / W. McIver, Jr. ; T. Rachell
Toward a New Era for Chemical Engineering Education: Making Environmental and Ethical Issues Fundamental / A. Hoats
Professional Issues in Software Engineering Curricula: Case Studies on Ethical Decision Making / E. Georgiadou ; P. Oriogun
Fast Hierarchical Floorplanning with Congestion and Timing Control / A. Ranjan ; K. Bazargan ; M. Sarrafzadeh
An Evaluation of Move-Based Multi-Way Partitioning Algorithms / E. Yarack ; J. Carletta
Assignment-Space Exploration Approach to Concurrent Data-Path/Floorplan Synthesis / K. Oohashi ; M. Kaneko ; S. Tayu
Basic Algorithms in Verification and Test / Yatin HoskoteSession 5.3:
On Solving Stack-Based Incremental Satisfiability Problems / J. Kim ; J. Whittemore ; K. Sakallah
Efficient Dynamic Minimization of World-Level DDs Based on Lower Bound Computation / W. Gunther ; R. Drechsler ; S. Horeth
Sensitivity Levels of Test Patterns and Their Usefulness in Simulation-Based Test Generation / I. Pomeranz ; S. Reddy
On Test Application Time and Defect Detection Capabilities of Test Sets for Scan Designs
Special Session: Advancements in DSP Architecture / Jim Bondi ; Nagaraj NSSession 6.1:
Effective Hardware-Based Two-Way Loop Cache for High Performance Low Power Processors / T. Anderson ; S. Agarwala
A Multi-Level Memory System Architecture for High-Performance DSP Applications / C. Fuoco ; D. Comisky ; C. Mobley
A Scalable High-Performance DMA Architecture for DSP Applications
Advanced Architectural Design and Synthesis / Edward GrochowskiSession 6.2:
Efficient Place and Route for Pipeline Reconfigurable Architectures / S. Cadambi ; S. Goldstein
PEAS-III: An ASIP Design Environment / M. Itoh ; S. Higaki ; J. Sato ; A. Shiomi ; Y. Takeuchi ; A. Kitajima ; M. Imai
Symbolic Binding for Clustered VLIW ASIPs / S. Pillai ; M. Jacome
Interfacing Hardware and Software Using C++ Class Libraries / D. Ramanathan ; R. Roth ; R. Gupta
Application and Case Studies in Test and Verification / Carl PixleySession 6.3:
Formal Verification of an Industrial System-on-a-Chip / H. Choi ; M.-K. Yim ; J.-Y. Lee ; B.-W. Yun ; Y.-T. Lee
Equivalence Checking Combining a Structural SAT-Solver, BDDs, and Simulation / V. Paruthi ; A. Kuehlmann
Efficient Design Error Correction of Digital Circuits / D. Hoffmann ; T. Kropf
An Automatic Validation Methodology for Logic BIST in High Performance VLSI Design / M. Cogswell ; D. Pearl ; J. Sage ; A. Troidl
Invited Paper
The Birth of the Baby / H. Kahn ; R. Napper
Logic Optimization / Chin-Long WeySession 7.1:
Efficient Logic Optimization Using Regularity Extraction / T. Kutzschebauch
Binary and Multi-Valued SPFD-Based Wire Removal in PLA Networks / S. Sinha ; S. Khatri ; R. Brayton ; A. Sangiovanni-Vincentelli
Minimization of Ordered Pseudo Kronecker Decision Diagrams / P. Lindgren ; B. Becker
High Level Specification and Synthesis / Pranav AsharSession 7.2:
Rethinking Behavioral Synthesis for a Better Integration within Existing Design Flows / W. Cesario ; A. Jerraya ; Z. Sugar ; I. Moussa
Synthesis and Optimization of Interface Hardware between IP's Operating at Different Clock Frequencies / B.-I. Park ; I.-C. Park ; C.-M. Kyung
Multi-Level Communication Synthesis of Heterogeneous Multilanguage Specification / F. Hessel ; P. Coste ; G. Nicolescu ; P. LeMarrec ; N. Zergainoh
Poster Sessions
Low Power Video Object Motion-Tracking Architecture for Very Low Bit Rate Online Video Applications / W. Badawy ; M. Bayoumi
An SEU Injection Tool to Evaluate DSP-Based Architectures for Space Applications / A. Benso ; S. Martinetto ; P. Prinetto ; R. Mariani
On Integrating a Proprietary and a Commercial Architecture for Optimal BIST Performances in SoCs / S. Di Carlo ; S. Chiusano ; F. Ricciato ; M. Bodoni ; M. Spadari
Static Timing Analysis with False Paths / H. Chen ; B. Lu ; D.-Z. Du
A Methodology and Tool for Automated Transformational High-Level Design Space Exploration / J. Gerlach ; W. Rosenstiel
Cheap Out-of-Order Execution Using Delayed Issue / J. Grossman
Representing and Scheduling Looping Behavior Symbolically / S. Haynal ; F. Brewer
Advanced Wiring RC Timing Design Techniques for Logic LSIs in Gigahertz Era and Beyond / Y. Ito ; S. Isomura ; T. Hiyama ; K. Nojiri
A Register File with Transposed Access Mode / Y. Jung ; S. Berg ; D. Kim ; Y. Kim
Leakage Power Analysis and Reduction during Behavioral Synthesis / K. Khouri ; N. Jha
An Advanced Instruction Folding Mechanism for a Stackless Java Processor / A. Kim ; M. Chang
OpenDesign: An Open User-Configurable Project Environment for Collaborative Design and Execution on the Internet / H. Lavana ; F. Brglez ; R. Reese ; G. Konduri ; A. Chandrakasan
A Decompression Architecture for Low Power Embedded Systems / H. Lekatsas ; J. Henkel ; W. Wolf
Optimal vs. Heuristic Approaches to Context Scheduling for Multi-Context Reconfigurable Architectures / R. Maestre ; F. Kurdahi ; M. Fernandez ; R. Hermida ; N. Bagherzadeh ; H. Singh
The M-CORE M340 Unified Cache Architecture / A. Malik ; B. Moyer ; D. Cermak
Crosstalk-Constrained Performance Optimization by Using Wire Sizing and Perturbation / S.-R. Pan
Hierarchical Simulation of a Multiprocessor Architecture / M. Pirvu ; L. Bhuyan ; R. Mahapatra
On Multiple Precision Based Montgomery Multiplication without Precomputation of N[subscript 0]' = -N[subscript 0 superscript -1] mod W / H. Ploog ; D. Timmerman
A Technique for Identifying RTL and Gate-Level Correspondences / S. Ravi ; I. Ghosh ; V. Boppana
A Direct Mapping FPGA Architecture for Industrial Process Control Applications / J. Welch
Source-Level Transformations for Improved Formal Verification / B. Winters ; A. Hu