close
1.

電子ブック
ＥＢ
1. Proceedings Second Australasian User Interface Conference. AUIC 2001
Paul Calder, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , IEEE, 2001
所蔵情報: loading…
目次情報: 続きを見る
Preface
Program Committee
The Computer Science of Everyday Things / Harold ThimblebyKeynote Address：
Goldleaf Hierarchical Document Browser / J. Faichney ; R. Gonzalez
Adapting the Web Interface: An Adaptive Web Browser / K. Henricksen ; J. Indulska
Linking between Real and Virtual Spaces: Building the Mixed Reality Stage Environment / M. Fleischmann ; W. Strauss
Visualizing Content Based Relations in Texts / E. Weippl
Towards Model Based Prediction of Human Error Rates in Interactive Systems / D. Leadbetter ; A. Hussey ; P. Lindsay ; A. Neal ; M. Humphreys
Navigating Information as a Cityscape / C. Rainsford ; M. Williams
Smarter Cut-and-Paste for Programming Text Editors / G. Wallace ; R. Biddle ; E. Tempero
Using Force Feedback for Multi-Sensory Display / K. Nesbitt ; R. Gallimore ; B. Orenstein
A Method for the Early Stages of Interactive System Design Using UML and Lean Cuisine+ / C. Scogings ; C. Phillips
Steerable Interactive Television: Virtual Reality Technology Changes User Interfaces of Viewers and of Program Producers / R. Pose
A Pilot Study of Teaching the Strategic Use of Common Computer Applications / R. Thomas ; M. Foster
Context in 3D Planar Navigation / S. Vallance ; P. Calder
Cost/Benefit Based Adaptive Dialog: Case Study Using Empirical Medical Practice Norms and Intelligent Split Menus / J. Warren
Solving the Occlusion Problem for Three-Dimensional Distortion-Oriented Displays / D. Winch ; R. Smith
An Animated 3D Manipulator for Distributed Collaborative Window-Based Applications / M. Davies ; B. Thomas
Drawing Lessons in the Design of Tangible Media from a Study of Interactions with Mechanical Products / M. Brereton
Comparing and Reconciling Usability-Centered and Use Case-Driven Requirements Engineering Processes / A. Seffah ; R. Djouab ; G. Butler
Author Index
Preface
Program Committee
The Computer Science of Everyday Things / Harold ThimblebyKeynote Address：
2.

電子ブック
ＥＢ
2. Proceedings of the conference on Design, automation and test in Europe
Wolfgang Nebel, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , IEEE, 2001
所蔵情報: loading…
目次情報: 続きを見る
DATE Executive Committee
Technical Program Chairs
Vendors Committee
DATE Sponsor Committee
Technical Program Committee
Reviewers
Welcome to DATE 2001
Best Paper Awards
Tutorials
Call for Papers DATE 2002
Plenary: Keynote Session
The Semiconductor Dynamic in the Information Age--Driving New Technologies, Trends and Markets / U. Schumacher, CEO
Complementary Approaches to Designing Correct Circuits / 1A：
Abstraction of Word-Level Linear Arithmetic Functions from Bit-Level Component Descriptions / P. Dasgupta ; P. Chakrabarti ; A. Nandi ; S. Krishna ; A. Chakrabarti
Biaising Symbolic Research by Means of Dynamic Activity Profiles / G. Cabodi ; P. Camurati ; S. Quer
New Design Methods with SystemC / 1B：
A Methodology for Interfacing Open Source SystemC with a Third Party Software / L. Charest ; M. Reid ; E. Aboulhamid ; G. Bois
Behavioral Synthesis with SystemC / G. Economakos ; P. Oikonomakos ; I. Panagopoulos ; I. Poulakis ; G. Papakonstantiou
SystemC[superscript SV]--An Extension of SystemC for Mixed Multi-Level Communication Modeling and Interface-Based System Design / R. Siegmund ; D. Muller
Embedded Tutorial--TRP: Integrating Embedded Test and ATE / 1C：
Test Resource Partitioning: A Design and Test Issue
Embedded Tutorial--Current Trends in the Design of Automotive Electronic Systems / 1E：
Current Trends in the Design of Automotive Electronic Systems
Platforms and IP-Based Design / 2A：
Component Selection and Matching for IP-Based Design / T. Zhang ; G. De Micheli ; L. Benini
A Universal Communication Model for an Automotive System Integration Platform / T. Demmeler ; P. Giusto
An Efficient Architecture Model for Systematic Design of Application-Specific Multiprocessor SoC / A. Baghdadi ; D. Lyonnard ; N. Zergainoh ; A. Jerraya
Approaching Semantics of Design Languages / 2B：
The Simulation Semantics of SystemC / J. Ruf ; D. Hoffmann ; J. Gerlach ; T. Kropf ; W. Rosenstiel ; W. Mueller
MetaRTL: Raising the Abstraction Level of RTL Design / J. Zhu
A Model for Describing Communication between Aggregate Objects in the Specification and Design of Embedded Systems / K. Svarstad ; G. Nicolescu
BIST and Diagnosis / 2C：
Circuit Partitioning for Efficient Logic BIST Synthesis / A. Irion ; G. Kiefer ; H. Vranken ; H. Wunderlich
Deterministic Software-Based Self-Testing of Embedded Processor Cores / A. Paschalis ; D. Gizopoulos ; N. Kranitis ; M. Psarakis ; Y. Zorian
Memory Fault Diagnosis by Syndrome Compression / J. Li ; C. Wu
Diagnosis for Scan-Based BIST: Reaching Deep into the Signatures / I. Bayraktaroglu ; A. Orailoglu
Hot Topic--EUCAR Session / 2E：
Vehicle Electric/Electronic Architecture--One of the Most Important Challenges for OEM's / G. Hettich ; T. Thurner
SAT Based Verification Techniques / 3A：
Using SAT for Combinational Equivalence Checking / E. Goldberg ; M. Prasad ; R. Brayton
Combinational Equivalence Checking Using Boolean Satisfiability and Binary Decision Diagrams / S. Reda ; A. Salem
An Efficient Learning Procedure for Multiple Implication Checks / Y. Novikov
Panel Session--C/C[superscript ++]: Progress or Deadlock in SLD Specification? / 3B：
C/C[superscript ++]: Progress or Deadlock in System-Level Specification
Advances in SoC Testing / 3C：
An Integrated System-On-Chip Test Framework / E. Larsson ; Z. Peng
Efficient Test Data Compression and Decompression for System-On-A-Chip Using Integral Scan Chains and Golomb Coding / A. Chandra ; K. Chakrabarty
Testing TAPed Cores and Wrapped Cores with the Same Test Access Mechanism / M. Benabdenbi ; W. Maroufi ; M. Marzouki
On Applying the Set Covering Model to Reseeding / S. Chiusano ; S. Di Carlo ; P. Prinetto
Panel Session--Data Management--Limiter or Accelerator for Electronic Design Creativity? / 3E：
Data Management--Limiter or Accelerator for Electronic Design Creativity
Analysis of Communication Systems / 4A：
Efficient Bit-Error-Rate Estimation of Multicarrier Transceivers / G. Vandersteen ; P. Wambacq ; S. Donnay ; M. Engels ; I. Bolsens ; Y. Rolain ; J. Schoukens
Efficient Time-Domain Simulation of Telecom Frontends Using a Complex Damped Exponential Signal Model / P. Vanassche ; G. Gielen ; W. Sansen
Simulation Method to Extract Characteristics for Digital Wireless Communication Systems / L. Nguyen ; V. Janicot
Design of Low Power Systems I / 4B：
Microprocessor Power Analysis by Labelled Simulation / C. Hsieh ; L. Chen ; M. Pedram
Power Aware Microarchitecture Resource Scaling / A. Iyer ; D. Marculescu
Extending Lifetime of Portable Systems by Battery Scheduling / G. Castelli ; A. Macii ; E. Macii ; M. Poncino ; R. Scarsi
Test Generation and Evaluation / 4C：
Efficient Spectral Techniques for Sequential ATPG / A. Giani ; S. Sheng ; M. Hsiao ; V. Agrawal
On the Test of Microprocessor IP Cores / F. Corno ; M. Sonza Reorda ; S. Squillero ; M. Violante
Sequence Reordering to Improve the Levels of Compaction Achievable by Static Compaction Procedures / I. Pomeranz ; S. Reddy
SEU Effect Analysis in an Open-Source Router via a Distributed Fault Injection Environment / A. Benso ; G. Di Natale
Panel Session--The Programmable Platform: Does One Size Fit All? / 4E：
The Programmable Platform: Does One Size Fit All?
Planning Support / 4F：
Slicing Tree is a Complete Floorplan Representation / M. Lai ; D. Wong
Further Improve Circuit Partitioning Using GBAW Logic Perturbation Techniques / C. Cheung ; Y. Wu ; D. Cheng
Clustering Based Fast Clock Scheduling for Light Clock-Tree / M. Saitoh ; M. Azuma ; A. Takahashi
Low-Power Channel Decoding and VLIW Architectures / 5A：
Power-Efficient Layered Turbo Decoder Processor / J. Dielissen ; J. van Meerbergen ; M. Bekooij ; F. Harmsze ; S. Sawitzki ; J. Huisken ; A. van der Werf
Exploiting Data Forwarding to Reduce the Power Budget of VLIW Embedded Processors / M. Sami ; D. Sciuto ; C. Silvano ; V. Zaccaria ; R. Zafalon
Design of Low-Power High-Speed Maximum a priori Decoder Architectures / A. Worm ; H. Lamm ; N. Wehn
Design of Low-Power Systems II / 5B：
Low Complexity FIR Filters Using Factorization of Perturbed Coefficients / C. Neau ; K. Muhammad ; K. Roy
An Adaptive Algorithm for Low-Power Streaming Multimedia Processing / A. Acquaviva ; B. Ricco
A Static Power Estimation Methodology for IP-Based Design / X. Liu ; C. Papaefthymiou
On-Line Testing Techniques / 5C：
Optimization of Error Detecting Codes for the Detection of Crosstalk Originated Errors / M. Favalli ; C. Metra
System Safety through Automatic High-Level Code Transformations: An Experimental Evaluation / P. Cheynet ; B. Nicolescu ; R. Velazco ; M. Rebaudengo
From DFT to Systems Test--A Model Based Cost Optimization Tool / M. Wahl ; M. Rahman ; C. Maass ; T. Ambler
Efficient On-Line Testing Method for a Floating-Point Adder / A. Drozd ; M. Lobachev
Design Methodology for PicoRadio Networks / 5E：
EMC on Chip and High Density Package Level / J. da Silva Jr. ; J. Shamberger ; M. Ammer ; C. Guo ; S. Li ; R. Shah ; T. Tuan ; M. Sheets ; J. Rabaey ; B. Nikolic ; A. Sangiovanni-Vincentelli ; P. Wright5F：
High-Level Simulation of Substrate Noise Generation from Large Digital Circuits with Multiple Supplies / M. Badaroglu ; H. De Man ; M. van Heijningen ; V. Gravot
Crosstalk Noise in Future Digital CMOS Circuits / C. Werner ; R. Gottsche ; A. Worner ; U. Ramacher
Modeling Electromagnetic Emission of Integrated Circuits for System Analysis / P. Kralicek ; W. John ; H. Garbe
Analysis of EME Produced by a Microcontroller Operation / F. Fiori ; F. Musolino
Design Methods for Analog and Mixed Signal Circuits / 6A：
Top-Down Design of a xDSL 14-bit 4MS/s [Sigma] [Delta] Modulator in Digital CMOS Technology / R. del Rio ; J. de la Rosa ; F. Medeiro ; B. Perez-Verdu ; A. Rodriguez-Vazquez
Analog Design for Reuse--Case Study: Very Low-Voltage [Sigma] [Delta] Modulator / M. Dessouky ; M. Louerat ; A. Greiner ; A. Kaiser
A Design Strategy for Low-Voltage Low-Power Continuous-Time [Sigma] [Delta] A/D Converters / F. Gerfers ; Y. Manoli
Issues in Synthesis and Power Optimization / 6B：
Minimizing Stand-By Leakage Power in Static CMOS Circuits / S. Naidu ; E. Jacobs
In-Place Delay Constrained Power Optmization Using Functional Symmetries / C. Chang ; B. Hu ; M. Marek-Sadowska
High-Quality Sub-Function Construction in Functional Decomposition Based on Information Relationship Measures / L. Jozwiak ; A. Chojnacki
Generalized Reasoning Scheme for Redundancy Addition and Removal Logic Optimization / J. Espejo ; L. Entrena ; E. San Millan ; E. Olias
High Level Validation / 6C：
LPSAT: A Unified Approach to RTL Satisfiability / Z. Zeng ; P. Kalla ; M. Ciesielski
Functional Test Generation for Behaviorally Sequential Models / F. Ferrandi ; G. Ferrara ; A. Fin ; F. Fummi
High Quality Behavioral Verification Using Statistical Stopping Criteria / A. Hajjar ; T. Chen ; I. Munn ; A. Andrews ; M. Bjorkman
Hot Topic--Network Processors: A Perspective on Market Requirements, Processor Architectures and Embedded S/W Tools / 6E：
Network Processors: A Perspective on Market Requirements, Processor Architectures and Embedded S/W Tools / P. Paulin ; F. Karim ; P. Bromley
Interconnect Extraction and Modelling / 6F：
Efficient Inductance Extraction via Windowing / M. Beattie ; L. Pileggi
Efficient and Passive Modeling of Transmission Lines by Using Differential Quadrature Method / Q. Xu ; P. Mazumder
Explicit Formulas and Efficient Algorithm for Moment Computation of Coupled RC Trees with Lumped and Distributed Elements / Q. Yu ; E. Kuh
On the Impact of On-Chip Inductance on Signal Nets under the Influence of Power Grid Noise
Timing and Parallel Simulation / 7A：
Timing Simulation of Digital Circuits with Binary Decision Diagrams / R. Ubar ; A. Jutman
HALOTIS: High Accuracy LOgic TIming Simulator with Inertial and Degradation Delay Model / P. Vazquez ; J. Juan-Chico ; M. Bellido ; A. Acosta ; M. Valencia
dlbSIM--A Parallel Functional Logic Simulator Allowing Dynamic Load Balancing / K. Hering ; J. Loser ; J. Markwardt
Architecture Driven Partitioning / J. Kuter ; E. Barke
Embedded Tutorial--Low-Power Issues for SOCs / 7B：
Low-Power Systems on Chips (SOCs) / C. Piguet ; M. Renaudin ; T. Omnes
Defect Oriented Testing / 7C：
Static and Dynamic Behavior of Memory Cell Array Opens and Shorts in Embedded DRAMs / Z. Al-Ars ; A. van de Goor
Definitions of the Numbers of Detections of Target Faults and their Effectiveness in Guiding Test Generation for High Defect Coverage
CMOS Open Defect Detection by Supply Current Test / M. Hashizume ; M. Ichimiya ; H. Yotsuyanagi ; T. Tamesada
Full Chip False Timing Path Identification: Applications to the PowerPC Microprocessors / J. Zeng ; M. Abadir ; J. Bhadra ; J. Abraham
Embedded Tutorial--CAD for RF Integrated Circuits and Systems / 7E：
CAD for RF Circuits / J. Phillips ; J. Roychowdhury ; W. Eberle ; B. Yang ; D. Long ; A. Demir
Routing Enhancements / 7F：
Modeling Crosstalk Noise for Deep Submicron Verification Tools / P. Bazargan-Sabet ; F. Ilponse
A Graph Based Algorithm for Optimal Buffer Insertion under Accurate Delay Models / Y. Gao
Repeater Block Planning under Simultaneous Delay and Transition Time Constraints / P. Sarkar ; C. Koh
Layout Generation / 8A：
On-The-Fly Layout Generation for PTL Macrocells / L. Macchiarulo
Automatic Datapath Tile Placement and Routing / T. Serdar ; C. Sechen
A Boolean Satisfiability-Based Incremental Rerouting Approach with Application to FPGAs / G. Nam ; K. Sakallah ; R. Rutenbar
Modelling and Performance Analysis of Embedded Systems / 8B：
Dual Transitions Petri Net Based Modelling Technique for Embedded Systems Specification / M. Varea ; B. Al-Hashimi
Probabilistic Application Modeling for System-Level Performance Analysis / R. Marculescu
Reliable Estimation of Execution Time of Embedded Software / G. Martin ; E. Harcourt
Analog and Mixed Signal Testing / 8C：
Implementation of a Linear Histogram BIST for ADCs / F. Azais ; S. Bernard ; Y. Bertrand ; M. Renovell
Test Generation Based Diagnosis of Device Parameters for Analog Circuits / S. Cherubal ; A. Chatterjee
Generation of Optimum Test Stimuli for Nonlinear Analog Circuits Using Nonlinear Programming and Time-Domain Sensitivities / B. Burdiek
Panel Session--Managing the SoC Design Challenge with 'Soft' Hardware / 8E：
Managing the SoC Design Challenge with "Soft" Hardware / R. Wilson
Hardware-Software Architectures and Synthesis / 8F：
Integrated Hardware-Software Co-Synthesis and High-Level Synthesis for Design of Embedded Systems under Power and Latency Constraints / A. Doboli
Allocation and Scheduling of Conditional Task Graph in Hardware/Software Co-Synthesis / Y. Xie ; W. Wolf
Code Placement in Hardware Software Co-Synthesis to Improve Performance and Reduce Cost / S. Parameswaran
System-On-A-Chip Processor Synchronization Support in Hardware / B. Saglam ; V. Mooney III
Reconfigurable Computing I / 9A：
A Decade of Reconfigurable Computing: A Visionary Retrospective / R. Hartenstein
Hierarchical Memory Mapping during Synthesis in FPGA-Based Reconfigurable Computers / I. Ouaiss ; R. Vemuri
Optimal FPGA Module Placement with Temporal Precedence Constraints / S. Fekete ; E. Kohler ; J. Teich
Embedded Software / 9B：
Generation of Minimal Size Code for Schedule Graphs / C. Passerone ; Y. Watanabe ; L. Lavagno
Generating Production Quality Software Development Tools Using a Machine Description Language / A. Hoffmann ; A. Nohl ; S. Pees ; G. Braun ; H. Meyr
Automatic Generation and Targeting of Application Specific Operating Systems and Embedded Systems Software / L. Gauthier ; S. Yoo
Cache Conscious Data Layout Organization for Embedded Multimedia Applications / C. Kulkarni ; C. Ghez ; M. Miranda ; F. Catthoor
Panel Session--Design Challenges and Emerging EDA Solutions in Mixed-Signal IC Design / 9C：
Design Challenges and Emerging EDA Solutions in Mixed-Signal IC Design
Hot Topic--Game Processors / 9E：
CPU for PlayStation2 / H. Tago ; K. Hashimoto ; N. Ikumi ; M. Nagamatsu ; M. Suzuoki ; Y. Yamamoto
Implementation of the ATI Flipper Chip / A. Mandapati
SH-4 RISC Microprocessor for Multimedia, Game Machine / S. Narita
Decision Diagrams / 9F：
Streaming BDD Manipulation for Large-Scale Combinatorial Problems / S. Minato ; S. Ishihara
Binary Decision Diagram with Minimum Expected Path Length / Y. Liu ; K. Wang ; T. Hwang ; C. Liu
Spectral Decision Diagrams Using Graph Transformations / M. Thornton ; R. Drechsler
Friday Keynote Session--Electronic System Design Methodology: Europe's Positioning / 9L：
Electronic System Design Methodology: Europe's Positioning
Reconfigurable Computing II / 10A：
Precision and Error Analysis of MATLAB Applications during Automated Hardware Synthesis for FPGAs / A. Nayak ; M. Haldar ; A. Choudhary ; P. Banerjee
A HW/SW Partitioning Algorithm for Dynamically Reconfigurable Architectures / J. Noguera ; R. Badia
Managing Dynamic Reconfiguration Overhead in Systems-On-A-Chip Design Using Reconfigurable Datapaths and Optimized Interconnection Networks / Z. Huang ; S. Malik
Co-Simulation and System Verification Techniques / 10B：
Simulation-Guided Property Checking Based on a Multi-Valued AR-Automata
Performance Improvement of Multi-Processor Systems Cosimulation Based on SW Analysis / J. Jung ; K. Choi
Mixed-Level Cosimulation for Fine Gradual Refinement of Communication in SoC Design
A Framework for Fast Hardware-Software Co-Simulation / T. Kogel
Embedded Tutorial - Analog Methods and Tools for SoC Integration / 10C：
Analog/Mixed-Signal IP Modeling for Design Reuse / N. Madrid ; E. Peralias ; A. Rueda
A Skill-Based Library for Retargetable Embedded Analog Cores / X. Jingnan ; J. Vital ; N. Horta
Modelling SoC Devices for Virtual Test Using VHDL / M. Rona ; G. Krampl
Retargeting of Mixed-Signal Blocks for SoCs / R. Castro-Lopez ; F. Fernandez ; M. Delgado-Restituto
Panel Session--Standard Bus vs. Bus Wrapper: What is the Best Solution for Future SoC Integration? / 10E：
Standard Bus vs. Bus Wrapper: What is the Best Solution for Future SoC Integration?
Architectural Level Synthesis / 10F：
Access Pattern Based Local Memory Customization for Low Power Embedded Systems / P. Grun ; N. Dutt ; A. Nicolau
Static Memory Allocation by Pointer Analysis and Coloring
Heuristic Datapath Allocation for Multiple Wordlength Systems / G. Constantinides ; P. Cheung ; W. Luk
Poster Session
On the Verification of Synthesized Designs Using Automatically Generated Transformational Witnesses / E. Teica ; R. Radhakrishnan
Property-Specific Witness Graph Generation for Guided Simulation / A. Gupta ; A. Casavant ; P. Ashar ; S. Liu ; A. Mukaiyama ; K. Wakabayashi
Two Approaches for Developing Generic Components in VHDL / V. Stuikys ; G. Ziberkas ; R. Damasevicius ; G. Majauskas
Annotated Data Types for Addressed Token Passing Networks / G. Cichon ; W. Brunnbauer
Testability Trade-Offs for BIST RTL Data Paths: The Case for Three Dimensional Design Space / N. Nicolici
Towards a Better Understanding of Failure Modes and Test Requirements of ADCs / A. Lechner ; A. Richardson ; B. Hermes
Exact Fault Simulation for Systems on Silicon that Protects Each Core's Intellectual Property (IP) / M. Quasem ; S. Gupta
Using Mission Logic for Embedded Testing / R. Dorsch
A Regularity-Based Hierarchical Symbolic Analysis Method for Large-Scale Analog Networks
An Improved Hierarchical Classification Algorithm for Structural Analysis of Integrated Circuits / M. Olbrich ; A. Rein
Automatic Nonlinear Memory Power Modelling / E. Schmidt ; G. Jochens ; L. Kruse ; W. Nebel ; F. Theeuwen
An Operation Rearrangement Technique for Power Optimization in VLIW Instruction Fetch / D. Shin ; J. Kim ; N. Chang
A Pseudo Delay-Insensitive Timing Model to Synthesizing Low-Power Asynchronous Circuits / O. Garnica ; J. Lanchares ; R. Hermida
A Register-Transfer-Level Fault Simulator for Permanent and Transient Faults in Embedded Processors / C. Rousselle ; M. Pflanz ; A. Behling ; T. Mohaupt ; H. Vierhaus
Efficient Finite Field Digit-Serial Multiplier Architecture for Cryptography Applications / G. Bertoni ; L. Breveglieri ; P. Fragneto
Task Concurrency Management Methodology Summary / C. Wong ; P. Marchal ; P. Yang ; A. Prayati ; N. Cossement ; R. Lauwereins ; D. Verkest
Susceptibility of Analog Cells to Substrate Interference
Order Determination for Frequency Compensation of Negative-Feedback Systems / A. van Staveren ; C. Verhoeven
Minimizing the Number of Floating Bias Voltage Sources with Integer Linear Programming / E. Yildiz
CMOS Sizing Rule for High Performance Long Interconnects / G. Cappuccino ; G. Cocorullo
On Automatic Analysis of Geometrically Proximate Nets in VLSI Layout / S. Koranne ; O. Gangwal
AnalogRouter: A New Approach of Current-Driven Routing for Analog Circuits / J. Lienig ; G. Jerke ; T. Adler
A Hardware-Software Operating System for Heterogeneous Designs / J. Moya ; F. Moya ; J. Lopez
PRMDL: A Machine Description Language for Clustered VLIW Architectures / A. Terechko ; E. Pol ; J. van Eijndhoven
Functional Units with Conditional Input/Output Behavior in VLIW Processors / L. Engels ; N. Busa
Adaptation of an Event-Driven Simulation Environment to Sequentially Propagated Concurrent Fault Simulation / M. Zolfy ; S. Mirkhani ; Z. Navabi
Constraint Satisfaction for Storage Files with Fifos or Stacks during Scheduling / C. Alba Pinto ; B. Mesman ; K. van Eijk ; J. Jess
Index of Authors
DATE Executive Committee
Technical Program Chairs
Vendors Committee
3.

電子ブック
ＥＢ
3. Proceedings of the 23rd International Conference on Software Engineering
Hausi A. M端ller, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , IEEE, 2001
所蔵情報: loading…
目次情報: 続きを見る
Message from the Chairs
Conference Organization
Sponsors and Supporters
Technical Papers
Design and Specification of Distributed Systems
Composition Patterns: An Approach to Designing Reusable Aspects / S. Clarke ; R. J. Walker
MAS--An Interactive Synthesizer to Support Behavioral Modeling in UML / E. Makinen ; T. Systa
Analysis and Testing of Web Applications / F. Ricca ; P. Tonella
Static Analysis
The Right Algorithm at the Right Time: Comparing Data Flow
Analysis Algorithms for Finite State Verification / J. M. Cobleigh ; L. A. Clarke ; L. J. Osterweil
Static Checking of Interrupt-Driven Software / D. Brylow ; N. Damgaard ; J. Palsberg
Lightweight Analysis of Operational Specifications Using Inference Graphs / L. K. Dillon ; R. E. K. Stirewalt
Process Improvement for Multi-Site Environments
Commitment Development in Software Process Improvement: Critical Misconceptions / P. Abrahamsson
An Empirical Study of Global Software Development: Distance and Speed / J. D. Herbsleb ; A. Mockus ; T. A. Finholt ; R. E. Grinter
Software Product Lines: Organizational Alternatives / J. Bosch
Design Recovery and Program Understanding
Supporting Program Comprehension Using Semantic and Structural Information / J. I. Maletic ; A. Marcus
On the Syllogistic Structure of Object-Oriented Programming / D. Rayside ; K. Kontogiannis
A Scenario-Driven Approach to Traceability / A. Egyed
Effective Uses of Inspections
Systematic Object-Oriented Inspection--An Empirical Study / A. Dunsmore ; M. Roper ; M. Wood
Evaluating the Accuracy of Defect Estimation Models Based on Inspection Data from Two Inspection Cycles / S. Biffl ; W. Grossmann
Investigating the Cost-Effectiveness of Reinspections in Software Development / B. Freimut ; O. Laitenberger
Building Formal Analysis Tools
A Component-Based Approach to Building Formal Analysis Tools
Tool-Supported Program Abstraction for Finite-State Verification / M. B. Dwyer ; J. Hatcliff ; R. Joehanes ; S. Laubach ; C. S. Pasareanu ; Robby ; H. Zheng ; W. Visser
A Workbench for Synthesising Behaviour Models from Scenarios / S. Uchitel ; J. Kramer
Dynamic Analysis and Testing
The Specification and Testing of Quantified Progress Properties in Distributed Systems / P. Krishnamurthy ; P. A. G. Sivilotti
An Explorative Journey from Architectural Tests Definition downto Code Tests Execution / A. Bertolino ; P. Inverardi ; H. Muccini
Encoding Program Executions / S. P. Reiss ; M. Renieris
Construction of Component-Based Systems
Dynamic and Selective Combination of Extensions in Component-Based Applications / E. Truyen ; B. Vanhaute ; W. Joosen ; P. Verbaeten ; B. Norregaard Jorgensen
Generating Wrappers for Command Line Programs: The Cal-Aggie Wrap-O-Matic Project / E. Wohlstadter ; S. Jackson ; P. Devanbu
Designing Components versus Objects: A Transformational Approach / D. H. Lorenz ; J. Vlissides
Reengineering and Software Evolution
Exploiting the Map Metaphor in a Tool for Software Evolution / W. G. Griswold ; J. J. Yuan ; Y. Kato
Separating Features in Source Code: An Exploratory Study / G. C. Murphy ; A. Lai ; M. P. Robillard
Comparing Frameworks and Layered Refinement / R. Cardone ; C. Lin
Analysis of Architectures
Quantifying the Costs and Benefits of Architectural Decisions / R. Kazman ; J. Asundi ; M. Klein
Survivability Analysis of Networked Systems / S. Jha ; J. M. Wing
Adaptive Feedback Scheduling of Incremental and Design-to-Time Tasks / P. H. Feiler ; J. J. Walker
Improving the Testing Process
Incorporating Varying Test Costs and Fault Severities into Test Case Prioritization / S. Elbaum ; A. Malishevsky ; G. Rothermel
Finding Failures by Cluster Analysis of Execution Profiles / W. Dickinson ; D. Leon ; A. Podgurski
Understanding IV and V in a Safety Critical and Complex Evolutionary Environment: The NASA Space Shuttle Program / M. V. Zelkowitz ; I. Rus
Reliability and Mobile Agents
Theory of Software Reliability Based on Components / D. Hamlet ; D. Mason ; D. Woit
Engineering Mobile-Agent Applications via Context-Dependent Coordination / G. Cabri ; L. Leonardi ; F. Zambonelli
Consistent Group Membership in Ad Hoc Networks / G.-C. Roman ; Q. Huang ; A. Hazemi
Analysis of Requirements
Fast Formal Analysis of Requirements via "Topoi Diagrams" / T. Menzies ; J. Powell ; M. E. Houle
Conceptual Modeling through Linguistic Analysis Using LIDA / S. P. Overmyer ; B. Lavoie ; O. Rambow
A Framework for Multi-Valued Reasoning over Inconsistent Viewpoints / S. Easterbrook ; M. Chechik
Functional Paleontology: System Evolution as the User Sees It / A. I. Anton ; C. Potts
Formal Frameworks
A General Framework for Formalizing UML with Formal Languages / W. E. McUmber ; B. H. C. Cheng
Efficient Filtering in Publish-Subscribe Systems Using Binary Decision Diagrams / A. Campailla ; S. Chaki ; E. Clarke ; H. Veith
A Scalable Formal Method for Design and Automatic Checking of User Interfaces / J. Berstel ; S. Crespi Reghizzi ; G. Roussel ; P. San Pietro
Scientific Rigour, an Answer to a Pragmatic Question: A Linguistic Framework for Software Engineering / A. M. Haeberer ; T. S. E. Maibaum
Architectures for Emerging Applications
An Architecture for Heterogeneous Groupware Applications / I. Marsic
A Web-Oriented Architectural Aspect for the Emerging Computational Tapestry / K. Sullivan ; A. Saxena
XAS: A System for Accessing Componentized, Virtual XML Documents / M.-L. Lo ; S.-K. Chen ; S. Padmanabhan ; J.-Y. Chung
Case Study Papers
Infrastructure Support
Using the Web for Document Versioning: An Implementation Report for Delta V / J. J. Hunt ; J. Reuter
Evaluating the Reverse Engineering Capabilities of Web Tools for Understanding Site Content and Structure: A Case Study / S. Tilley ; S. Huang
A Case Study of the Evolution of Jun: An Object-Oriented Open-Source 3D Multimedia Library / A. Aoki ; K. Hayashi ; K. Kishida ; K. Nakakoji ; Y. Nishinaka ; B. Reeves ; A. Takashima ; Y. Yamamoto
Applications of New Paradigms in Software Development
Case Study: Extreme Programming in a University Environment / M. M. Muller ; W. F. Tichy
Improving Validation Activities in a Global Software Development / C. Ebert ; C. H. Parro ; R. Suttels ; H. Kolarczyk
Applying WinWin to Quality Requirements: A Case Study / H. In ; B. Boehm ; T. Rodgers ; M. Deutsch
Software Evolution
Tigra--An Architectural Style for Enterprise Application Integration / W. Emmerich ; E. Ellmer ; H. Fieglein
Reengineering Analysis of Object-Oriented Systems via Duplication Analysis / F. Fioravanti ; G. Migliarese ; P. Nesi
Education Papers
Practical Software Engineering Education
Educating Software Engineering Students to Manage Risk / D. Port
A Formal Approach to Component-Based Software Engineering: Education and Evaluation / M. Sitaraman ; T. J. Long ; B. W. Weide ; E. J. Harner ; L. Wang
Corrective Maintenance Maturity Model (CM[superscript 3]): Maintainer's Education and Training / M. Kajko-Mattsson ; S. Forssander ; U. Olsson
Degree Programs for Software Engineering Education
An Efficient Set of Software Degree Programs for One Domain / T. Shepard
The Software Factory: Combining Undergraduate Computer Science and Software Engineering Education / J. D. Tvedt ; R. Tesoriero ; K. A. Gary
Academic Software Engineering: What Is and What Could Be? Results of the First Annual Survey for International SE Programs / K. L. Modesitt ; D. Bagert ; L. Werth
Plenary Sessions
Software Engineering and the Internet / D. Sabbah
The Coming-of-Age of Software Architecture Research / M. Shaw
"Tolerating Inconsistency" Revisited / R. Balzer
Software Engineering Challenges: A CIO's Perspective / B. Voigt
Reuse That Pays / L. M. Northrop
Challenges and Achievements in Software Engineering / G. Engels ; W. Schafer
Process-Centered Software Engineering Environments: Academic and Industrial Perspectives / V. Gruhn
Specification and Modeling: An Academic Perspective / M. Broy
Specification and Modeling: An Industrial Perspective / B. Selic
Invited Industry Presentations / F. Coallier ; D. Perry
Global Software Development: The Bell Labs Collaboratory / D. Atkins ; M. Handel ; J. Herbsleb ; G. Wills
Does More Necessarily Mean Better? The Software Performance and Reliability Bottleneck / M. Cheng
Software Engineering in a Startup / A. Ricciardi
Technology Drivers and Research Challenges of Future e-Business / S. Feldman
Challenge of Keitai Software: Software Engineering for Next Generation Mobile Phone Systems / Y. Hanai ; M. Aoyama
Web Services and Software Engineering: Challenges and Opportunities / S. Weerawarana
Enterprise Methodology =/= Software Development Methdology / J. Q. Ning
Mining Selected Components: The Options Analysis for Reengineering (OAR) / D. Smith ; L. O'Brien ; J. Bergey
Achieving Usability through Software Architecture / L. Bass ; B. E. John
Frontiers of Software Practice / H. Muller
Enabling Technologies for the Future of Voice-Based Web Access / S. Woods
Jini Network Technology: Devices, Desires, and Designs
Inter-Language Object Sharing with the Common Language Runtime: Infrastructure for MS .NET / J. Hamilton
Collaborative Software Engineering / A. Brown
AntiPatterns in Software Architecture / T. Mobray
Dependability of Embedded Systems / J. Knight
Simple Object Access Protocol (SOAP) and Web Services / A. Ryman
Auditing Legacy Systems for Security and Survivability / T. Longstaff
Panels
Software Engineering Body of Knowledge (Swebok)
Impact Project Panel: Determining the Impact of Software Engineering Research Upon Practice
Software Engineering Research Agendas Panel (SERA): What Can't We Do, But Need to Learn How to Do?
Panel: Perspectives on Software Engineering
Tutorials
UML for Software Engineers / R. France ; C. Kobryn
The Intertwining between Risk and Project Management / K. Fruhauf
Methods of Component-Based Software Engineering: Essential Concepts and Classroom Experience / K. Wallnau
From Use Cases to Code--Rigorous Software Development with UML / A. Zundorf
OPEN: A Flexible OO/CBD Process for Software-Intensive Systems Development, a UML Exposition / H. Younessi ; B. Henderson-Sellers
Describing Software Architecture with UML / P. Kruchten ; W. Kozazynski
Software Product Lines and Software Architecture Design
How to Do Inspections When There is No Time / D. Kelly
EasyWinWin: A Groupware-Supported Methodology for Requirements Negotiation / P. Grunbacher ; R. O. Briggs
Tutorial on Fundamental Concepts for Practical Software Architecture / A. Ran
An Introduction to Java 2 Micro Edition (J2ME); Java in Small Things / J. White
Improving Software Inspections by Using Reading Techniques / F. Shull ; I. Russ ; V. Basili
Mining Components for a Software Architecture and a Product Line: The Options Analysis for Reengineering (OAR) Method
Hyper/J: Multi-Dimensional Separation of Concerns for Java / P. Tarr ; H. Ossher
Enterprise JavaBean Architecture and Design Issues
State, Event, Time and Diagram in System Modeling / J. S. Dong
From UML to Java, Building a 3-Tier Architecture: Case Study / T. Korson
Designing Concurrent, Distributed, and Real-Time Applications with UML / H. Gomaa
Using Transformation Systems for Software Maintenance and Reengineering / I. D. Baxter
Effective Software Architecture Design: From Global Analysis to UML Descriptions / R. L. Nord ; D. J. Paulish ; D. Soni ; C. Hofmeister
Bridging the Requirements/Design Gap in Dynamic Systems with Use Case Maps (UCMs) / D. Amyot ; G. Mussbacher
Introduction to the Attribute Driven Design Method / F. Bachmann
Workshops
2nd International Workshop on Living with Inconsistency
4th ICSE Workshop on "Software Engineering over the Internet" / F. Maurer
Second ICSE Workshop on Software Product Lines: Economics, Architectures, and Applications / P. Knauber ; G. Succi
The Second International Workshop on Automated Program Analysis, Testing and Verification / N. Tracey ; J. Penix ; W. C. Visser
Workshop on Software Engineering and Mobility / G. P. Picco
ICSE Workshop on Software Visualization / W. De Pauw ; J. T. Stasko
Generative Techniques for Product Lines / G. Butler ; D. Batory ; K. Czarnecki ; U. Eisenecker
SEMINAL: Software Engineering using Metaheuristic INnovative ALgorithms / M. Harman ; B. Jones
From Software Requirements to Architectures / J. Castro
3rd International Workshop on Net-Centric Computing (NCC 2001): Theme: Migrating to the Web / J. Jahnke ; E. Stroulia ; K. Wong
Workshop to Consider Global Aspects of Software Engineering Professionalism / J. B. Thompson ; H. M. Edwards
Third International Workshop on Economics-Driven Software Engineering Research / D. Notkin ; W. Harrison
4th ICSE Workshop on Component-Based Software Engineering: Component Certification and System Prediction / I. Crnkovic ; H. Schmidt ; J. Stafford
SCM-10: Tenth International Workshop on Software Configuration Management: New Practices, New Challenges, and New Boundaries / A. van der Hoek
XML Technologies and Software Engineering / C. Mascolo ; A. Finkelstein
Workshop on Advanced Separation of Concerns in Software Engineering / W. Kozaczynski ; G. Larsen
1st Workshop on Open Source Software Engineering / J. Feller ; B. Fitzgerald
Doctoral Symposium
Visualization and Interpretation of Analysis Results within the Context of Formalized UML Diagrams / L. A. Campbell
Modeling and Controlling the Software Test Process / J. W. Cangussu
Using Software Component Generators to Construct a Meta-Weaver Framework / J. Gray
Supporting the Deployment of Object-Oriented Frameworks / D. Hou
Model Checking Distributed Objects Design / N. Kaveh
Web Engineering Device Independent Web Services / E. Kirda
Evolving Legacy Systems using Feature Engineering and CBSE / A. Mehta
Design and Evaluation of the Mobile Agent Architecture for Distributed Consistency Management / D. Smolko
Reuse of Verification Efforts and Incomplete Specifications in a Formalized, Iterative and Incremental Software Process / R. P. Diaz Redondo ; J. J. Pazos Arias
Traceability for System Families / D. Streitferdt
David L. Parnas Symposium / D. Hoffman ; D. Weiss
New Software Engineering Faculty Symposium / L. Osterweil ; G. Silberman
Formal Research Demonstrations
Software Architecture
Model Processing Tools in UML / J. Koskinen ; J. Peltonen ; P. Selonen ; K. Koskimies
Architecture-Oriented Programming Using FRED / M. Hakala ; J. Hautamaki ; J. Paakki ; A. Viljamaa ; J. Viljamaa
Reuse and Integration
CodeWeb: Data Mining Library Reuse Patterns / A. Michail
Holmes: An Intelligent System to Support Software Product Line Development / J. Yip ; W. Pedrycz
Babel: Representing Business Rules in XML for Application Integration / H. Zhang
Verification and Maintenance
Jmocha: A Model Checking Tool that Exploits Design Structure / R. Alur ; L. de Alfaro ; R. Grosu ; T. A. Henzinger ; M. Kang ; C. M. Kirsch ; R. Majumdar ; F. Mang ; B. Y. Wang
Maintenance Support Tools for Java programs: CCFinder and JAAT / T. Kamiya ; F. Ohata ; K. Kondou ; S. Kusumoto ; K. Inoue
Using OCL-Queries for Debugging C++ / C. Hobatr ; B. A. Malloy
Author Index
Message from the Chairs
Conference Organization
Sponsors and Supporters
4.

電子ブック
ＥＢ
4. Proceedings of the fifteenth workshop on Parallel and distributed simulation
Rajive L. Bagrodia, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , IEEE, 2001
所蔵情報: loading…
5.

電子ブック
ＥＢ
5. Proceedings of the 28th annual international symposium on Computer architecture
Per Stenstr旦m, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , IEEE, 2001
所蔵情報: loading…
目次情報: 続きを見る
General Chair's Message
Program Chair's Message
Conference Organization
Reviewers
Plenary Session
Opening Remarks
Keynote Speech: Greg Papadopoulos, CTO, Sun Microsystems Inc., USA
Multithreading and Speculation / Session 1：
Execution-based Prediction Using Speculative Slices / C. Zilles ; G. Sohi
Speculative Precomputation: Long-range Prefetching of Delinquent Loads / J. Collins ; H. Wang ; D. Tullsen ; C. Hughes ; Y. Lee ; D. Lavery ; J. Shen
Dynamically Allocating Processor Resources between Nearby and Distant ILP / R. Balasubramonian ; S. Dwarkadas ; D. Albonesi
Memory System Issues / Session 2：
Tolerating Memory Latency through Software-Controlled Pre-Execution in Simultaneous Multithreading Processors / C. Luk
Data Prefetching by Dependence Graph Precomputation / M. Annavaram ; J. Patel ; E. Davidson
Concurrency, Latency, or System Overhead: Which Has the Largest Impact on Uniprocessor DRAM-System Performance? / V. Cuppu ; B. Jacob
Processor Architecture / Session 3：
Focusing Processor Policies via Critical-Path Prediction / B. Fields ; S. Rubin ; R. Bodik
Automated Design of Finite State Machine Predictors for Customized Processors / T. Sherwood ; B. Calder
Better Exploration of Region-Level Value Locality with Integrated Computation Reuse and Value Prediction / Y. Wu ; D. Chen ; J. Fang
Communication Support / Session 4：
CryptoManiac: A Fast Flexible Architecture for Secure Communication / L. Wu ; C. Weaver ; T. Austin
QoS Provisioning in Clusters: An Investigation of Router and NIC Design / K. Yum ; E. Kim ; C. Das
Cache Management / Session 5：
Locality vs. Criticality / S. Srinivasan ; R. Ju ; A. Lebeck ; C. Wilkerson
Dead-Block Prediction and Dead-Block Correlating Prefetchers / A. Lai ; C. Fide ; B. Falsafi
Code Layout Optimizations for Transaction Processing Workloads / A. Ramirez ; L. Barroso ; K. Gharachorloo ; R. Cohn ; J. Larriba-Pey ; P. Lowney ; M. Valero
Architectural Impact of Emerging Technologies / Session 6A：
Exploring and Exploiting Wire-Level Pipelining in Emeging Technologies / M. Niemier ; P. Kogge
NanoFabrics: Spatial Computing Using Molecular Electronics / S. Goldstein ; M. Budiu
Shared-Memory Multiprocessors / Session 6B：
A Simple Method for Extracting Models from Protocol Code / D. Lie ; A. Chou ; D. Engler ; D. Dill
Removing Architectural Bottlenecks to the Scalability of Speculative Parallelization / M. Prvulovic ; M. Garzaran ; L. Rauchwerger ; J. Torrellas
Energy-Effective Designs / Session 7：
Power and Energy Reduction Via Pipeline Balancing / R. Bahar ; S. Manne
Energy-Effective Issue Logic / D. Folegnani ; A. Gonzalez
Cache Decay: Exploiting Generational Behavior to Reduce Cache Leakage Power / S. Kaxiras ; Z. Hu ; M. Martonosi
Performance Tools and Evaluations / Session 8：
Variability in the Execution of Multimedia Applications and Implications for Architecture / P. Kaul ; S. Adve ; R. Jain ; C. Park ; J. Srinivasan
Measuring Experimental Error in Microprocessor Simulation / R. Desikan ; D. Burger ; S. Keckler
Rapid Profiling via Stratified Sampling / S. Sastry ; J. Smith
Author Index
General Chair's Message
Program Chair's Message
Conference Organization
6.

電子ブック
ＥＢ
6. Proceedings of the 34th annual ACM/IEEE international symposium on Microarchitecture
Yale Patt, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , IEEE Computer Society, 2001
所蔵情報: loading…
目次情報: 続きを見る
Message from the General Chair
Message from the Program Chairs
Committees
Reviewers
Keynote
Fifty Years of Microarchitecture / H. Cragon
Novel Ideas / Session 1：
Skipper: A Microarchitecture for Exploiting Control-Flow Independence / C. Cher ; T. Vijaykumar
Performance Characterization of a Hardware Mechanism for Dynamic Optimization / B. Fahs ; S. Bose ; M. Crum ; B. Slechta ; F. Spadini ; T. Tung ; S. Patel ; S. Lumetta
Using Variable-MHz Microprocessors to Efficiently Handle Uncertainty in Real-Time Systems / E. Rotenberg
A Design Space Evaluation of Grid Processor Architectures / R. Nagarajan ; K. Sankaralingam ; D. Burger ; S. Keckler
Memory Hierarchies / Session 2：
Reducing Set-Associative Cache Energy via Way-Prediction and Selective Direct-Mapping / M. Powell ; A. Agrawal ; B. Falsafi ; K. Roy
A Code Decompression Architecture for VLIW Processors / Y. Xie ; W. Wolf ; H. Lekatsas
Direct Load: Dependence-Linked Dataflow Resolution of Load Address and Cache Coordinate / B. Chung ; J. Zhang ; J. Peir ; S. Lai ; K. Lai
Energy Efficient Architectures / Session 3：
Reducing Power Requirements of Instruction Scheduling through Dynamic Allocation of Multiple Datapath Resources / D. Ponomarev ; G. Kucuk ; K. Ghose
Exploiting VLIW Schedule Slacks for Dynamic and Leakage Energy Reduction / W. Zhang ; N. Vijaykrishnan ; M. Kandemir ; M. Irwin ; D. Duarte ; Y. Tsai
Reducing Power with Dynamic Critical Path Information / J. Seng ; E. Tune ; D. Tullsen
Direct Addressed Caches for Reduced Power Consumption / E. Witchel ; S. Larsen ; C. Ananian ; K. Asanovic
Emerging Applications for the Connected Home / A. Wolfe
Modulo Scheduling / Session 4：
Modulo Schedule Buffers / M. Merten ; W. Hwu
Graph-Partitioning Based Instruction Scheduling for Clustered Processors / A. Aleta ; J. Codina ; J. Sanchez ; A. Gonzalez
Modulo Scheduling with Integrated Register Spilling for Clustered VLIW Architectures / J. Zalamea ; J. Llosa ; E. Ayguade ; M. Valero
Compilation / Session 5：
Efficient Static Single Assignment Form for Predication / A. Stoutchinin ; F. de Ferriere
The Impact of If-Conversion and Branch Prediction on Program Execution on the Intel Itanium Processor / Y. Choi ; A. Knies ; L. Gerke ; T. Ngai
Mapping Reference Code to Irregular DSPs within the Retargetable, Optimizing Compiler COGEN(T) / G. Grewal ; C. Wilson
Superscalar Architectures / Session 6：
Select-Free Instruction Scheduling Logic / M. Brown ; J. Stark ; Y. Patt
Dual Use of Superscalar Datapath for Transient-Fault Detection and Recovery / J. Ray ; J. Hoe
A High-Speed Dynamic Instruction Scheduling Scheme for Superscalar Processors / M. Goshima ; K. Nishino ; Y. Nakashima ; S. Mori ; T. Kitamura ; S. Tomita
Reducing the Complexity of the Register File in Dynamic Superscalar Processors / R. Balasubramonian ; S. Dwarkadas ; D. Albonesi
Multimedia and Graphics / Session 7：
Saving Energy with Architectural and Frequency Adaptations for Multimedia Applications / C. Hughes ; J. Srinivasan ; S. Adve
Enhancing Loop Buffering of Media and Telecommunications Applications using Low-Overhead Predication / J. Sias ; H. Hunter
Cool-Cache for Hot Multimedia / O. Unsal ; R. Ashok ; I. Koren ; C. Krishna ; C. Moritz
ZR: A 3D API Transparent Technology for Chunk Rendering / E. Hsieh ; V. Pentkovski ; T. Piazza
Multithreading and Value Prediction / Session 8：
Speculative Lock Elision: Enabling Highly Concurrent Multithreaded Execution / R. Rajwar ; J. Goodman
Dynamic Speculative Precomputation / J. Collins ; H. Wang ; J. Shen
Handling Long-latency Loads in a Simultaneous Multithreading Processor / J. Brown
Correctly Implementing Value Prediction in Microprocessors that Support Multithreading or Multiprocessing / M. Martin ; D. Sorin ; H. Cain ; M. Hill ; M. Lipasti
Index of Authors
Message from the General Chair
Message from the Program Chairs
Committees
7.

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

電子ブック
ＥＢ
8. Proceedings of the conference on Visualization '01
IEEE Visualization 2001, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , IEEE Computer Society, 2001
所蔵情報: loading…
9.

電子ブック
ＥＢ
9. Proceedings of the IEEE 2001 symposium on parallel and large-data visualization and graphics
David Breen, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , IEEE, 2001
所蔵情報: loading…
10.

電子ブック
ＥＢ
10. Proceedings of the 2001 IEEE/ACM international conference on Computer-aided design
Rolf Ernst, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , IEEE Press, 2001
所蔵情報: loading…
11.

電子ブック
ＥＢ
11. Proceedings of the 33nd conference on Winter simulation
Winter Simulation Conference 2001, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , IEEE Computer Society, 2001
所蔵情報: loading…
12.

電子ブック
ＥＢ
12. ACM SIGGRAPH 2001 video review on Animation theater program
Association for Computing Machinery-Digital Library.; ACM Special Interest Group on Computer Graphics and Interactive Techniques., Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , New York, NY : ACM, 2001
所蔵情報: loading…
13.

電子ブック
ＥＢ
13. ACM SIGGRAPH 2001 video review on Electronic theater program
Association for Computing Machinery-Digital Library.; ACM Special Interest Group on Computer Graphics and Interactive Techniques., Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , New York, NY : ACM, 2001
所蔵情報: loading…
14.

電子ブック
ＥＢ
14. Ubicomp 2001: Ubiquitous Computing
Ubicomp 2001, Gregory D. Abowd, Barry Brumitt, Steven Shafer, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2001
所蔵情報: loading…
目次情報: 続きを見る
Keynote Address
Assembling the Planetary Computer / Larry Smarr
Location Awareness
GeoNotes: Social and Navigational Aspects of Location-Based Information Systems / Fredrik Espinoza ; Per Persson ; Anna Sandin ; Hanna Nystrom ; Elenor Cacciatore ; Markus Bylund
A Probabilistic Room Location Service for Wireless Networked Environments / Paul Castro ; Patrick Chiu ; Ted Kremenek ; Richard Muntz
Location Information Managment / Hani Naguib ; George Coulouris
Low Cost Indoor Positioning System / Cliff Randell ; Henk Muller
Making Everyday Life Easier Using Dense Sensor Networks / W. Steven Conner ; Lakshman Krishnamurthy ; Roy Want
Tools and Infrastructure
ICrafter: A Service Framework for Ubiquitous Computing Environments / Shankar R. Ponnekanti ; Brian Lee ; Armando Fox ; Pat Hanrahan ; Terry Winograd
Using JIT Compilation and Configurable Runtime Systems for Efficient Deployment of Java Programs on Ubiquitous Devices.. / Radu Teodorescu ; Raju Pandey
Software Infrastructure for Ubiquitous Computing Environments: Supporting Synchronous Collaboration with Heterogeneous Devices / Peter Tandler
Smart-Its Friends: A Technique for Users to Easily Establish Connections between Smart Artefacts / Lars Erik Holmquist ; Friedemann Mattern ; Bernt Schiele ; Petteri Alahuhta ; Michael Beigl ; Hans-W. Gellersen
Applications for Groups
Integrating Meeting Capture within a Collaborative Team Environment / Heather Richter ; Gregory D. Abowd ; Werner Geyer
A Ubiquitous Service Environment with Active Documents for Teamwork Support / Patrik Werle ; Fredrik Kilander ; Martin Jonsson ; Peter Lönnqvist ; Carl Gustaf Jansson
Digital Assistant for Supporting Conference Participants: An Attempt to Combine Mobile, Ubiquitous and Web Computing / Yasuyuki Sumi ; Kenji Mase
The Family Intercom:
Developing a Context-Aware Audio Communication System / Kris Nagel ; Cory D. Kidd ; Thomas O'Connell ; Anind Dey
Panel Discussion
Ubiquitous Computing and The Disappearing Computer - Research Agendas, Issues, and Strategies / Norbert Streitz
Applications and Design Spaces
The Conversational Role of Electronic Guidebooks / Allison Woodruff ; Margaret H. Szymanski ; Paul M. Aoki ; Amy Hurst
Who, What, When, Where, How: Design Issues of Capture & Access Applications / Khai N. Truong ; Jason A. Brotherton
Unearthing Virtual History: Using Diverse Interfaces to Reveal Hidden Virtual Worlds / Steve Benford ; John Bowers ; Paul Chandler ; Luigina Ciolfi ; Martin Flintham ; Mike Fraser ; Chris Greenhalgh ; Tony Hall ; Sten Olof Hellström ; Shahram Izadi ; Tom Rodden ; Holger Schnädelbach ; Ian Taylor
KISS the Tram: Exploring the PDA as Support for Everyday Activities / Thorstein Lunde ; Arve Larsen
Subtle and Public Notification Cues for Mobile Devices / Rebecca Hansson ; Peter Ljungstrand ; Johan Redström
InfoScope: Link from Real World to Digital Information Space / Ismail Haritaoglu
Research Challenges and Novel Input
At Home with Ubiquitous Computing: Seven Challenges / W. KeithEdwards ; Rebecca E. Grinter
Privacy by Design - Principles of Privacy-Aware Ubiquitous Systems / Marc Langheinrich
TrekTrack: A Round Wristwatch Interface for SMS Authoring / Anders Kirkeby ; Rasmus Zacho ; Jock Mackinlay ; Polle Zellweger
A Compact, Wireless, Self-Powered Pushbutton Controller / JosephA. Paradiso ; Mark Feldmeier
Interacting at a Distance Using Semantic Snarfing / Brad A. Myers ; Choon Hong Peck ; Jeffrey Nichols ; Dave Kong ; Robert Miller
Output
The Everywhere Displays Projector: A Device to Create Ubiquitous Graphical Interfaces / Claudio Pinhanez
UniCast, OutCast & GroupCast: Three Steps Toward Ubiquitous, Peripheral Displays / JosephF. McCarthy ; Tony J. Costa ; Edy S. Liongosari
Multibrowsing: Moving Web Content across Multiple Displays / Brad Johanson ; Shankar Ponnekanti ; Caesar Sengupta
On the Design of Personal & Communal Large Information Scale Appliances / Daniel M. Russell ; RichGossweiler
Serendipity within a Ubiquitous Computing Environment: A Case for Opportunistic Browsing / Oscar de Bruijn ; Robert Spence
Author Index
Keynote Address
Assembling the Planetary Computer / Larry Smarr
Location Awareness
15.

電子ブック
ＥＢ
15. Tutorial notes of the seventh ACM SIGKDD international conference on Knowledge discovery and data mining
Tom Fawcett, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , New York NY : ACM, 2001
所蔵情報: loading…
16.

電子ブック
ＥＢ
16. Proceedings of the 10th international workshop on Real-time Ada workshop
Benjamin Brosgol, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , New York NY : ACM, 2001
所蔵情報: loading…
17.

電子ブック
ＥＢ
17. Proceedings of the 2001 workshop on Perceptive user interfaces
Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , New York NY : ACM, 2001
所蔵情報: loading…
18.

電子ブック
ＥＢ
18. Workshop on Data communication in Latin America and the Caribbean
Julio Escobar, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , New York, NY : ACM, 2001
所蔵情報: loading…
19.

電子ブック
ＥＢ
19. Proceedings of the Symposium on Computer Human Interaction
Elizabeth Kemp, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , New York, NY : ACM, 2001
所蔵情報: loading…
20.

電子ブック
ＥＢ
20. Proceedings of the 2001 International Conference on Parallel Architectures and Compilation Techniques
Association for Computing Machinery-Digital Library.; ACM Special Interest Group on Computer Architecture., Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , IEEE, 2001
所蔵情報: loading…
目次情報: 続きを見る
General Chair's Message
Conference Organizers
Program Committee
Keynote Address / Randall D. Isaac
Simulation and Modeling / Session 1：
Basic Block Distribution Analysis to Find Periodic Behavior and Simulation Points in Applications / T. Sherwood ; E. Perelman ; B. Calder
Modeling Superscalar Processors via Statistical Simulation / S. Nussbaum ; J. Smith
Hybrid Analytical-Statistical Modeling for Efficiently Exploring Architecture and Workload Design Spaces / L. Eeckhout ; K. De Bosschere
Efficient Caches / Session 2：
Filtering Techniques to Improve Trace-Cache Efficiency / R. Rosner ; A. Mendelson ; R. Ronen
Reactive-Associative Caches / B. Batson ; T. Vijaykumar
Adaptive Mode Control: A Static-Power-Efficient Cache Design / H. Zhou ; M. Toburen ; E. Rotenberg ; T. Conte
Specialized Instruction Sets / Session 3：
Implementation and Evaluation of the Complex Streamed Instruction Set / B. Juurlink ; D. Tcheressiz ; S. Vassiliadis ; H. Wijshoff
On the Efficiency of Reductions in [mu]-SIMD Media Extensions / J. Corbal ; R. Espasa ; M. Valero
Prediction and Recovery / Justin RattnerSession 4：
Boolean Formula-Based Branch Prediction for Future Technologies / D. Jimenez ; H. Hanson ; C. Lin
Using Dataflow Based Context for Accurate Value Prediction / R. Thomas ; M. Franklin
Recovery Mechanism for Latency Misprediction / E. Morancho ; J. Maria Llaberia ; A. Olive
Memory Optimization / Session 5：
A Cost Framework for Evaluating Integrated Restructuring Optimizations / B. Chandramouli ; J. Carter ; W. Hsieh ; S. McKee
Compiling for the Impulse Memory Controller / X. Huang ; Z. Wang ; K. McKinley
On the Stability of Temporal Data Reference Profiles / T. Chilimbi
Program Optimization / Session 6：
Code Reordering and Speculation Support for Dynamic Optimization Systems / E. Nystrom ; R. Barnes ; M. Merten ; W-M. Hwu
A Unified Modulo Scheduling and Register Allocation Technique for Clustered Processors / J. Codina ; J. Sanchez ; A. Gonzalez
Cache-Friendly Implementations of Transitive Closure / M. Penner ; V. Prasanna
Technology Implications / Session 7：
Exploring the Design Space of Future CMPs / J. Huh ; D. Burger ; S. Keckler
Area and System Clock Effects on SMT/CMP Processors / J. Burns ; J-L. Gaudiot
Parallel Machines / Joel EmerSession 8：
Limits on Speculative Module-Level Parallelism in Imperative and Object-Oriented Programs on CMP Platforms / F. Warg ; P. Stenstrom
Compiler and Runtime Analysis for Efficient Communication in Data Intensive Applications / R. Ferreira ; G. Agrawal ; J. Saltz
Architectural Support for Parallel Reductions in Scalable Shared-Memory Multiprocessors / M. Garzaran ; M. Prvulovic ; Y. Zhang ; A. Jula ; H. Yu ; L. Rauchwerger ; J. Torrellas
Data Prefetching / Session 9：
Optimizing Software Data Prefetches with Rotating Registers / G. Doshi ; R. Krishnaiyer ; K. Muthukumar
Multi-Chain Prefetching: Effective Exploitation of Inter-Chain Memory Parallelism for Pointer-Chasing Codes / N. Kohout ; S. Choi ; D. Kim ; D. Yeung
Data Flow Analysis for Software Prefetching Linked Data Structures in Java / B. Cahoon
Comparing and Combining Read Miss Clustering and Software Prefetching / V. Pai ; S. Adve
Author Index
General Chair's Message
Conference Organizers
Program Committee
21.

電子ブック
ＥＢ
21. Proceedings of the 14th symposium on Integrated circuits and systems design
Association for Computing Machinery-Digital Library.; ACM Special Interest Group on Design Automation., Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , IEEE, 2001
所蔵情報: loading…
目次情報: 続きを見る
Foreword
Conference Organizers
Program Committee
Reviewers
Sponsoring Societies
Embedded Systems / Session 1：
Adaptive Systems-on-Chip: Architectures, Technologies and Applications / J. Becker ; T. Pionteck ; M. Glesner
System-Level Object-Orientation in the Specification and Validation of Embedded Systems / J. Fernandes ; R. Machado
Communication Architectures for System-on-Chip / M. Kreutz ; L. Carro ; C. Zeferino ; A. Susin
Design of Functional Blocks for a Speech Recognition Portable System / J. Gomes-Cipriano ; R. Nunes ; S. Bampi ; D. Barone
Rapid Prototyping / Session 2：
On a Development Environment for Real-Time Information Processing in System-on-Chip Solutions / M. Jacomet ; J. Goette ; J. Breitenstein ; M. Hager
RABBIT--A Modular Rapid Prototyping Platform for Distributed Mechatronic Systems / M. Zanella ; M. Robrecht ; A. Francisco ; A. Horst ; T. Lehmann ; R. Gielow
Using the CAN Protocol and Reconfigurable Computing Technology for Web-Based Smart House Automation / F. Moraes ; A. Amory ; N. Calazans ; E. Bezerra ; J. Petrini
A FPGA Implementation of a DCT-Based Digital Electrocardiographic Signal Compression Device / B. Pimentel ; J. Filho ; R. Campos ; A. Fernandes ; C. Coelho
Formal Methods / Session 3：
An Automated Tool for Analysis and Design of MVL Digital Circuits / L. Nascimento
New Aspects in High-Level Specification, Verification, and Design of IT Protocols / H.-D. Huemmer ; W. Geisselhardt
Optimizing BDD-Based Verification Analysing Variable Dependencies / D. Deharbe ; J. Vidal
Codesign / Session 4：
A Petri Net Based Approach for Hardware/Software Partitioning / F. Filho ; P. Maciel ; E. Barros
A Petri Net Based Method for Resource Estimation: An Approach Considering Data-Dependency, Casual and Temporal Precedences
A Repartitioning and HW/SW Partitioning Algorithm to the Automatic Design Space Exploration in the Co-Synthesis of Embedded Systems / F. do Nascimento ; W. Rosenstiel
An Embedded Converter from RS232 to Universal Serial Bus / A. Zuquim ; C. Coelho Jr. ; M. de Oliveira ; A. Tavares
CAD and Test / Session 5：
Interconnection Length Estimation at Logic-Level / J. Martins ; R. Reis
A BIST Procedure for Analog Mixers in Software Radio / A. Nacul ; D. Janner ; M. Lubaszewski
Summarizing a New Approach to Design Speech Recognition Systems: A Reliable Noise-Immune HW-SW Version / F. Vargas ; R. Fagundes ; D. Barros Jr.
An Integrated High-Level Test Synthesis for Built-in Self-Testable Designs / L. Yang ; J. Muzio
Analog Design / Session 6：
A 3-V 12-Bit Second Order Sigma-Delta Modulator Design in 0.8[mu]m CMOS / C. de Mori ; P. Crepaldi ; T. Pimenta
Analog Circuit Design Using Graded-Channel SOI NMOSFETS / M. Pavanello ; J. Martino ; D. Flandre
A Simplified Methodology for the Extraction of the ACM MOST Model Parameters / R. Coitinho ; L. Spiller ; M. Schneider ; C. Galup-Montoro
An Environment to Aid the Synthesis of ThreePhase Analogue Waveform Using AHDL / A. Silva ; A. Cardoso
Digital Design I / Session 7：
A Fast Asynchronous Re-Configurable Architecture for Multimedia Applications / A. Rettberg ; B. Kleinjohann
Data Encription in an Electronic Ballot Box / R. Jacobi ; L. Carvalho ; J. Coelho
Extending Sequencing Graphs for Reconfigurable Applications Modeling / A. Adario
Physical Design / Session 8：
Designing VLSI Circuit Masks with the Software Agents2 / E. Jardini ; D. Moreira
Jale 3D--Platform-independent IC/MEMS Layout Edition Tool / L. Ost ; M. Mainardi ; L. Indrusiak
LEGAL: An Algorithm for Simultaneous Net Routing / M. Johann
Testing the Printability of VLSI Layouts / R. Martins ; H. Kirchauer
Low-Power and Low-Voltage / Session 9：
On Designing Mixed-Signal Fuzzy Logic Controllers as Embedded Subsystems in Standard CMOS Technologies / C. Dualibe ; P. Jespers ; M. Verleysen
Power Efficient Arithmetic Operand Encoding / E. Costa ; J. Monteiro
Low-Voltage Class AB Operational Amplifier / V. Vincence
Power Optimized Viterbi Decoder Implementation through Architectural Transforms / J. Portela
Digital Design II / Session 10：
Synthesis of Multi-Burst Controllers as Modified Huffman Machines / D. De Olveira ; M. Strum ; W. Chau ; W. Cunha
Pipelined Fast 2-D DCT Architecture for JPEG Image Compression / L. Agostini ; I. Silva
IDCT Design for JPEG Decompression in an Electronic Ballot Box / J. Carvalho
Author Index
Foreword
Conference Organizers
Program Committee
22.

電子ブック
ＥＢ
22. Proceedings of the 17th Spring Conference on Computer Graphics
Association for Computing Machinery-Digital Library.; ACM Special Interest Group on Computer Graphics and Interactive Techniques., Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , IEEE, 2001
所蔵情報: loading…
目次情報: 続きを見る
Preface
Committees
Reviewers
Keynote Talk
Topological Graphics / T. Kunii
Invited Talk
Some New Challenging Research Topics in Human Animation / N. Magnenat-Thalmann ; L. Moccozet
Meshes
Parallel Triangular Mesh Decimation without Sorting / M. Franc ; V. Skala
Post-Optimization of Delaunay Tetrahedrization / P. Maur ; I. Kolingerova
Geometric Modeling
Taylor Models and Affine Arithmetics--Towards a More Sophisticated Use of Reliable Methods in Computer Graphics / K. Buhler
On the Domain of Constructive Geometric Constraint Solving Techniques / R. Joan-Arinyo ; A. Soto-Riera ; S. Vila-Marta ; J. Vilaplana
Shape of Toric Surfaces / R. Krasauskas
Automatic Instancing of Hierarchically Organized Objects / R. Schultz ; H. Schumann
Bivariate Simplex B-Splines: A New Paradigm / M. Neamtu
Visualization
Layered Data Representation for Visual Simulation of Terrain Erosion / B. Benes ; R. Forsbach
Smooth High-Quality Interactive Visualization / M. Grabner
A Distributed Visualization Environment for Scientific Visualization Based on Jini Technology / C. Zunino ; B. Montrucchio ; A. Sanna ; C. Demartini
Image and Textures
A Color Reindexing Algorithm for Lossless Compression of Digital Images / S. Battiato ; G. Gallo ; G. Impoco ; F. Stanco
Multiresolution Texture for Photorealistic Rendering / H. Mayer ; F. Leberl ; A. Bornik ; J. Bauer ; K. Karner
Interactive Display of Surfaces Using Subdivision Surfaces and Wavelets / M. Duchaineau ; M. Bertram ; S. Porumbescu ; B. Hamann ; K. Joy
Implicit Surfaces
An Octree Isosurface Codification Based on Discrete Planes / I. Boada ; I. Navazo
Growth Simulation of Human Embryo Brain / S. Czanner ; R. Durikovic ; H. Inoue
Virtual Shikki and Sazaedo: Shape Modeling in Digital Preservation of Japanese Lacquer Ware and Temples / G. Pasko ; A. Pasko ; C. Vilbrandt ; T. Ikedo
Rendering
Exploiting Temporal and Spatial Coherence in Hierarchical Visiblity Algorithms / J. Bittner ; V. Havran
An Efficient Technique for Ray Tracing of a DOL-System / P. Gonzales ; I. Verdu
View-Dependent Information Theory Quality Measures for Pixel Sampling and Scene Discretization in Flatland / J. Rigau ; M. Feixas ; P. Bekaert ; M. Sbert
Quadratic Interpolation in Hardware Phong Shading and Texture Mapping / A. Abbas ; L. Szirmay-Kalos ; G. Szijarto ; T. Horvath ; T. Foris
Invited Paper
Texturing through Constructive Modeling / B. Schmitt ; V. Adzhiev ; C. Schlick
Animation
A New Efficient Wave Model for Maritime Training Simulator / J. Cieutat ; J. Gonzato ; P. Guitton
Mixture of Random Walk Solution and Quasi-Random Walk Solution to Global Illumination / Q. Xu ; J. Sun ; Z. Wei ; Y. Shu ; J. Cai
High Precision Non-Binary Voxelization of Geometric Objects / M. Sramek
Volume Rendering
Vessel Tracking in Peripheral CTA Datasets--An Overview / P. Felkel ; R. Wegenkittl ; A. Kanitsar
Perspective Projection through Parallel Projected Slabs for Virtual Endoscopy / A. Vilanova ; A. Konig ; E. Groller
Author Index
Preface
Committees
Reviewers
23.

電子ブック
ＥＢ
23. Proceedings of the twelfth annual ACM-SIAM symposium on Discrete algorithms
S. Rao Kosaraju, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , New York : Society for Industrial and Applied Mathematics, 2001
所蔵情報: loading…
24.

電子ブック
ＥＢ
24. Model Checking Software
International SPIN Workshop, Matthew Dwyer, ACM Sigsoft., Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2001
所蔵情報: loading…
25.

電子ブック
ＥＢ
25. Proceedings of the 3rd international conference on Ubiquitous Computing
Ubicomp 2001, Gregory D. Abowd, Barry Brumitt, Steven Shafer, Association for Computing Machinery-Digital Library.
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2001
所蔵情報: loading…
目次情報: 続きを見る
Keynote Address
Assembling the Planetary Computer / Larry Smarr
Location Awareness
GeoNotes: Social and Navigational Aspects of Location-Based Information Systems / Fredrik Espinoza ; Per Persson ; Anna Sandin ; Hanna Nystrom ; Elenor Cacciatore ; Markus Bylund
A Probabilistic Room Location Service for Wireless Networked Environments / Paul Castro ; Patrick Chiu ; Ted Kremenek ; Richard Muntz
Location Information Managment / Hani Naguib ; George Coulouris
Low Cost Indoor Positioning System / Cliff Randell ; Henk Muller
Making Everyday Life Easier Using Dense Sensor Networks / W. Steven Conner ; Lakshman Krishnamurthy ; Roy Want
Tools and Infrastructure
ICrafter: A Service Framework for Ubiquitous Computing Environments / Shankar R. Ponnekanti ; Brian Lee ; Armando Fox ; Pat Hanrahan ; Terry Winograd
Using JIT Compilation and Configurable Runtime Systems for Efficient Deployment of Java Programs on Ubiquitous Devices.. / Radu Teodorescu ; Raju Pandey
Software Infrastructure for Ubiquitous Computing Environments: Supporting Synchronous Collaboration with Heterogeneous Devices / Peter Tandler
Smart-Its Friends: A Technique for Users to Easily Establish Connections between Smart Artefacts / Lars Erik Holmquist ; Friedemann Mattern ; Bernt Schiele ; Petteri Alahuhta ; Michael Beigl ; Hans-W. Gellersen
Applications for Groups
Integrating Meeting Capture within a Collaborative Team Environment / Heather Richter ; Gregory D. Abowd ; Werner Geyer
A Ubiquitous Service Environment with Active Documents for Teamwork Support / Patrik Werle ; Fredrik Kilander ; Martin Jonsson ; Peter Lönnqvist ; Carl Gustaf Jansson
Digital Assistant for Supporting Conference Participants: An Attempt to Combine Mobile, Ubiquitous and Web Computing / Yasuyuki Sumi ; Kenji Mase
The Family Intercom:
Developing a Context-Aware Audio Communication System / Kris Nagel ; Cory D. Kidd ; Thomas O'Connell ; Anind Dey
Panel Discussion
Ubiquitous Computing and The Disappearing Computer - Research Agendas, Issues, and Strategies / Norbert Streitz
Applications and Design Spaces
The Conversational Role of Electronic Guidebooks / Allison Woodruff ; Margaret H. Szymanski ; Paul M. Aoki ; Amy Hurst
Who, What, When, Where, How: Design Issues of Capture & Access Applications / Khai N. Truong ; Jason A. Brotherton
Unearthing Virtual History: Using Diverse Interfaces to Reveal Hidden Virtual Worlds / Steve Benford ; John Bowers ; Paul Chandler ; Luigina Ciolfi ; Martin Flintham ; Mike Fraser ; Chris Greenhalgh ; Tony Hall ; Sten Olof Hellström ; Shahram Izadi ; Tom Rodden ; Holger Schnädelbach ; Ian Taylor
KISS the Tram: Exploring the PDA as Support for Everyday Activities / Thorstein Lunde ; Arve Larsen
Subtle and Public Notification Cues for Mobile Devices / Rebecca Hansson ; Peter Ljungstrand ; Johan Redström
InfoScope: Link from Real World to Digital Information Space / Ismail Haritaoglu
Research Challenges and Novel Input
At Home with Ubiquitous Computing: Seven Challenges / W. KeithEdwards ; Rebecca E. Grinter
Privacy by Design - Principles of Privacy-Aware Ubiquitous Systems / Marc Langheinrich
TrekTrack: A Round Wristwatch Interface for SMS Authoring / Anders Kirkeby ; Rasmus Zacho ; Jock Mackinlay ; Polle Zellweger
A Compact, Wireless, Self-Powered Pushbutton Controller / JosephA. Paradiso ; Mark Feldmeier
Interacting at a Distance Using Semantic Snarfing / Brad A. Myers ; Choon Hong Peck ; Jeffrey Nichols ; Dave Kong ; Robert Miller
Output
The Everywhere Displays Projector: A Device to Create Ubiquitous Graphical Interfaces / Claudio Pinhanez
UniCast, OutCast & GroupCast: Three Steps Toward Ubiquitous, Peripheral Displays / JosephF. McCarthy ; Tony J. Costa ; Edy S. Liongosari
Multibrowsing: Moving Web Content across Multiple Displays / Brad Johanson ; Shankar Ponnekanti ; Caesar Sengupta
On the Design of Personal & Communal Large Information Scale Appliances / Daniel M. Russell ; RichGossweiler
Serendipity within a Ubiquitous Computing Environment: A Case for Opportunistic Browsing / Oscar de Bruijn ; Robert Spence
Author Index
Keynote Address
Assembling the Planetary Computer / Larry Smarr
Location Awareness
26.

電子ブック
ＥＢ
26. Proceedings of the 8th international SPIN workshop on Model checking of software
International SPIN Workshop, Matthew Dwyer, ACM Sigsoft., Association for Computing Machinery-Digital Library.
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2001
所蔵情報: loading…
27.

電子ブック
ＥＢ
27. Proceedings of the IEEE 2001 symposium on parallel and large-data visualization and graphics
David Breen, Association for Computing Machinery-Digital Library.
出版情報: IEEE Electronic Library (IEL) Conference Proceedings , IEEE, 2001
所蔵情報: loading…
28.

電子ブック
ＥＢ
28. Proceedings of the 38th annual Design Automation Conference
Jan Rabaey, Association for Computing Machinery-Digital Library.
出版情報: IEEE Electronic Library (IEL) Conference Proceedings , IEEE, 2001
所蔵情報: loading…
29.

電子ブック
ＥＢ
29. Proceedings of the ninth international symposium on Hardware/software codesign
Jan Madsen, Association for Computing Machinery-Digital Library.
出版情報: IEEE Electronic Library (IEL) Conference Proceedings , IEEE, 2001
所蔵情報: loading…
30.

電子ブック
ＥＢ
30. Proceedings of the 2001 international symposium on Low power electronics and design
International Symposium on Low Power Electronics and Design, ACM Special Interest Group on Design Automation., Association for Computing Machinery-Digital Library.
出版情報: IEEE Electronic Library (IEL) Conference Proceedings , IEEE, 2001
所蔵情報: loading…
31.

電子ブック
ＥＢ
31. Proceedings of the 14th international symposium on Systems synthesis
International Symposium on System Synthesis, Association for Computing Machinery-Digital Library., IEEE Computer Society.
出版情報: IEEE Electronic Library (IEL) Conference Proceedings , IEEE, 2001
所蔵情報: loading…
32.

電子ブック
ＥＢ
32. Proceedings of the 2001 ACM/IEEE conference on Supercomputing
Greg Johnson, Association for Computing Machinery-Digital Library.
出版情報: IEEE Electronic Library (IEL) Conference Proceedings , IEEE, 2001
所蔵情報: loading…
33.

電子ブック
ＥＢ
33. Proceedings of the 2nd Australasian conference on User interface
Paul Calder, Association for Computing Machinery-Digital Library.
出版情報: IEEE Electronic Library (IEL) Conference Proceedings , IEEE, 2001
所蔵情報: loading…
目次情報: 続きを見る
Preface
Program Committee
The Computer Science of Everyday Things / Harold ThimblebyKeynote Address：
Goldleaf Hierarchical Document Browser / J. Faichney ; R. Gonzalez
Adapting the Web Interface: An Adaptive Web Browser / K. Henricksen ; J. Indulska
Linking between Real and Virtual Spaces: Building the Mixed Reality Stage Environment / M. Fleischmann ; W. Strauss
Visualizing Content Based Relations in Texts / E. Weippl
Towards Model Based Prediction of Human Error Rates in Interactive Systems / D. Leadbetter ; A. Hussey ; P. Lindsay ; A. Neal ; M. Humphreys
Navigating Information as a Cityscape / C. Rainsford ; M. Williams
Smarter Cut-and-Paste for Programming Text Editors / G. Wallace ; R. Biddle ; E. Tempero
Using Force Feedback for Multi-Sensory Display / K. Nesbitt ; R. Gallimore ; B. Orenstein
A Method for the Early Stages of Interactive System Design Using UML and Lean Cuisine+ / C. Scogings ; C. Phillips
Steerable Interactive Television: Virtual Reality Technology Changes User Interfaces of Viewers and of Program Producers / R. Pose
A Pilot Study of Teaching the Strategic Use of Common Computer Applications / R. Thomas ; M. Foster
Context in 3D Planar Navigation / S. Vallance ; P. Calder
Cost/Benefit Based Adaptive Dialog: Case Study Using Empirical Medical Practice Norms and Intelligent Split Menus / J. Warren
Solving the Occlusion Problem for Three-Dimensional Distortion-Oriented Displays / D. Winch ; R. Smith
An Animated 3D Manipulator for Distributed Collaborative Window-Based Applications / M. Davies ; B. Thomas
Drawing Lessons in the Design of Tangible Media from a Study of Interactions with Mechanical Products / M. Brereton
Comparing and Reconciling Usability-Centered and Use Case-Driven Requirements Engineering Processes / A. Seffah ; R. Djouab ; G. Butler
Author Index
Preface
Program Committee
The Computer Science of Everyday Things / Harold ThimblebyKeynote Address：
34.

電子ブック
ＥＢ
34. Proceedings of the conference on Design, automation and test in Europe
Wolfgang Nebel, Association for Computing Machinery-Digital Library.
出版情報: IEEE Electronic Library (IEL) Conference Proceedings , IEEE, 2001
所蔵情報: loading…
目次情報: 続きを見る
DATE Executive Committee
Technical Program Chairs
Vendors Committee
DATE Sponsor Committee
Technical Program Committee
Reviewers
Welcome to DATE 2001
Best Paper Awards
Tutorials
Call for Papers DATE 2002
Plenary: Keynote Session
The Semiconductor Dynamic in the Information Age--Driving New Technologies, Trends and Markets / U. Schumacher, CEO
Complementary Approaches to Designing Correct Circuits / 1A：
Abstraction of Word-Level Linear Arithmetic Functions from Bit-Level Component Descriptions / P. Dasgupta ; P. Chakrabarti ; A. Nandi ; S. Krishna ; A. Chakrabarti
Biaising Symbolic Research by Means of Dynamic Activity Profiles / G. Cabodi ; P. Camurati ; S. Quer
New Design Methods with SystemC / 1B：
A Methodology for Interfacing Open Source SystemC with a Third Party Software / L. Charest ; M. Reid ; E. Aboulhamid ; G. Bois
Behavioral Synthesis with SystemC / G. Economakos ; P. Oikonomakos ; I. Panagopoulos ; I. Poulakis ; G. Papakonstantiou
SystemC[superscript SV]--An Extension of SystemC for Mixed Multi-Level Communication Modeling and Interface-Based System Design / R. Siegmund ; D. Muller
Embedded Tutorial--TRP: Integrating Embedded Test and ATE / 1C：
Test Resource Partitioning: A Design and Test Issue
Embedded Tutorial--Current Trends in the Design of Automotive Electronic Systems / 1E：
Current Trends in the Design of Automotive Electronic Systems
Platforms and IP-Based Design / 2A：
Component Selection and Matching for IP-Based Design / T. Zhang ; G. De Micheli ; L. Benini
A Universal Communication Model for an Automotive System Integration Platform / T. Demmeler ; P. Giusto
An Efficient Architecture Model for Systematic Design of Application-Specific Multiprocessor SoC / A. Baghdadi ; D. Lyonnard ; N. Zergainoh ; A. Jerraya
Approaching Semantics of Design Languages / 2B：
The Simulation Semantics of SystemC / J. Ruf ; D. Hoffmann ; J. Gerlach ; T. Kropf ; W. Rosenstiel ; W. Mueller
MetaRTL: Raising the Abstraction Level of RTL Design / J. Zhu
A Model for Describing Communication between Aggregate Objects in the Specification and Design of Embedded Systems / K. Svarstad ; G. Nicolescu
BIST and Diagnosis / 2C：
Circuit Partitioning for Efficient Logic BIST Synthesis / A. Irion ; G. Kiefer ; H. Vranken ; H. Wunderlich
Deterministic Software-Based Self-Testing of Embedded Processor Cores / A. Paschalis ; D. Gizopoulos ; N. Kranitis ; M. Psarakis ; Y. Zorian
Memory Fault Diagnosis by Syndrome Compression / J. Li ; C. Wu
Diagnosis for Scan-Based BIST: Reaching Deep into the Signatures / I. Bayraktaroglu ; A. Orailoglu
Hot Topic--EUCAR Session / 2E：
Vehicle Electric/Electronic Architecture--One of the Most Important Challenges for OEM's / G. Hettich ; T. Thurner
SAT Based Verification Techniques / 3A：
Using SAT for Combinational Equivalence Checking / E. Goldberg ; M. Prasad ; R. Brayton
Combinational Equivalence Checking Using Boolean Satisfiability and Binary Decision Diagrams / S. Reda ; A. Salem
An Efficient Learning Procedure for Multiple Implication Checks / Y. Novikov
Panel Session--C/C[superscript ++]: Progress or Deadlock in SLD Specification? / 3B：
C/C[superscript ++]: Progress or Deadlock in System-Level Specification
Advances in SoC Testing / 3C：
An Integrated System-On-Chip Test Framework / E. Larsson ; Z. Peng
Efficient Test Data Compression and Decompression for System-On-A-Chip Using Integral Scan Chains and Golomb Coding / A. Chandra ; K. Chakrabarty
Testing TAPed Cores and Wrapped Cores with the Same Test Access Mechanism / M. Benabdenbi ; W. Maroufi ; M. Marzouki
On Applying the Set Covering Model to Reseeding / S. Chiusano ; S. Di Carlo ; P. Prinetto
Panel Session--Data Management--Limiter or Accelerator for Electronic Design Creativity? / 3E：
Data Management--Limiter or Accelerator for Electronic Design Creativity
Analysis of Communication Systems / 4A：
Efficient Bit-Error-Rate Estimation of Multicarrier Transceivers / G. Vandersteen ; P. Wambacq ; S. Donnay ; M. Engels ; I. Bolsens ; Y. Rolain ; J. Schoukens
Efficient Time-Domain Simulation of Telecom Frontends Using a Complex Damped Exponential Signal Model / P. Vanassche ; G. Gielen ; W. Sansen
Simulation Method to Extract Characteristics for Digital Wireless Communication Systems / L. Nguyen ; V. Janicot
Design of Low Power Systems I / 4B：
Microprocessor Power Analysis by Labelled Simulation / C. Hsieh ; L. Chen ; M. Pedram
Power Aware Microarchitecture Resource Scaling / A. Iyer ; D. Marculescu
Extending Lifetime of Portable Systems by Battery Scheduling / G. Castelli ; A. Macii ; E. Macii ; M. Poncino ; R. Scarsi
Test Generation and Evaluation / 4C：
Efficient Spectral Techniques for Sequential ATPG / A. Giani ; S. Sheng ; M. Hsiao ; V. Agrawal
On the Test of Microprocessor IP Cores / F. Corno ; M. Sonza Reorda ; S. Squillero ; M. Violante
Sequence Reordering to Improve the Levels of Compaction Achievable by Static Compaction Procedures / I. Pomeranz ; S. Reddy
SEU Effect Analysis in an Open-Source Router via a Distributed Fault Injection Environment / A. Benso ; G. Di Natale
Panel Session--The Programmable Platform: Does One Size Fit All? / 4E：
The Programmable Platform: Does One Size Fit All?
Planning Support / 4F：
Slicing Tree is a Complete Floorplan Representation / M. Lai ; D. Wong
Further Improve Circuit Partitioning Using GBAW Logic Perturbation Techniques / C. Cheung ; Y. Wu ; D. Cheng
Clustering Based Fast Clock Scheduling for Light Clock-Tree / M. Saitoh ; M. Azuma ; A. Takahashi
Low-Power Channel Decoding and VLIW Architectures / 5A：
Power-Efficient Layered Turbo Decoder Processor / J. Dielissen ; J. van Meerbergen ; M. Bekooij ; F. Harmsze ; S. Sawitzki ; J. Huisken ; A. van der Werf
Exploiting Data Forwarding to Reduce the Power Budget of VLIW Embedded Processors / M. Sami ; D. Sciuto ; C. Silvano ; V. Zaccaria ; R. Zafalon
Design of Low-Power High-Speed Maximum a priori Decoder Architectures / A. Worm ; H. Lamm ; N. Wehn
Design of Low-Power Systems II / 5B：
Low Complexity FIR Filters Using Factorization of Perturbed Coefficients / C. Neau ; K. Muhammad ; K. Roy
An Adaptive Algorithm for Low-Power Streaming Multimedia Processing / A. Acquaviva ; B. Ricco
A Static Power Estimation Methodology for IP-Based Design / X. Liu ; C. Papaefthymiou
On-Line Testing Techniques / 5C：
Optimization of Error Detecting Codes for the Detection of Crosstalk Originated Errors / M. Favalli ; C. Metra
System Safety through Automatic High-Level Code Transformations: An Experimental Evaluation / P. Cheynet ; B. Nicolescu ; R. Velazco ; M. Rebaudengo
From DFT to Systems Test--A Model Based Cost Optimization Tool / M. Wahl ; M. Rahman ; C. Maass ; T. Ambler
Efficient On-Line Testing Method for a Floating-Point Adder / A. Drozd ; M. Lobachev
Design Methodology for PicoRadio Networks / 5E：
EMC on Chip and High Density Package Level / J. da Silva Jr. ; J. Shamberger ; M. Ammer ; C. Guo ; S. Li ; R. Shah ; T. Tuan ; M. Sheets ; J. Rabaey ; B. Nikolic ; A. Sangiovanni-Vincentelli ; P. Wright5F：
High-Level Simulation of Substrate Noise Generation from Large Digital Circuits with Multiple Supplies / M. Badaroglu ; H. De Man ; M. van Heijningen ; V. Gravot
Crosstalk Noise in Future Digital CMOS Circuits / C. Werner ; R. Gottsche ; A. Worner ; U. Ramacher
Modeling Electromagnetic Emission of Integrated Circuits for System Analysis / P. Kralicek ; W. John ; H. Garbe
Analysis of EME Produced by a Microcontroller Operation / F. Fiori ; F. Musolino
Design Methods for Analog and Mixed Signal Circuits / 6A：
Top-Down Design of a xDSL 14-bit 4MS/s [Sigma] [Delta] Modulator in Digital CMOS Technology / R. del Rio ; J. de la Rosa ; F. Medeiro ; B. Perez-Verdu ; A. Rodriguez-Vazquez
Analog Design for Reuse--Case Study: Very Low-Voltage [Sigma] [Delta] Modulator / M. Dessouky ; M. Louerat ; A. Greiner ; A. Kaiser
A Design Strategy for Low-Voltage Low-Power Continuous-Time [Sigma] [Delta] A/D Converters / F. Gerfers ; Y. Manoli
Issues in Synthesis and Power Optimization / 6B：
Minimizing Stand-By Leakage Power in Static CMOS Circuits / S. Naidu ; E. Jacobs
In-Place Delay Constrained Power Optmization Using Functional Symmetries / C. Chang ; B. Hu ; M. Marek-Sadowska
High-Quality Sub-Function Construction in Functional Decomposition Based on Information Relationship Measures / L. Jozwiak ; A. Chojnacki
Generalized Reasoning Scheme for Redundancy Addition and Removal Logic Optimization / J. Espejo ; L. Entrena ; E. San Millan ; E. Olias
High Level Validation / 6C：
LPSAT: A Unified Approach to RTL Satisfiability / Z. Zeng ; P. Kalla ; M. Ciesielski
Functional Test Generation for Behaviorally Sequential Models / F. Ferrandi ; G. Ferrara ; A. Fin ; F. Fummi
High Quality Behavioral Verification Using Statistical Stopping Criteria / A. Hajjar ; T. Chen ; I. Munn ; A. Andrews ; M. Bjorkman
Hot Topic--Network Processors: A Perspective on Market Requirements, Processor Architectures and Embedded S/W Tools / 6E：
Network Processors: A Perspective on Market Requirements, Processor Architectures and Embedded S/W Tools / P. Paulin ; F. Karim ; P. Bromley
Interconnect Extraction and Modelling / 6F：
Efficient Inductance Extraction via Windowing / M. Beattie ; L. Pileggi
Efficient and Passive Modeling of Transmission Lines by Using Differential Quadrature Method / Q. Xu ; P. Mazumder
Explicit Formulas and Efficient Algorithm for Moment Computation of Coupled RC Trees with Lumped and Distributed Elements / Q. Yu ; E. Kuh
On the Impact of On-Chip Inductance on Signal Nets under the Influence of Power Grid Noise
Timing and Parallel Simulation / 7A：
Timing Simulation of Digital Circuits with Binary Decision Diagrams / R. Ubar ; A. Jutman
HALOTIS: High Accuracy LOgic TIming Simulator with Inertial and Degradation Delay Model / P. Vazquez ; J. Juan-Chico ; M. Bellido ; A. Acosta ; M. Valencia
dlbSIM--A Parallel Functional Logic Simulator Allowing Dynamic Load Balancing / K. Hering ; J. Loser ; J. Markwardt
Architecture Driven Partitioning / J. Kuter ; E. Barke
Embedded Tutorial--Low-Power Issues for SOCs / 7B：
Low-Power Systems on Chips (SOCs) / C. Piguet ; M. Renaudin ; T. Omnes
Defect Oriented Testing / 7C：
Static and Dynamic Behavior of Memory Cell Array Opens and Shorts in Embedded DRAMs / Z. Al-Ars ; A. van de Goor
Definitions of the Numbers of Detections of Target Faults and their Effectiveness in Guiding Test Generation for High Defect Coverage
CMOS Open Defect Detection by Supply Current Test / M. Hashizume ; M. Ichimiya ; H. Yotsuyanagi ; T. Tamesada
Full Chip False Timing Path Identification: Applications to the PowerPC Microprocessors / J. Zeng ; M. Abadir ; J. Bhadra ; J. Abraham
Embedded Tutorial--CAD for RF Integrated Circuits and Systems / 7E：
CAD for RF Circuits / J. Phillips ; J. Roychowdhury ; W. Eberle ; B. Yang ; D. Long ; A. Demir
Routing Enhancements / 7F：
Modeling Crosstalk Noise for Deep Submicron Verification Tools / P. Bazargan-Sabet ; F. Ilponse
A Graph Based Algorithm for Optimal Buffer Insertion under Accurate Delay Models / Y. Gao
Repeater Block Planning under Simultaneous Delay and Transition Time Constraints / P. Sarkar ; C. Koh
Layout Generation / 8A：
On-The-Fly Layout Generation for PTL Macrocells / L. Macchiarulo
Automatic Datapath Tile Placement and Routing / T. Serdar ; C. Sechen
A Boolean Satisfiability-Based Incremental Rerouting Approach with Application to FPGAs / G. Nam ; K. Sakallah ; R. Rutenbar
Modelling and Performance Analysis of Embedded Systems / 8B：
Dual Transitions Petri Net Based Modelling Technique for Embedded Systems Specification / M. Varea ; B. Al-Hashimi
Probabilistic Application Modeling for System-Level Performance Analysis / R. Marculescu
Reliable Estimation of Execution Time of Embedded Software / G. Martin ; E. Harcourt
Analog and Mixed Signal Testing / 8C：
Implementation of a Linear Histogram BIST for ADCs / F. Azais ; S. Bernard ; Y. Bertrand ; M. Renovell
Test Generation Based Diagnosis of Device Parameters for Analog Circuits / S. Cherubal ; A. Chatterjee
Generation of Optimum Test Stimuli for Nonlinear Analog Circuits Using Nonlinear Programming and Time-Domain Sensitivities / B. Burdiek
Panel Session--Managing the SoC Design Challenge with 'Soft' Hardware / 8E：
Managing the SoC Design Challenge with "Soft" Hardware / R. Wilson
Hardware-Software Architectures and Synthesis / 8F：
Integrated Hardware-Software Co-Synthesis and High-Level Synthesis for Design of Embedded Systems under Power and Latency Constraints / A. Doboli
Allocation and Scheduling of Conditional Task Graph in Hardware/Software Co-Synthesis / Y. Xie ; W. Wolf
Code Placement in Hardware Software Co-Synthesis to Improve Performance and Reduce Cost / S. Parameswaran
System-On-A-Chip Processor Synchronization Support in Hardware / B. Saglam ; V. Mooney III
Reconfigurable Computing I / 9A：
A Decade of Reconfigurable Computing: A Visionary Retrospective / R. Hartenstein
Hierarchical Memory Mapping during Synthesis in FPGA-Based Reconfigurable Computers / I. Ouaiss ; R. Vemuri
Optimal FPGA Module Placement with Temporal Precedence Constraints / S. Fekete ; E. Kohler ; J. Teich
Embedded Software / 9B：
Generation of Minimal Size Code for Schedule Graphs / C. Passerone ; Y. Watanabe ; L. Lavagno
Generating Production Quality Software Development Tools Using a Machine Description Language / A. Hoffmann ; A. Nohl ; S. Pees ; G. Braun ; H. Meyr
Automatic Generation and Targeting of Application Specific Operating Systems and Embedded Systems Software / L. Gauthier ; S. Yoo
Cache Conscious Data Layout Organization for Embedded Multimedia Applications / C. Kulkarni ; C. Ghez ; M. Miranda ; F. Catthoor
Panel Session--Design Challenges and Emerging EDA Solutions in Mixed-Signal IC Design / 9C：
Design Challenges and Emerging EDA Solutions in Mixed-Signal IC Design
Hot Topic--Game Processors / 9E：
CPU for PlayStation2 / H. Tago ; K. Hashimoto ; N. Ikumi ; M. Nagamatsu ; M. Suzuoki ; Y. Yamamoto
Implementation of the ATI Flipper Chip / A. Mandapati
SH-4 RISC Microprocessor for Multimedia, Game Machine / S. Narita
Decision Diagrams / 9F：
Streaming BDD Manipulation for Large-Scale Combinatorial Problems / S. Minato ; S. Ishihara
Binary Decision Diagram with Minimum Expected Path Length / Y. Liu ; K. Wang ; T. Hwang ; C. Liu
Spectral Decision Diagrams Using Graph Transformations / M. Thornton ; R. Drechsler
Friday Keynote Session--Electronic System Design Methodology: Europe's Positioning / 9L：
Electronic System Design Methodology: Europe's Positioning
Reconfigurable Computing II / 10A：
Precision and Error Analysis of MATLAB Applications during Automated Hardware Synthesis for FPGAs / A. Nayak ; M. Haldar ; A. Choudhary ; P. Banerjee
A HW/SW Partitioning Algorithm for Dynamically Reconfigurable Architectures / J. Noguera ; R. Badia
Managing Dynamic Reconfiguration Overhead in Systems-On-A-Chip Design Using Reconfigurable Datapaths and Optimized Interconnection Networks / Z. Huang ; S. Malik
Co-Simulation and System Verification Techniques / 10B：
Simulation-Guided Property Checking Based on a Multi-Valued AR-Automata
Performance Improvement of Multi-Processor Systems Cosimulation Based on SW Analysis / J. Jung ; K. Choi
Mixed-Level Cosimulation for Fine Gradual Refinement of Communication in SoC Design
A Framework for Fast Hardware-Software Co-Simulation / T. Kogel
Embedded Tutorial - Analog Methods and Tools for SoC Integration / 10C：
Analog/Mixed-Signal IP Modeling for Design Reuse / N. Madrid ; E. Peralias ; A. Rueda
A Skill-Based Library for Retargetable Embedded Analog Cores / X. Jingnan ; J. Vital ; N. Horta
Modelling SoC Devices for Virtual Test Using VHDL / M. Rona ; G. Krampl
Retargeting of Mixed-Signal Blocks for SoCs / R. Castro-Lopez ; F. Fernandez ; M. Delgado-Restituto
Panel Session--Standard Bus vs. Bus Wrapper: What is the Best Solution for Future SoC Integration? / 10E：
Standard Bus vs. Bus Wrapper: What is the Best Solution for Future SoC Integration?
Architectural Level Synthesis / 10F：
Access Pattern Based Local Memory Customization for Low Power Embedded Systems / P. Grun ; N. Dutt ; A. Nicolau
Static Memory Allocation by Pointer Analysis and Coloring
Heuristic Datapath Allocation for Multiple Wordlength Systems / G. Constantinides ; P. Cheung ; W. Luk
Poster Session
On the Verification of Synthesized Designs Using Automatically Generated Transformational Witnesses / E. Teica ; R. Radhakrishnan
Property-Specific Witness Graph Generation for Guided Simulation / A. Gupta ; A. Casavant ; P. Ashar ; S. Liu ; A. Mukaiyama ; K. Wakabayashi
Two Approaches for Developing Generic Components in VHDL / V. Stuikys ; G. Ziberkas ; R. Damasevicius ; G. Majauskas
Annotated Data Types for Addressed Token Passing Networks / G. Cichon ; W. Brunnbauer
Testability Trade-Offs for BIST RTL Data Paths: The Case for Three Dimensional Design Space / N. Nicolici
Towards a Better Understanding of Failure Modes and Test Requirements of ADCs / A. Lechner ; A. Richardson ; B. Hermes
Exact Fault Simulation for Systems on Silicon that Protects Each Core's Intellectual Property (IP) / M. Quasem ; S. Gupta
Using Mission Logic for Embedded Testing / R. Dorsch
A Regularity-Based Hierarchical Symbolic Analysis Method for Large-Scale Analog Networks
An Improved Hierarchical Classification Algorithm for Structural Analysis of Integrated Circuits / M. Olbrich ; A. Rein
Automatic Nonlinear Memory Power Modelling / E. Schmidt ; G. Jochens ; L. Kruse ; W. Nebel ; F. Theeuwen
An Operation Rearrangement Technique for Power Optimization in VLIW Instruction Fetch / D. Shin ; J. Kim ; N. Chang
A Pseudo Delay-Insensitive Timing Model to Synthesizing Low-Power Asynchronous Circuits / O. Garnica ; J. Lanchares ; R. Hermida
A Register-Transfer-Level Fault Simulator for Permanent and Transient Faults in Embedded Processors / C. Rousselle ; M. Pflanz ; A. Behling ; T. Mohaupt ; H. Vierhaus
Efficient Finite Field Digit-Serial Multiplier Architecture for Cryptography Applications / G. Bertoni ; L. Breveglieri ; P. Fragneto
Task Concurrency Management Methodology Summary / C. Wong ; P. Marchal ; P. Yang ; A. Prayati ; N. Cossement ; R. Lauwereins ; D. Verkest
Susceptibility of Analog Cells to Substrate Interference
Order Determination for Frequency Compensation of Negative-Feedback Systems / A. van Staveren ; C. Verhoeven
Minimizing the Number of Floating Bias Voltage Sources with Integer Linear Programming / E. Yildiz
CMOS Sizing Rule for High Performance Long Interconnects / G. Cappuccino ; G. Cocorullo
On Automatic Analysis of Geometrically Proximate Nets in VLSI Layout / S. Koranne ; O. Gangwal
AnalogRouter: A New Approach of Current-Driven Routing for Analog Circuits / J. Lienig ; G. Jerke ; T. Adler
A Hardware-Software Operating System for Heterogeneous Designs / J. Moya ; F. Moya ; J. Lopez
PRMDL: A Machine Description Language for Clustered VLIW Architectures / A. Terechko ; E. Pol ; J. van Eijndhoven
Functional Units with Conditional Input/Output Behavior in VLIW Processors / L. Engels ; N. Busa
Adaptation of an Event-Driven Simulation Environment to Sequentially Propagated Concurrent Fault Simulation / M. Zolfy ; S. Mirkhani ; Z. Navabi
Constraint Satisfaction for Storage Files with Fifos or Stacks during Scheduling / C. Alba Pinto ; B. Mesman ; K. van Eijk ; J. Jess
Index of Authors
DATE Executive Committee
Technical Program Chairs
Vendors Committee
35.

電子ブック
ＥＢ
35. Proceedings of the 23rd International Conference on Software Engineering
Hausi A. Müller, Association for Computing Machinery-Digital Library.
出版情報: IEEE Electronic Library (IEL) Conference Proceedings , IEEE, 2001
所蔵情報: loading…
目次情報: 続きを見る
Message from the Chairs
Conference Organization
Sponsors and Supporters
Technical Papers
Design and Specification of Distributed Systems
Composition Patterns: An Approach to Designing Reusable Aspects / S. Clarke ; R. J. Walker
MAS--An Interactive Synthesizer to Support Behavioral Modeling in UML / E. Makinen ; T. Systa
Analysis and Testing of Web Applications / F. Ricca ; P. Tonella
Static Analysis
The Right Algorithm at the Right Time: Comparing Data Flow
Analysis Algorithms for Finite State Verification / J. M. Cobleigh ; L. A. Clarke ; L. J. Osterweil
Static Checking of Interrupt-Driven Software / D. Brylow ; N. Damgaard ; J. Palsberg
Lightweight Analysis of Operational Specifications Using Inference Graphs / L. K. Dillon ; R. E. K. Stirewalt
Process Improvement for Multi-Site Environments
Commitment Development in Software Process Improvement: Critical Misconceptions / P. Abrahamsson
An Empirical Study of Global Software Development: Distance and Speed / J. D. Herbsleb ; A. Mockus ; T. A. Finholt ; R. E. Grinter
Software Product Lines: Organizational Alternatives / J. Bosch
Design Recovery and Program Understanding
Supporting Program Comprehension Using Semantic and Structural Information / J. I. Maletic ; A. Marcus
On the Syllogistic Structure of Object-Oriented Programming / D. Rayside ; K. Kontogiannis
A Scenario-Driven Approach to Traceability / A. Egyed
Effective Uses of Inspections
Systematic Object-Oriented Inspection--An Empirical Study / A. Dunsmore ; M. Roper ; M. Wood
Evaluating the Accuracy of Defect Estimation Models Based on Inspection Data from Two Inspection Cycles / S. Biffl ; W. Grossmann
Investigating the Cost-Effectiveness of Reinspections in Software Development / B. Freimut ; O. Laitenberger
Building Formal Analysis Tools
A Component-Based Approach to Building Formal Analysis Tools
Tool-Supported Program Abstraction for Finite-State Verification / M. B. Dwyer ; J. Hatcliff ; R. Joehanes ; S. Laubach ; C. S. Pasareanu ; Robby ; H. Zheng ; W. Visser
A Workbench for Synthesising Behaviour Models from Scenarios / S. Uchitel ; J. Kramer
Dynamic Analysis and Testing
The Specification and Testing of Quantified Progress Properties in Distributed Systems / P. Krishnamurthy ; P. A. G. Sivilotti
An Explorative Journey from Architectural Tests Definition downto Code Tests Execution / A. Bertolino ; P. Inverardi ; H. Muccini
Encoding Program Executions / S. P. Reiss ; M. Renieris
Construction of Component-Based Systems
Dynamic and Selective Combination of Extensions in Component-Based Applications / E. Truyen ; B. Vanhaute ; W. Joosen ; P. Verbaeten ; B. Norregaard Jorgensen
Generating Wrappers for Command Line Programs: The Cal-Aggie Wrap-O-Matic Project / E. Wohlstadter ; S. Jackson ; P. Devanbu
Designing Components versus Objects: A Transformational Approach / D. H. Lorenz ; J. Vlissides
Reengineering and Software Evolution
Exploiting the Map Metaphor in a Tool for Software Evolution / W. G. Griswold ; J. J. Yuan ; Y. Kato
Separating Features in Source Code: An Exploratory Study / G. C. Murphy ; A. Lai ; M. P. Robillard
Comparing Frameworks and Layered Refinement / R. Cardone ; C. Lin
Analysis of Architectures
Quantifying the Costs and Benefits of Architectural Decisions / R. Kazman ; J. Asundi ; M. Klein
Survivability Analysis of Networked Systems / S. Jha ; J. M. Wing
Adaptive Feedback Scheduling of Incremental and Design-to-Time Tasks / P. H. Feiler ; J. J. Walker
Improving the Testing Process
Incorporating Varying Test Costs and Fault Severities into Test Case Prioritization / S. Elbaum ; A. Malishevsky ; G. Rothermel
Finding Failures by Cluster Analysis of Execution Profiles / W. Dickinson ; D. Leon ; A. Podgurski
Understanding IV and V in a Safety Critical and Complex Evolutionary Environment: The NASA Space Shuttle Program / M. V. Zelkowitz ; I. Rus
Reliability and Mobile Agents
Theory of Software Reliability Based on Components / D. Hamlet ; D. Mason ; D. Woit
Engineering Mobile-Agent Applications via Context-Dependent Coordination / G. Cabri ; L. Leonardi ; F. Zambonelli
Consistent Group Membership in Ad Hoc Networks / G.-C. Roman ; Q. Huang ; A. Hazemi
Analysis of Requirements
Fast Formal Analysis of Requirements via "Topoi Diagrams" / T. Menzies ; J. Powell ; M. E. Houle
Conceptual Modeling through Linguistic Analysis Using LIDA / S. P. Overmyer ; B. Lavoie ; O. Rambow
A Framework for Multi-Valued Reasoning over Inconsistent Viewpoints / S. Easterbrook ; M. Chechik
Functional Paleontology: System Evolution as the User Sees It / A. I. Anton ; C. Potts
Formal Frameworks
A General Framework for Formalizing UML with Formal Languages / W. E. McUmber ; B. H. C. Cheng
Efficient Filtering in Publish-Subscribe Systems Using Binary Decision Diagrams / A. Campailla ; S. Chaki ; E. Clarke ; H. Veith
A Scalable Formal Method for Design and Automatic Checking of User Interfaces / J. Berstel ; S. Crespi Reghizzi ; G. Roussel ; P. San Pietro
Scientific Rigour, an Answer to a Pragmatic Question: A Linguistic Framework for Software Engineering / A. M. Haeberer ; T. S. E. Maibaum
Architectures for Emerging Applications
An Architecture for Heterogeneous Groupware Applications / I. Marsic
A Web-Oriented Architectural Aspect for the Emerging Computational Tapestry / K. Sullivan ; A. Saxena
XAS: A System for Accessing Componentized, Virtual XML Documents / M.-L. Lo ; S.-K. Chen ; S. Padmanabhan ; J.-Y. Chung
Case Study Papers
Infrastructure Support
Using the Web for Document Versioning: An Implementation Report for Delta V / J. J. Hunt ; J. Reuter
Evaluating the Reverse Engineering Capabilities of Web Tools for Understanding Site Content and Structure: A Case Study / S. Tilley ; S. Huang
A Case Study of the Evolution of Jun: An Object-Oriented Open-Source 3D Multimedia Library / A. Aoki ; K. Hayashi ; K. Kishida ; K. Nakakoji ; Y. Nishinaka ; B. Reeves ; A. Takashima ; Y. Yamamoto
Applications of New Paradigms in Software Development
Case Study: Extreme Programming in a University Environment / M. M. Muller ; W. F. Tichy
Improving Validation Activities in a Global Software Development / C. Ebert ; C. H. Parro ; R. Suttels ; H. Kolarczyk
Applying WinWin to Quality Requirements: A Case Study / H. In ; B. Boehm ; T. Rodgers ; M. Deutsch
Software Evolution
Tigra--An Architectural Style for Enterprise Application Integration / W. Emmerich ; E. Ellmer ; H. Fieglein
Reengineering Analysis of Object-Oriented Systems via Duplication Analysis / F. Fioravanti ; G. Migliarese ; P. Nesi
Education Papers
Practical Software Engineering Education
Educating Software Engineering Students to Manage Risk / D. Port
A Formal Approach to Component-Based Software Engineering: Education and Evaluation / M. Sitaraman ; T. J. Long ; B. W. Weide ; E. J. Harner ; L. Wang
Corrective Maintenance Maturity Model (CM[superscript 3]): Maintainer's Education and Training / M. Kajko-Mattsson ; S. Forssander ; U. Olsson
Degree Programs for Software Engineering Education
An Efficient Set of Software Degree Programs for One Domain / T. Shepard
The Software Factory: Combining Undergraduate Computer Science and Software Engineering Education / J. D. Tvedt ; R. Tesoriero ; K. A. Gary
Academic Software Engineering: What Is and What Could Be? Results of the First Annual Survey for International SE Programs / K. L. Modesitt ; D. Bagert ; L. Werth
Plenary Sessions
Software Engineering and the Internet / D. Sabbah
The Coming-of-Age of Software Architecture Research / M. Shaw
"Tolerating Inconsistency" Revisited / R. Balzer
Software Engineering Challenges: A CIO's Perspective / B. Voigt
Reuse That Pays / L. M. Northrop
Challenges and Achievements in Software Engineering / G. Engels ; W. Schafer
Process-Centered Software Engineering Environments: Academic and Industrial Perspectives / V. Gruhn
Specification and Modeling: An Academic Perspective / M. Broy
Specification and Modeling: An Industrial Perspective / B. Selic
Invited Industry Presentations / F. Coallier ; D. Perry
Global Software Development: The Bell Labs Collaboratory / D. Atkins ; M. Handel ; J. Herbsleb ; G. Wills
Does More Necessarily Mean Better? The Software Performance and Reliability Bottleneck / M. Cheng
Software Engineering in a Startup / A. Ricciardi
Technology Drivers and Research Challenges of Future e-Business / S. Feldman
Challenge of Keitai Software: Software Engineering for Next Generation Mobile Phone Systems / Y. Hanai ; M. Aoyama
Web Services and Software Engineering: Challenges and Opportunities / S. Weerawarana
Enterprise Methodology =/= Software Development Methdology / J. Q. Ning
Mining Selected Components: The Options Analysis for Reengineering (OAR) / D. Smith ; L. O'Brien ; J. Bergey
Achieving Usability through Software Architecture / L. Bass ; B. E. John
Frontiers of Software Practice / H. Muller
Enabling Technologies for the Future of Voice-Based Web Access / S. Woods
Jini Network Technology: Devices, Desires, and Designs
Inter-Language Object Sharing with the Common Language Runtime: Infrastructure for MS .NET / J. Hamilton
Collaborative Software Engineering / A. Brown
AntiPatterns in Software Architecture / T. Mobray
Dependability of Embedded Systems / J. Knight
Simple Object Access Protocol (SOAP) and Web Services / A. Ryman
Auditing Legacy Systems for Security and Survivability / T. Longstaff
Panels
Software Engineering Body of Knowledge (Swebok)
Impact Project Panel: Determining the Impact of Software Engineering Research Upon Practice
Software Engineering Research Agendas Panel (SERA): What Can't We Do, But Need to Learn How to Do?
Panel: Perspectives on Software Engineering
Tutorials
UML for Software Engineers / R. France ; C. Kobryn
The Intertwining between Risk and Project Management / K. Fruhauf
Methods of Component-Based Software Engineering: Essential Concepts and Classroom Experience / K. Wallnau
From Use Cases to Code--Rigorous Software Development with UML / A. Zundorf
OPEN: A Flexible OO/CBD Process for Software-Intensive Systems Development, a UML Exposition / H. Younessi ; B. Henderson-Sellers
Describing Software Architecture with UML / P. Kruchten ; W. Kozazynski
Software Product Lines and Software Architecture Design
How to Do Inspections When There is No Time / D. Kelly
EasyWinWin: A Groupware-Supported Methodology for Requirements Negotiation / P. Grunbacher ; R. O. Briggs
Tutorial on Fundamental Concepts for Practical Software Architecture / A. Ran
An Introduction to Java 2 Micro Edition (J2ME); Java in Small Things / J. White
Improving Software Inspections by Using Reading Techniques / F. Shull ; I. Russ ; V. Basili
Mining Components for a Software Architecture and a Product Line: The Options Analysis for Reengineering (OAR) Method
Hyper/J: Multi-Dimensional Separation of Concerns for Java / P. Tarr ; H. Ossher
Enterprise JavaBean Architecture and Design Issues
State, Event, Time and Diagram in System Modeling / J. S. Dong
From UML to Java, Building a 3-Tier Architecture: Case Study / T. Korson
Designing Concurrent, Distributed, and Real-Time Applications with UML / H. Gomaa
Using Transformation Systems for Software Maintenance and Reengineering / I. D. Baxter
Effective Software Architecture Design: From Global Analysis to UML Descriptions / R. L. Nord ; D. J. Paulish ; D. Soni ; C. Hofmeister
Bridging the Requirements/Design Gap in Dynamic Systems with Use Case Maps (UCMs) / D. Amyot ; G. Mussbacher
Introduction to the Attribute Driven Design Method / F. Bachmann
Workshops
2nd International Workshop on Living with Inconsistency
4th ICSE Workshop on "Software Engineering over the Internet" / F. Maurer
Second ICSE Workshop on Software Product Lines: Economics, Architectures, and Applications / P. Knauber ; G. Succi
The Second International Workshop on Automated Program Analysis, Testing and Verification / N. Tracey ; J. Penix ; W. C. Visser
Workshop on Software Engineering and Mobility / G. P. Picco
ICSE Workshop on Software Visualization / W. De Pauw ; J. T. Stasko
Generative Techniques for Product Lines / G. Butler ; D. Batory ; K. Czarnecki ; U. Eisenecker
SEMINAL: Software Engineering using Metaheuristic INnovative ALgorithms / M. Harman ; B. Jones
From Software Requirements to Architectures / J. Castro
3rd International Workshop on Net-Centric Computing (NCC 2001): Theme: Migrating to the Web / J. Jahnke ; E. Stroulia ; K. Wong
Workshop to Consider Global Aspects of Software Engineering Professionalism / J. B. Thompson ; H. M. Edwards
Third International Workshop on Economics-Driven Software Engineering Research / D. Notkin ; W. Harrison
4th ICSE Workshop on Component-Based Software Engineering: Component Certification and System Prediction / I. Crnkovic ; H. Schmidt ; J. Stafford
SCM-10: Tenth International Workshop on Software Configuration Management: New Practices, New Challenges, and New Boundaries / A. van der Hoek
XML Technologies and Software Engineering / C. Mascolo ; A. Finkelstein
Workshop on Advanced Separation of Concerns in Software Engineering / W. Kozaczynski ; G. Larsen
1st Workshop on Open Source Software Engineering / J. Feller ; B. Fitzgerald
Doctoral Symposium
Visualization and Interpretation of Analysis Results within the Context of Formalized UML Diagrams / L. A. Campbell
Modeling and Controlling the Software Test Process / J. W. Cangussu
Using Software Component Generators to Construct a Meta-Weaver Framework / J. Gray
Supporting the Deployment of Object-Oriented Frameworks / D. Hou
Model Checking Distributed Objects Design / N. Kaveh
Web Engineering Device Independent Web Services / E. Kirda
Evolving Legacy Systems using Feature Engineering and CBSE / A. Mehta
Design and Evaluation of the Mobile Agent Architecture for Distributed Consistency Management / D. Smolko
Reuse of Verification Efforts and Incomplete Specifications in a Formalized, Iterative and Incremental Software Process / R. P. Diaz Redondo ; J. J. Pazos Arias
Traceability for System Families / D. Streitferdt
David L. Parnas Symposium / D. Hoffman ; D. Weiss
New Software Engineering Faculty Symposium / L. Osterweil ; G. Silberman
Formal Research Demonstrations
Software Architecture
Model Processing Tools in UML / J. Koskinen ; J. Peltonen ; P. Selonen ; K. Koskimies
Architecture-Oriented Programming Using FRED / M. Hakala ; J. Hautamaki ; J. Paakki ; A. Viljamaa ; J. Viljamaa
Reuse and Integration
CodeWeb: Data Mining Library Reuse Patterns / A. Michail
Holmes: An Intelligent System to Support Software Product Line Development / J. Yip ; W. Pedrycz
Babel: Representing Business Rules in XML for Application Integration / H. Zhang
Verification and Maintenance
Jmocha: A Model Checking Tool that Exploits Design Structure / R. Alur ; L. de Alfaro ; R. Grosu ; T. A. Henzinger ; M. Kang ; C. M. Kirsch ; R. Majumdar ; F. Mang ; B. Y. Wang
Maintenance Support Tools for Java programs: CCFinder and JAAT / T. Kamiya ; F. Ohata ; K. Kondou ; S. Kusumoto ; K. Inoue
Using OCL-Queries for Debugging C++ / C. Hobatr ; B. A. Malloy
Author Index
Message from the Chairs
Conference Organization
Sponsors and Supporters
36.

電子ブック
ＥＢ
36. Proceedings of the fifteenth workshop on Parallel and distributed simulation
Rajive L. Bagrodia, Association for Computing Machinery-Digital Library.
出版情報: IEEE Electronic Library (IEL) Conference Proceedings , IEEE, 2001
所蔵情報: loading…
37.

電子ブック
ＥＢ
37. Proceedings of the 28th annual international symposium on Computer architecture
Per Stenström, Association for Computing Machinery-Digital Library.
出版情報: IEEE Electronic Library (IEL) Conference Proceedings , IEEE, 2001
所蔵情報: loading…
目次情報: 続きを見る
General Chair's Message
Program Chair's Message
Conference Organization
Reviewers
Plenary Session
Opening Remarks
Keynote Speech: Greg Papadopoulos, CTO, Sun Microsystems Inc., USA
Multithreading and Speculation / Session 1：
Execution-based Prediction Using Speculative Slices / C. Zilles ; G. Sohi
Speculative Precomputation: Long-range Prefetching of Delinquent Loads / J. Collins ; H. Wang ; D. Tullsen ; C. Hughes ; Y. Lee ; D. Lavery ; J. Shen
Dynamically Allocating Processor Resources between Nearby and Distant ILP / R. Balasubramonian ; S. Dwarkadas ; D. Albonesi
Memory System Issues / Session 2：
Tolerating Memory Latency through Software-Controlled Pre-Execution in Simultaneous Multithreading Processors / C. Luk
Data Prefetching by Dependence Graph Precomputation / M. Annavaram ; J. Patel ; E. Davidson
Concurrency, Latency, or System Overhead: Which Has the Largest Impact on Uniprocessor DRAM-System Performance? / V. Cuppu ; B. Jacob
Processor Architecture / Session 3：
Focusing Processor Policies via Critical-Path Prediction / B. Fields ; S. Rubin ; R. Bodik
Automated Design of Finite State Machine Predictors for Customized Processors / T. Sherwood ; B. Calder
Better Exploration of Region-Level Value Locality with Integrated Computation Reuse and Value Prediction / Y. Wu ; D. Chen ; J. Fang
Communication Support / Session 4：
CryptoManiac: A Fast Flexible Architecture for Secure Communication / L. Wu ; C. Weaver ; T. Austin
QoS Provisioning in Clusters: An Investigation of Router and NIC Design / K. Yum ; E. Kim ; C. Das
Cache Management / Session 5：
Locality vs. Criticality / S. Srinivasan ; R. Ju ; A. Lebeck ; C. Wilkerson
Dead-Block Prediction and Dead-Block Correlating Prefetchers / A. Lai ; C. Fide ; B. Falsafi
Code Layout Optimizations for Transaction Processing Workloads / A. Ramirez ; L. Barroso ; K. Gharachorloo ; R. Cohn ; J. Larriba-Pey ; P. Lowney ; M. Valero
Architectural Impact of Emerging Technologies / Session 6A：
Exploring and Exploiting Wire-Level Pipelining in Emeging Technologies / M. Niemier ; P. Kogge
NanoFabrics: Spatial Computing Using Molecular Electronics / S. Goldstein ; M. Budiu
Shared-Memory Multiprocessors / Session 6B：
A Simple Method for Extracting Models from Protocol Code / D. Lie ; A. Chou ; D. Engler ; D. Dill
Removing Architectural Bottlenecks to the Scalability of Speculative Parallelization / M. Prvulovic ; M. Garzaran ; L. Rauchwerger ; J. Torrellas
Energy-Effective Designs / Session 7：
Power and Energy Reduction Via Pipeline Balancing / R. Bahar ; S. Manne
Energy-Effective Issue Logic / D. Folegnani ; A. Gonzalez
Cache Decay: Exploiting Generational Behavior to Reduce Cache Leakage Power / S. Kaxiras ; Z. Hu ; M. Martonosi
Performance Tools and Evaluations / Session 8：
Variability in the Execution of Multimedia Applications and Implications for Architecture / P. Kaul ; S. Adve ; R. Jain ; C. Park ; J. Srinivasan
Measuring Experimental Error in Microprocessor Simulation / R. Desikan ; D. Burger ; S. Keckler
Rapid Profiling via Stratified Sampling / S. Sastry ; J. Smith
Author Index
General Chair's Message
Program Chair's Message
Conference Organization
38.

電子ブック
ＥＢ
38. Proceedings of the 17th Spring Conference on Computer Graphics
Association for Computing Machinery-Digital Library.; ACM Special Interest Group on Computer Graphics and Interactive Techniques., Association for Computing Machinery-Digital Library.
出版情報: IEEE Electronic Library (IEL) Conference Proceedings , IEEE, 2001
所蔵情報: loading…
目次情報: 続きを見る
Preface
Committees
Reviewers
Keynote Talk
Topological Graphics / T. Kunii
Invited Talk
Some New Challenging Research Topics in Human Animation / N. Magnenat-Thalmann ; L. Moccozet
Meshes
Parallel Triangular Mesh Decimation without Sorting / M. Franc ; V. Skala
Post-Optimization of Delaunay Tetrahedrization / P. Maur ; I. Kolingerova
Geometric Modeling
Taylor Models and Affine Arithmetics--Towards a More Sophisticated Use of Reliable Methods in Computer Graphics / K. Buhler
On the Domain of Constructive Geometric Constraint Solving Techniques / R. Joan-Arinyo ; A. Soto-Riera ; S. Vila-Marta ; J. Vilaplana
Shape of Toric Surfaces / R. Krasauskas
Automatic Instancing of Hierarchically Organized Objects / R. Schultz ; H. Schumann
Bivariate Simplex B-Splines: A New Paradigm / M. Neamtu
Visualization
Layered Data Representation for Visual Simulation of Terrain Erosion / B. Benes ; R. Forsbach
Smooth High-Quality Interactive Visualization / M. Grabner
A Distributed Visualization Environment for Scientific Visualization Based on Jini Technology / C. Zunino ; B. Montrucchio ; A. Sanna ; C. Demartini
Image and Textures
A Color Reindexing Algorithm for Lossless Compression of Digital Images / S. Battiato ; G. Gallo ; G. Impoco ; F. Stanco
Multiresolution Texture for Photorealistic Rendering / H. Mayer ; F. Leberl ; A. Bornik ; J. Bauer ; K. Karner
Interactive Display of Surfaces Using Subdivision Surfaces and Wavelets / M. Duchaineau ; M. Bertram ; S. Porumbescu ; B. Hamann ; K. Joy
Implicit Surfaces
An Octree Isosurface Codification Based on Discrete Planes / I. Boada ; I. Navazo
Growth Simulation of Human Embryo Brain / S. Czanner ; R. Durikovic ; H. Inoue
Virtual Shikki and Sazaedo: Shape Modeling in Digital Preservation of Japanese Lacquer Ware and Temples / G. Pasko ; A. Pasko ; C. Vilbrandt ; T. Ikedo
Rendering
Exploiting Temporal and Spatial Coherence in Hierarchical Visiblity Algorithms / J. Bittner ; V. Havran
An Efficient Technique for Ray Tracing of a DOL-System / P. Gonzales ; I. Verdu
View-Dependent Information Theory Quality Measures for Pixel Sampling and Scene Discretization in Flatland / J. Rigau ; M. Feixas ; P. Bekaert ; M. Sbert
Quadratic Interpolation in Hardware Phong Shading and Texture Mapping / A. Abbas ; L. Szirmay-Kalos ; G. Szijarto ; T. Horvath ; T. Foris
Invited Paper
Texturing through Constructive Modeling / B. Schmitt ; V. Adzhiev ; C. Schlick
Animation
A New Efficient Wave Model for Maritime Training Simulator / J. Cieutat ; J. Gonzato ; P. Guitton
Mixture of Random Walk Solution and Quasi-Random Walk Solution to Global Illumination / Q. Xu ; J. Sun ; Z. Wei ; Y. Shu ; J. Cai
High Precision Non-Binary Voxelization of Geometric Objects / M. Sramek
Volume Rendering
Vessel Tracking in Peripheral CTA Datasets--An Overview / P. Felkel ; R. Wegenkittl ; A. Kanitsar
Perspective Projection through Parallel Projected Slabs for Virtual Endoscopy / A. Vilanova ; A. Konig ; E. Groller
Author Index
Preface
Committees
Reviewers
39.

電子ブック
ＥＢ
39. Proceedings of the 14th symposium on Integrated circuits and systems design
Association for Computing Machinery-Digital Library.; ACM Special Interest Group on Design Automation., Association for Computing Machinery-Digital Library.
出版情報: IEEE Electronic Library (IEL) Conference Proceedings , IEEE, 2001
所蔵情報: loading…
目次情報: 続きを見る
Foreword
Conference Organizers
Program Committee
Reviewers
Sponsoring Societies
Embedded Systems / Session 1：
Adaptive Systems-on-Chip: Architectures, Technologies and Applications / J. Becker ; T. Pionteck ; M. Glesner
System-Level Object-Orientation in the Specification and Validation of Embedded Systems / J. Fernandes ; R. Machado
Communication Architectures for System-on-Chip / M. Kreutz ; L. Carro ; C. Zeferino ; A. Susin
Design of Functional Blocks for a Speech Recognition Portable System / J. Gomes-Cipriano ; R. Nunes ; S. Bampi ; D. Barone
Rapid Prototyping / Session 2：
On a Development Environment for Real-Time Information Processing in System-on-Chip Solutions / M. Jacomet ; J. Goette ; J. Breitenstein ; M. Hager
RABBIT--A Modular Rapid Prototyping Platform for Distributed Mechatronic Systems / M. Zanella ; M. Robrecht ; A. Francisco ; A. Horst ; T. Lehmann ; R. Gielow
Using the CAN Protocol and Reconfigurable Computing Technology for Web-Based Smart House Automation / F. Moraes ; A. Amory ; N. Calazans ; E. Bezerra ; J. Petrini
A FPGA Implementation of a DCT-Based Digital Electrocardiographic Signal Compression Device / B. Pimentel ; J. Filho ; R. Campos ; A. Fernandes ; C. Coelho
Formal Methods / Session 3：
An Automated Tool for Analysis and Design of MVL Digital Circuits / L. Nascimento
New Aspects in High-Level Specification, Verification, and Design of IT Protocols / H.-D. Huemmer ; W. Geisselhardt
Optimizing BDD-Based Verification Analysing Variable Dependencies / D. Deharbe ; J. Vidal
Codesign / Session 4：
A Petri Net Based Approach for Hardware/Software Partitioning / F. Filho ; P. Maciel ; E. Barros
A Petri Net Based Method for Resource Estimation: An Approach Considering Data-Dependency, Casual and Temporal Precedences
A Repartitioning and HW/SW Partitioning Algorithm to the Automatic Design Space Exploration in the Co-Synthesis of Embedded Systems / F. do Nascimento ; W. Rosenstiel
An Embedded Converter from RS232 to Universal Serial Bus / A. Zuquim ; C. Coelho Jr. ; M. de Oliveira ; A. Tavares
CAD and Test / Session 5：
Interconnection Length Estimation at Logic-Level / J. Martins ; R. Reis
A BIST Procedure for Analog Mixers in Software Radio / A. Nacul ; D. Janner ; M. Lubaszewski
Summarizing a New Approach to Design Speech Recognition Systems: A Reliable Noise-Immune HW-SW Version / F. Vargas ; R. Fagundes ; D. Barros Jr.
An Integrated High-Level Test Synthesis for Built-in Self-Testable Designs / L. Yang ; J. Muzio
Analog Design / Session 6：
A 3-V 12-Bit Second Order Sigma-Delta Modulator Design in 0.8[mu]m CMOS / C. de Mori ; P. Crepaldi ; T. Pimenta
Analog Circuit Design Using Graded-Channel SOI NMOSFETS / M. Pavanello ; J. Martino ; D. Flandre
A Simplified Methodology for the Extraction of the ACM MOST Model Parameters / R. Coitinho ; L. Spiller ; M. Schneider ; C. Galup-Montoro
An Environment to Aid the Synthesis of ThreePhase Analogue Waveform Using AHDL / A. Silva ; A. Cardoso
Digital Design I / Session 7：
A Fast Asynchronous Re-Configurable Architecture for Multimedia Applications / A. Rettberg ; B. Kleinjohann
Data Encription in an Electronic Ballot Box / R. Jacobi ; L. Carvalho ; J. Coelho
Extending Sequencing Graphs for Reconfigurable Applications Modeling / A. Adario
Physical Design / Session 8：
Designing VLSI Circuit Masks with the Software Agents2 / E. Jardini ; D. Moreira
Jale 3D--Platform-independent IC/MEMS Layout Edition Tool / L. Ost ; M. Mainardi ; L. Indrusiak
LEGAL: An Algorithm for Simultaneous Net Routing / M. Johann
Testing the Printability of VLSI Layouts / R. Martins ; H. Kirchauer
Low-Power and Low-Voltage / Session 9：
On Designing Mixed-Signal Fuzzy Logic Controllers as Embedded Subsystems in Standard CMOS Technologies / C. Dualibe ; P. Jespers ; M. Verleysen
Power Efficient Arithmetic Operand Encoding / E. Costa ; J. Monteiro
Low-Voltage Class AB Operational Amplifier / V. Vincence
Power Optimized Viterbi Decoder Implementation through Architectural Transforms / J. Portela
Digital Design II / Session 10：
Synthesis of Multi-Burst Controllers as Modified Huffman Machines / D. De Olveira ; M. Strum ; W. Chau ; W. Cunha
Pipelined Fast 2-D DCT Architecture for JPEG Image Compression / L. Agostini ; I. Silva
IDCT Design for JPEG Decompression in an Electronic Ballot Box / J. Carvalho
Author Index
Foreword
Conference Organizers
Program Committee
40.

電子ブック
ＥＢ
40. Proceedings of the 2001 International Conference on Parallel Architectures and Compilation Techniques
Association for Computing Machinery-Digital Library.; ACM Special Interest Group on Computer Architecture., Association for Computing Machinery-Digital Library.
出版情報: IEEE Electronic Library (IEL) Conference Proceedings , IEEE, 2001
所蔵情報: loading…
目次情報: 続きを見る
General Chair's Message
Conference Organizers
Program Committee
Keynote Address / Randall D. Isaac
Simulation and Modeling / Session 1：
Basic Block Distribution Analysis to Find Periodic Behavior and Simulation Points in Applications / T. Sherwood ; E. Perelman ; B. Calder
Modeling Superscalar Processors via Statistical Simulation / S. Nussbaum ; J. Smith
Hybrid Analytical-Statistical Modeling for Efficiently Exploring Architecture and Workload Design Spaces / L. Eeckhout ; K. De Bosschere
Efficient Caches / Session 2：
Filtering Techniques to Improve Trace-Cache Efficiency / R. Rosner ; A. Mendelson ; R. Ronen
Reactive-Associative Caches / B. Batson ; T. Vijaykumar
Adaptive Mode Control: A Static-Power-Efficient Cache Design / H. Zhou ; M. Toburen ; E. Rotenberg ; T. Conte
Specialized Instruction Sets / Session 3：
Implementation and Evaluation of the Complex Streamed Instruction Set / B. Juurlink ; D. Tcheressiz ; S. Vassiliadis ; H. Wijshoff
On the Efficiency of Reductions in [mu]-SIMD Media Extensions / J. Corbal ; R. Espasa ; M. Valero
Prediction and Recovery / Justin RattnerSession 4：
Boolean Formula-Based Branch Prediction for Future Technologies / D. Jimenez ; H. Hanson ; C. Lin
Using Dataflow Based Context for Accurate Value Prediction / R. Thomas ; M. Franklin
Recovery Mechanism for Latency Misprediction / E. Morancho ; J. Maria Llaberia ; A. Olive
Memory Optimization / Session 5：
A Cost Framework for Evaluating Integrated Restructuring Optimizations / B. Chandramouli ; J. Carter ; W. Hsieh ; S. McKee
Compiling for the Impulse Memory Controller / X. Huang ; Z. Wang ; K. McKinley
On the Stability of Temporal Data Reference Profiles / T. Chilimbi
Program Optimization / Session 6：
Code Reordering and Speculation Support for Dynamic Optimization Systems / E. Nystrom ; R. Barnes ; M. Merten ; W-M. Hwu
A Unified Modulo Scheduling and Register Allocation Technique for Clustered Processors / J. Codina ; J. Sanchez ; A. Gonzalez
Cache-Friendly Implementations of Transitive Closure / M. Penner ; V. Prasanna
Technology Implications / Session 7：
Exploring the Design Space of Future CMPs / J. Huh ; D. Burger ; S. Keckler
Area and System Clock Effects on SMT/CMP Processors / J. Burns ; J-L. Gaudiot
Parallel Machines / Joel EmerSession 8：
Limits on Speculative Module-Level Parallelism in Imperative and Object-Oriented Programs on CMP Platforms / F. Warg ; P. Stenstrom
Compiler and Runtime Analysis for Efficient Communication in Data Intensive Applications / R. Ferreira ; G. Agrawal ; J. Saltz
Architectural Support for Parallel Reductions in Scalable Shared-Memory Multiprocessors / M. Garzaran ; M. Prvulovic ; Y. Zhang ; A. Jula ; H. Yu ; L. Rauchwerger ; J. Torrellas
Data Prefetching / Session 9：
Optimizing Software Data Prefetches with Rotating Registers / G. Doshi ; R. Krishnaiyer ; K. Muthukumar
Multi-Chain Prefetching: Effective Exploitation of Inter-Chain Memory Parallelism for Pointer-Chasing Codes / N. Kohout ; S. Choi ; D. Kim ; D. Yeung
Data Flow Analysis for Software Prefetching Linked Data Structures in Java / B. Cahoon
Comparing and Combining Read Miss Clustering and Software Prefetching / V. Pai ; S. Adve
Author Index
General Chair's Message
Conference Organizers
Program Committee
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼