close
1.

電子ブック

EB
Marian G. Williams, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , ACM, 1999
所蔵情報: loading…
目次情報: 続きを見る
Papers: Groupware
An Empirical Study of How People Establish Interaction: Implications for CSCW Session Management Models / Steinar Kristoffersen ; Fredrik Ljungberg
Chat Circles / Fernanda B. Viegas ; Judith S. Donath
Social, Individual and Technological Issues for Groupware Calendar Systems / Leysia Palen
Papers: Alternatives to QWERTY
The Design and Evaluation of a High-Performance Soft Keyboard / I. Scott MacKenzie ; Shawn X. Zhang
Non-Keyboard QWERTY Touch Typing: A Portable Input Interface for the Mobile User / Mikael Goldstein ; Robert Book ; Gunilla Alsio
Implications for a Gesture Design Tool / Allan Christian Long Jr ; James A. Landay ; Lawrence A. Rowe
Paper: Object Manipulation Studies in Virtual Environments
Object Manipulation in Virtual Environments: Relative Size Matters / Yanqing Wang ; Christine L. MacKenzie
Exploring Bimanual Camera Control and Object Manipulation in 3D Graphics Interfaces / Ravin Balakrishnan ; Gordon Kurtenbach
Towards Usable VR: An Empirical Study of User Interfaces for Immersive Virtual Environments / Robert W. Lindeman ; John L. Sibert ; James K. Hahn
Papers: Social Foundations and Impacts of HCI
Socially Translucent Systems: Social Proxies, Persistent Conversation, and the Design of "Babble" / Thomas Erickson ; David N. Smith ; Wendy A. Kellogg
The Elements of Computer Credibility / B.J. Fogg ; Persuasive Technology Lab ; Stanford University Hsiang Tseng
A Better Mythology for System Design / Jed Harris ; Austin Henderson
Papers: Wearable and Tangible Audio
Nomadic Radio: Scaleable and Contextual Notification for Wearable Audio Messaging / Nitin Sawhney ; Chris Schmandt
Tangible Progress: Less is More in Somewire Audio Spaces / Andrew Singer ; Debby Hindus ; Lisa Stifelman
Whisper: A Wristwatch Style Wearable Handset / Masaaki Fukumoto ; Yoshinobu Tonomura
Papers: Collaborative and Multimedia Systems
i-Land: An Interactive Landscape for Creativity and Innovation / Norbert A. Streitz ; Jorg Geibler ; Torsten Holmer ; Wolfgang Reischl ; Ralf Steinmetz
Logjam: A Tangible Multi-Person Interface for Video Logging / Jonathan Cohen ; Meg Withgott ; Philippe Piernot
Time-Compression: Systems Concerns, Usage, and Benefits / Nosa Omoigui ; Liwei He ; Anoop Gupta
Papers: Characters and Agents
SWEETPEA: Software Tools for Programmable Embodied Agents / Michael Kaminsky ; Paul Dourish ; W. Keith Edwards
Sympathetic Interfaces: Using a Plush Toy to Direct Synthetic Characters / Michael Patrick Johnson ; Andrew Wilson ; Bruce Blumberg ; Christopher Kline ; Aaron Bobick
Principles of Mixed-Initiative User Interfaces / Eric Horvitz
Papers: Progress in Drawing and CAD
An Exploration into Supporting Artwork Orientation in the User Interface / George W. Fitzmaurice
An Alternative Way of Drawing / Roope Raisamo
The Strategic Use of CAD: An Empirically Inspired, Theory-Based Course / Suresh K. Bhavnani ; Bonnie E. John ; Ulrich Flemming
Papers: Programming Techniques and Issues
Implementing Interface Attachments Based on Surface Representations / Dan R. Olsen Jr ; Scott E. Hudson ; Thom Verratti
A Visual Medium for Programmatic Control of Interactive Applications / Luke S. Zettlemoyer ; Robert St. Amant
Should We Leverage Natural-Language Knowledge? An Analysis of User Errors in a Natural-Language-Style Programming Language / Amy Bruckman ; Elizabeth Edwards
Papers: Touching, Pointing, and Choosing
Testing Pointing Device Performance and User Assessment with the ISO 9241, Part 9 Standard / Sarah A. Douglas ; Arthur E. Kirkpatrick
Touch-Sensing Input Devices / Ken Hinckley ; Mike Sinclair
The Hotbox: Efficient Access to a Large Number of Menu-items / Russell N. Owen
Papers: Gaze and Purpose
Combining Observations of Intentional and Unintentional Behaviors for Human-Computer Interaction / Yoshinori Kuno ; Tomoyuki Ishiyama ; Satoru Nakanishi
Manual and Gaze Input Cascaded (MAGIC) Pointing / Shumin Zhai ; Carlos Morimoto ; Steven Ihde
Inferring Intent in Eye-Based Interfaces: Tracing Eye Movements with Process Models / Dario D. Salvucci
Papers: Foundations for Navigation
Direct Combination / Simon Holland ; Daniel Oppenheim
Footprints: History-Rich Tools for Information Foraging / Alan Wexelblat ; Pattie Maes
Design Guidelines for Landmarks to Support Navigation in Virtual Environments / Norman G. Vinson
Papers: Working with People Near and Far
Single Display Groupware: A Model for Co-Present Collaboration / Jason Stewart ; Benjamin B. Bederson ; Allison Druin
The GAZE Groupware System: Mediating Joint Attention in Multiparty Communication and Collaboration / Roel Vertegaal
Video Helps Remote Work: Speakers Who Need to Negotiate Common Ground Benefit from Seeing Each Other / Elizabeth S. Veinott ; Judith Olson ; Gary M. Olson ; Xiaolan Fu
Papers and Video Paper: Stories and Narratives
Designing Multimedia for Learning: Narrative Guidance and Narrative Construction / Lydia Plowman ; Rosemary Luckin ; Diana Laurillard
Interactive 3D Sound Hyperstories for Blind Children / Mauricio Lumbreras ; Jaime Sanchez
Designing PETS: A Personal Electronic Teller of Stories / Jaime Montemayor ; Jim Hendler
Papers: Profiles, Notes, and Surfaces
Visual Profiles: A Critical Component of Universal Access / Julie A. Jacko ; Max A. Dixon ; Robert H. Rosa, Jr.
NotePals: Lightweight Note Sharing by the Group, for the Group / Richard C. Davis ; Victor Chen
Flatland: New Dimensions in Office Whiteboards / Elizabeth D. Mynatt ; Anthony LaMarca
Papers: Tagging and Tracking Objects in Physical UIs
Palette: A Paper Interface for Giving Presentations / Les Nelson ; Satoshi Ichimura ; Elin Ronby Pedersen
TouchCounters: Designing Interactive Electronic Labels for Physical Containers / Paul Yarin ; Hiroshi Ishii
Bridging Physical and Virtual Worlds with Electronic Tags / Roy Want ; Kenneth P. Fishkin ; Anuj Gujar
Papers: Augmented Surfaces
Augmented Surfaces: A Spatially Continuous Work Space for Hybrid Computing Environments / Jun Rekimoto ; Masanori Saitoh
Urp: A Luminous-Tangible Workbench for Urban Planning and Design / John Underkoffler
PingPongPlus: Design of an Athletic-Tangible Interface for Computer-Supported Cooperative Play / Craig Wisneski ; Julian Orbanes
Papers: Cognitive Models of Screen Interaction
Eye Tracking the Visual Search of Click-Down Menus / Michael D. Byrne ; John R. Anderson ; Scott Douglass
Cognitive Modeling Demonstrates How People Use Anticipated Location Knowledge of Menu Items / Anthony J. Hornof ; David E. Kieras
Learning and Performing by Exploration: Label Quality Measured by Latent Semantic Analysis / Rodolfo Soto
Papers: Tools for Building Interfaces and Applications
MOBILE: User-Centered Interface Building / Angel R. Puerta ; Eric Cheng ; Tunhow Ou
The Context Toolkit: Aiding the Development of Context-Enabled Applications / Daniel Salber ; Anind K. Dey ; Gregory D. Abowd
Getting More Out of Programming-By-Demonstration / Richard G. McDaniel ; Brad A. Myers
Papers: Vision and Fitts' Law
Navigation as Multiscale Pointing: Extending Fitts' Model to Very High Precision Tasks / Yves Guiard ; Michel Beaudouin-Lafon ; Sud Deni Mottet
Authoring Animated Web Pages Using 'Contact Points' / Pete Faraday ; Alistair Sutcliffe
Performance Evaluation of Input Devices in Trajectory-based Tasks: An Application of The Steering Law / Johnny Accot
Papers: Learning and Reading
Symphony: A Case Study in Extending Learner-Centered Design Through Process Space Analysis / Chris Quintana ; Jim Eng ; Andrew Carra
The Reader's Helper: A Personalized Document Reading Environment / Jamey Graham
VR's Frames of Reference: A Visualization Technique for Mastering Abstract Multidimensional Information / Marilyn C. Salzman ; Chris Dede ; R. Bowen Loftin
Papers: Navigation and Visualization
FotoFile: A Consumer Multimedia Organization and Retrieval System / Allan Kuchinsky ; Celine Pering ; Michael L. Creech
Hyper Mochi Sheet: A Predictive Focusing Interface for Navigating and Editing Nested Networks through a Multifocus Distortion-Oriented View / Masashi Toyoda ; Etsuya Shibayama
Excentric Labeling: Dynamic Neighborhood Labeling for Data Visualization / Jean-Daniel Fekete ; Catherine Plaisant
Papers: Virtual Reality and Embodiment
Embodiment in Conversational Interfaces: Rea / J. Cassell ; T. Bickmore ; M. Billinghurst
Emotional Interfaces for Interactive Aardvarks: Designing Affect into Social Interfaces for Children / Erik Strommen ; Kristin Alexander
Bridging Strategies for VR-Based Learning / Tom Moher ; Stellan Ohlsson
Papers: Organizing Information on the Web
The Tangled Web We Wove: A Taskonomy of WWW Use / Neil S. Wehrle
An Empirical Evaluation of User Interfaces for Topic Management of Web Sites / Brian Amento ; Will Hill ; Loren Terveen
Visualizing Implicit Queries for Information Management and Retrieval / Mary Czerwinski ; Susan Dumais ; George Robertson
Papers: Speech and Multimodal Interfaces
Patterns of Entry and Correction in Large Vocabulary Continuous Speech Recognition Systems / Clare-Marie Karat ; Christine Halverson ; John Karat
Mutual Disambiguation of Recognition Errors in a Multimodal Architecture / Sharon Oviatt
Model-Based and Emprical Evaluation of Multimodal Interactive Error Correction / Bernhard Suhm ; Alex Waibel ; Brad Myers
Papers: Advances in User Participation
Cooperative Inquiry: Developing New Technologies for Children with Children
Projected Realities: Conceptual Design for Cultural Effect / William Gaver ; Anthony Dunne
Customer-Focused Design Data in a Large, Multi-Site Organization / Paula Curtis ; Tammy Heiserman ; David Jobusch
Papers: Groupware
An Empirical Study of How People Establish Interaction: Implications for CSCW Session Management Models / Steinar Kristoffersen ; Fredrik Ljungberg
Chat Circles / Fernanda B. Viegas ; Judith S. Donath
2.

電子ブック

EB
Warren Waggenspack, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , ACM Press/Addison-Wesley Publishing Co., 1999
所蔵情報: loading…
3.

電子ブック

EB
Richard M. Fujimoto, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , IEEE, 1999
所蔵情報: loading…
目次情報: 続きを見る
Foreword
Committees
Reviewers
List of Past Chairs
Opening and Keynote Address
Beyond Speedup: PADS, the HLA and Web-Based Simulation / Ernest H. Page
Conservative Simulation Techniques
Path Lookahead: A Data Flow View of PDES Models / R.A. Meyer ; R.L. Bagrodia
Scheduling Critical Channels in Conservative Parallel Discrete Event Simulation / Z. Xiao ; B. Unger ; R. Simmonds ; J. Cleary
Case Study: Parallelizing a Sequential Simulation Model / L. Bajaj ; R. Bagrodia ; R. Meyer
Scheduling and Synchronization
On Event Ordering in Parallel Discrete Event Simulation / R. Ronngren ; M. Liljenstam
Exploiting Temporal Uncertainty in Parallel and Distributed Simulations / R.M. Fujimoto
GVT and Scheduling in Space Time Memory Based Techniques / A. Fabbri
Keynote Address and Panel Session
The High Level Architecture and Beyond: Technology Challenges / Judith S. Dahmann
Panel Session: Future Directions for Research in Parallel and Distributed Simulation Systems
Defense Simulation and DIS
Experience in Retrofitting a Large Sequential Ada Simulator to Two Versions of Time Warp / R. Smith ; R. Andress ; G.M. Parsons
An Auto-Adaptive Dead Reckoning Algorithm for Distributed Interactive Simulation / W. Cai ; F.B.S. Lee ; L. Chen
Optimistic Simulation Techniques I
Shock Resistant Time Warp / A. Ferscha ; J. Johnson
On Learning Algorithms and Balancing Loads in Time Warp / M. Choe ; C. Tropper
Combining Periodic and Probabilistic Checkpointing in Optimistic Simulation / F. Quaglia
Optimistic Simulation Techniques II
Fast-Software-Checkpointing in Optimistic Simulation: Embedding State Saving into the Event Routine Instructions
Efficient Optimistic Parallel Simulations using Reverse Computation / C.D. Carothers ; K.S. Perumalla
Optimism: Not Just for Event Execution Anymore / C.H. Young ; R. Radhakrishnan ; P.A. Wilsey
Performance Prediction and Analysis
Performance Prediction Tools for Parallel Discrete-Event Simulation / C.-C. Lim ; Y.-H. Low ; B.-P. Gan ; S. Jain ; W.J. Hsu ; S.Y. Huang
Performance Prediction of a Parallel Simulator / J. Liu ; D. Nicol ; B. Premore ; A. Poplawski
Simulation and Computer Networks
Exploiting Model Independence for Parallel PCS Network Simulation / A. Boukerche ; S.K. Das ; O. Yildiz
Time Warp Simulation on Clumps / G.D. Sharma ; U.K.V. Rajasekaran ; N. Abu-Ghazaleh
Active Virtual Network Management Protocol / S.F. Bush
Author Index
Foreword
Committees
Reviewers
4.

電子ブック

EB
Allan Gottlieb, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , IEEE, 1999
所蔵情報: loading…
5.

電子ブック

EB
Association for Computing Machinery-Digital Library.; ACM Special Interest Group on Design Automation., Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , IEEE, 1999
所蔵情報: loading…
目次情報: 続きを見る
Message from the Program Chair
Steering Committee
Technical Program Committee
Invited Talks / Session 1:
Design of a Set-Top Box System on a Chip / E. Foster
On the Rapid Prototyping and Design of a Wireless Communication System on a Chip / B. Kelley
Embedded Tutorial: Java Compilation Technology / Session 2:
Embedded Java: Techniques and Applications / B. Barry ; J. Duimovich
Panel: System-Level Design: Designers' Wish List vs. Reality / D. Gajski ; R. Bergamaschi ; M. Franz ; W. Lee ; K. Vissers ; J. Kunkel ; G. Martin ; A. Horak ; G. Hellestrand
Panel Statement
Invited Talk / Session 3:
Microelectromechanical Systems (MEMS): Miniaturization Beyond Microelectronics / N. Maluf
Embedded Tutorial / Session 4:
Middleware Techniques and Optimizations for Real-Time, Embedded Systems / D. Schmidt
Real-Time and Low Power System Design / P. ChouSession 5:
Event-Driven Power Management of Portable Systems / T. Simunic ; G. De Micheli ; L. Benini
Real-Time Task Scheduling for a Variable Voltage Processor / T. Okuma ; T. Ishihara ; H. Yasuura
Path-based Edge Activation for Dynamic Run-Time Scheduling / V. Mooney III
Performance Issues in System Design / Session 6:
Optimized System Synthesis of Complex RT Level Building Blocks from Multirate Dataflow Graphs / J. Horstmannshoff ; H. Meyr
RTGEN: An Algorithm for Automatic Generation of Reservation Tables from Architectural Descriptions / P. Grun ; A. Halambi ; N. Dutt ; A. Nicolau
Pre-fetching for Improved Core Interfacing / R. Lysecky ; F. Vahid ; R. Patel ; T. Givargis
Compressed Code Execution on DSP Architectures / P. Centoducatte ; R. Pannain ; G. Araujo
Memory Design for Embedded Systems / Session 7:
Loop Scheduling and Partitions for Hiding Memory Latencies / F. Chen ; E. Sha
Loop Alignment for Memory Accesses Optimization / A. Fraboulet ; G. Huard ; A. Mignotte
A Buffer Merging Technique for Reducing Memory Requirements of Synchronous Dataflow Specifications / P. Murthy ; S. Bhattacharyya
Exploration and Synthesis of Dynamic Data Sets in Telecom Network Applications / C. Ykman-Couvreur ; J. Lambrecht ; D. Verkest ; F. Catthoor ; H. De Man
Architectural Synthesis / Session 8:
A Graph Theoretic Approach for Design and Synthesis of Multiplierless FIR Filters / K. Muhammad ; K. Roy
Efficient Scheduling of DSP Code on Processors with Distributed Register Files / B. Mesman ; C. Alba Pinto ; K. van Eijk
Automatic Architectural Synthesis of VLIW and EPIC Processors / S. Aditya ; B. Ramakrishna Rau ; V. Kathail
Bit-Width Selection for Data-Path Implementations / C. Carreras ; J. Lopez ; O. Nieto-Taladriz
System Design Methodologies / Giovanni De MicheliSession 9:
Catalyst: A DSIP Design Flow Development in Industry / W. De Rammelaere ; K. Eckert ; T. Lawell ; R. McGarity ; F. Steininger ; P. Le Moenner ; E. Hilkens
System Synthesis of Synchronous Multimedia Applications / G. Qu ; M. Mesarina ; M. Potkonjak
A Framework for Scheduling and Context Allocation in Reconfigurable Computing / R. Maestre ; M. Fernandez ; R. Hermida ; N. Bagherzadeh
Index of Authors
Message from the Program Chair
Steering Committee
Technical Program Committee
6.

電子ブック

EB
Ronny Ronen, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , IEEE, 1999
所蔵情報: loading…
目次情報: 続きを見る
Foreword
Committees
Reviewers
Welcome and Keynote / Uri WeiserSession 1:
New Microarchitecture Challenges in the Coming Generations of CMOS Process Technologies / F. Pollack
Faster FrontEnd / Gary TysonSession 2:
Control Independence in Trace Processors / E. Rotenberg ; J. Smith
Fetch Directed Instruction Prefetching / G. Reinman ; B. Calder ; T. Austin
Improving Branch Predictors by Correlating on Data Values / T. Heil ; Z. Smith
Instruction Fetch Mechanisms for Multipath Execution Processors / A. Klauser ; D. Grunwald
3D and MultiMedia / Matthew FarrensSession 3:
A Superscalar 3D Graphics Engine / A. Wolfe ; D. Noonburg
Dynamic 3D Graphics Workload Characterization and the Architectural Implications / T. Mitra ; T. Chiueh
Exploiting a New Level of DLP in Multimedia Applications / J. Corbal ; R. Espasa ; M. Valero
Efficient Embedded Processors / Kemal EbciogluSession 4:
Compiler-Driven Cached Code Compression Schemes for Embedded ILP Processors / S. Larin ; T. Conte
Evaluation of a High Performance Code Compression Method / C. Lefurgy ; E. Piccininni ; T. Mudge
Low-Cost Branch Folding for Embedded Applications with Small Tight Loops / L. Lee ; J. Scott ; B. Moyer ; J. Arends
Memory Hierarchy / Doug BurgerSession 5:
Automatic and Efficient Evaluation of Memory Hierarchies for Embedded Systems / S. Abraham ; S. Mahlke
Hardware Identification of Cache Conflict Misses / J. Collins ; D. Tullsen
Access Region Locality for High-Bandwidth Processor Memory System Design / S. Cho ; P. Yew ; G. Lee
Code Transformations to Improve Memory Parallelism / V. Pai ; S. Adve
Better Scheduling / Stephan JourdanSession 6:
Compiler-Directed Dynamic Computation Reuse: Rationale and Initial Results / D. Connors ; W. Hwu
Dynamic Memory Disambiguation in the Presence of Out-of-Order Store Issuing / S. Onder ; R. Gupta
Read-After-Read Memory Dependence Prediction / A. Moshovos ; G. Sohi
Delaying Physical Register Allocation through Virtual-Physical Registers / T. Monreal ; A. Gonzalez ; J. Gonzalez ; V. Vinals
Invited Speaker / Gabby SilbermanSession 7:
Core Technologies in Hardware and Software / B. Shriver
Novel Microarchitectures and Multithreading / Brad CalderSession 8:
DIVA: A Reliable Substrate for Deep Submicron Microarchitecture Design
Exploiting ILP in Page-based Intelligent Memory / M. Oskin ; J. Hensley ; D. Keen ; F. Chong ; M. Farrens ; A. Chopra
The Use of Multithreading for Exception Handling / C. Zilles ; J. Emer
Value Prediction for Speculative Multithreaded Architectures / P. Marcuello ; J. Tubella
Low Power Enhancements / Mateo ValeroSession 9:
Predicting the Usefulness of a Block Result: A Micro-Architectural Technique for High-Performance Low-Power Processors / E. Musoll
Selective Cache Ways: On-Demand Cache Resource Allocation / D. Albonesi
Compilers / David BernsteinSession 10:
Wavefront Scheduling: Path based Data Representation and Scheduling of Subgraphs / J. Bharadwaj ; K. Menezes ; C. McKinsey
Balance Scheduling: Weighting Branch Tradeoffs in Superblocks / A. Eichenberger ; W. Meleis
Optimizations and Oracle Parallelism with Dynamic Translation / K. Ebcioglu ; E. Altman ; S. Sathaye ; M. Gschwind
Summary and Awards / Session 11:
Index of Authors
Foreword
Committees
Reviewers
7.

電子ブック

EB
Winter Simulation Conference 1999, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , IEEE, 1999
所蔵情報: loading…
8.

電子ブック

EB
Jacob White, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , IEEE, 1999
所蔵情報: loading…
9.

電子ブック

EB
IEEE Visualization'99, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , IEEE, 1999
所蔵情報: loading…
10.

電子ブック

EB
Margo Seltzer, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Berkeley, CA : USENIX Association, 1999
所蔵情報: loading…
11.

電子ブック

EB
Jodi Giroux, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , New York, NY : ACM, 1999
所蔵情報: loading…
12.

電子ブック

EB
Marla Schweppe, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , New York, NY : ACM, 1999
所蔵情報: loading…
13.

電子ブック

EB
UML '99, Robert B. France, Bernhard Rumpe, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 1999
所蔵情報: loading…
目次情報: 続きを見る
Invited Talk 1 (Abstract)
Architecting Web-Based Systems with the Unified Modeling Language / Grady Booch
Software Architecture
Extending Architectural Representation in UML with View Integration / Alexander Egyed ; Nenad Medvidovic
Enabling the Refinement of a Software Architecture into a Design / Marwan Abi-Antoun
Using the UML for Architectural Description / Rich Hilliard
UML and Other Notations
Viewing the OML as a Variant of the UML / Brian Henderson-Sellers ; Colin Atkinson ; Don Firesmith
A Comparison of the Business Object Notation and the Unified Modeling Language / Richard F. Paige ; Jonathan S. Ostroff
Formalizing the UML Class Diagram Using Object-Z / Soon-Kyeong Kim ; David Carrington
Formalizing Interactions
A Formal Approach to Collaborations in the Unified Modeling Language / Gunnar Övergaard
A Formal Semantics for UML Interactions / Alexander Knapp
Panel 1
UML 2.0 Architectural Crossroads: Sculpting or Mudpacking? / Moderator: Chris Kobryn ; Michael Jesse Chonoles ; Steve Cook ; Desmond D'Souza ; Sridhar Iyengar ; Guus Ramackers
Meta-Modeling
Core Meta-Modelling Semantics of UML: The pUML Approach / Andy Evans ; Stuart Kent
A Metamodel for OCL / Mark Richters ; Martin Gogolla
Tools
Tool-Supported Compressing of UML Class Diagrams / Ferenc Dósa Rácz ; Kai Koskimies
A Pragmatic Approach for Building a User-Friendly and Flexible UML Model Repository / Mariano Belaunde
Components
Modeling Dynamic Software Components in UML / Axel Wienberg ; Florian Matthes ; Marko Boger
Extending UML for Modeling Reflective Software Components / Junichi Suzuki ; Yoshikazu Yamamoto
UML Extension Mechanisms
Nine Suggestions for Improving UML Extensibility / Nathan Dykman ; Martin Griss ; Robert Kessler
A Classification of Stereotypes for Object-Oriented Modeling Languages / Stefan Berner ; Martin Glinz ; Stefan Joos
First-Class Extensibility for UML - Packaging of Profiles, Stereotypes, Patterns / Aamod Sane ; Alan Birchenough
Process Modeling
UML-Based Fusion Analysis / Shane Sendall ; Alfred Strohmeier
Using UML for Modelling the Static Part of a Software Process / Xavier Franch ; Josep M. Ribó
Framework for Describing UML Compatible Development Processes / Pavel Hruby
Invited Talk 2
On the Behavior of Complex Object-Oriented Systems / David Harel
Real-Time Systems
UML-RT as a Candidate for Modeling Embedded Real-Time Systems in the Telecommunication Domain / Dominikus Herzberg
Modeling Hard Real Time Systems with UML - The OOHARTS Approach / Laila Kabous ; Wolfgang Nebel
UML Based Performance Modeling Framework for Object-Oriented Distributed Systems / Pekka Kähkipuro
Constraint Languages
Defining the Context of OCL Expressions / Anneke Kleppe ; Richard Mitchell ; Jos Warmer ; Alan Wills
Mixing Visual and Textual Constraint Languages / John Howse
Correct Realizations of Interface Constraints with OCL / Michel Bidoit ; Rolf Hennicker ; Françoise Tort ; Martin Wirsing
Analyzing UML Models 1
Generating Tests from UML Specifications / Jeff Offutt ; Aynur Abdurazik
Formalising UML State Machines for Model Checking / Johan Lilius ; Iván Porres Paltor
Panel 2
SDL as UML: Why and What / Moderator: Bran Selic ; Philippe Dhaussy ; Anders Ek ; Øystein Haugen ; Philippe Leblanc,Birger Møller-Pedersen
Coding 1
UML Behavior: Inheritance and Implementation in Current Object-Oriented Languages / Jean Louis Sourrouille
UML Collaboration Diagrams and Their Transformation to Java / Gregor Engels ; Roland Hücking ; Stefan Sauer ; Annika Wagner
Analyzing UML Models 2
Towards Three-Dimensional Representation and Animation of UML Diagrams / Oliver Radfelder
Typechecking UML Static Models / Tony Clark
Precise Behavioral Modeling
Analysing UML Use Cases as Contracts / Ralph-Johan Back ; Luigia Petre
Closing the Gap Between Object-Oriented Modeling of Structure and Behavior / Holger Giese ; Jörg Graf ; Guido Wirtz
Static Modeling
Black and White Diamonds / Franck Barbier
Interconnecting Objects via Contracts / Luís Filipe Andrade ; José Luiz Fiadeiro
How Can a Subsystem Be Both a Package and a Classifier? / Joaquin Miller ; Rebecca Wirfs-Brock
Applying the UML
Using UML/OCL Constraints for Relational Database Design / Birgit Demuth ; Heinrich Hussmann
Towards a UML Extension for Hypermedia Design / Hubert Baumeister ; Nora Koch ; Luis Mandel
Why Unified is Not Universal? - UML Shortcomings for Coping with Round-Trip Engineering / Serge Demeyer ; Stéphane Ducasse ; Sander Tichelaar
Sequence Diagrams
Timed Sequence Diagrams and Tool-Based Analysis - A Case Study / Thomas Firley ; Michaela Huhn ; Karsten Diethers ; Thomas Gehrke ; Ursula Goltz
Timing Analysis of UML Sequence Diagrams / Xuandong Li
Coding 2
The Normal Object Form: Bridging the Gap from Models to Code / Christian Bunse
Modeling Exceptional Behavior / Neelam Soundarajan ; Stephen Fridella
Panel 3
Advanced Methods and Tools for a Precise UML / Moderator: Andy Evans ; Steve Mellor
Author Index
Invited Talk 1 (Abstract)
Architecting Web-Based Systems with the Unified Modeling Language / Grady Booch
Software Architecture
14.

電子ブック

EB
International Symposium on Handheld and Ubiquitous Computing, Hans-W Gellersen, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 1999
所蔵情報: loading…
目次情報: 続きを見る
Invited Keynotes
Design Probes for Handheld and Ubiquitous Computing / H. Thimbleby
Maintaining Context and Control in a Digital World / S.P. Stenton
Everywhere Messaging / C. Schmandt
Mobile, Ubiquitous and the Sense of Space / M. Susani
Handheld and Wearable Appliances
The Children's Machines: Handheld and Wearable Computers Too / B. Mikhak ; F. Martin ; M. Resnick ; R. Berg ; B. Silverman
Pocket BargainFinder: A Handheld Device for Augmented Commerce / A.B. Brody ; E.J. Gottsman
Location-Based Services
Scalable and Flexible Location-Based Services for Ubiquitous Information Access / R. José ; N. Davies
Enabling Context-Awareness from Network-Level Location Tracking / P. Couderc ; A.-M. Kermarrec
Smart Devices and Smart Environments
Perceptual Intelligence / A. Pentland
Advanced Interaction in Context / A. Schmidt ; K.A. Aidoo ; A. Takaluoma ; U. Tuomela ; K. Van Laerhoven ; W. Van de Velde
Exploring Brick-Based Navigation and Composition in an Augmented Reality / M. Fjeld ; F. Voorhorst ; M. Bichsel ; K. Lauche ; M. Rauterberg ; H. Krueger
Handhelds in Distributed Systems
Handheld Computing Predictions: What Went Wrong ? / J.P. Allen
The Open-End Argument for Private Computing / T. Stabell-Kulø ; F. Dillema ; T. Fallmyr
Integrating PDAs into Distributed Systems: 2K and PalmORB / M. Román ; A. Singhai ; D. Carvalho ; C. Hess ; R.H. Campbell
Designing Information Appliances Using a Resource Replication Model / M.J. Silva ; A.P. Afonso
Handheld and Wearable CSCW
Active Map: A Visualization Tool for Location Awareness to Support Informal Interactions / J.F. McCarthy ; E.S. Meidel
Close Encounters: Supporting Mobile Collaboration through Interchange of User Profiles / G. Kortuem ; Z. Segall ; T. G Cowan Thompson
A Digital Photography Framework Supporting Social Interaction and Affective Awareness / O. Liechti ; T. Ichikawa
Context-Aware Mobile Applications
The Role of Connectivity in Supporting Context-Sensitive Applications / K. Cheverst ; K. Mitchell ; A. Friday
Issues in Developing Context-Aware Computing / J. Pascoe ; N. Ryan ; D. Morse
RAMSES: A Mobile Computing System for Field Archaeology / M. Ancona ; G. Dodero ; V. Gianuzzi
Interacting with Environments
Token-Based Access to Digital Information / L.E. Holmquist ; J. Redström ; P. Ljungstrand
InfoStick: An Interaction Device for Inter-appliance Computing / N. Kohtake ; J. Rekimoto ; Y. Anzai
Using Spatial Co-location for Coordination in Ubiquitous Computing Environments / M. Beigl
Amplifying Reality / J. Falk ; S. Björk
Interacting with Handholds
Designing Interaction Styles for a Mobile Use Context / S. Kristoffersen ; F. Ljungberg
POBox: An Efficient Text Input Method for Handheld and Ubiquitous Computing / T. Masui
Panels
Middleware for Ubiquitous Computing / R.J. Aiken ; A. Abramski ; J. Bates ; T. Blackadar
Towards a Better Understanding of Context and Context-Awareness / G.D. Abowd ; A.K. Dey ; P.J. Brown ; M. Smith ; P. Steggles
Posters
The MediaCup: Awareness Technology Embedded in an Everyday Object / H.-W. Gellersen ; H. Krull
Point & Click - Interaction in Smart Environments
Wearable Information Appliances for the Emergency Services: HotHelmet / C. Baber ; D.J. Haniff ; R. Buckley
Using Wearable Computer as an Audiovisual Memory Prosthesis / J. Hoisko
Today's Stories / M. Panayi ; D. Roy ; O. Cakmakci ; K. De Paepe ; N.O. Bernsen
On the Self Evaluation of a Wearable Assistant
On Positioning for Augmented Reality Systems / S. Persa ; P. Jonker
Hippie: A Nomadic Information System / R. Oppermann ; M. Specht ; I. Jaceniak
A Rapidly Configurable Location-Aware Information System for an Exterior Environment / R.P. O'Rafferty ; M.J. O'Grady ; G.M.P. O'Hare
Mobile Computing in Machine Engineering Applications / M. Brachtl ; L. Mikšíček ; P. Slavík
Chameleon - Reconfigurability in Hand-held Multimedia Computers / G.J.M. Smit ; T. Bos ; P.J.M. Havinga ; S. Mullender ; J. Smit
An Evaluation of WebTwig - A Site Outliner for Handheld Web Access / M. Jones ; G. Buchanan ; N. Mohd-Nasir
Human Factors of Multi-modal Ubiquitous Computing / W. Edmondson
URCP: Experimental Support for Multi-modal Interfaces / A. Donnelly ; E. Barnstedt
Magic Medicine Cabinet: A Situated Portal for Consumer Healthcare / D. Wan
Augmented Workspace: The World as Your Desktop / K.L. Dempski
The ChatterBox / P. Jaksetic
Pollen: Virtual Networks That Use People as Carriers / N. Glance ; D. Snowdon
VoIP in Context-Aware Communication Spaces / T. Kanter ; H. Gustafsson
A Platform for Environment-Aware Applications / S. van der Meer ; S. Arbanowski ; R. Popescu-Zeletin
The Design and Implementation of the Ubidata Information Dissemination Framework / J.P. Campos ; F.S. Regateiro
Co-authoring in Dynamic Teams with Mobile Individuals / C. Burger ; O. Schramm
A Universal, Location-Aware Hoarding Mechanism / U. Kubach ; K. Rothermel
QoS and Context Awareness for Mobile Computing / D. Chalmers ; M. Sloman
Anonymous and Confidential Communications from an IP Addressless Computer / C. Molina-Jiménez ; L. Marshall
Ad-hoc Network Routing for Centralized Information Sharing Systems / H. Lim ; C. Kim
Author Index
Invited Keynotes
Design Probes for Handheld and Ubiquitous Computing / H. Thimbleby
Maintaining Context and Control in a Digital World / S.P. Stenton
15.

電子ブック

EB
Association for Computing Machinery-Digital Library.; ACM Special Interest Group on Computer Architecture., Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , IEEE, 1999
所蔵情報: loading…
目次情報: 続きを見る
Message from the Chairs
Organizing Committee
Program Committee
Reviewers
Microarchitecture / Session 1:
Exploring Instruction-Fetch Bandwidth Requirement in Wide-Issue Superscalar Processors / P. Michaud ; A. Seznec ; S. Jourdan
MPEG-2 Video Decompression on Simultaneous Multithreaded Multimedia Processors / H. Oehring ; U. Sigmund ; T. Ungerer
A Fully Asynchronous Superscalar Architecture / D. Arvind ; R. Mullins
Multithreading / Session 2:
The Need for Fast Communication in Hardware-Based Speculative Chip Multiprocessors / V. Krishnan ; J. Torellas
A Multithreaded Java Microcontroller for Thread-Oriented Real-Time Event Handling / U. Brinkschulte ; C. Krakowski ; J. Kreuzinger
On Dynamic Speculative Thread Partitioning and the MEM-Slicing Algorithm / L. Codrescu ; D. Wills
Prediction Mechanisms / Session 3:
Branch Prediction Using Selective Branch Inversion / S. Manne ; A. Klauser ; D. Grunwald
Control-Flow Speculation through Value Prediction for Superscalar Processors / J. Gonzalez ; A. Gonzalez
Exploring Last n Value Prediction / M. Burtscher ; B. Zorn
Compilation Techniques / Session 4:
Evaluating Register Allocation and Instruction Scheduling Techniques in Out-Of-Order Issue Processors / M. Valluri ; R. govindarajan
Containers on the Parallelization of General-Purpose Java Programs / P. Wu ; D. Padua
The Modulo Interval: A Simple and Practical Representation for Program Analysis / T. Nakanishi ; K. Joe ; C. Polychronopoulos ; A. Fukuda
Performance Characterization / Session 5:
Memory System Support for Image Processing / L. Zhang ; B. Carter ; W. Hsieh ; S. McKee
Performance Characteristics of a Network of Commodity Multiprocessors for the NAS Benchmarks Using a Hybrid Memory Model / F. Capello ; O. Richard
Quantifying the Benefits of SPECint Distant Parallelism in Simultaneous Multi-Threading Architectures / D. Ortega ; I. Martel ; E. Ayguade ; M. Valero
Invited Talk
High-End Computing Technology: Where is it Heading? / Greg Astfalk ; Hewlett-Packard Company
Advanced Compilation / Session 6:
LaTTe: A Java VM Just-In-Time Compiler with Fast and Efficient Register Allocation / B-S. Yang ; S-M. Moon ; S. Park ; J. Lee ; S. Lee ; J. Park ; Y. Chung ; S. Kim ; K. Ebcioglu ; E. Altman
Automatic Parallelization of Recursive Procedures / M. Gupta ; S. Mukhopadhyay ; N. Sinha
On the Complexity of Loop Fusion / A. Darte
Micro-Clusters, Clusters and SMPs / Session 7:
A Cost-Effective Clustered Architecture / R. Canal ; J-M. Parcerisa
Optimizing Data Locality for SCI-Based PC-Clusters with the SMiLE Monitoring Approach / W. Karl ; M. Leberecht ; M. Schultz
Dynamic Linking on a Shared-Memory Multiprocessor / B. Alpern ; M. Charney ; J-D. Choi ; A. Cocchi ; D. Lieber
Reducing Cache Conflicts by Partitioning and Privatizing Shared Arrays / Z. Li
Applied Analytical Techniques / Session 8:
Localizing Non-Affine Array References / N. Mitchell ; L. Carter ; J. Ferrante
On Reducing False Sharing while Improving Locality on Shared Memory Multiprocessors / M. Kandemir ; A. Choudhary ; J. Ramanujam ; P. Banerjee
Lower Bounding Techniques for the Multiprocessor Scheduling Problem with Communication Delay / S. Fujita ; T. Nakagawa
Automatic Analytical Modeling for the Estimation of Cache Misses / B. Fraguela ; R. Doallo ; E. Zapata
Linux Alighted: Down to Earth Clusters / Beau Vrolyk ; Silicon Graphics
Architecture-Driven Compilation / Session 9:
Cameron: High level Language Compilation for Reconfigurable Systems / J. Hammes ; B. Rinker ; W. Bohm ; W. Najjar ; B. Draper ; R. Beveridge
Predicated Static Single Assignment / B. Simon ; B. Calder
The Effect of Program Optimization on Trace Cache Efficiency / D. Howard ; M. Lipasti
Advanced Parallelization / Session 10:
Data Dependence Testing in Practice / K. Psarris ; K. Kyriakopoulos
On Index Set Splitting / M. Griebl ; P. Feautrier ; C. Lenguaer
Efficient Parallelization Using Combined Loop and Data Transformations / M. O'boyle ; P. Knijnenburg
Predication and Speculation / Session 11:
Caching and Predicting Branch Sequences for Improved Fetch Effectiveness / S. Onder ; J. Xu ; R. Gupta
In Search of Speculative Thread-Level Parallelism / J. Oplinger ; D. Heine ; M. Lam
Looking at History to Filter Allocations in Prediction Tables / E. Morancho ; J. Maria Llaberia ; A. Olive
Author Index
Message from the Chairs
Organizing Committee
Program Committee
16.

電子ブック

EB
Robert E. Tarjan, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Society for Industrial and Applied Mathematics, 1999
所蔵情報: loading…
17.

電子ブック

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

電子ブック

EB
Ritu Agarwal, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , ACM, 1999
所蔵情報: loading…
19.

電子ブック

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

電子ブック

EB
Stephen C. Hayne, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , ACM, 1999
所蔵情報: loading…
21.

電子ブック

EB
Oren Etzioni, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , ACM, 1999
所蔵情報: loading…
22.

電子ブック

EB
Jeffrey S. Vitter, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , ACM, 1999
所蔵情報: loading…
23.

電子ブック

EB
Victor Milenkovic, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , ACM, 1999
所蔵情報: loading…
24.

電子ブック

EB
Sorin Istrail, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , ACM, 1999
所蔵情報: loading…
25.

電子ブック

EB
Richard N. Tayler, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , ACM, 1999
所蔵情報: loading…
26.

電子ブック

EB
Johndan Johnson-Eilola, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , ACM, 1999
所蔵情報: loading…
27.

電子ブック

EB
Sam Dooley, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , ACM, 1999
所蔵情報: loading…
28.

電子ブック

EB
Barry Boehm, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , IEEE, 1999
所蔵情報: loading…
29.

電子ブック

EB
Brad Vander Zanden, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , ACM, 1999
所蔵情報: loading…
30.

電子ブック

EB
Ernest Edmonds, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , ACM, 1999
所蔵情報: loading…
31.

電子ブック

EB
Virtual Reality Modeling Language 1999, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , ACM, 1999
所蔵情報: loading…
32.

電子ブック

EB
1999 5th (ACM) Symposium on Solid Modeling and Applications, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , ACM, 1999
所蔵情報: loading…
33.

電子ブック

EB
Jarek Rossignac, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , ACM, 1999
所蔵情報: loading…
34.

電子ブック

EB
Daniel A. Menasce, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , ACM, 1999
所蔵情報: loading…
35.

電子ブック

EB
Susan B. Davidson, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , ACM, 1999
所蔵情報: loading…
36.

電子ブック

EB
Jane Prey, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , ACM, 1999
所蔵情報: loading…
37.

電子ブック

EB
Barrett Bryant, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , ACM, 1999
所蔵情報: loading…
38.

電子ブック

EB
Carl Erickson, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , ACM, 1999
所蔵情報: loading…
39.

電子ブック

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

電子ブック

EB
D. F. Wong, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , ACM, 1999
所蔵情報: loading…
41.

電子ブック

EB
Cherri Pancake, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , IEEE, 1999
所蔵情報: loading…
42.

電子ブック

EB
Barbara G. Ryder, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , ACM, 1999
所蔵情報: loading…
43.

電子ブック

EB
Symposium on Prinicples of Programming Languages 1999, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , ACM, 1999
所蔵情報: loading…
44.

電子ブック

EB
Fredric Gey, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , ACM, 1999
所蔵情報: loading…
45.

電子ブック

EB
Brian Coan, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , ACM, 1999
所蔵情報: loading…
46.

電子ブック

EB
Marc Snir, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , ACM, 1999
所蔵情報: loading…
47.

電子ブック

EB
M. Jazayeri, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , ACM, 1999
所蔵情報: loading…
48.

電子ブック

EB
Mary Jane Irwin, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , ACM, 1999
所蔵情報: loading…
49.

電子ブック

EB
ESEC/FSE (Conference), Michel Lemoine, Oscar Marius Nierstrasz, Association for Computing Machinery-Digital Library., Association for Computing Machinery.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 1999
所蔵情報: loading…
目次情報: 続きを見る
Invited Papers
Extreme Programming: A Discipline of Software Development (Abstract) / Kent Beck
Components and Generative Programming / Krzysztof Czarnecki ; Ulrich W. Eisenecker
Software Components
A Component and Communication Model for Push Systems / Manfred Hauswirth ; Mehdi Jazayeri
A Fine-Grained Model for Code Mobility / Cecilia Mascolo ; Gian Pietro Picco ; Gruia-Catalin Roman
Robots: A Real-Time Systems Architectural Style / Vered Gafni
Software Process
Collaboration and Composition: Issues for a Second Generation Process Language / Brian C. Warboys ; Dharini Balasubramaniam ; R. Mark Greenwood ; Graham N.C. Kirby ; Ken Mayes ; Ron Morrison ; Dave S. Munro
Using UML for Software Process Modeling / Dirk Jäger ; Ansgar Schleicher ; Bernhard Westfechtel
A Probabilistic Model for Software Projects / Frank Padberg
Specification
Designing Specification Languages for Process Control Systems: Lessons Learned and Steps to the Future / Nancy G. Leveson ; Mats P.E. Heimdahl ; Jon Damon Reese
Using Model Checking to Generate Tests from Requirements Specifications / Angelo Gargantini ; Constance Heitmeyer
Specification-Based Prototyping for Embedded Systems / Jeffrey M. Thompson ; Steven P. Miller
Program Analysis
Coping with Type Casts in C / Michael Siff ; Satish Chandra ; Thomas Ball ; Krishna Kunchithapadam ; Thomas Reps
Efficient Points-to Analysis for Whole-Program Analysis / Donglin Liang ; Mary Jean Harrold
The Concept of Dynamic Analysis
Data-Flow Analysis of Program Fragments / Atanas Rountev ; Barbara G. Ryder ; William Landi
Testing and Debugging
Yesterday, My Program Worked. Today, It Does Not. Why? / Andreas Zeller
Comparison Checking: An Approach to Avoid Debugging of Optimized Code / Clara Jaramillo ; Rajiv Gupta ; Mary Lou Soffa
Structural Specification-Based Testing: Automated Support and Experimental Evaluation / Juei Chang ; Debra J. Richardson
An Efficient Relevant Slicing Method for Debugging / Tibor Gyimóthy ; Árpád Beszédes ; István Forgács
Java
Analyzing Exception Flow in JavaÖ Programs / Martin P. Robillard ; Gail C. Murphy
An Efficient Algorithm for Computing MHP Information for Concurrent Java Programs / Gleb Naumovich ; George S. Avrunin ; Lori A. Clarke
CoffeeStrainer: Statically-Checked Constraints on the Definition and Use of Types in Java / Boris Bokowski
Architecture and Models
The CIP Method: Component- and Model-Based Construction of Embedded Systems / Hugo Fierz
Algebraic Software Architecture Reconfiguration / Michel Wermelinger ; José Luiz Fiadeiro
Consistency Checking for Multiple View Software Architectures / Pascal Fradet ; Daniel Le Métayer ; Michaël Périn
Reuse
Synergy between Component-Based and Generative Approaches / Stan Jarzabek ; Peter Knauber
Transitioning Legacy Assets to a Product Line Architecture / Joachim Bayer ; Jean-François Girard ; Martin Würthner ; Jean-Marc DeBaud ; Martin Apel
CHIME: A Metadata-Based Distributed Software Development Environment / Stephen E. Dossick ; Gail E. Kaiser
Verification and Checking
FACADE: A Typed Intermediate Language Dedicated to Smart Cards / Gilles Grimaud ; Jean-Louis Lanet ; Jean-Jacques Vandewalle
Verification of Real-Time Designs: Combining Scheduling Theory with Automatic Formal Verification / Victor A. Braberman ; Miguel Felder
Checking Progress with Action Priority: Is it Fair? / Dimitra Giannakopoulou ; Jeff Magee ; Jeff Kramer
Author Index
Invited Papers
Extreme Programming: A Discipline of Software Development (Abstract) / Kent Beck
Components and Generative Programming / Krzysztof Czarnecki ; Ulrich W. Eisenecker
50.

電子ブック

EB
International Symposium on Handheld and Ubiquitous Computing, Hans-W Gellersen, Association for Computing Machinery-Digital Library.
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 1999
所蔵情報: loading…
目次情報: 続きを見る
Invited Keynotes
Design Probes for Handheld and Ubiquitous Computing / H. Thimbleby
Maintaining Context and Control in a Digital World / S.P. Stenton
Everywhere Messaging / C. Schmandt
Mobile, Ubiquitous and the Sense of Space / M. Susani
Handheld and Wearable Appliances
The Children's Machines: Handheld and Wearable Computers Too / B. Mikhak ; F. Martin ; M. Resnick ; R. Berg ; B. Silverman
Pocket BargainFinder: A Handheld Device for Augmented Commerce / A.B. Brody ; E.J. Gottsman
Location-Based Services
Scalable and Flexible Location-Based Services for Ubiquitous Information Access / R. José ; N. Davies
Enabling Context-Awareness from Network-Level Location Tracking / P. Couderc ; A.-M. Kermarrec
Smart Devices and Smart Environments
Perceptual Intelligence / A. Pentland
Advanced Interaction in Context / A. Schmidt ; K.A. Aidoo ; A. Takaluoma ; U. Tuomela ; K. Van Laerhoven ; W. Van de Velde
Exploring Brick-Based Navigation and Composition in an Augmented Reality / M. Fjeld ; F. Voorhorst ; M. Bichsel ; K. Lauche ; M. Rauterberg ; H. Krueger
Handhelds in Distributed Systems
Handheld Computing Predictions: What Went Wrong ? / J.P. Allen
The Open-End Argument for Private Computing / T. Stabell-Kulø ; F. Dillema ; T. Fallmyr
Integrating PDAs into Distributed Systems: 2K and PalmORB / M. Román ; A. Singhai ; D. Carvalho ; C. Hess ; R.H. Campbell
Designing Information Appliances Using a Resource Replication Model / M.J. Silva ; A.P. Afonso
Handheld and Wearable CSCW
Active Map: A Visualization Tool for Location Awareness to Support Informal Interactions / J.F. McCarthy ; E.S. Meidel
Close Encounters: Supporting Mobile Collaboration through Interchange of User Profiles / G. Kortuem ; Z. Segall ; T. G Cowan Thompson
A Digital Photography Framework Supporting Social Interaction and Affective Awareness / O. Liechti ; T. Ichikawa
Context-Aware Mobile Applications
The Role of Connectivity in Supporting Context-Sensitive Applications / K. Cheverst ; K. Mitchell ; A. Friday
Issues in Developing Context-Aware Computing / J. Pascoe ; N. Ryan ; D. Morse
RAMSES: A Mobile Computing System for Field Archaeology / M. Ancona ; G. Dodero ; V. Gianuzzi
Interacting with Environments
Token-Based Access to Digital Information / L.E. Holmquist ; J. Redström ; P. Ljungstrand
InfoStick: An Interaction Device for Inter-appliance Computing / N. Kohtake ; J. Rekimoto ; Y. Anzai
Using Spatial Co-location for Coordination in Ubiquitous Computing Environments / M. Beigl
Amplifying Reality / J. Falk ; S. Björk
Interacting with Handholds
Designing Interaction Styles for a Mobile Use Context / S. Kristoffersen ; F. Ljungberg
POBox: An Efficient Text Input Method for Handheld and Ubiquitous Computing / T. Masui
Panels
Middleware for Ubiquitous Computing / R.J. Aiken ; A. Abramski ; J. Bates ; T. Blackadar
Towards a Better Understanding of Context and Context-Awareness / G.D. Abowd ; A.K. Dey ; P.J. Brown ; M. Smith ; P. Steggles
Posters
The MediaCup: Awareness Technology Embedded in an Everyday Object / H.-W. Gellersen ; H. Krull
Point & Click - Interaction in Smart Environments
Wearable Information Appliances for the Emergency Services: HotHelmet / C. Baber ; D.J. Haniff ; R. Buckley
Using Wearable Computer as an Audiovisual Memory Prosthesis / J. Hoisko
Today's Stories / M. Panayi ; D. Roy ; O. Cakmakci ; K. De Paepe ; N.O. Bernsen
On the Self Evaluation of a Wearable Assistant
On Positioning for Augmented Reality Systems / S. Persa ; P. Jonker
Hippie: A Nomadic Information System / R. Oppermann ; M. Specht ; I. Jaceniak
A Rapidly Configurable Location-Aware Information System for an Exterior Environment / R.P. O'Rafferty ; M.J. O'Grady ; G.M.P. O'Hare
Mobile Computing in Machine Engineering Applications / M. Brachtl ; L. Mikšíček ; P. Slavík
Chameleon - Reconfigurability in Hand-held Multimedia Computers / G.J.M. Smit ; T. Bos ; P.J.M. Havinga ; S. Mullender ; J. Smit
An Evaluation of WebTwig - A Site Outliner for Handheld Web Access / M. Jones ; G. Buchanan ; N. Mohd-Nasir
Human Factors of Multi-modal Ubiquitous Computing / W. Edmondson
URCP: Experimental Support for Multi-modal Interfaces / A. Donnelly ; E. Barnstedt
Magic Medicine Cabinet: A Situated Portal for Consumer Healthcare / D. Wan
Augmented Workspace: The World as Your Desktop / K.L. Dempski
The ChatterBox / P. Jaksetic
Pollen: Virtual Networks That Use People as Carriers / N. Glance ; D. Snowdon
VoIP in Context-Aware Communication Spaces / T. Kanter ; H. Gustafsson
A Platform for Environment-Aware Applications / S. van der Meer ; S. Arbanowski ; R. Popescu-Zeletin
The Design and Implementation of the Ubidata Information Dissemination Framework / J.P. Campos ; F.S. Regateiro
Co-authoring in Dynamic Teams with Mobile Individuals / C. Burger ; O. Schramm
A Universal, Location-Aware Hoarding Mechanism / U. Kubach ; K. Rothermel
QoS and Context Awareness for Mobile Computing / D. Chalmers ; M. Sloman
Anonymous and Confidential Communications from an IP Addressless Computer / C. Molina-Jiménez ; L. Marshall
Ad-hoc Network Routing for Centralized Information Sharing Systems / H. Lim ; C. Kim
Author Index
Invited Keynotes
Design Probes for Handheld and Ubiquitous Computing / H. Thimbleby
Maintaining Context and Control in a Digital World / S.P. Stenton
51.

電子ブック

EB
ESEC/FSE (Conference), Michel Lemoine, Oscar Marius Nierstrasz, Association for Computing Machinery-Digital Library., Association for Computing Machinery.
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 1999
所蔵情報: loading…
目次情報: 続きを見る
Invited Papers
Extreme Programming: A Discipline of Software Development (Abstract) / Kent Beck
Components and Generative Programming / Krzysztof Czarnecki ; Ulrich W. Eisenecker
Software Components
A Component and Communication Model for Push Systems / Manfred Hauswirth ; Mehdi Jazayeri
A Fine-Grained Model for Code Mobility / Cecilia Mascolo ; Gian Pietro Picco ; Gruia-Catalin Roman
Robots: A Real-Time Systems Architectural Style / Vered Gafni
Software Process
Collaboration and Composition: Issues for a Second Generation Process Language / Brian C. Warboys ; Dharini Balasubramaniam ; R. Mark Greenwood ; Graham N.C. Kirby ; Ken Mayes ; Ron Morrison ; Dave S. Munro
Using UML for Software Process Modeling / Dirk Jäger ; Ansgar Schleicher ; Bernhard Westfechtel
A Probabilistic Model for Software Projects / Frank Padberg
Specification
Designing Specification Languages for Process Control Systems: Lessons Learned and Steps to the Future / Nancy G. Leveson ; Mats P.E. Heimdahl ; Jon Damon Reese
Using Model Checking to Generate Tests from Requirements Specifications / Angelo Gargantini ; Constance Heitmeyer
Specification-Based Prototyping for Embedded Systems / Jeffrey M. Thompson ; Steven P. Miller
Program Analysis
Coping with Type Casts in C / Michael Siff ; Satish Chandra ; Thomas Ball ; Krishna Kunchithapadam ; Thomas Reps
Efficient Points-to Analysis for Whole-Program Analysis / Donglin Liang ; Mary Jean Harrold
The Concept of Dynamic Analysis
Data-Flow Analysis of Program Fragments / Atanas Rountev ; Barbara G. Ryder ; William Landi
Testing and Debugging
Yesterday, My Program Worked. Today, It Does Not. Why? / Andreas Zeller
Comparison Checking: An Approach to Avoid Debugging of Optimized Code / Clara Jaramillo ; Rajiv Gupta ; Mary Lou Soffa
Structural Specification-Based Testing: Automated Support and Experimental Evaluation / Juei Chang ; Debra J. Richardson
An Efficient Relevant Slicing Method for Debugging / Tibor Gyimóthy ; Árpád Beszédes ; István Forgács
Java
Analyzing Exception Flow in JavaÖ Programs / Martin P. Robillard ; Gail C. Murphy
An Efficient Algorithm for Computing MHP Information for Concurrent Java Programs / Gleb Naumovich ; George S. Avrunin ; Lori A. Clarke
CoffeeStrainer: Statically-Checked Constraints on the Definition and Use of Types in Java / Boris Bokowski
Architecture and Models
The CIP Method: Component- and Model-Based Construction of Embedded Systems / Hugo Fierz
Algebraic Software Architecture Reconfiguration / Michel Wermelinger ; José Luiz Fiadeiro
Consistency Checking for Multiple View Software Architectures / Pascal Fradet ; Daniel Le Métayer ; Michaël Périn
Reuse
Synergy between Component-Based and Generative Approaches / Stan Jarzabek ; Peter Knauber
Transitioning Legacy Assets to a Product Line Architecture / Joachim Bayer ; Jean-François Girard ; Martin Würthner ; Jean-Marc DeBaud ; Martin Apel
CHIME: A Metadata-Based Distributed Software Development Environment / Stephen E. Dossick ; Gail E. Kaiser
Verification and Checking
FACADE: A Typed Intermediate Language Dedicated to Smart Cards / Gilles Grimaud ; Jean-Louis Lanet ; Jean-Jacques Vandewalle
Verification of Real-Time Designs: Combining Scheduling Theory with Automatic Formal Verification / Victor A. Braberman ; Miguel Felder
Checking Progress with Action Priority: Is it Fair? / Dimitra Giannakopoulou ; Jeff Magee ; Jeff Kramer
Author Index
Invited Papers
Extreme Programming: A Discipline of Software Development (Abstract) / Kent Beck
Components and Generative Programming / Krzysztof Czarnecki ; Ulrich W. Eisenecker
52.

電子ブック

EB
UML '99, Robert B. France, Bernhard Rumpe, Association for Computing Machinery-Digital Library.
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 1999
所蔵情報: loading…
目次情報: 続きを見る
Invited Talk 1 (Abstract)
Architecting Web-Based Systems with the Unified Modeling Language / Grady Booch
Software Architecture
Extending Architectural Representation in UML with View Integration / Alexander Egyed ; Nenad Medvidovic
Enabling the Refinement of a Software Architecture into a Design / Marwan Abi-Antoun
Using the UML for Architectural Description / Rich Hilliard
UML and Other Notations
Viewing the OML as a Variant of the UML / Brian Henderson-Sellers ; Colin Atkinson ; Don Firesmith
A Comparison of the Business Object Notation and the Unified Modeling Language / Richard F. Paige ; Jonathan S. Ostroff
Formalizing the UML Class Diagram Using Object-Z / Soon-Kyeong Kim ; David Carrington
Formalizing Interactions
A Formal Approach to Collaborations in the Unified Modeling Language / Gunnar Övergaard
A Formal Semantics for UML Interactions / Alexander Knapp
Panel 1
UML 2.0 Architectural Crossroads: Sculpting or Mudpacking? / Moderator: Chris Kobryn ; Michael Jesse Chonoles ; Steve Cook ; Desmond D'Souza ; Sridhar Iyengar ; Guus Ramackers
Meta-Modeling
Core Meta-Modelling Semantics of UML: The pUML Approach / Andy Evans ; Stuart Kent
A Metamodel for OCL / Mark Richters ; Martin Gogolla
Tools
Tool-Supported Compressing of UML Class Diagrams / Ferenc Dósa Rácz ; Kai Koskimies
A Pragmatic Approach for Building a User-Friendly and Flexible UML Model Repository / Mariano Belaunde
Components
Modeling Dynamic Software Components in UML / Axel Wienberg ; Florian Matthes ; Marko Boger
Extending UML for Modeling Reflective Software Components / Junichi Suzuki ; Yoshikazu Yamamoto
UML Extension Mechanisms
Nine Suggestions for Improving UML Extensibility / Nathan Dykman ; Martin Griss ; Robert Kessler
A Classification of Stereotypes for Object-Oriented Modeling Languages / Stefan Berner ; Martin Glinz ; Stefan Joos
First-Class Extensibility for UML - Packaging of Profiles, Stereotypes, Patterns / Aamod Sane ; Alan Birchenough
Process Modeling
UML-Based Fusion Analysis / Shane Sendall ; Alfred Strohmeier
Using UML for Modelling the Static Part of a Software Process / Xavier Franch ; Josep M. Ribó
Framework for Describing UML Compatible Development Processes / Pavel Hruby
Invited Talk 2
On the Behavior of Complex Object-Oriented Systems / David Harel
Real-Time Systems
UML-RT as a Candidate for Modeling Embedded Real-Time Systems in the Telecommunication Domain / Dominikus Herzberg
Modeling Hard Real Time Systems with UML - The OOHARTS Approach / Laila Kabous ; Wolfgang Nebel
UML Based Performance Modeling Framework for Object-Oriented Distributed Systems / Pekka Kähkipuro
Constraint Languages
Defining the Context of OCL Expressions / Anneke Kleppe ; Richard Mitchell ; Jos Warmer ; Alan Wills
Mixing Visual and Textual Constraint Languages / John Howse
Correct Realizations of Interface Constraints with OCL / Michel Bidoit ; Rolf Hennicker ; Françoise Tort ; Martin Wirsing
Analyzing UML Models 1
Generating Tests from UML Specifications / Jeff Offutt ; Aynur Abdurazik
Formalising UML State Machines for Model Checking / Johan Lilius ; Iván Porres Paltor
Panel 2
SDL as UML: Why and What / Moderator: Bran Selic ; Philippe Dhaussy ; Anders Ek ; Øystein Haugen ; Philippe Leblanc,Birger Møller-Pedersen
Coding 1
UML Behavior: Inheritance and Implementation in Current Object-Oriented Languages / Jean Louis Sourrouille
UML Collaboration Diagrams and Their Transformation to Java / Gregor Engels ; Roland Hücking ; Stefan Sauer ; Annika Wagner
Analyzing UML Models 2
Towards Three-Dimensional Representation and Animation of UML Diagrams / Oliver Radfelder
Typechecking UML Static Models / Tony Clark
Precise Behavioral Modeling
Analysing UML Use Cases as Contracts / Ralph-Johan Back ; Luigia Petre
Closing the Gap Between Object-Oriented Modeling of Structure and Behavior / Holger Giese ; Jörg Graf ; Guido Wirtz
Static Modeling
Black and White Diamonds / Franck Barbier
Interconnecting Objects via Contracts / Luís Filipe Andrade ; José Luiz Fiadeiro
How Can a Subsystem Be Both a Package and a Classifier? / Joaquin Miller ; Rebecca Wirfs-Brock
Applying the UML
Using UML/OCL Constraints for Relational Database Design / Birgit Demuth ; Heinrich Hussmann
Towards a UML Extension for Hypermedia Design / Hubert Baumeister ; Nora Koch ; Luis Mandel
Why Unified is Not Universal? - UML Shortcomings for Coping with Round-Trip Engineering / Serge Demeyer ; Stéphane Ducasse ; Sander Tichelaar
Sequence Diagrams
Timed Sequence Diagrams and Tool-Based Analysis - A Case Study / Thomas Firley ; Michaela Huhn ; Karsten Diethers ; Thomas Gehrke ; Ursula Goltz
Timing Analysis of UML Sequence Diagrams / Xuandong Li
Coding 2
The Normal Object Form: Bridging the Gap from Models to Code / Christian Bunse
Modeling Exceptional Behavior / Neelam Soundarajan ; Stephen Fridella
Panel 3
Advanced Methods and Tools for a Precise UML / Moderator: Andy Evans ; Steve Mellor
Author Index
Invited Talk 1 (Abstract)
Architecting Web-Based Systems with the Unified Modeling Language / Grady Booch
Software Architecture
53.

電子ブック

EB
IEEE Visualization'99, Association for Computing Machinery-Digital Library.
出版情報: IEEE Electronic Library (IEL) Conference Proceedings , IEEE, 1999
所蔵情報: loading…
54.

電子ブック

EB
Winter Simulation Conference 1999, Association for Computing Machinery-Digital Library.
出版情報: IEEE Electronic Library (IEL) Conference Proceedings , IEEE, 1999
所蔵情報: loading…
55.

電子ブック

EB
Jacob White, Association for Computing Machinery-Digital Library.
出版情報: IEEE Electronic Library (IEL) Conference Proceedings , IEEE, 1999
所蔵情報: loading…
56.

電子ブック

EB
Association for Computing Machinery-Digital Library.; ACM Special Interest Group on Design Automation., Association for Computing Machinery-Digital Library.
出版情報: IEEE Electronic Library (IEL) Conference Proceedings , IEEE, 1999
所蔵情報: loading…
目次情報: 続きを見る
Message from the Program Chair
Steering Committee
Technical Program Committee
Invited Talks / Session 1:
Design of a Set-Top Box System on a Chip / E. Foster
On the Rapid Prototyping and Design of a Wireless Communication System on a Chip / B. Kelley
Embedded Tutorial: Java Compilation Technology / Session 2:
Embedded Java: Techniques and Applications / B. Barry ; J. Duimovich
Panel: System-Level Design: Designers' Wish List vs. Reality / D. Gajski ; R. Bergamaschi ; M. Franz ; W. Lee ; K. Vissers ; J. Kunkel ; G. Martin ; A. Horak ; G. Hellestrand
Panel Statement
Invited Talk / Session 3:
Microelectromechanical Systems (MEMS): Miniaturization Beyond Microelectronics / N. Maluf
Embedded Tutorial / Session 4:
Middleware Techniques and Optimizations for Real-Time, Embedded Systems / D. Schmidt
Real-Time and Low Power System Design / P. ChouSession 5:
Event-Driven Power Management of Portable Systems / T. Simunic ; G. De Micheli ; L. Benini
Real-Time Task Scheduling for a Variable Voltage Processor / T. Okuma ; T. Ishihara ; H. Yasuura
Path-based Edge Activation for Dynamic Run-Time Scheduling / V. Mooney III
Performance Issues in System Design / Session 6:
Optimized System Synthesis of Complex RT Level Building Blocks from Multirate Dataflow Graphs / J. Horstmannshoff ; H. Meyr
RTGEN: An Algorithm for Automatic Generation of Reservation Tables from Architectural Descriptions / P. Grun ; A. Halambi ; N. Dutt ; A. Nicolau
Pre-fetching for Improved Core Interfacing / R. Lysecky ; F. Vahid ; R. Patel ; T. Givargis
Compressed Code Execution on DSP Architectures / P. Centoducatte ; R. Pannain ; G. Araujo
Memory Design for Embedded Systems / Session 7:
Loop Scheduling and Partitions for Hiding Memory Latencies / F. Chen ; E. Sha
Loop Alignment for Memory Accesses Optimization / A. Fraboulet ; G. Huard ; A. Mignotte
A Buffer Merging Technique for Reducing Memory Requirements of Synchronous Dataflow Specifications / P. Murthy ; S. Bhattacharyya
Exploration and Synthesis of Dynamic Data Sets in Telecom Network Applications / C. Ykman-Couvreur ; J. Lambrecht ; D. Verkest ; F. Catthoor ; H. De Man
Architectural Synthesis / Session 8:
A Graph Theoretic Approach for Design and Synthesis of Multiplierless FIR Filters / K. Muhammad ; K. Roy
Efficient Scheduling of DSP Code on Processors with Distributed Register Files / B. Mesman ; C. Alba Pinto ; K. van Eijk
Automatic Architectural Synthesis of VLIW and EPIC Processors / S. Aditya ; B. Ramakrishna Rau ; V. Kathail
Bit-Width Selection for Data-Path Implementations / C. Carreras ; J. Lopez ; O. Nieto-Taladriz
System Design Methodologies / Giovanni De MicheliSession 9:
Catalyst: A DSIP Design Flow Development in Industry / W. De Rammelaere ; K. Eckert ; T. Lawell ; R. McGarity ; F. Steininger ; P. Le Moenner ; E. Hilkens
System Synthesis of Synchronous Multimedia Applications / G. Qu ; M. Mesarina ; M. Potkonjak
A Framework for Scheduling and Context Allocation in Reconfigurable Computing / R. Maestre ; M. Fernandez ; R. Hermida ; N. Bagherzadeh
Index of Authors
Message from the Program Chair
Steering Committee
Technical Program Committee
57.

電子ブック

EB
Association for Computing Machinery-Digital Library.; ACM Special Interest Group on Computer Architecture., Association for Computing Machinery-Digital Library.
出版情報: IEEE Electronic Library (IEL) Conference Proceedings , IEEE, 1999
所蔵情報: loading…
目次情報: 続きを見る
Message from the Chairs
Organizing Committee
Program Committee
Reviewers
Microarchitecture / Session 1:
Exploring Instruction-Fetch Bandwidth Requirement in Wide-Issue Superscalar Processors / P. Michaud ; A. Seznec ; S. Jourdan
MPEG-2 Video Decompression on Simultaneous Multithreaded Multimedia Processors / H. Oehring ; U. Sigmund ; T. Ungerer
A Fully Asynchronous Superscalar Architecture / D. Arvind ; R. Mullins
Multithreading / Session 2:
The Need for Fast Communication in Hardware-Based Speculative Chip Multiprocessors / V. Krishnan ; J. Torellas
A Multithreaded Java Microcontroller for Thread-Oriented Real-Time Event Handling / U. Brinkschulte ; C. Krakowski ; J. Kreuzinger
On Dynamic Speculative Thread Partitioning and the MEM-Slicing Algorithm / L. Codrescu ; D. Wills
Prediction Mechanisms / Session 3:
Branch Prediction Using Selective Branch Inversion / S. Manne ; A. Klauser ; D. Grunwald
Control-Flow Speculation through Value Prediction for Superscalar Processors / J. Gonzalez ; A. Gonzalez
Exploring Last n Value Prediction / M. Burtscher ; B. Zorn
Compilation Techniques / Session 4:
Evaluating Register Allocation and Instruction Scheduling Techniques in Out-Of-Order Issue Processors / M. Valluri ; R. govindarajan
Containers on the Parallelization of General-Purpose Java Programs / P. Wu ; D. Padua
The Modulo Interval: A Simple and Practical Representation for Program Analysis / T. Nakanishi ; K. Joe ; C. Polychronopoulos ; A. Fukuda
Performance Characterization / Session 5:
Memory System Support for Image Processing / L. Zhang ; B. Carter ; W. Hsieh ; S. McKee
Performance Characteristics of a Network of Commodity Multiprocessors for the NAS Benchmarks Using a Hybrid Memory Model / F. Capello ; O. Richard
Quantifying the Benefits of SPECint Distant Parallelism in Simultaneous Multi-Threading Architectures / D. Ortega ; I. Martel ; E. Ayguade ; M. Valero
Invited Talk
High-End Computing Technology: Where is it Heading? / Greg Astfalk ; Hewlett-Packard Company
Advanced Compilation / Session 6:
LaTTe: A Java VM Just-In-Time Compiler with Fast and Efficient Register Allocation / B-S. Yang ; S-M. Moon ; S. Park ; J. Lee ; S. Lee ; J. Park ; Y. Chung ; S. Kim ; K. Ebcioglu ; E. Altman
Automatic Parallelization of Recursive Procedures / M. Gupta ; S. Mukhopadhyay ; N. Sinha
On the Complexity of Loop Fusion / A. Darte
Micro-Clusters, Clusters and SMPs / Session 7:
A Cost-Effective Clustered Architecture / R. Canal ; J-M. Parcerisa
Optimizing Data Locality for SCI-Based PC-Clusters with the SMiLE Monitoring Approach / W. Karl ; M. Leberecht ; M. Schultz
Dynamic Linking on a Shared-Memory Multiprocessor / B. Alpern ; M. Charney ; J-D. Choi ; A. Cocchi ; D. Lieber
Reducing Cache Conflicts by Partitioning and Privatizing Shared Arrays / Z. Li
Applied Analytical Techniques / Session 8:
Localizing Non-Affine Array References / N. Mitchell ; L. Carter ; J. Ferrante
On Reducing False Sharing while Improving Locality on Shared Memory Multiprocessors / M. Kandemir ; A. Choudhary ; J. Ramanujam ; P. Banerjee
Lower Bounding Techniques for the Multiprocessor Scheduling Problem with Communication Delay / S. Fujita ; T. Nakagawa
Automatic Analytical Modeling for the Estimation of Cache Misses / B. Fraguela ; R. Doallo ; E. Zapata
Linux Alighted: Down to Earth Clusters / Beau Vrolyk ; Silicon Graphics
Architecture-Driven Compilation / Session 9:
Cameron: High level Language Compilation for Reconfigurable Systems / J. Hammes ; B. Rinker ; W. Bohm ; W. Najjar ; B. Draper ; R. Beveridge
Predicated Static Single Assignment / B. Simon ; B. Calder
The Effect of Program Optimization on Trace Cache Efficiency / D. Howard ; M. Lipasti
Advanced Parallelization / Session 10:
Data Dependence Testing in Practice / K. Psarris ; K. Kyriakopoulos
On Index Set Splitting / M. Griebl ; P. Feautrier ; C. Lenguaer
Efficient Parallelization Using Combined Loop and Data Transformations / M. O'boyle ; P. Knijnenburg
Predication and Speculation / Session 11:
Caching and Predicting Branch Sequences for Improved Fetch Effectiveness / S. Onder ; J. Xu ; R. Gupta
In Search of Speculative Thread-Level Parallelism / J. Oplinger ; D. Heine ; M. Lam
Looking at History to Filter Allocations in Prediction Tables / E. Morancho ; J. Maria Llaberia ; A. Olive
Author Index
Message from the Chairs
Organizing Committee
Program Committee
58.

電子ブック

EB
Ronny Ronen, Association for Computing Machinery-Digital Library.
出版情報: IEEE Electronic Library (IEL) Conference Proceedings , IEEE, 1999
所蔵情報: loading…
目次情報: 続きを見る
Foreword
Committees
Reviewers
Welcome and Keynote / Uri WeiserSession 1:
New Microarchitecture Challenges in the Coming Generations of CMOS Process Technologies / F. Pollack
Faster FrontEnd / Gary TysonSession 2:
Control Independence in Trace Processors / E. Rotenberg ; J. Smith
Fetch Directed Instruction Prefetching / G. Reinman ; B. Calder ; T. Austin
Improving Branch Predictors by Correlating on Data Values / T. Heil ; Z. Smith
Instruction Fetch Mechanisms for Multipath Execution Processors / A. Klauser ; D. Grunwald
3D and MultiMedia / Matthew FarrensSession 3:
A Superscalar 3D Graphics Engine / A. Wolfe ; D. Noonburg
Dynamic 3D Graphics Workload Characterization and the Architectural Implications / T. Mitra ; T. Chiueh
Exploiting a New Level of DLP in Multimedia Applications / J. Corbal ; R. Espasa ; M. Valero
Efficient Embedded Processors / Kemal EbciogluSession 4:
Compiler-Driven Cached Code Compression Schemes for Embedded ILP Processors / S. Larin ; T. Conte
Evaluation of a High Performance Code Compression Method / C. Lefurgy ; E. Piccininni ; T. Mudge
Low-Cost Branch Folding for Embedded Applications with Small Tight Loops / L. Lee ; J. Scott ; B. Moyer ; J. Arends
Memory Hierarchy / Doug BurgerSession 5:
Automatic and Efficient Evaluation of Memory Hierarchies for Embedded Systems / S. Abraham ; S. Mahlke
Hardware Identification of Cache Conflict Misses / J. Collins ; D. Tullsen
Access Region Locality for High-Bandwidth Processor Memory System Design / S. Cho ; P. Yew ; G. Lee
Code Transformations to Improve Memory Parallelism / V. Pai ; S. Adve
Better Scheduling / Stephan JourdanSession 6:
Compiler-Directed Dynamic Computation Reuse: Rationale and Initial Results / D. Connors ; W. Hwu
Dynamic Memory Disambiguation in the Presence of Out-of-Order Store Issuing / S. Onder ; R. Gupta
Read-After-Read Memory Dependence Prediction / A. Moshovos ; G. Sohi
Delaying Physical Register Allocation through Virtual-Physical Registers / T. Monreal ; A. Gonzalez ; J. Gonzalez ; V. Vinals
Invited Speaker / Gabby SilbermanSession 7:
Core Technologies in Hardware and Software / B. Shriver
Novel Microarchitectures and Multithreading / Brad CalderSession 8:
DIVA: A Reliable Substrate for Deep Submicron Microarchitecture Design
Exploiting ILP in Page-based Intelligent Memory / M. Oskin ; J. Hensley ; D. Keen ; F. Chong ; M. Farrens ; A. Chopra
The Use of Multithreading for Exception Handling / C. Zilles ; J. Emer
Value Prediction for Speculative Multithreaded Architectures / P. Marcuello ; J. Tubella
Low Power Enhancements / Mateo ValeroSession 9:
Predicting the Usefulness of a Block Result: A Micro-Architectural Technique for High-Performance Low-Power Processors / E. Musoll
Selective Cache Ways: On-Demand Cache Resource Allocation / D. Albonesi
Compilers / David BernsteinSession 10:
Wavefront Scheduling: Path based Data Representation and Scheduling of Subgraphs / J. Bharadwaj ; K. Menezes ; C. McKinsey
Balance Scheduling: Weighting Branch Tradeoffs in Superblocks / A. Eichenberger ; W. Meleis
Optimizations and Oracle Parallelism with Dynamic Translation / K. Ebcioglu ; E. Altman ; S. Sathaye ; M. Gschwind
Summary and Awards / Session 11:
Index of Authors
Foreword
Committees
Reviewers
59.

電子ブック

EB
Cherri Pancake, Association for Computing Machinery-Digital Library.
出版情報: IEEE Electronic Library (IEL) Conference Proceedings , IEEE, 1999
所蔵情報: loading…
60.

電子ブック

EB
Richard M. Fujimoto, Association for Computing Machinery-Digital Library.
出版情報: IEEE Electronic Library (IEL) Conference Proceedings , IEEE, 1999
所蔵情報: loading…
目次情報: 続きを見る
Foreword
Committees
Reviewers
List of Past Chairs
Opening and Keynote Address
Beyond Speedup: PADS, the HLA and Web-Based Simulation / Ernest H. Page
Conservative Simulation Techniques
Path Lookahead: A Data Flow View of PDES Models / R.A. Meyer ; R.L. Bagrodia
Scheduling Critical Channels in Conservative Parallel Discrete Event Simulation / Z. Xiao ; B. Unger ; R. Simmonds ; J. Cleary
Case Study: Parallelizing a Sequential Simulation Model / L. Bajaj ; R. Bagrodia ; R. Meyer
Scheduling and Synchronization
On Event Ordering in Parallel Discrete Event Simulation / R. Ronngren ; M. Liljenstam
Exploiting Temporal Uncertainty in Parallel and Distributed Simulations / R.M. Fujimoto
GVT and Scheduling in Space Time Memory Based Techniques / A. Fabbri
Keynote Address and Panel Session
The High Level Architecture and Beyond: Technology Challenges / Judith S. Dahmann
Panel Session: Future Directions for Research in Parallel and Distributed Simulation Systems
Defense Simulation and DIS
Experience in Retrofitting a Large Sequential Ada Simulator to Two Versions of Time Warp / R. Smith ; R. Andress ; G.M. Parsons
An Auto-Adaptive Dead Reckoning Algorithm for Distributed Interactive Simulation / W. Cai ; F.B.S. Lee ; L. Chen
Optimistic Simulation Techniques I
Shock Resistant Time Warp / A. Ferscha ; J. Johnson
On Learning Algorithms and Balancing Loads in Time Warp / M. Choe ; C. Tropper
Combining Periodic and Probabilistic Checkpointing in Optimistic Simulation / F. Quaglia
Optimistic Simulation Techniques II
Fast-Software-Checkpointing in Optimistic Simulation: Embedding State Saving into the Event Routine Instructions
Efficient Optimistic Parallel Simulations using Reverse Computation / C.D. Carothers ; K.S. Perumalla
Optimism: Not Just for Event Execution Anymore / C.H. Young ; R. Radhakrishnan ; P.A. Wilsey
Performance Prediction and Analysis
Performance Prediction Tools for Parallel Discrete-Event Simulation / C.-C. Lim ; Y.-H. Low ; B.-P. Gan ; S. Jain ; W.J. Hsu ; S.Y. Huang
Performance Prediction of a Parallel Simulator / J. Liu ; D. Nicol ; B. Premore ; A. Poplawski
Simulation and Computer Networks
Exploiting Model Independence for Parallel PCS Network Simulation / A. Boukerche ; S.K. Das ; O. Yildiz
Time Warp Simulation on Clumps / G.D. Sharma ; U.K.V. Rajasekaran ; N. Abu-Ghazaleh
Active Virtual Network Management Protocol / S.F. Bush
Author Index
Foreword
Committees
Reviewers
61.

電子ブック

EB
Allan Gottlieb, Association for Computing Machinery-Digital Library.
出版情報: IEEE Electronic Library (IEL) Conference Proceedings , IEEE, 1999
所蔵情報: loading…
62.

電子ブック

EB
Barry Boehm, Association for Computing Machinery-Digital Library.
出版情報: IEEE Electronic Library (IEL) Conference Proceedings , IEEE, 1999
所蔵情報: loading…
63.

電子ブック

EB
Ahmed Amine Jerraya, Association for Computing Machinery-Digital Library.
出版情報: IEEE Electronic Library (IEL) Conference Proceedings , IEEE, 1999
所蔵情報: loading…
64.

電子ブック

EB
Farid N. Najim, Association for Computing Machinery-Digital Library.
出版情報: IEEE Electronic Library (IEL) Conference Proceedings , IEEE, 1999
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼