close
1.

電子ブック

EB
David Hutchison, Takeo Kanade, Association for Computing Machinery-Digital Library.
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
2.

電子ブック

EB
David Hutchison, Takeo Kanade, Association for Computing Machinery-Digital Library.
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2012
所蔵情報: loading…
目次情報: 続きを見る
Query Representation
Explaining Query Modifications: An Alternative Interpretation of Term Addition and Removal / Vera Hollink ; Jiying He ; Arjen de Vries
Modeling Transactional Queries via Templates / Edward Bortnikov ; Pinar Donmez ; Amit Kagian ; Ronny Lempel
Exploring Query Patterns in Email Search / Morgan Harvey ; David Elsweiler
Interactive Search Support for Difficult Web Queries / Abdigani Diriye ; Giridhar Kumaran ; Jeff Huang
Blog and Online-Community Search
Predicting the Future Impact of News Events / Julien Gaugaz ; Patrick Siehndel ; Gianluca Demartini ; Tereza Iofciu ; Mihai Georgescu ; Nicola Henze
Detection of News Feeds Items Appropriate for Children / Tamara Polajnar ; Richard Glassey ; Leif Azzopardi
Comparing Tweets and Tags for URLs / Mark Carman
Geo-Location Estimation of Flicker Images: Social Web Based Enrichment / Claudia Hauff ; Geert-Jan Houben
Semi-structured Retrieval
A Field Relevance Model for Structured Document Retrieval / Jin Young Kim ; W. Bruce Croft
Relation Based Term Weighting Regularization / Hao Wu ; Hui Fang
A New Approach to Answer Recommendation in Community Question Answering Services / Zhenlei Yan ; Jie Zhou
On the Modeling of Entities for Ad-Hoc Entity Search in the Web of Data / Robert Neumayer ; Krisztian Balog ; Kjetil Norvåg
Result Disambiguation in Web People Search / Richard Berendsen ; Bogomil Kovachev ; Evangelia-Paraskevi Nastou ; Maarten de Rijke ; Wouter Weerkamp
Evaluation
On Smoothing Average Precision / Stephen Robertson
New Metrics for Meaningful Evaluation of Informally Structured Speech Retrieval / Maria Eskevich ; Walid Magdy ; Gareth J.F. Jones
On Aggregating Labels from Multiple Crowd Workers to Infer Relevance of Documents / Mehdi Hosseini ; Ingemar J. Cox ; Natasa Milic-Frayling ; Gabriella Kazai ; Vishwa Vinay
Applications
How Random Walks Can Help Tourism / Claudio Lucchese ; Raffaele Perego ; Fabrizio Silvestri ; Hossein Vahabi ; Rossano Venturini
Retrieving Candidate Plagiarised Documents Using Query Expansion / Rao Muhammad Adeel Nawab ; Mark Stevenson ; Paul Clough
Reliability Prediction of Webpages in the Medical Domain / Parikshit Sondhi ; V.G. Vinod Vydiswaran ; ChengXiang Zhai
Automatic Foldering of Email Messages: A Combinations Approach / Tony Tam ; Artur Ferreira ; André Lourenço
Retrieval Models
A Log-Logistic Model-Based Interpretation of TF Normalization of BM25 / Yuanhua Lu
Score Transformation in Linear Combination for Multi-criteria Relevance Ranking / Shima Gerani ; Fabio Crestani
Axiomatic Analysis of Translation Language Model for Information Retrieval / Maryam Karimzadehgan
An Information-Based Cross-Language Information Retrieval Model / Bo Li ; Eric Gaussier
Extended Expectation Maximization for Inferring Score Distributions / Keshi Dai ; Virgil Pavlu ; Evangelos Kanoulas ; Javed A. Aslam
Top-K Retrieval Using Facility Location Analysis / Guido Zuccon ; Dell Zhang ; Jun Wang
Image and Video Retrieval
An Interactive Paper and Digital Pen Interface for Query-by-Sketch Image Retrieval / Roman Kreuzer ; Michael Springmann ; Ihab Al Kabary ; Heiko Schuldt
Image Abstraction in Crossmedia Retrieval for Text Illustration / Filipe Coelho ; Cristina Ribeiro
A Latent Variable Ranking Model for Content-Based Retrieval / Ariadna Quattonia ; Xavier Carreras ; Antonio Torralba
Text and Content Classification, Categorisation, Clustering
Language Modelling of Constraints for Text Clustering / Javier Parapar ; Álvaro Barreiro
A Framework for Unsupervised Spam Detection in Social Networking Sites / Maarten Bosma ; Edgar Meij
Classification of Short Texts by Deploying Topical Annotations / Daniele Vitale ; Paolo Ferragina ; Ugo Scaiella
Cluster Labeling for Multilingual Scatter/Gather Using Comparable Corpora / Goutham Tholpadi ; Mrinal Kanti Das ; Chiranjib Bhattacharyya ; Shirish Shevade
Systems Efficiency
Adaptive Time-to-Live Strategies for Query Result Caching in Web Search Engines / Sadiye Alici ; Ismail Sengor Altingovde ; Rifat Ozcan ; B. Barla Cambazoglu ; Özgür Ulusoy
Intra-query Concurrent Pipelined Processing for Distributed Full-Text Retrieval / Simon Jonassen ; Svein Erik Bratsberg
Industry Track
Usefulness of Sentiment Analysis / Jussi Karlgren ; Magnus Sahlgren ; Fredrik Olsson ; Fredrik Espinoza ; Ola Hamfors
Modeling Static Caching in Web Search Engines / Ricardo Baeza-Yates
Posters
Integrating Interactive Visualizations in the Search Process of Digital Libraries and IR Systems / Daniel Hienert ; Frank Sawitzki ; Philipp Schaer ; Philipp Mayr
On Theoretically Valid Score Distributions in Information Retrieval / Ronan Cummins ; Colm O'Riordan
Adaptive Temporal Query Modeling / Maria-Hendrike Peetz
The Design of a Visual History Tool to Help Users Refind Information within a Website / Trien V. Do ; Roy A. Ruddle
Analyzing the Polarity of Opinionated Queries / Sergiu Chelaru ; Ismail Sengor ; Altingovde ; Stefan Siersdorfer
Semi-automatic Document Classification: Exploiting Document Difficulty / Miguel Martinez-Alvarez ; Sirvan Yahgaei ; Thomas Roelleke
Investigating Summarization Techniques for Geo-Tagged Image Indexing / Ahmet Aker ; Xin Fan ; Mark Sanderson ; Robery Gaizauskas
Handling OOV Words in Indian-language - English CLIR / Parin Chheda ; Manaal Faruqui ; Pabitra Mitra
Using a Medical Thesaurus to Predict Query Difficulty / Florian Boudin ; Jian-Yun Nie ; Martin Dawes
Studying a Personality Coreference Network in a News Stories Photo Collection / José Devezas ; Sérgio Nunes
Phrase Pair Classification for Identifying Subtopics / Sujatha Das ; Prasenjit Mitra ; C. Lee Giles
Full and Mini-batch Clustering of News Articles with Star-Em / Matthias Gallé ; Jean-Michel Renders
Assessing and Predicting Vertical Intent for Web Queries / Ke Zhou ; Martin Halvey ; Mounia Lalmas ; Joeman M. Jose
Predicting IMDB Movie Ratings Using Social Media / Andrei Oghina ; Mathias Breuss ; Manso Tsagkias
Squeezing the Ensemble Pruning: Faster and More Accurate Categorization for News Portals / Cagri Toraman ; Fazli Can
A General Framework for People Retrieval in Social Media with Multiple Roles / Amin Mantrach
Analysis of Query Reformulations in a Search Engine of a Local Web Site / M-Dyaa Albakour ; Udo Kruschwitz ; Nikolaos Nanas ; Ibrahim Adeyanju ; Dawei Song ; Maria Fasli ; Anne De Roeck
Temporal Pseudo-relevance Feedback in Microblog Retrieval / Steward Whiting ; Iraklis A. Klampanos ; Joemon M. Jose
Learning Adaptive Domain Models from Click Data to Bootstrap Interactive Web Search / Deirdre Lungley
A Little Interaction Can Go a Long Way: Enriching the Query Formulation Process / Anastasios Tombros ; Ann Blandford
Learning to Rank from Relevance Feedback for e-Discovery / Peter Lubell-Doughtie ; Katja Hofmann
When Simple is (more than) Good Enough: Effective Semantic Search with (almost) no Semantics
Evaluating Personal Information Retrieval / Liadh Kelly ; Paul Bunbury ; Gareth J. F. Jones
Applying Power Graph Analysis to Weighted Graphs / Niels Bloom
An Investigation of Term Weighting Approaches for Microblog Retrieval / Paul Ferguson ; Neil O'Hare ; James Lanagan ; Owen Phelan ; Kevin McCarthy
On the Size of Full Element-Indexes for XML Keyword Search Retrieval / Duygu Atilgan ; ÖZgür Ulusoy
Combining Probabilistic Language Models for Aspect-Based Sentiment Retrieval / Lisette García-Moya ; Henry Anaya-Sánchez ; Rafael Berlanga-Llavori
In Praise of Laziness: A Lazy Strategy for Web Information Extraction
Demos
LiveTweet: Monitoring and Predicting Interesting Microblog Posts / Arifah Che Alhadi ; Thomas Gottron ; Jérome Kunegis ; Nasir Naveed
A User Interface for Query-by-Sketch Based Image Retrieval with Color Sketches / Ivan Giangreco
Crisees: Real-Time Monitoring of Social Media Streams to Support Crisis Management / David Maxwell ; Stefan Raue ; Chris Johnson ; Sarah Oates
A Mailbox Search Enging Using Query Multi-Model Expansion and Community-Based Smoothing
EmSe: Supporting Children's Information Needs within a Hospital Environment / Doug Dowie ; Sergio Duarte ; Carsten Eickhoff ; Karl Gyllstrom ; Djoerd Hiemstra ; Franciska de Jong ; Frea Kruisinga ; Kelly Marshall ; Sien Moens|cTamara Polajnar ; Frans van der Sluis
Retro: Time-Based Exploration of Product Reviews / Jannik Strötgen ; Omar Alonso ; Michael Gertz
Querium: A Session-Based Collaborative Search System / Gene Golovchinsky
Author Index
Query Representation
Explaining Query Modifications: An Alternative Interpretation of Term Addition and Removal / Vera Hollink ; Jiying He ; Arjen de Vries
Modeling Transactional Queries via Templates / Edward Bortnikov ; Pinar Donmez ; Amit Kagian ; Ronny Lempel
3.

電子ブック

EB
Jacques Garrigue, Manuel V. Hermenegildo, Association for Computing Machinery-Digital Library.
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
4.

電子ブック

EB
Ponnuswamy Sadayappan, Ramamurthy Badrinath, Manish Parashar, Viktor K. Prasanna, P. Sadayappan, Association for Computing Machinery-Digital Library.
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
5.

電子ブック

EB
Maarten Steen, Michi Henning, Takeo Kanade, Maarten van Steen, Association for Computing Machinery-Digital Library.
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
6.

電子ブック

EB
Val?rie Issarny, Takeo Kanade, Richard Schantz, Association for Computing Machinery-Digital Library.
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
7.

電子ブック

EB
Thomas K?hne, Takeo Kanade, Association for Computing Machinery-Digital Library.
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
8.

電子ブック

EB
Michael Cebulla, Association for Computing Machinery-Digital Library.
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
9.

電子ブック

EB
Alexander Keller, Takeo Kanade, Jean-Philippe Martin-Flatin, Association for Computing Machinery-Digital Library.
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
10.

電子ブック

EB
Paul Dourish, Adrian Friday, Adrian John Friday, Takeo Kanade, Association for Computing Machinery-Digital Library.
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
11.

電子ブック

EB
Gary Geunbae Lee, Akiko Aizawa, Takeo Kanade, Kazuko Kuriyama, Chin-Yew Lin, Tetsuya Sakai, Dawei Song, Masaharu Yoshioka, Association for Computing Machinery-Digital Library.
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
12.

電子ブック

EB
Frank Eliassen, Takeo Kanade, R?diger Kapitza, Association for Computing Machinery-Digital Library.
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Ubiquitous Services and Applications
RESTful Integration of Heterogeneous Devices in Pervasive Environments / Daniel Romero ; Gabriel Hermosillo ; Amirhosein Taherkordi ; Russel Nzekwa ; Romain Rouvoy ; Frank Eliassen
Hosting and Using Services with QoS Guarantee in Self-adaptive Service Systems / Shanshan Jiang ; Svein Hallsteinsen ; Paolo Barone ; Alessandro Mamelli ; Stephan Mehlhase ; Ulrich Scholz
Grid Computing
Validating Evolutionary Algorithms on Volunteer Computing Grids / Travis Desell ; Malik Magdon-Ismail ; Boleslaw Szymanski ; Carlos A. Varela ; Heidi Newberg ; David P. Anderson
A Reconfiguration Language for Virtualized Grid Infrastructures / Rémy Pottier ; Marc Léger ; Jean-Marc Menaud
Sensor Networks
Distributed Object-Oriented Programming with RFID Technology / Andoni Lombide Carreton ; Kevin Pinte ; Wolfgang De Meuter
WISeMid: Middleware for Integrating Wireless Sensor Networks and the Internet / Jeisa P.O. Domingues ; Antonio V.L. Damaso ; Nelson S. Rosa
Context Awareness
Structured Context Prediction: A Generic Approach / Matthias Meiners ; Sonja Zaplata ; Winfried Lamersdorf
Service Orientation
Experiments in Model Driven Composition of User Interfaces / Audrey Occello ; Cedric Joffroy ; Anne-Marie Dery-Pinna
Service Discovery in Ubiquitous Feedback Control Loops / Lionel Seinturier ; Pierre Carton
Distributed Fault Tolerant Controllers
QoS Self-configuring Failure Detectors for Distributed Systems / Alirio Santos de Sá ; Raimundo José de Araújo Macêdo
Cloud and Cluster Computing / Leonardo Mostarda ; Rudi Ball ; Naranker Dulay
Automatic Software Deployment in the Azure Cloud / Jacek Cala ; Paul Watson
G2CL: A Generic Group Communication Layer for Clustered Applications / Leandro Sales ; Henrique Teófilo ; Nabor C. Mendonça
Adaptive and (Re)configurable Systems
Dynamic Composition of Cross-Organizational Features in Distributed Software Systems / Stefan Walraven ; Bert Lagaisse ; Eddy Truyen ; Wouter Joosen
Co-ordinated Utility-Based Adaptation of Multiple Applications on Resource-Constrained Mobile Devices
Collaborative Systems
gradienTv. Market-Based P2P Live Media Streaming on the Gradient Overlay / Amir H. Payberah ; Jim Dowling ; Fatemeh Rahimian ; Seif Haridi
Collaborative Ranking and Profiling: Exploiting the Wisdom of Crowds in Tailored Web Search / Pascal Felber ; Peter Kropf ; Lorenzo Leonini ; Toan Luu ; Martin Rajman ; Etienne Riviére
Author Index
Ubiquitous Services and Applications
RESTful Integration of Heterogeneous Devices in Pervasive Environments / Daniel Romero ; Gabriel Hermosillo ; Amirhosein Taherkordi ; Russel Nzekwa ; Romain Rouvoy ; Frank Eliassen
Hosting and Using Services with QoS Guarantee in Self-adaptive Service Systems / Shanshan Jiang ; Svein Hallsteinsen ; Paolo Barone ; Alessandro Mamelli ; Stephan Mehlhase ; Ulrich Scholz
13.

電子ブック

EB
Fabio Massacci, Takeo Kanade, Dan Wallach, Nicola Zannone, Association for Computing Machinery-Digital Library.
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Attack Analysis and Prevention I / Session 1:
BuBBle: A Javascript Engine Level Countermeasure against Heap-Spraying Attacks / Francesco Gadaleta ; Yves Younan ; Wouter Joosen
CsFire: Transparent Client-Side Mitigation of Malicious Cross-Domain Requests / Philippe De Ryck ; Lieven Desmet ; Thomas Heyman ; Frank Piessens
Idea: Opcode-Sequence-Based Malware Detection / Igor Santos ; Felix Brezo ; Javier Nieves ; Yoseba K. Penya ; Borja Sanz ; Carlos Laorden ; Pablo G. Bringas
Attack Analysis and Prevention II / Session 2:
Experiences with PDG-Based IFC / Christian Hammer
Idea: Java vs. PHP: Security Implications of Language Choice for Web Applications / James Walden ; Maureen Doyle ; Robert Lenhof ; John Murray
Idea: Towards Architecture-Centric Security Analysis of Software / Karsten Sohr ; Bernhard Berger
Policy Verification and Enforcement I / Session 3:
Formally-Based Black-Box Monitoring of Security Protocols / Alfredo Pironti ; Jan Jürjens
Secure Code Generation for Web Applications / Martin Johns ; Christian Beyerlein ; Rosemaria Giesecke ; Joachim Posegga
Idea: Reusability of Threat Models - Two Approaches with an Experimental Evaluation / Per Håkon Meland ; Inger Anne Tøndel ; Jostein Jensen
Policy Verification and Enforcement II / Session 4:
Model-Driven Security Policy Deployment: Property Oriented Approach / Stere Preda ; Nora Cuppens-Boulahia ; Frédéric Cuppens ; Joaquin Garcia-Alfaro ; Laurent Toutain
Category-Based Authorisation Models: Operational Semantics and Expressive Power / Clara Bertolissi ; Maribel Fernández
Idea: Efficient Evaluation of Access Control Constraints / Achim D. Brucker ; Helmut Petritsch
Secure System and Software Development I / Session 5:
Formal Verification of Application-Specific Security Properties in a Model-Driven Approach / Nina Moebius ; Kurt Stenzel ; Wolfgang Reif
Idea: Enforcing Consumer-Specified Security Properties for Modular Software / Giacomo A. Galilei ; Vincenzo Gervasi
Idea: Using System Level Testing for Revealing SQL Injection-Related Error Message Information Leaks / Ben Smith ; Laurie Williams ; Andrew Austin
Secure System and Software Development II / Session 6:
Automatic Generation of Smart, Security-Aware GUI Models / David Basin ; Manuel Clavel ; Marina Egea ; Michael Schläpfer
Report: Modular Safeguards to Create Holistic Security Requirement Specifications for System of Systems / Albin Zuccato ; Nils Daniels ; Cheevarat Jampathom ; Mikael Nilson
Idea: A Feasibility Study in Model Based Prediction of Impact of Changes on System Quality / Aida Omerovic ; Anette Andresen ; Håvard Grindheim ; Per Myrseth ; Atle Refsdal ; Ketil Stølen ; Jon Ølnes
Author Index
Attack Analysis and Prevention I / Session 1:
BuBBle: A Javascript Engine Level Countermeasure against Heap-Spraying Attacks / Francesco Gadaleta ; Yves Younan ; Wouter Joosen
CsFire: Transparent Client-Side Mitigation of Malicious Cross-Domain Requests / Philippe De Ryck ; Lieven Desmet ; Thomas Heyman ; Frank Piessens
14.

電子ブック

EB
J. J. O'Hare, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , ACM, 1988
所蔵情報: loading…
15.

電子ブック

EB
Michael E. Atwood, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , ACM Press/Addison-Wesley Publishing Co., 1998
所蔵情報: loading…
16.

電子ブック

EB
Wolfgang Effelsberg, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , ACM, 1998
所蔵情報: loading…
17.

電子ブック

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
18.

電子ブック

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

電子ブック

EB
Jane Carrasco Chew, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , ACM, 1990
所蔵情報: loading…
20.

電子ブック

EB
John Pugh, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , ACM, 1992
所蔵情報: loading…
21.

電子ブック

EB
Shunro Watanabe, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , ACM, 1990
所蔵情報: loading…
22.

電子ブック

EB
Andreas Paepcke, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , ACM, 1991
所蔵情報: loading…
23.

電子ブック

EB
Irvin R. Katz, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , ACM Press/Addison-Wesley Publishing Co., 1995
所蔵情報: loading…
24.

電子ブック

EB
Hans-Jochen.; Association for Computing Machinery-Digital Library. Schneider, Gerard Salton, Hans-Jochen Schneider, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer-Verlag New York, Inc.
所蔵情報: loading…
25.

電子ブック

EB
W. Bruce Croft, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer-Verlag, 1994
所蔵情報: loading…
26.

電子ブック

EB
C. J. van Rijsbergen, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Butterworth & Co., 1980
所蔵情報: loading…
27.

電子ブック

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

電子ブック

EB
Mark Billinghurst, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , ACM, 2005
所蔵情報: loading…
29.

電子ブック

EB
A. S. Pollitt, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , British Computer Society
所蔵情報: loading…
30.

電子ブック

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
31.

電子ブック

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

電子ブック

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
33.

電子ブック

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
34.

電子ブック

EB
Lorenzo Donatiello, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , IEEE Computer Society, 2000
所蔵情報: loading…
目次情報: 続きを見る
Message from the Program Chairs
Symposium Committee
Program Committee
Access Control I
Access Control Meets Public Key Infrastructure, Or: Assigning Roles to Strangers / A. Herzberg ; Y. Mass ; J. Mihaeli ; D. Naor ; Y. Ravid
A Security Infrastructure for Distributed Java Applications / D. Balfanz ; D. Dean ; M. Spreitzer
A Practically Implementable and Tractable Delegation Logic / N. Li ; B. Grosof ; J. Feigenbaum
Applications of Cryptography
Practical Techniques for Searches on Encrypted Data / D. Song ; D. Wagner ; A. Perrig
Efficient Authentication and Signing of Multicast Streams over Lossy Channels / R. Canetti ; D. Tygar
Panel: Is Electronic Privacy Achievable?
Is Electronic Privacy Achievable? / C. Irvine ; T. Levin
Privacy Technology Lessons from Healthcare / R. Anderson
Protocol Analysis and Design
Searching for a Solution: Engineering Tradeoffs and the Evolution of Provably Secure Protocols / J. Clark ; J. Jacob
Authentication Tests / J. Guttman ; F. Thayer
Protocol-Independent Secrecy / J. Millen ; H. Ruess
Panel: Will Open Source Really Improve System Security?
Robust Nonproprietary Software / P. Neumann
Security and Source Code Access: Issues and Realities / S. Lipner
Open Source in Security: Visiting the Bizarre / F. Schneider
Will Openish Source Really Improve Security / G. McGraw
Intrusion Detection
Using Conservation of Flow as a Security Mechanism in Network Protocols / J. Hughes ; T. Aura ; M. Bishop
Logic Induction of Valid Behavior Specifications for Intrusion Detection / C. Ko
Assurance
Using Model Checking to Analyze Network Vulnerabilities / R. Ritchey ; P. Ammann
Verifying the EROS Confinement Mechanism / J. Shapiro ; S. Weber
Fang: A Firewall Analysis Engine / A. Mayer ; A. Wool ; E. Ziskind
Key Management
A More Efficient Use of Delta-CRLs / D. Cooper
An Efficient, Dynamic and Trust Preserving Public Key Infrastructure / A. Levi ; M. Caglayan
Kronos: A Scalable Group Re-Keying Approach for Secure Multicast / S. Setia ; S. Koussih ; S. Jajodia ; E. Harder
Access Control II
LOMAC: Low Water-Mark Integrity Protection for COTS Environments / T. Fraser
IRM Enforcement of Java Stack Inspection / U. Erlingsson
Author Index
Message from the Program Chairs
Symposium Committee
Program Committee
35.

電子ブック

EB
Association for Computing Machinery-Digital Library.; ACM Special Interest Group on Software Engineering., Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , IEEE, 2000
所蔵情報: loading…
目次情報: 続きを見る
Message from the IWSSD Chairs
10 IWSSD Organizing Committee
Case Study
Reactive and Real-Time Systems / Track I:
Hybrid Model Visualization in Requirements and Design: A Preliminary Investigation / J. Magee ; J. Kramer ; B. Nuseibeh ; D. Bush ; J. Sonander
Problems and Deficiencies of UML as a Requirements Specification Language / M. Glinz
Model Checking Implicit-Invocation Systems / D. Garlan ; S. Khersonsky
Specification and Analysis of Timed and Functional TRMCS Behaviours / M. Cioffi ; F. Corradini
Object-Oriented Modeling and Automated Analysis of a Telemedicine Application / L. A. Campbell ; B. H. C. Cheng
Duration Properties over Real Time System Designs / V. Braberman ; F. Pieniazek
TRMCS in TCOZ / J. Liu ; J. S. Dong ; J. Sun
Quantitative and Non-Functional Qualities / Track II:
The Declarative Problem Frame: Designing Systems that Create and Use Norms / R. J. Wieringa
Superposing Connectors / M. Wermelinger ; A. Lopes ; J. L. Fiadeiro
Issues in Analyzing the Behavior of Event Dispatching Systems / G. Bricconi ; E. Di Nitto ; E. Tracanella
Design and Development Assessment / S. L. Cornford ; M. S. Feather ; J. C. Kelly ; T. W. Larson ; B. Sigal ; J. D. Kiper
Formalising ERP Selection Criteria / X. B. Illa ; X. Franch ; J. A. Pastor
Specification, Safety and Reliability Analysis Using Stochastic Petri Net Models / F. T. Sheldon ; S. Grenier ; M. Benzinger
Software Architecture Analysis Based on Statechart Semantics / M. S. Dias ; M. E. R. Vieira
[In]completeness, [In]consistency and [Sufficient] Correctness
Using XML to Build Consistency Rules for Distributed Specifications / A. Zisman ; W. Emmerich ; A. Finkelstein
Dependency Relations between Models in the Unified Process / C. Pons ; R. Giandini ; G. Baum
An Approach to Preserving Sufficient Correctness in Open Resource Coalitions / O. Raz ; M. Shaw
Formal Tools for Managing Inconsistency and Change in RE / A. K. Ghose
The Complexity of TRMCS-like Spiral Specification / T. Menzies
The Dangerous "All" in Specifications / D. M. Berry ; E. Kamsties
Design Guidance through the Controlled Application of Constraints / A. G. Cass ; L. Osterweil
Author Index
Message from the IWSSD Chairs
10 IWSSD Organizing Committee
Case Study
36.

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

EB
Rajive L. Bagrodia, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , IEEE, 2001
所蔵情報: loading…
40.

電子ブック

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

電子ブック

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

電子ブック

EB
ASP-DAC/VLSI Design Conference 2002, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , IEEE, 2002
所蔵情報: loading…
43.

電子ブック

EB
Yale Patt, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , IEEE, 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
44.

電子ブック

EB
Frederick Wieland, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , IEEE, 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
45.

電子ブック

EB
Association for Computing Machinery-Digital Library.; ACM Special Interest Group on Computer-Human Interaction., Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , IEEE, 2002
所蔵情報: loading…
目次情報: 続きを見る
Preface
Conference Organizers
Perceptual Computing Systems and Methods
Layered Representations for Human Activity Recognition / N. Oliver ; E. Horvitz ; A. Garg
Evaluating Integrated Speech- and Image Understanding / C. Bauckhage ; J. Fritsch ; K. Rohlfing ; S. Wachsmuth ; G. Sagerer
Techniques for Interactive Audience Participation / D. Maynes-Aminzade ; R. Pausch ; S. Seitz
Perceptual Collaboration in Neem / P. Barthelmess ; C. Ellis
A Tracking Framework for Collaborative Human Computer Interaction / E. Polat ; M. Yeasin ; R. Sharma
A Structural Approach to Distance Rendering in Personal Auditory Displays / F. Fontana ; D. Rocchesso ; L. Ottaviani
A Multimodal Electronic Travel Aid Device / A. Fusiello ; A. Panuccio ; V. Murino
Speech Generation and Recognition
Lecture and Presentation Tracking in an Intelligent Meeting Room / I. Rogina ; T. Schaaf
Parallel Computing-Based Architecture for Mixed-Initiative Spoken Dialogue / R. Taguma ; T. Moriyama ; K. Iwano ; S. Furui
3-D N-Best Search for Simultaneous Recognition of Distant-Talking Speech of Multiple Talkers / S. Nakamura ; P. Heracleous
Integration of Tone Related Feature for Chinese Speech Recognition / P.-F. Wong ; M.-H. Siu
Talking Heads: Which Matching between Faces and Synthetic Voices? / M. Mersiol ; N. Chateau ; V. Maffiolo
Robust Noisy Speech Recognition with Adaptive Frequency Bank Selection / Y. Tian ; J. Wu ; Z. Wang ; D. Lu
Covariance-Tied Clustering Method in Speaker Identification / Z.-Q. Wang ; Y. Liu ; P. Ding ; X. Bo
Dialogue Processing and Language Understanding
Context-Based Multimodal Input Understanding in Conversational Systems / J. Chai ; S. Pan ; M. Zhou ; K. Houck
Context-Sensitive Help for Multimodal Dialogue / H. Hastie ; M. Johnston ; P. Ehlen
Referring to Objects with Spoken and Haptic Modalities / F. Landragin ; N. Bellalem ; L. Romary
Towards Visually-Grounded Spoken Language Acquisition / D. Roy
Modeling Output in the EMBASSI Multimodal Dialogue System / C. Elting ; G. Mohler
Multimodal Dialogue Systems for Interactive TV Applications / A. Ibrahim ; P. Johansson
Human--Robot Interaction: Engagement between Humans and Robots for Hosting Activities / C. Sidner ; M. Dzikovska
Viewing and Analyzing Multimodal Human-Computer Tutorial Dialogue: A Database Approach / J. Mostow ; J. Beck ; R. Chalasani ; A. Cuneo ; P. Jia
Adaptive Dialog Based upon Multimodal Language Acquisition / S. Dusan ; J. Flanagan
Integrating Emotional Cues into a Framework for Dialogue Management / H. Holzapfel ; C. Fuegen ; M. Denecke ; A. Waibel
Signing, Gesturing, and Writing
Data Driven Design of an ANN/HMM System for On-Line Unconstrained Handwritten Character Recognition / H. Li ; T. Artieres ; P. Gallinari
Gesture Patterns during Speech Repairs / L. Chen ; M. Harper ; F. Quek
Prosody Based Co-analysis for Continuous Recognition of Coverbal Gestures / S. Kettebekov
Purdue RVL-SLLL ASL Database for Automatic Recognition of American Sign Language / A. Martinez ; R. Wilbur ; R. Shay ; A. Kak
The Role of Gesture in Multimodal Referring Actions
Hand Gesture Symmetric Behavior Detection and Analysis in Natural Conversation / Y. Xiong ; D. McNeill
A Multi-class Pattern Recognition System for Practical Finger Spelling Translation / J. Hernandez-Rebollar ; R. Lindeman ; N. Kyriakopoulos
A Map-Based System Using Speech and 3D Gestures for Pervasive Computing / A. Corradini ; R. Wesson ; P. Cohen
Hand Tracking Using Spatial Gesture Modeling as Visual Feedback for a Virtual DJ System / E. Lin ; A. Cassidy ; D. Hook ; A. Baliga ; T. Chen
State Sharing in a Hybrid Neuro-Markovian On-Line Handwriting Recognition System through a Simple Hierarchical Clustering Algorithm
Translation and Multilingual Interfaces
An Automatic Speech Translation System on PDAs for Travel Conversation / R. Isotani ; K. Yamabana ; S.-I. Ando ; K. Hanazawa ; S.-Y. Ishikawa ; T. Emori ; K.-I. Iso ; H. Hattori ; A. Okumura ; T. Watanabe
A PDA-Based Sign Translator / J. Zhang ; X. Chen ; J. Yang
The NESPOLE! Multimodal Interface for Cross-Lingual Communication--Experience and Lessons Learned / L. Taddei ; E. Costantini ; A. Lavie
Research of Machine Learning Method for Specific Information Recognition on the Internet / D. Zheng ; Y. Hu ; T. Zhao ; H. Yu ; S. Li
The Added Value of Multimodality in the NESPOLE! Speech-to-Speech Translation System: An Experimental Study / F. Pianesi ; S. Burger
Multi-modal Translation System and Its Evaluation / S. Morishima
Towards Universal Speech Recognition / U. Topkara ; T. Schultz
Improved Named Entity Translation and Bilingual Named Entity Extraction / F. Huang ; S. Vogel
Gaze Tracking and Lipreading
Active Gaze Tracking for Human-Robot Interaction / R. Atienza ; A. Zelinsky
3-D Articulated Pose Tracking for Untethered Diectic Reference / D. Demirdjian ; T. Darrell
Tracking Focus of Attention in Meetings / R. Stiefelhagen
A Probabilistic Dynamic Contour Model for Accurate and Robust Lip Tracking / Q. Wang ; H. Ai ; G. Xu
Attentional Object Spotting by Integrating Multimodal Input / C. Yu ; D. Ballard ; S. Zhu
Lip Tracking for MPEG-4 Facial Animation / Z. Wu ; P. Aleksic ; A. Katsaggelos
Achieving Real-Time Lip Synch via SVM-Based Phoneme Classification and Lip Shape Refinement / T. Kim ; Y. Kang ; H. Ko
Multi-modal Temporal Asynchronicity Modeling by Product HMMs for Robust Audio-Visual Speech Recognition / K. Kumatani ; S. Tamura
Applications of Multimodal Interfaces
A Multi-modal Interface for an Interactive Simulated Vascular Reconstruction System / E. Zudilova ; P. Sloot ; R. Belleman
Universal Interfaces to Multimedia Documents / H. Petrie ; W. Fisher ; G. Weber ; I. Langer ; K. Gladstone ; C. Rundle ; L. Pyfers
A Video Based Interface to Textual Information for the Visually Impaired / A. Zandifar ; R. Duraiswami ; A. Chahine ; L. Davis
Modular Approach of Multimodal Integration in a Virtual Environment / R. Arangarasan ; G. Phillips, Jr.
Mobile Multi-modal Data Services for GPRS Phones and Beyond / G. Niklfeld ; M. Pucher ; R. Finan ; W. Eckhart
Flexi-modal and Multi-machine User Interfaces / B. Myers ; R. Malkin ; M. Bett ; B. Bostwick ; R. Miller ; E. Seemann ; J. Zhu ; C. Peck ; D. Kong ; J. Nichols ; B. Scherlis
A Real-Time Framework for Natural Multimodal Interaction with Large Screen Displays / N. Krahnstoever
Embarking on Multimodal Interface Design / A. Sinha ; J. Landay
Multi Modal User Interaction in an Automatic Pool Trainer / L. Larsen ; M. Jensen ; W. Vodzi
Multimodal Contextual Car-Driver Interface / D. Siewiorek ; A. Smailagic ; M. Hornyak
Sensors, Tools, and Platforms for Multimodal Interfaces
Requirements for Automatically Generating Multi-modal Interfaces for Complex Appliances / T. Harris ; R. Rosenfeld ; S. Shriver ; M. Higgins ; J. Hughes
Articulated Model Based People Tracking Using Motion Models / H. Ning ; L. Wang ; W. Hu ; T. Tan
Audiovisual Arrays for Untethered Spoken Interfaces / K. Wilson ; V. Rangarajan ; N. Checka
Fingerprint Classification by Directional Fields / S. Wang ; W. Zhang ; Y. Wang
Towards Vision-Based 3-D People Tracking in a Smart Room / D. Focken
Using TouchPad Pressure to Detect Negative Affect / H. Mentis ; G. Gay
Designing Transition Networks for Multimodal VR-Interactions Using a Markup Language / M. Latoschik
Musically Expressive Doll in Face-to-Face Communication / T. Yonezawa ; K. Mase
Towards Monitoring Human Activities Using an Omnidirectional Camera
Smart Platform--A Software Infrastructure for Smart Space (SISS) / W. Xie ; Y. Shi ; Y. Mao
User Studies and System Evaluation
Do Multimodal Signals Need to Come from the Same Place? Crossmodal Attentional Links between Proximal and Distal Surfaces / R. Gray ; H. Tan ; J. Young
CATCH-2004 Multi-modal Browser: Overview Description with Usability Analysis / J. Kleindienst ; L. Seredi ; P. Kapanen ; J. Bergman
Multimodal Interaction during Multiparty Dialogues: Initial Results / R. Coulston ; K. Krout
Multi-modal Embodied Agents Scripting / Y. Arafa ; A. Mamdani
A Methodology for Evaluating Multimodality in a Home Entertainment System / J. Williams ; G. Michelitsch ; G. Moehler ; S. Rapp
Body-Based Interfaces / C. Cho ; H. Yang ; G. Kim ; S. Han
Evaluation of the Command and Control Cube / J. Grosjean ; J.-M. Burkhardt ; S. Coquillart ; P. Richard
Interruptions as Multimodal Outputs: Which are the Less Disruptive? / E. Arroyo ; T. Selker ; A. Stouffs
Experimentally Augmenting an Intelligent Tutoring System with Human-Supplied Capabilities: Adding Human-Provided Emotional Scaffolding to an Automated Reading Tutor That Listens / G. Aist ; B. Kort ; R. Reilly ; R. Picard
Individual Differences in Facial Expression: Stability over Time, Relation to Self-Reported Emotion, and Ability to Inform Person Identification / J. Cohn ; K. Schmidt ; R. Gross ; P. Ekman
Face Detection, Recognition, and Synthesis
Training a Talking Head / M. Cohen ; D. Massaro ; R. Clark
Labial Coarticulation Modeling for Realistic Facial Animation / P. Cosi ; E. Caldognetto ; G. Perin ; C. Zmarich
Improved Information Maximization Based Face and Facial Feature Detection from Real-Time Video and Application in a Multi-modal Person Identification System / Z. Xiong ; Y. Chen ; R. Wang ; T. Huang
Animating Arbitrary Topology 3D Facial Model Using the MPEG-4 FaceDefTables / D. Jiang ; W. Gao ; Z. Li
An Improved Active Shape Model for Face Alignment / W. Wang ; S. Shan ; B. Cao ; B. Yin
Head-Pose Invariant Facial Expression Recognition Using Convolutional Neural Networks / B. Fasel
An Improved Algorithm for Hairstyle Dynamics / W. Lao
Author Index
Preface
Conference Organizers
Perceptual Computing Systems and Methods
46.

電子ブック

EB
Automation, and Test in Europe 2003 Design, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , IEEE, 2003
所蔵情報: loading…
47.

電子ブック

EB
Automation, and Test in Europe 2003 Design, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , IEEE, 2003
所蔵情報: loading…
48.

電子ブック

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

電子ブック

EB
Association for Computing Machinery-Digital Library.; ACM Special Interest Group on Simulation and Modeling., Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , IEEE, 2003
所蔵情報: loading…
目次情報: 続きを見る
Message from the General Chair
Program Committee
Keynote Address
Modeling as Craft / Paul Fishwick ; Gainesville ; USA
Simulation-Based Performance Analysis I / Session 1:
A Simulation Study of the Proactive Server Roaming for Mitigating Denial of Service Attacks / C. Sangpachatanaruk ; S. M. Khattab ; T. F. Znati ; R. Melhem ; D. Mosse
Priorities Among Multiple Queues for Processor Co-Allocation in Multicluster Systems / A. I. D. Bucur ; D. H. J. Epema
Network Modeling and Simulation I / Session 2:
An Efficient Scheme for Chaining with Client-Centric Buffer Reservation for Multimedia Streaming / J. J. Schultz
Asymptotically Optimal Worksharing in HNOWs: How Long Is "Sufficiently Long"? / M. Adler ; Y. Gong ; A. L. Rosenberg
Location-Based Taxi Service in Wireless Communication Environment / A. P. Silva ; G. R. Mateus
Network Modeling and Simulation II / Session 3:
Performance Modeling and Simulation of Dynamic and Rapid Auto-Configuration Protocols for Ad-Hoc Wireless Networks / R. Vaidyanathan ; L. Kant ; A. McAuley ; M. Bereschinsky
Simulation Study of a Class of Autonomous Host-Centric Mobility Prediction Algorithms for Cellular and Ad Hoc Networks / I.-R. Chen ; N. Verma
A Preemptive On-Demand Distance Vector Routing Protocol for Mobile and Wireless Ad Hoc Networks / A. Boukerche ; L. Zhang
Approximate Connectivity Graph Generation in Mobile Ad Hoc Radio Networks / C. L. Barrett ; M. V. Marathe ; D. C. Engelhart ; A. Sivasubramaniam
Dynamic Reconfiguration of an Optical Interconnect / P. Krishnamurthy ; M. Franklin ; R. Chamberlain
Simulation-Based Performance Analysis II / Session 4:
Simulating Highly Dependable Applications in a Distributed Computing Environment / Y. Chen ; Z. He
Performance Analysis of Parallel Job Scheduling in Distributed Systems / H. D. Karatza ; R. C. Hilzer
A Supernet: Engineering Traffic Across Network Boundaries / S. Lincke-Salecker ; C. S. Hood
Network and Distributed Systems Modeling and Simulation / Session 5:
One-to-All Broadcasting Scheme for Hypercubes with Background Traffic / D. Kouvatsos ; I.-H. Mkwawa ; I. Awan
Security Issues in the ABELS System for Linking Distributed Simulations / G. A. Mills-Tettey ; L. F. Wilson
An ns-based Bluetooth Topology Construction Simulation Environment / C.-J. Hsu ; Y.-J. Joung
AI and Simulation-Based Techniques for the Assessment of Supply Chain Logistic Performance / A. Bruzzone ; A. Orsoni
Web-Based Modeling and Simulation--Multimedia Systems Simulation / Session 6:
Integrating Web Service and Grid Enabling Technologies to Provide Desktop Access to High-Performance Cluster-Based Components for Large-Scale Data Services / V. P. Holmes ; W. R. Johnson ; D. J. Miller
Enhancing Multimedia Caching Algorithm Performance Through New Definition Strategies / J. Fernandez ; J. Carretero ; F. Garcia ; J. M. Perez ; A. Calderon
A Simulation-Based Analysis of Scheduling Policies for Multimedia Servers / N. J. Sarhan ; C. R. Das
Parallel and Distributed Simulation / Session 7:
Design and Development of a Cluster Gateway for Cluster-Based HLA Distributed Virtual Simulation Environment / D. Chen ; B.-S. Lee ; W. Cai ; S. J. Turner
Evaluating Alternative Solutions for Cloning in Distributed Simulation / B. P. Gan ; N. Julka ; J. Wei
Improving Data Filtering Accuracy in Hierarchical Federations / L. Liu ; G. Li
Redesigning the WARPED Simulation Kernel for Analysis and Application Development / D. E. Martin ; P. A. Wilsey ; R. J. Hoekstra ; E. R. Keiter ; S. A. Hutchinson ; T. V. Russo ; L. J. Waters
Parallelizing Black Oil Reservoir Simulation Systems for SMP Machines / F. A. B. Silva ; E. P. Lopes ; E. P. L. Aude ; F. Mendes ; H. Serdeira ; J. Silveira
VLSI Circuit Simulation / Session 8:
Efficient Microprocessor Design Space Exploration Through Statistical Simulation / L. Eeckhout ; D. Stroobandt ; K. De Bosschere
Internode: Internal Node Logic Computational Model / A. Millan ; M. J. Bellido ; J. Juan ; D. Guerrero ; P. Ruiz-de-Clavijo ; E. Ostua
Modeling the Power Consumption of Audio Signal Processing Computations Using Customized Numerical Representations / E. Hemmeter ; R. Morley ; J. White
Advances in Simulation Methodology and Practices / Session 9:
Sojourn Times and Rare Events / N. T. Muller ; F. Brenner
Assessing and Improving Testing of Real-Time Software Using Simulation / J. Henry ; J. C. Stiff ; A. J. Shirar
Implementing Parallel Cell-DEVS / A. Troccoli ; G. Wainer
Adapting MASCOT Methodology to Software Performance Engineering Using Object-Oriented Simulation / O. Munar ; C. Juiz
Optimization of Cell Spaces Simulation for the Modeling of Fire Spreading / A. Muzy ; E. Innocenti ; J.-F. Santucci ; D. R. C. Hill
Network Modeling and Simulation III / Session 10:
Wireless Fading Vector Channel Model for Multi-Antenna System at Mobile Terminals / Y. Yuan
Tunable Fiber Bragg Gratings Modeling and Simulation / M. Mahmoud ; Z. Ghassemlooy
Dissemination Scenarios in Peer-to-Peer Networks / K. G. Zerfiridis
Simulation Languages, Tools, and Environments / Session 11:
An Event-Driven Approach to Crosstalk Noise Analysis / P. Bazargan-Sabet ; P. Renault
Multicast Routing Simulator over MPLS Networks / A. Boudani ; B. Cousin ; C. Jawhar ; M. Doughan
A Simulation Tool for Evaluating Shared Memory Systems / J. Tao ; M. Schulz ; W. Karl
XACDML--Extensible ACD Markup Language / J. N. Gil ; C. M. Hirata
Hyperpresence--An Application Environment for Control of Multi-User Agents in Mixed Reality Spaces / D. Tavares ; A. Burlamaqui ; A. Dias ; M. Monteiro ; V. Antunes ; G. Tho ; T. Tavares ; C. Lima ; L. Goncalves ; G. Lemos ; P. Alsina ; A. Medeiros
ANSS-37 2004 Call for Papers
Author Index
Message from the General Chair
Program Committee
Keynote Address
50.

電子ブック

EB
First Annual International IEEE/ACM Symposium on Code Generation and Optimization 2003, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , IEEE, 2003
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼