close
1.

電子ブック

EB
David Blaauw, Association for Computing Machinery-Digital Library.
出版情報: IEEE/IET Electronic Library (IEL) Conference Proceedings , 2000
所蔵情報: loading…
2.

電子ブック

EB
Carlo Ghezzi, Association for Computing Machinery-Digital Library.
出版情報: IEEE/IET Electronic Library (IEL) Conference Proceedings , 2000
所蔵情報: loading…
3.

電子ブック

EB
Alan Berenbaum, Association for Computing Machinery-Digital Library.
出版情報: IEEE/IET Electronic Library (IEL) Conference Proceedings , 2000
所蔵情報: loading…
4.

電子ブック

EB
Paul Calder, Association for Computing Machinery-Digital Library.
出版情報: IEEE/IET Electronic Library (IEL) Conference Proceedings , 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:
5.

電子ブック

EB
Wolfgang Nebel, Association for Computing Machinery-Digital Library.
出版情報: IEEE/IET Electronic Library (IEL) Conference Proceedings , 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
6.

電子ブック

EB
Hausi A. Müller, Association for Computing Machinery-Digital Library.
出版情報: IEEE/IET Electronic Library (IEL) Conference Proceedings , 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
7.

電子ブック

EB
Rajive L. Bagrodia, Association for Computing Machinery-Digital Library.
出版情報: IEEE/IET Electronic Library (IEL) Conference Proceedings , 2001
所蔵情報: loading…
8.

電子ブック

EB
Per Stenström, Association for Computing Machinery-Digital Library.
出版情報: IEEE/IET Electronic Library (IEL) Conference Proceedings , 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
9.

電子ブック

EB
Association for Computing Machinery-Digital Library.
出版情報: IEEE/IET Electronic Library (IEL) Conference Proceedings , 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
10.

電子ブック

EB
Association for Computing Machinery-Digital Library.
出版情報: IEEE/IET Electronic Library (IEL) Conference Proceedings , 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
11.

電子ブック

EB
Association for Computing Machinery-Digital Library.
出版情報: IEEE/IET Electronic Library (IEL) Conference Proceedings , 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
12.

電子ブック

EB
ASP-DAC/VLSI Design Conference 2002, Association for Computing Machinery-Digital Library.
出版情報: IEEE/IET Electronic Library (IEL) Conference Proceedings , 2002
所蔵情報: loading…
13.

電子ブック

EB
Association for Computing Machinery-Digital Library.
出版情報: IEEE/IET Electronic Library (IEL) Conference Proceedings , 2002
所蔵情報: loading…
14.

電子ブック

EB
Yale Patt, Association for Computing Machinery-Digital Library.
出版情報: IEEE/IET Electronic Library (IEL) Conference Proceedings , 2002
所蔵情報: loading…
目次情報: 続きを見る
Message from the General Chair
Message from the Program Chair
Organizing Committee
Steering Committee
Program Committee
Reviewers
Welcoming Remarks
Keynote Address / Burton J. Smith
Processor Pipelines / Session 1:
The Optimum Pipeline Depth for a Microprocessor / A. Hartstein ; T. Puzak
The Optimal Logic Depth per Pipeline Stage Is 6 to 8 FO4 Inverter Delays / M. Hrishikesh ; N. Jouppi ; K. Farkas ; D. Burger ; S. Keckler ; P. Shivakumar
Increasing Processor Performance by Implementing Deeper Pipelines / E. Sprangle ; D. Carmean
Processor Scheduling / Session 2:
Efficient Dynamic Scheduling through Tag Elimination / D. Ernst ; T. Austin
Slack: Maximizing Performance under Technological Constraints / B. Fields ; R. Bodik ; M. Hill
A Large, Fast Instruction Window for Tolerating Cache Misses / A. Lebeck ; J. Koppanalil ; T. Li ; J. Patwardhan ; E. Rotenberg
An Instruction Set and Microarchitecture for Instruction Level Distributed Processing / H.-S. Kim ; J. Smith
Safety and Reliability / Robert P. ColwellSession 3:
Transient-Fault Recovery Using Simultaneous Multithreading / T. Vijaykumar ; I. Pomeranz ; K. Cheng
Detailed Design and Evaluation of Redundant Multithreading Alternatives / S. Mukherjee ; M. Kontz ; S. Reinhardt
ReVive: Cost-Effective Architectural Support for Rollback Recovery in Shared-Memory Multiprocessors / M. Prvulovic ; Z. Zhang ; J. Torrellas
SafetyNet: Improving the Availability of Shared Memory Multiprocessors with Global Checkpoint/Recovery / D. Sorin ; M. Martin ; D. Wood
Power Aware Architecture / Session 4:
Dynamic Fine-Grain Leakage Reduction Using Leakage-Biased Bitlines / S. Heo ; K. Barr ; M. Hampton ; K. Asanovic
Drowsy Caches: Simple Techniques for Reducing Leakage Power / K. Flautner ; N. Kim ; S. Martin ; D. Blaauw ; T. Mudge
Power and Performance Evaluation of Globally Asynchronous Locally Synchronous Processors / A. Iyer ; D. Marculescu
Memory Systems / Session 5:
Using a User-Level Memory Thread for Correlation Prefetching / Y. Solihin ; J. Lee
Avoiding Initialization Misses to the Heap / J. Lewis ; B. Black ; M. Lipasti
Going the Distance for TLB Prefetching: An Application-Driven Study / G. Kandiraju ; A. Sivasubramaniam
Dynamic Optimization / Session 6:
Timekeeping in the Memory System: Predicting and Optimizing Memory Behavior / Z. Hu ; S. Kaxiras ; M. Martonosi
Implementing Optimizations at Decode Time / I. Kim
Managing Multi-configuration Hardware via Dynamic Working Set Analysis / A. Dhodapkar
Data and Storage Networks / Session 7:
Queue Pair IP: A Hybrid Architecture for System Area Networks / P. Buonadonna ; D. Culler
Experiences with VI Communication for Database Storage / Y. Zhou ; A. Bilas ; S. Jagannathan ; C. Dubnicki ; J. Philbin ; K. Li
Vector Architectures / Session 8:
Speculative Dynamic Vectorization / A. Pajuelo ; A. Gonzalez ; M. Valero
Tarantula: A Vector Extension to the Alpha Architecture / R. Espasa ; F. Ardanaz ; J. Emer ; S. Felix ; J. Gago ; R. Gramunt ; I. Hernandez ; T. Juan ; G. Lowney ; M. Mattina ; A. Seznec
Supporting Deep Speculation / Session 9:
Design Tradeoffs for the Alpha EV8 Conditional Branch Predictor / V. Krishnan ; Y. Sazeides
Difficult-Path Branch Prediction Using Subordinate Microthreads / R. Chappell ; F. Tseng ; A. Yoaz ; Y. Patt
A Scalable Instruction Queue Design Using Dependence Chains / S. Raasch ; N. Binkert
Author Index
Message from the General Chair
Message from the Program Chair
Organizing Committee
15.

電子ブック

EB
Frederick Wieland, Association for Computing Machinery-Digital Library.
出版情報: IEEE/IET Electronic Library (IEL) Conference Proceedings , 2002
所蔵情報: loading…
目次情報: 続きを見る
Message from the General Chairs
Message from the Program Co-Chairs
Committees
Reviewers
Conservative Simulation / Session 1:
Conservative Simulation Using Distributed-Shared Memory / Y. Teo ; Y. Ng ; B. Onggo
The Lookahead in a User-Transparent Conservative Parallel Simulator / V. Solcany ; J. Safarik
Addressing Blocking and Scalability in Critical Channel Traversing / R. Simmonds ; C. Kiddle ; B. Unger
Optimistic Simulation I / Session 2:
XSim: Real-Time Analytic Parallel Simulations / C. Carothers
Pal: A New Fossil Collector for Time Warp / V.-Y. Vee ; W.-J. Hsu
Early Cancellation: An Active NIC Optimization for Time-Warp / R. Noronha ; N. Abu-Ghazaleh
Virtual Environments and Hla / Session 3:
Critical Causality in Distributed Virtual Environments / S. Zhou ; W. Cai ; S. Turner ; F. Lee
A Scalable Architecture for Supporting Interactive Games on the Internet / P. Xavier ; B.-S. Lee
Evaluation of a Sort-Based Matching Algorithm for DDM / Y. Jun ; C. Raczy ; G. Tan
Network Simulation / Session 4:
Lookahead Revisited in Wireless Network Simulations / J. Liu ; D. Nicol
Genesis: A System for Large-Scale Parallel Network Simulation / B. Szymanski ; A. Saifee ; A. Sastry ; Y. Liu ; K. Madnani
Experiences Applying Parallel and Interoperable Network Simulation Techniques in On-Line Simulations of Military Networks / K. Perumalla ; R. Fujimoto ; T. McLean ; G. Riley
Miscellaneous I / Session 5:
Updateable Simulation of Communication Networks / S. Ferenci ; M. Ammar
Analysis of Composite Synchronization
Stone Axes and Warhammers: A Decade of Distributed Simulation in Aviation Research / F. Sogandares
Optimistic Simulation II / Session 6:
Software Control Systems for Parallel Simulation / R. Radhakrishnan ; P. Wilsey
Conditional Checkpoint Abort: An Alternative Semantic for Re-synchronization in CCL / F. Quaglia ; A. Santoro ; B. Ciciani
Miscellaneous II / Session 7:
Lookback: A New Way of Exploiting Parallelism in Discrete Event Simulation / G. Chen
Experiment Scheduling in Faster-than-Real-Time Simulation / D. Anagnostopoulos
Author Index
Message from the General Chairs
Message from the Program Co-Chairs
Committees
16.

電子ブック

EB
Association for Computing Machinery-Digital Library.
出版情報: IEEE/IET Electronic Library (IEL) Conference Proceedings , 2002
所蔵情報: loading…
目次情報: 続きを見る
Message from the General Chairs
Message from the Program Chairs
Organizing Committee
Steering Committee
Program Committee
Reviewers
Keynote Address
Parallelism in Mainstream Enterprise Platforms of the Future / D. Bhandarkar
Data Parallelism and Threading / Session 1:
An Evaluation of Data-Parallel Compiler Support for Line-Sweep Applications / D. Chavarria-Miranda ; J. Mellor-Crummey
Increasing and Detecting Memory Address Congruence / S. Larsen ; E. Witchel ; S. Amarasinghe
Transparent Threads: Resource Sharing in SMT Processors for High Single-Thread Performance / G. K. Dorai ; D. Yeung
Compiler Support for Architecture / Session 2:
Compiler-Controlled Caching in Superword Register Files for Multimedia Extension Architectures / J. Shin ; J. Chame ; M. W. Hall
Effective Compilation Support for Variable Instruction Set Architecture / J. Liu ; T. Kong ; F. Chow
A Framework for Parallelizing Load/Stores on Embedded Processors / X. Zhuang ; S. Pande ; J. S. Greenland Jr.
Program Characterization / Session 3:
Workload Design: Selecting Representative Program-Input Pairs / L. Eeckhout ; H. Vandierendonck ; K. De Bosschere
Dataflow Frequency Analysis Based on Whole Program Paths / B. Scholz ; E. Mehofer
Quantifying Instruction Criticality / E. S. Tune ; D. M. Tullsen ; B. Calder
The Role of Computational Science in Energy Efficiency and Renewable Energy / S. Hammond
Power / Session 4:
Application Transformations for Energy and Performance-Aware Device Management / T. Heath ; E. Pinheiro ; J. Hom ; U. Kremer ; R. Bianchini
Leakage Energy Management in Cache Hierarchies / L. Li ; I. Kadayif ; Y-F. Tsai ; N. Vijaykrishnan ; M. Kandemir ; M. J. Irwin ; A. Sivasubramaniam
Integrating Adaptive On-Chip Storage Structures for Reduced Dynamic Power / S. Dropsho ; A. Buyuktosunoglu ; R. Balasubramonian ; D. H. Albonesi ; S. Dwarkadas ; G. Semeraro ; G. Magklis ; M. L. Scott
Prediction / Session 5:
The Use of Prediction for Accelerating Upgrade Misses in cc-NUMA Multiprocessors / M. E. Acacio ; J. Gonzalez ; J. M. Garcia ; J. Duato
Predicting Conditional Branches with Fusion-Based Hybrid Predictors / G. H. Loh ; D. S. Henry
Memory Performance / Session 6:
Speculative Sequential Consistency with Little Custom Storage / C. Gniady ; B. Falsafi
Cost-Effective Compiler Directed Memory Prefetching and Bypassing / D. Ortega ; E. Ayguade ; J.-L. Baer ; M. Valero
Using the Compiler to Improve Cache Replacement Decisions / Z. Wang ; K. S. McKinley ; A. L. Rosenberg ; C. C. Weems
Memory Aliasing / Session 7:
Software Bubbles: Using Predication to Compensate for Aliasing in Software Pipelines / B. Goldberg ; E. Crutcher ; C. Huneycutt ; K. Palem
Speculative Alias Analysis for Executable Code / M. Fernandez ; R. Espasa
Cost Effective Memory Dependence Prediction Using Speculation Levels and Color Sets / S. Onder
The Computational Grid: Aggregating Performance and Enhanced Capability from Federated Resources / R. Wolski
Java and IA-64 / Session 8:
Just-in-Time Java Compilation for the Itanium Processor / T. Shpeisman ; G.-Y. Lueh ; A.-R. Adl-Tabatabai
Eliminating Exception Constraints of Java Programs for IA-64 / K. Ishizaki ; T. Inagaki ; H. Komatsu ; T. Nakatani
Clustered Microarchitectures / Session 9:
Optimizing Loop Performance for Clustered VLIW Architectures / Y. Qian ; S. Carr ; P. Sweany
Exploiting Pseudo-Schedules to Guide Data Dependence Graph Partitioning / A. Aleta ; J. M. Codina ; J. Sanchez ; A. Gonzalez ; D. Kaeli
Efficient Interconnects for Clustered Microarchitectures / J.-M. Parcerisa ; J. Sahuquillo
Sigarch Conference Guidelines
Author Index
Message from the General Chairs
Message from the Program Chairs
Organizing Committee
17.

電子ブック

EB
Association for Computing Machinery-Digital Library.
出版情報: IEEE/IET Electronic Library (IEL) Conference Proceedings , 2002
所蔵情報: loading…
目次情報: 続きを見る
Foreword
Conference Organizers
Program Committee
Reviewers
Sponsoring Societies
Digital Design 1 / Session 1:
Two Hardware Implementations for the Montgomery Modular Multiplication: Sequential versus Parallel / N. Nedjah ; L. de M. Mourelle
Analysis and Implementation of a Stochastic Multiplier for Electrical Power Measurement / A. B. Soares ; M. Negreiros ; L. Carro ; A. A. Susin
A New Architecture for 2's Complement Gray Encoded Array Multiplier / E. Costa ; S. Bampi ; J. Monteiro
Architectural Synthesis of Finite Impulse Response Digital Filters / R. W. Mehler ; D. Zhou
Digital Design - ATM / Session 2a:
HW/SW Codesign of Handoff Protocol for Wireless ATM Networks Based on Performance Optimization using Genetic Algorithm / R. N. B. Lima ; M. N. Miranda ; J. V. S. Filho ; A. C. P. Pedroza ; A. C. de Mesquita
APU: Specification and Design of a Multi Algorithm ATM Policing Unit IP / J. A. G. de Lima ; A. C. Cavalcanti ; S. F. de Lucena
Computer Architecture / Session 2b:
Multithreaded Architectural Support for Speculative Trace Scheduling in VLIW Processors / M. Agarwal ; S. K. Nandy ; J. van Eijndhoven ; S. Balakrishanan
A Novel Method for Improving the Operation Autonomy of SIMD Processing Elements / M. L. Anido ; A. Paar ; N. Bagherzadeh
Analog Design 1 / Session 3a:
An Integrated CMOS Instrumentation Amplifier with Improved CMRR / P. A. Dal Fabbro ; C. dos Reis Filho
A Continuous-Time Incremental Analog to Digital Converter / R. Doldan ; A. Yufera ; A. Rueda
Capacitor Charge Control Technique Applied to Digitally Programmable IIR Switched-Capacitor Filter / J. B. Monteiro ; A. Petraglia ; C. A. Leme
Analog Decimator IC in Direct-Form Polyphase Structure / J. S. Pereira ; F. A. P. Baruqui
Test and Fault Tolerance / Session 3b:
Testability Properties of BDDs / F. Marques ; V. Correia ; A. Prado ; M. Lubaszewski ; A. Reis
Reducing Test Application Time through Interleaved Scan / F. Corno ; M. Sonza Reorda ; G. Squillero
Analyzing Area and Performance Penalty of Protecting Different Digital Modules with Hamming Code and Triple Modular Redundancy / R. Hentschke ; F. Lima ; A. Susin ; R. Reis
A Software Fault Tolerance Method for Safety-Critical Systems: Effectiveness and Drawbacks / B. Nicolescu ; R. Velazco ; M. Sonza-Reorda ; M. Rebaudengo ; M. Violante
Codesign 1 / Session 4:
Interface Generation for Concurrent Processes during Hardware/Software Co-Synthesis / C. C. de Araujo ; E. Barros
A Heterogeneous and Distributed Co-Simulation Environment / A. Amory ; F. Moraes ; L. Oliveira ; N. Calazans ; F. Hessel
A Study on Communication Issues for Systems-on-Chip / C. A. Zeferino ; M. E. Kreutz
A Study on a Garbage Collector for Embedded Applications / R. C. Krapf ; J. C. B. de Mattos ; G. Spellmeier
Analog Testing / Session 5a:
A Noise Generator for Analog-to-Digital Converter Testing / M. G. C. Flores
A Statistical Sampler for Increasing Analog Circuits Observability
Low Power 1 / Session 5b:
A Methodology for Dynamic Power Consumption Estimation using VHDL Descriptions / J. M. S. de Alcantara ; A. C. C. Vieira ; F. Galvez-Durand ; V. C. Alves
Power Consumption in Point-to-Point Interconnect Architectures / A. G. Ortiz ; T. Murgan ; L. Indrusiak ; M. Glesner
Design Methodology / Session 6a:
Collaborative Design Using a Shared Object Spaces Infrastructure / S. Sawicki ; L. Brisolara ; L. S. Indrusiak
Experiences on Analog Circuit Technology Migration and Reuse / R. Acosta ; F. Silveira ; P. Aguirre
Reconfigurable Architecture / Session 6b:
Techniques and Mechanisms for Dynamic Reconfiguration in an Image Processor / M. R. Boschetti ; A. M. S. Adario ; I. S. Silva
Core Communication Interface for FPGAs / J. C. Palma ; A. V. de Melo ; L. Moller
Digital Design 2 / Session 7:
A Low-Cost FPGA Implementation of the Advanced Encryption Standard Algorithm / A. C. Zigiotto ; R. d'Amore
An IP of an Advanced Encryption Standard for Altera Devices / A. Panato ; M. Barcellos
Pipelined Entropy Coders for JPEG Compression / L. V. Agostini
Signal Processing Applications for Embedded Java Systems
Low Power 2 / Session 8a:
Power Management Exploration for a Block Turbo Decoder / J. Martins ; M. Strum
Low-Power Control Architecture for Embedded Processors / J. C. B. Mattos ; M. Kreutz
Codesign 2 / Session 8b:
Exception Handling with Petri Net for Digital Systems / W. L. A. de Oliveira ; N. Marranghello ; F. Damiani
CDFG--Petri Net Temporal Partitioning for Switching Context Applications / P. S. B. Nascimento ; M. E. Lima ; P. Maciel ; A. G. S. Filho ; S. Cavalcante
Analog Design 2 / Session 9a:
An Offset Self-Correction Sample and Hold Circuit for Precise Applications in Low Voltage CMOS / L. H. C. Ferreira ; R. L. Moreno ; T. C. Pimenta ; C. A. R. Filho
Operational Amplifier Power Optimization for a Given Total (Slewing plus Linear) Settling Time / D. Flandre
A Switched-MOSFET Programmable Low-Voltage Filter / L. C. C. Marques ; W. A. Serdijn ; C. Galup-Montoro ; M. C. Schneider
Low-Voltage ADC for Sample to Serial Interface Applications / F. A. Farag
Physical Design / Session 9b:
Automatic Generation of Digital Cell Libraries / J. Togni ; F. R. Schneider ; V. P. Correia ; R. P. Ribas ; A. I. Reis
A LEGAL Algorithm Following Global Routing / M. de O. Johann ; G.B. V. dos Santos ; R. A. da L. Reis
Finding the Critical Delay of Combinational Blocks by Floating Vector Simulation and Path Tracing / G. Wilke ; J. L. Guntzel ; M. Bystronski ; A. C. M. Pinto
Compression and Technology Mapping of Logic Circuits
Analog Modeling / Session 10:
CMOS OTA Sizing Using ACM Model in a Graphical Approach / H. C. de M. Santos ; A. I. A. Cunha
Design of Active Inductors using CMOS Technology / V. L. Belini ; M. A. Romero
Generating Compact, Passive Models of Frequency-Described Systems / C. P. Coelho ; J. R. Philips ; L. M. Silveira
Behavioral Modeling of Analogue and Mixed Integrated Systems with VHDL-AMS for RF Applications / A. Fakhfakh ; H. Levi ; N. Milet-Lewis ; Y. Danto
Codesign 3 / Session 11a:
On the Importance, Problems and Solutions of Pointer Synthesis / N. Vanspauwen ; C. Valderrama
Requirements, Primitives and Models for Systems Specification / C. A. M. Marcon ; N. L. V. Calazans ; F. G. Moraes
Digital Design 3 / Session 11b:
System on a Chip for Petroleum Pipeline Inspection / F. da S. Dutra
Combined Turbo and Convolutional Decoder Architecture for UMTS Wireless Applications / G. Kreiselmaier ; T. Vogt ; N. Wehn ; F. Berens
Analog Design 3 / Session 12a:
CMOS Bandgap with Base-Current Thermal Compensation / J. P. C. Cajueiro ; C. A. dos R. Filho
A 4 Gsamples/S with 2-4 GHz Input Bandwidth SIGE Digitizer for Radio Astronomy Applications / D. Deschans ; J-B. Begueret ; Y. Deval ; C. Scarabello ; P. Fouillat ; G. Montignac ; A. Baudry
Digital Design 4 / Session 12b:
Minimizing the Number of Paths in BDDs / G. Fey ; R. Drechsler
Asynchronous Circuit Design Based on the RTBT Monostable-Bistable Logic Transition Element (MOBILE) / P. Glosekotter ; C. Pacha ; K. F. Goser
Embedded Tutorials
Data Transfer and Storage Exploration for Real-Time Implementation of a Digital Audio Broadcast Receiver on a Trimedia Processor / M. Miranda ; C. Ghez ; E. Brockmeyer ; P. Op De Beeck ; F. Catthoor
Configurable Systems-on-Chip (CSoC) / J. Becker
A Structural Test Methodology for SRAM-Based FPGAs / M. Renovell
Ultra Low-Energy Transceivers for Wireless Sensor Networks / J. Rabaey
Parametric Yield Estimation for Deep Sub-Micron VLSI Circuits / J. Jess
Author Index
Foreword
Conference Organizers
Program Committee
18.

電子ブック

EB
Charles E. Perkins, Association for Computing Machinery-Digital Library.
出版情報: IEEE/IET Electronic Library (IEL) Conference Proceedings , 2000
所蔵情報: loading…
19.

電子ブック

EB
David Breen, Association for Computing Machinery-Digital Library.
出版情報: IEEE/IET Electronic Library (IEL) Conference Proceedings , 2001
所蔵情報: loading…
20.

電子ブック

EB
Giovanni De Micheli, Association for Computing Machinery-Digital Library.
出版情報: IEEE/IET Electronic Library (IEL) Conference Proceedings , 2000
所蔵情報: loading…
21.

電子ブック

EB
Jan Rabaey, Association for Computing Machinery-Digital Library.
出版情報: IEEE/IET Electronic Library (IEL) Conference Proceedings , 2001
所蔵情報: loading…
22.

電子ブック

EB
Jan Madsen, Association for Computing Machinery-Digital Library.
出版情報: IEEE/IET Electronic Library (IEL) Conference Proceedings , 2001
所蔵情報: loading…
23.

電子ブック

EB
International Symposium on Low Power Electronics and Design, ACM Special Interest Group on Design Automation., Association for Computing Machinery-Digital Library.
出版情報: IEEE/IET Electronic Library (IEL) Conference Proceedings , 2001
所蔵情報: loading…
24.

電子ブック

EB
International Symposium on System Synthesis, Association for Computing Machinery-Digital Library., IEEE Computer Society.
出版情報: IEEE/IET Electronic Library (IEL) Conference Proceedings , 2001
所蔵情報: loading…
25.

電子ブック

EB
Design Automation Conference, Association for Computing Machinery-Digital Library., Association for Computing Machinery.
出版情報: IEEE/IET Electronic Library (IEL) Conference Proceedings , 2002
所蔵情報: loading…
26.

電子ブック

EB
International Conference on Software Engineering, Association for Computing Machinery-Digital Library., Association for Computing Machinery.
出版情報: IEEE/IET Electronic Library (IEL) Conference Proceedings , 2002
所蔵情報: loading…
27.

電子ブック

EB
Vivek De, Association for Computing Machinery-Digital Library.
出版情報: IEEE/IET Electronic Library (IEL) Conference Proceedings , 2002
所蔵情報: loading…
28.

電子ブック

EB
International Symposium on Hardware/Software Codesign, ACM Special Interest Group on Design Automation., Association for Computing Machinery-Digital Library.
出版情報: IEEE/IET Electronic Library (IEL) Conference Proceedings , 2002
所蔵情報: loading…
29.

電子ブック

EB
International Conference on Software Engineering, Association for Computing Machinery-Digital Library., Association for Computing Machinery.
出版情報: IEEE/IET Electronic Library (IEL) Conference Proceedings , 2003
所蔵情報: loading…
30.

電子ブック

EB
Allan Gottlieb, Association for Computing Machinery-Digital Library.
出版情報: IEEE/IET Electronic Library (IEL) Conference Proceedings , 2003
所蔵情報: loading…
目次情報: 続きを見る
Symposium Chairman's Welcome
Message from the Program Chair
Committee Members
Thermal and Energy-Aware Microarchitectures / Session 1:
Temperature-Aware Microarchitecture / K. Skadron ; M. Stan ; W. Huang ; S. Velusamy ; K. Sankaranarayanan ; D. Tarjan
Profile-Based Dynamic Voltage and Frequency Scaling for a Multiple Clock Domain Microprocessor / G. Magklis ; M. Scott ; G. Semeraro ; D. Albonesi ; S. Dropsho
Processor Architecture / Session 2:
Half-Price Architecture / I. Kim ; M. Lipasti
Implicitly-Multithreaded Processors / I. Park ; B. Falsafi ; T. Vijaykumar
Panel: Subsetting SPEC When Measuring Results: Valid or Manipulative?
MisSPECulation: Partial and Misleading Use of SPEC CPU2000 in Computer Architecture Conferences / D. Citron
Microarchitecture Techniques / Session 3a:
Banked Multiported Register Files for High-Frequency Superscalar Microprocessors / J. Tseng ; K. Asanovic
Pipeline Damping: A Microarchitectural Technique to Reduce Inductive Noise in Supply Voltage / M. Powell
Smarts: Accelerating Microarchitecture Simulation via Rigorous Statistical Sampling / R. Wunderlich ; T. Wenisch ; J. Hoe
Recovery and Replay / Session 3b:
Transient-Fault Recovery for Chip Multiprocessors / M. Gomaa ; C. Scarbrough ; I. Pomeranz
ReEnact: Using Thread-Level Speculation Mechanisms to Debug Data Races in Multithreaded Codes / M. Prvulovic ; J. Torrellas
A "Flight Data Recorder" for Enabling Full-System Multiprocessor Deterministic Replay / M. Xu ; R. Bodik ; M. Hill
Energy-Saving Designs / Session 4a:
A Highly-Configurable Cache Architecture for Embedded Systems / C. Zhang ; F. Vahid ; W. Najjar
Energy Efficient Co-Adaptive Instruction Fetch and Issue / A. Buyuktosunoglu ; T. Karkhanis ; P. Bose
Positional Adaptation of Processors: Application to Energy Reduction / M. Huang ; J. Renau
DRPM: Dynamic Speed Control for Power Management in Server Class Disks / S. Gurumurthi ; A. Sivasubramaniam ; M. Kandemir ; H. Franke
Interconnects and Multiprocessors / Session 4b:
Token Coherence: Decoupling Performance and Correctness / M. Martin ; D. Wood
GOAL: A Load-Balanced Adaptive Routing Algorithm for Torus Networks / A. Singh ; W. Dally ; A. Gupta ; B. Towles
Using Destination-Set Prediction to Improve the Latency/Bandwidth Tradeoff in Shared-Memory Multiprocessors / P. Harper ; D. Sorin
Performance Analysis of the Alpha 21364-Based HP GS1280 Multiprocessor / Z. Cvetanovic
Front-End Scheduling / Session 5:
Parallelism in the Front-End / P. Oberoi ; G. Sohi
Effective ahead Pipelining of Instruction Block Address Generation / A. Seznec ; A. Fraboulet
Cyclone: A Broadcast-Free Dynamic Instruction Scheduler with Selective Replay / D. Ernst ; A. Hamel ; T. Austin
Clustered Processors / Session 6a:
Improving Dynamic Cluster Assignment for Clustered Trace Cache Processors / R. Bhargava ; L. John
Dynamically Managing the Communication-Parallelism Trade-off in Future Clustered Processors / R. Balasubramonian ; S. Dwarkadas
A Pipelined Memory Architecture for High Throughput Network Processors / T. Sherwood ; G. Varghese ; B. Calder
Efficient Use of Memory Bandwidth to Improve Network Processor Throughput / J. Hasan ; S. Chandra
Prediction / Session 7a:
Improving Branch Prediction by Dynamic Dataflow-Based Identification of Correlated Branches from a Large Global History / R. Thomas ; M. Franklin ; C. Wilkerson ; J. Stark
Detecting Global Stride Locality in Value Streams / H. Zhou ; J. Flanagan ; T. Conte
Phase Tracking and Prediction / S. Sair
Mechanisms and Support / Session 7b:
Virtual Simple Architecture (VISA): Exceeding the Complexity Limit in Safe Real-Time Systems / A. Anantaraman ; K. Seth ; K. Patil ; E. Rotenberg ; F. Mueller
DISE: A Programmable Macro Engine for Customizing Applications / M. Corliss ; E. Lewis ; A. Roth
Building Quantum Wires: The Long and the Short of It / M. Oskin ; F. Chong ; I. Chuang ; J. Kubiatowicz
Memory Issues / Session 8:
Guided Region Prefetching: A Cooperative Hardware/Software Approach / Z. Wang ; D. Burger ; S. Reinhardt ; K. McKinley ; C. Weems
Overcoming the Limitations of Conventional Vector Processors / C. Kozyrakis ; D. Patterson
A Performance Analysis of PIM, Stream Processing, and Tiled Processing on Memory-Intensive Signal Processing Kernels / J. Suh ; E. Kim ; S. Crago ; L. Srinivasan ; M. French
Exploiting Parallelisms / Session 9:
Exploiting ILP, TLP and DLP with the Polymorphous TRIPS Architecture / K. Sankaralingam ; R. Nagarajan ; H. Liu ; C. Kim ; J. Huh ; S. Keckler ; C. Moore
The Jrpm System for Dynamically Parallelizing Java Programs / M. Chen ; K. Olukotun
Author Index
Symposium Chairman's Welcome
Message from the Program Chair
Committee Members
31.

電子ブック

EB
IEEE Conference on Visualization, Markus Gross, Kenneth I. Joy, Robert J. Moorhead, Association for Computing Machinery-Digital Library., IEEE Computer Society.
出版情報: IEEE/IET Electronic Library (IEL) Conference Proceedings , 2002
所蔵情報: loading…
32.

電子ブック

EB
IEEE/ACM International Conference on Computer-Aided Design, Association for Computing Machinery-Digital Library., IEEE Circuits and Systems Society.
出版情報: IEEE/IET Electronic Library (IEL) Conference Proceedings , 2002
所蔵情報: loading…
33.

電子ブック

EB
S. Rao Kosaraju, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , New York : Association for Computing Machinery, 2001
所蔵情報: loading…
34.

電子ブック

EB
Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , New York : Society for Industrial and Applied Mathematics, 2003
所蔵情報: loading…
目次情報: 続きを見る
Preface
Acknowledgments
In Memoriam
Optimal Parallel Selection / Yijie HanSession 1A:
Selection with Monotone Comparison Costs / Sampath Kannan ; Sanjeev Khanna
Property Testing of Data Dimensionality / Robert Krauthgamer ; Ori Sasson
Comparing Top K Lists / Ronald Fagin ; Ravi Kumar ; D. Sivakumar
Algorithms for Power Savings / Sandy Irani ; Sandeep Shukla ; Rajesh GuptaSession 1B:
Dynamic TCP Acknowledgement: Penalizing Long Delays / Susanne Albers ; Helge Bals
Approximately Optimal Control of Fluid Networks / Lisa Fleischer ; Jay Sethuraman
Minimum Cost Flows over Time without Intermediate Storage / Martin Skutella
Sublogarithmic Approximation for Telephone Multicast: Path out of Jungle / Michael Elkin ; Guy KortsarzSession 1C:
On the Performance of User Equilibria in Traffic Networks / Andreas S. Schulz ; Nicolas Stier Moses
Faster Approximation Algorithms for the Minimum Latency Problem / Aaron Archer ; David P. Williamson
Data Migration to Minimize the Average Completion Time / Yoo-Ah Kim
Invited Plenary Abstract / Session 2:
Browsing around a Digital Library / Ian H. Witten
Binary Space Partitions for 3D Subdivisions / John Hershberger ; Subhash SuriSession 3A:
Allocating Vertex [pi]-Guards in Simple Polygons via Pseudo-triangulations / Bettina Speckmann ; Csaba D. Toth
Straight-Skeleton Based Contour Interpolation / Gill Barequet ; Michael T. Goodrich ; Aya Levi-Steiner ; Dvir Steiner
Mobius-Invariant Natural Neighbor Interpolation / Marshall Bern ; David Eppstein
Improved Bounds on the Average Length of Longest Common Subsequences / George S. LuekerSession 3B:
Directed Scale-Free Graphs / Bela Bollobas ; Christian Borgs ; Jennifer Chayes ; Oliver Riordan
The Cover Time of Sparse Random Graphs / Colin Cooper ; Alan Frieze
Perfect Matchings in Random Graphs with Prescribed Minimal Degree / Boris Pittel
Certifying Algorithms for Recognizing Interval Graphs and Permutation Graphs / Dieter Kratsch ; Ross M. McConnell ; Kurt Mehlhorn ; Jeremy P. SpinradSession 3C:
Dominating Sets in Planar Graphs: Branch-Width and Exponential Speed-up / Fedor V. Fomin ; Dimitrios M. Thilikos
Quick and Good Facility Location / Mikkel Thorup
Chain Decompositions and Independent Trees in 4-Connected Graphs / Sean Curran ; Orlando Lee ; Xingxing Yu
Optimizing Misdirection / Piotr Berman ; Piotr KrystaSession 4A:
Online Learning in Online Auctions / Avrim Blum ; Vijay Kumar ; Atri Rudra ; Felix Wu
An Approximate Truthful Mechanism for Combinatorial Auctions with Single Parameter Agents / Christos Papadimitriou ; Kunal Talwar ; Eva Tardos
Competitiveness via Consensus / Andrew V. Goldberg ; Jason D. Hartline
Pass Efficient Algorithms for Approximating Large Matrices / Petros Drineas ; Ravi KannanSession 4B:
Rangesum Histograms / S. Muthukrishnan ; Martin Strauss
Approximation of Functions over Redundant Dictionaries Using Coherence / Anna C. Gilbert ; Martin J. Strauss
Counting Inversions in Lists / Anupam Gupta ; Francis X. Zane
Certifying and Repairing Solutions to Large LPs: How Good Are LP-Solvers? / Marcel Dhiflaoui ; Stefan Funke ; Carsten Kwappik ; Michael Seel ; Elmar Schomer ; Ralph Schulte ; Dennis WeberSession 4C:
An Improved Approximation Algorithm for the O-Extension Problem / Jittat Fakcharoenphol ; Chris Harrelson ; Satish Rao
Packing Steiner Trees / Kamal Jain ; Mohammad Mahdian ; Mohammad R. Salavatipour
Integrality Ratio for Group Steiner Trees and Directed Steiner Trees / Eran Halperin ; Aravind Srinivasan ; Nan Wang
The Flow Complex: A Data Structure for Geometric Modeling / Joachim Giesen ; Matthias JohnSession 5A:
Graded Conforming Delaunay Tetrahedralization with Bounded Radius-Edge Ratio / Siu-Wing Cheng ; Sheung-Hung Poon
On the Combinatorial Complexity of Euclidean Voronoi Cells and Convex Hulls of d-Dimensional Spheres / Jean-Daniel Boissonnat ; Menelaos I. Karavelas
Perturbations and Vertex Removal in a 3D Delaunay Triangulation / Olivier Devillers ; Monique Teillaud
Root Comparison Techniques Applied to Computing the Additively Weighted Voronoi Diagram / Ioannis Z. Emiris
Random Walks on the Vertices of Transportation Polytopes with Constant Number of Sources / Mary Cryan ; Martin Dyer ; Haiko Muller ; Leen StougieSession 5B:
Smaller Explicit Superconcentrators / N. Alon ; M. Capalbo
A (1 + [epsilon])-Approximation Algorithm for Partitioning Hypergraphs Using a New Algorithmic Version of the Lovasz Local Lemma
A Spectral Technique for Random Satisfiable 3CNF Formulas / Abraham Flaxman
Random MAX SAT, Random MAX CUT, and Their Phase Transitions / Don Coppersmith ; David Gamarnik ; Mohammad Hajiaghayi ; Gregory B. Sorkin
Space-Efficient Finger Search on Degree-Balanced Search Trees / Guy E. Blelloch ; Bruce M. Maggs ; Shan Leung Maverick WooSession 5C:
Skip Graphs / James Aspnes ; Gauri Shah
Maintaining All-Pairs Approximate Shortest Paths under Deletion of Edges / Surender Baswana ; Ramesh Hariharan ; Sandeep Sen
A Faster and Simpler Fully Dynamic Transitive Closure / Liam Roditty
Data Streams: Algorithms and Applications / Session 6:
Sparse Distance Preservers and Additive Spanners / Session 7A:
Multi-Embedding and Path Approximation of Metric Spaces / Yair Bartal ; Manor Mendel
Approximation Algorithm for Embedding Metrics into a Two-Dimensional Space / Mihai Badoiu
On the Complexity of Distance-Based Evolutionary Tree Reconstruction / Valerie King ; Li Zhang ; Yunhong Zhou
Improved Results for Directed Multicut / Session 7B:
Algorithms for k-Colouring and Finding Maximal Independent Sets / Jesper Makholm Byskov
Equitable Colorings with Constant Number of Colors / S. V. Pemmaraju ; K. Nakprasit ; A. V. Kostochka
Better Performance Bounds for Finding the Smallest k-Edge Connected Spanning Subgraph of a Multigraph / Harold N. Gabow
A Note on the Set Systems Used for Broadcast Encryption / Alexander RussellSession 7C:
Lower Bounds for Collusion-Secure Fingerprinting / Chris Peikert ; Abhi Shelat ; Adam Smith
Quantum Property Testing / Harry Burhman ; Lance Fortnow ; Ilan Newman ; Hein Rohrig
Quantum Algorithms for Some Hidden Shift Problems / Wim van Dam ; Sean Hallgren ; Lawrence Ip
Simulataneous Optimization for Concave Costs: Single Sink Aggregation or Single Source Buy-at-Bulk / Ashish Goel ; Deborah EstrinSession 8A:
Non-independent Randomized Rounding / Benjamin Doerr
Minimizing Weighted Flow Time / N. Bansal ; K. Dhamdhere
A Combinatorial Algorithm for Computing a Maximum Independent Set in a t-Perfect Graph / Friedrich Eisenbrand ; Naveen Garg ; Jochen Konemann
Lower Bounds for Embedding Edit Distance into Normed Spaces / A. Andoni ; M. Deza ; A. Gupta ; P. Indyk ; S. RaskhodnikovaSession 8B:
Embedding k-Outerplanar Graphs into l[subscript 1] / Chandra Chekuri ; Yuri Rabinovich ; Alistair Sinclair
Embeddings and Non-approximability of Geometric Problems / Venkatesan Guruswami ; Piotr Indyk
Better Algorithms for High-Dimensional Proximity Problems via Asymmetric Embeddings / Session 8C:
Lower Bounds for External Memory Dictionaries / Gerth Stolting Brodal ; Rolf Fagerberg
Online Paging with Arbitrary Associativity / Enoch Peserico
The Set-Associative Cache Performance of Search Trees / James D. Fix
Computing Strongly Connected Components in a Linear Number of Symbolic Steps / Raffaella Gentilini ; Carla Piazza ; Alberto Policriti
On the Rectilinear Crossing Number of Complete Graphs / Uli WagnerSession 9A:
Matching Planar Maps / Helmut Alt ; Alon Efrat ; Gunter Rote ; Carola Wenk
Dynamic Generators of Topologically Embedded Graphs
Computing Homotopic Shortest Paths in the Plane / Sergei Bespamyatnikh
Fully-Dynamic Two Dimensional Orthogonal Range and Line Segment Intersection Reporting in Logarithmic Time / Christian Worm Mortensen
Edge Disjoint Paths Revisited / Session 9B:
A New Approximation Algorithm for the Asymmetric TSP with Triangle Inequality / Markus Blaser
Approximating Asymmetric Maximum TSP / Moshe Lewenstein ; Maxim Sviridenko
The k-Traveling Repairman Problem
Directed Graphs Requiring Large Numbers of Shortcuts / William Hesse
Implicit Dictionaries Supporting Searches and Amortized Updates in O(log n log log n) Time / Gianni Franceschini ; Roberto GrossiSession 9C:
Compact Representations of Separable Graphs / Daniel K. Blandford ; Ian A. Kash
Labeling Schemes for Small Distances in Trees / Stephen Alstrup ; Philip Bille ; Theis Rauhe
On AC[superscript 0] Implementations of Fusion Trees and Atomic Heaps
Who Cares about Permanents? / Persi DiaconisSession 10:
Between O(nm) and O(n[superscript alpha]) / Jeremy SpinradSession 11A:
Fast Distributed Algorithms for (Weakly) Connected Dominating Sets and Linear-Size Skeletons / Devdatt Dubhashi ; Alessandro Mei ; Alessandro Panconesi ; Jaikumar Radhakrishnan
A 5/4-Approximation Algorithm for Minimum 2-Edge-Connectivity / Raja Jothi ; Balaji Raghavachari ; Subramanian Varadarajan
Fault-Tolerant Facility Location / Chaitanya Swamy ; David B. Shmoys
Efficient Sequences of Trials / Edith Cohen ; Amos Fiat ; Haim KaplanSession 11B:
Pursuit-Evasion with Imprecise Target Location / Gunther Rote
Unconditional Proof of Tightness of Johnson Bound / Vendatesan Guruswami ; Igor Shparlinski
Deterministic Identity Testing for Multivariate Polynomials / Richard Lipton ; Nisheeth Vishnoi
Competitive Queueing Policies for QoS Switches / Nir Andelman ; Yishay Mansour ; An ZhuSession 11C:
Dynamic Routing on Networks with Fixed-Size Buffers / William Aiello ; Rafail Ostrovsky ; Eyal Kushilevitz ; Adi Rosen
Dynamic Construction of Bluetooth Scatternets of Fixed Degree and Low Diameter / Lali Barriere ; Pierre Fraigniaud ; Lata Narayanan ; Jaroslav Opatrny
Scheduling Techniques for Media-on-Demand / Amotz Bar-Noy ; Richard E. Ladner ; Tami Tamir
Smaller Core-Sets for Balls / Mihal Badoiu ; Kenneth L. ClarksonSession 12A:
Zonotopes as Bounding Volumes / Leonidas J. Guibas ; An Nguyen
Sublinear-Time Approximation of Euclidean Minimum Spanning Tree / Artur Czumaj ; Funda Ergun ; Avner Magen ; Ronitt Rubinfeld ; Christian Sohler
An Approximation Algorithm for Cutting Out Convex Polygons / Adrian Dumitrescu
Inferring Tree Topologies Using Flow Tests / Torsten Suel ; Radek VingralekSession 12B:
Wavelength Assignment and Generalized Interval Graph Coloring / Peter Winkler ; Lisa Zhang
An Improved Approximation Algorithm for the Partial Latin Square Extension Problem / Carla P. Gomes ; Rommel G. Regis
Multirate Rearrangeable Clos Networks and a Generalized Edge Coloring Problem on Bipartite Graphs / Hung Q. Ngo ; Van H. Vu
High-Order Entropy-Compressed Text Indexes / Ankur Gupta ; Jeffrey Scott VitterSession 12C:
Multidimensional Matching and Fast Search in Suffix Trees / Richard Cole
Inplace 2D Matching in Compressed Images / Amihood Amir ; Gad M. Landau ; Dina Sokol
The Similarity Metric / Ming Li ; Xin Chen ; Xin Li ; Bin Ma ; Paul Vitanyi
Author Index
Preface
Acknowledgments
In Memoriam
35.

電子ブック

EB
Ian Munro, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , New York : Association for Computing Machinery, 2004
所蔵情報: loading…
36.

電子ブック

EB
Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , New York : Society for Industrial and Applied Mathematics, 2005
所蔵情報: loading…
37.

電子ブック

EB
Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , New York : Association for Computing Machinery, 2006
所蔵情報: loading…
38.

電子ブック

EB
Bio-Inspired Computer Science and Applications 2006, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , 2006
所蔵情報: loading…
39.

電子ブック

EB
Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , 2007
所蔵情報: loading…
40.

電子ブック

EB
The International Conference on Computer-Aided Design 2007, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , 2007
所蔵情報: loading…
41.

電子ブック

EB
Giovanni De Micheli, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , 2000
所蔵情報: loading…
42.

電子ブック

EB
David Blaauw, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , 2000
所蔵情報: loading…
43.

電子ブック

EB
Carlo Ghezzi, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , 2000
所蔵情報: loading…
44.

電子ブック

EB
Victor Vianu, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , 2000
所蔵情報: loading…
45.

電子ブック

EB
Alan Berenbaum, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , 2000
所蔵情報: loading…
46.

電子ブック

EB
Greg Johnson, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , 2001
所蔵情報: loading…
47.

電子ブック

EB
Jan Rabaey, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , 2001
所蔵情報: loading…
48.

電子ブック

EB
Bill Lorensen, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , 2001
所蔵情報: loading…
49.

電子ブック

EB
IEEE Visualization 2000, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Los Alamitos, CA : IEEE Computer Society Press, 2000
所蔵情報: loading…
50.

電子ブック

EB
Christophe Diot, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , New York, NY : ACM, 2000
所蔵情報: loading…
51.

電子ブック

EB
Edward A. Fox, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , 2001
所蔵情報: loading…
52.

電子ブック

EB
Jan Madsen, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , 2001
所蔵情報: loading…
53.

電子ブック

EB
International Symposium on Low Power Electronics and Design, ACM Special Interest Group on Design Automation., Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , 2001
所蔵情報: loading…
54.

電子ブック

EB
International Symposium on System Synthesis, Association for Computing Machinery-Digital Library., IEEE Computer Society.
出版情報: ACM Digital Library Proceedings , 2001
所蔵情報: loading…
55.

電子ブック

EB
Design Automation Conference, Association for Computing Machinery-Digital Library., Association for Computing Machinery.
出版情報: ACM Digital Library Proceedings , 2002
所蔵情報: loading…
56.

電子ブック

EB
International Conference on Software Engineering, Association for Computing Machinery-Digital Library., Association for Computing Machinery.
出版情報: ACM Digital Library Proceedings , 2002
所蔵情報: loading…
57.

電子ブック

EB
Vivek De, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , 2002
所蔵情報: loading…
58.

電子ブック

EB
International Symposium on Hardware/Software Codesign, ACM Special Interest Group on Design Automation., Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , 2002
所蔵情報: loading…
59.

電子ブック

EB
International Symposium on System Synthesis, ACM Special Interest Group on Design Automation., Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , 2002
所蔵情報: loading…
60.

電子ブック

EB
International Symposium on Low Power Electronics and Design, ACM Special Interest Group on Design Automation., Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , 2003
所蔵情報: loading…
61.

電子ブック

EB
Design Automation Conference, Association for Computing Machinery-Digital Library., Association for Computing Machinery.
出版情報: ACM Digital Library Proceedings , 2003
所蔵情報: loading…
62.

電子ブック

EB
Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , 2003
所蔵情報: loading…
63.

電子ブック

EB
Rajesh Gupta, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , 2003
所蔵情報: loading…
64.

電子ブック

EB
IEEE/ACM International Conference on Computer-Aided Design, Association for Computing Machinery-Digital Library., IEEE Circuits and Systems Society.
出版情報: ACM Digital Library Proceedings , 2003
所蔵情報: loading…
65.

電子ブック

EB
Design Automation Conference, Association for Computing Machinery-Digital Library., Association for Computing Machinery.
出版情報: ACM Digital Library Proceedings , 2004
所蔵情報: loading…
66.

電子ブック

EB
ACM/IEEE Joint Conference on Digital Libraries, Hsinchun Chen, Michael Christel, Ee-Peng Lim, Association for Computing Machinery-Digital Library., Association for Computing Machinery.
出版情報: ACM Digital Library Proceedings , 2004
所蔵情報: loading…
67.

電子ブック

EB
IPSN 2004, Association for Computing Machinery-Digital Library., Association for Computing Machinery.
出版情報: ACM Digital Library Proceedings , 2004
所蔵情報: loading…
68.

電子ブック

EB
The Third International Joint Conference on Autonomous Agents and Multi-Agent Systems 2004, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , 2004
所蔵情報: loading…
69.

電子ブック

EB
The Third International Joint Conference on Autonomous Agents and Multi-Agent Systems 2004, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , 2004
所蔵情報: loading…
70.

電子ブック

EB
The Third International Joint Conference on Autonomous Agents and Multi-Agent Systems 2004, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , 2004
所蔵情報: loading…
71.

電子ブック

EB
ACM/IEEE Joint Conference on Digital Libraries, Association for Computing Machinery-Digital Library., Association for Computing Machinery.
出版情報: ACM Digital Library Proceedings , 2005
所蔵情報: loading…
72.

電子ブック

EB
International Symposium on Low Power Electronics and Design, ACM Special Interest Group on Design Automation., Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , 2004
所蔵情報: loading…
73.

電子ブック

EB
Alex Orailoglu, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , 2004
所蔵情報: loading…
74.

電子ブック

EB
Symposium on Integrated Circuits and Systems Design, Association for Computing Machinery-Digital Library., Sociedade Brasileira de Computação.
出版情報: ACM Digital Library Proceedings , 2004
所蔵情報: loading…
75.

電子ブック

EB
Design Automation Conference, ACM Special Interest Group on Design Automation., Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , 2005
所蔵情報: loading…
76.

電子ブック

EB
Giovanni Sartor, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , New York, NY : ACM, 2005
所蔵情報: loading…
77.

電子ブック

EB
Symposium on Architecture for Networking and Communications Systems 2005, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , 2005
所蔵情報: loading…
78.

電子ブック

EB
International Symposium on Low Power Electronics and Design, ACM Special Interest Group on Design Automation., Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , 2005
所蔵情報: loading…
79.

電子ブック

EB
Petru Eles, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , 2005
所蔵情報: loading…
80.

電子ブック

EB
Symposium on Integrated Circuits and Systems Design, Association for Computing Machinery-Digital Library., Sociedade Brasileira de Computação.
出版情報: ACM Digital Library Proceedings , 2005
所蔵情報: loading…
81.

電子ブック

EB
Pamela J. Williams, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , 2005
所蔵情報: loading…
82.

電子ブック

EB
The Fifth International Conference on Information Processing in Sensor Networks 2006, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , 2006
所蔵情報: loading…
83.

電子ブック

EB
Joint Conference on Digital Libraries 2006, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , 2006
所蔵情報: loading…
84.

電子ブック

EB
Reinaldo Bergamaschi, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , 2006
所蔵情報: loading…
85.

電子ブック

EB
Leon J. Osterweil, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , 2006
所蔵情報: loading…
86.

電子ブック

EB
The 43rd Annual Design Automation Conference 2006, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , 2006
所蔵情報: loading…
87.

電子ブック

EB
The International Conference on Computer-Aided Design 2006, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , 2006
所蔵情報: loading…
88.

電子ブック

EB
Wolfgang Nebel, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , 2006
所蔵情報: loading…
89.

電子ブック

EB
Design Automation Conference, Association for Computing Machinery-Digital Library., Association for Computing Machinery.
出版情報: IEEE/IET Electronic Library (IEL) Conference Proceedings , 2003
所蔵情報: loading…
90.

電子ブック

EB
IEEE/ACM International Conference on Computer-Aided Design, Association for Computing Machinery-Digital Library., IEEE Circuits and Systems Society.
出版情報: IEEE/IET Electronic Library (IEL) Conference Proceedings , 2003
所蔵情報: loading…
91.

電子ブック

EB
Pamela J. Williams, Association for Computing Machinery-Digital Library.
出版情報: IEEE/IET Electronic Library (IEL) Conference Proceedings , 2005
所蔵情報: loading…
92.

電子ブック

EB
International Symposium on Low Power Electronics and Design, ACM Special Interest Group on Design Automation., Association for Computing Machinery-Digital Library.
出版情報: IEEE/IET Electronic Library (IEL) Conference Proceedings , 2005
所蔵情報: loading…
93.

電子ブック

EB
Design Automation Conference, ACM Special Interest Group on Design Automation., Association for Computing Machinery-Digital Library.
出版情報: IEEE/IET Electronic Library (IEL) Conference Proceedings , 2005
所蔵情報: loading…
94.

電子ブック

EB
Symposium on Integrated Circuits and Systems Design, Association for Computing Machinery-Digital Library., Sociedade Brasileira de Computação.
出版情報: IEEE/IET Electronic Library (IEL) Conference Proceedings , 2004
所蔵情報: loading…
95.

電子ブック

EB
Alex Orailoglu, Association for Computing Machinery-Digital Library.
出版情報: IEEE/IET Electronic Library (IEL) Conference Proceedings , 2004
所蔵情報: loading…
96.

電子ブック

EB
International Symposium on Low Power Electronics and Design, ACM Special Interest Group on Design Automation., Association for Computing Machinery-Digital Library.
出版情報: IEEE/IET Electronic Library (IEL) Conference Proceedings , 2004
所蔵情報: loading…
97.

電子ブック

EB
International Symposium on Low Power Electronics and Design, ACM Special Interest Group on Design Automation., Association for Computing Machinery-Digital Library.
出版情報: IEEE/IET Electronic Library (IEL) Conference Proceedings , 2004
所蔵情報: loading…
98.

電子ブック

EB
The Third International Joint Conference on Autonomous Agents and Multi-Agent Systems 2004, Association for Computing Machinery-Digital Library.
出版情報: IEEE/IET Electronic Library (IEL) Conference Proceedings , 2004
所蔵情報: loading…
99.

電子ブック

EB
IPSN 2004, Association for Computing Machinery-Digital Library., Association for Computing Machinery.
出版情報: IEEE/IET Electronic Library (IEL) Conference Proceedings , 2004
所蔵情報: loading…
100.

電子ブック

EB
ACM/IEEE Joint Conference on Digital Libraries, Hsinchun Chen, Michael Christel, Ee-Peng Lim, Association for Computing Machinery-Digital Library., Association for Computing Machinery.
出版情報: IEEE/IET Electronic Library (IEL) Conference Proceedings , 2004
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼