close
1.

電子ブック

EB
Jiannong Cao, Minyi Guo, Francis Lau, Laurence T. Yang, Association for Computing Machinery-Digital Library.
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
2.

電子ブック

EB
Radhia Cousot, Takeo Kanade, Association for Computing Machinery-Digital Library., Association for Computing Machinery.
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
3.

電子ブック

EB
CBSE 2005, George T. Heineman, Takeo Kanade, Association for Computing Machinery-Digital Library., George Heineman, Heinz W. Schmidt, Judith A. Stafford, Clemens Szyperski, Kurt Wallnau
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2005
所蔵情報: loading…
目次情報: 続きを見る
Prediction, Analysis and Monitoring of System Architecture
Performance Prediction of J2EE Applications Using Messaging Protocols / Yan Liu ; Ian Gorton
EJBMemProf - A Memory Profiling Framework for Enterprise JavaBeans / Marcus Meyerhöfer ; Bernhard Volz
Model-Driven Safety Evaluation with State-Event-Based Component Failure Annotations / Lars Grunske ; Bernhard Kaiser ; Yiannis Papadopoulos
Optimizing Resource Usage in Component-Based Real-Time Systems / Johan Fredriksson ; Kristian Sandström ; Mikael Åkerholm
Evaluating Performance Attributes of Layered Software Architecture / Vibhu Saujanya Sharma ; Pankaj Jalote ; Kishor S. Trivedi
Component-Level Dataflow Analysis / Atanas Rountev
Architecture and Design of Component-Based Systems
Exogenous Connectors for Software Components / Kung-Kiu Lau ; Perla Velasco Elizondo ; Zheng Wang
Qinna, a Component-Based QoS Architecture / Jean-Charles Tournier ; Jean-Philippe Babau ; Vincent Olive
Architecture Based Deployment of Large-Scale Component Based Systems: The Tool and Principles / Ling Lan ; Gang Huang ; Liya Ma ; Meng Wang ; Hong Mei ; Long Zhang ; Ying Chen
Component-Based Open Middleware Supporting Aspect-Oriented Software Composition / Bert Lagaisse ; Wouter Joosen
An Empirical Study on the Specification and Selection of Components Using Fuzzy Logic / Kendra Cooper ; João W. Cangussu ; Rong Lin ; Ganesan Sankaranarayanan ; Ragouramane Soundararadjane ; Eric Wong
Finding a Needle in the Haystack: A Technique for Ranking Matches Between Components / Naiyana Tansalarak ; Kajal Claypool
Extra-Functional System Properties of Components and Component-Based Systems
A Contracting System for Hierarchical Components / Philippe Collet ; Roger Rousseau ; Thierry Coupaye ; Nicolas Rivierre
Tailored Responsibility Within Component-Based Systems / Elke Franz ; Ute Wappler
Efficient Upgrading in a Purely Functional Component Deployment Model / Eelco Dolstra
Real-Time Scheduling Techniques for Implementation Synthesis from Component-Based Software Models / Zonghua Gu ; Zhimin He
A Component-Oriented Model for the Design of Safe Multi-threaded Applications / Reimer Behrends ; R.E. Kurt Stirewalt ; Laura K. Dillon
TeStor: Deriving Test Sequences from Model-Based Specifications / Patrizio Pelliccione ; Henry Muccini ; Antonio Bucchiarone ; Fabrizio Facchini
Components at Work
A CCA-compliant Nuclear Power Plant Simulator Kernel / Manuel Díaz ; Daniel Garrido ; Sergio Romero ; Bartolomé Rubio ; Enrique Soler ; José M. Troya
Experience with Component-Based Development of a Telecommunication Service / Gregory W. Bond ; Eric Cheung ; Healfdene H. Goguen ; Karrie J. Hanson ; Don Henderson ; Gerald M. Karam ; K. Hal Purdy ; Thomas M. Smith ; Pamela Zave
Reusable Dialog Component Framework for Rapid Voice Application Development / Rahul P. Akolkar ; Tanveer Faruquie ; Juan Huerta ; Pankaj Kankar ; Nitendra Rajput ; T.V. Raman ; Raghavendra U. Udupa ; Abhishek Verma
Unlocking the Grid / Chris A. Mattmann ; Nenad Medvidovic ; Paul M. Ramirez ; Vladimir Jakobac
Experience Report: Design and Implementation of a Component-Based Protection Architecture for ASP.NET Web Services / Konstantin Beznosov
Concept Index
Author Index
Prediction, Analysis and Monitoring of System Architecture
Performance Prediction of J2EE Applications Using Messaging Protocols / Yan Liu ; Ian Gorton
EJBMemProf - A Memory Profiling Framework for Enterprise JavaBeans / Marcus Meyerhöfer ; Bernhard Volz
4.

電子ブック

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

電子ブック

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…
6.

電子ブック

EB
Jose A. Onieva, Serge Chaumette, Dieter Gollmann, Konstantinos Markantonakis, Damien Sauveron, Association for Computing Machinery-Digital Library., IFIP WG 11.2.
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
7.

電子ブック

EB
Jonathan Gratch, Ruth Aylett, Daniel Ballin, Jonathan Matthew Gratch, Takeo Kanade, Patrick Olivier, Michael Young, Association for Computing Machinery-Digital Library.
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
目次情報: 続きを見る
Social Impact of IVAs
Why Fat Interface Characters Are Better e-Health Advisors / Henriette C. van Vugt ; Elly A. Konijn ; Johan F. Hoorn ; Jolanda Veldhuis
Virtual Rapport / Jonathan Gratch ; Anna Okhmatovskaia ; Francois Lamothe ; Stacy C. Marsella ; Mathieu Morales ; Rick J. van der Werf ; Louis-Philippe Morency
IVAs Recognizing Human Behavior
Imitation Learning and Response Facilitation in Embodied Agents / Stefan Kopp ; Olaf Graeser
Robust Recognition of Emotion from Speech / Mohammed E. Hoque ; Mohammed Yeasin ; Max M. Louwerse
Affect Detection from Human-Computer Dialogue with an Intelligent Tutoring System / Sidney D'Mello ; Art Graesser
Exploitation in Affect Detection in Improvisational E-Drama / Li Zhang ; John A. Barnden ; Robert J. Hendley ; Alan M. Wallington
Human Interpretation of IVA Behavior
An Exploration of Delsarte's Structural Acting System / Sharon Marie Carnicke ; Albert Rizzo
Perception of Blended Emotions: From Video Corpus to Expressive Agent / Stephanie Buisine ; Sarkis Abrilian ; Radoslaw Niewiadomski ; Jean-Claude Martin ; Laurence Devillers ; Catherine Pelachaud
Perceiving Visual Emotions with Speech / Zhigang Deng ; Jeremy Bailenson ; J. P. Lewis ; Ulrich Neumann
Embodied Conversational Agents
Dealing with Out of Domain Questions in Virtual Characters / Ronakkumar Patel ; Anton Leuski ; David Traum
MIKI: A Speech Enabled Intelligent Kiosk / Lee McCauley
Architecture of a Framework for Generic Assisting Conversational Agents / Jean-Paul Sansonnet ; David Leray
A Comprehensive Context Model for Multi-party Interactions with Virtual Characters / Norbert Pfleger ; Markus Lockelt
"What Would You Like to Talk About?" An Evaluation of Social Conversations with a Virtual Receptionist / Sabarish Babu ; Stephen Schmugge ; Tiffany Barnes ; Larry F. Hodges
Characteristics of Nonverbal Behavior
Gesture Expressivity Modulations in an ECA Application / Nicolas Ech Chafai ; Danielle Pele ; Gaspard Breton
Visual Attention and Eye Gaze During Multiparty Conversations with Distractions / Erdan Gu ; Norman L Badler
Behavior Representation Languages
Towards a Common Framework for Multimodal Generation: The Behavior Markup Language / Brigitte Krenn ; Andrew N. Marshall ; Hannes Pirker ; Kristinn R. Thorisson ; Hannes Vilhjalmsson
MPML3D: A Reactive Framework for the Multimodal Presentation Markup Language / Michael Nischt ; Helmut Prendinger ; Elisabeth Andre ; Mitsuru Ishizuka
Generation of Nonverbal Behavior with Speech
Creativity Meets Automation: Combining Nonverbal Action Authoring with Rules and Machine Learning / Michael Kipp
Nonverbal Behavior Generator for Embodied Conversational Agents / Jina Lee
[HUGE]: Universal Architecture for Statistically Based HUman GEsturing / Karlo Smid ; Goranka Zoric ; Igor S. Pandzic
A Story About Gesticulation Expression / Celso de Melo ; Ana Paiva
IVAs in Serious Games
Introducing EVG: An Emotion Evoking Game / Ning Wang
Towards a Reactive Virtual Trainer / Zsofia Ruttkay ; Job Zwiers ; Herwin van Welbergen ; Dennis Reidsma
Making It Up as You Go Along - Improvising Stories for Pedagogical Purposes / Ruth Aylett ; Rui Figueiredo ; Sandy Louchart ; Joao Dias
Cognition and Emotion I
A Neurobiologically Inspired Model of Personality in an Intelligent Agent / Stephen J. Read ; Lynn C. Miller ; Brian Monroe ; Aaron Brownstein ; Wayne Zachary ; Jean-Christophe LeMentec ; Vassil Iordanov
Feeling Ambivalent: A Model of Mixed Emotions for Virtual Agents / Benny Ping-Han Lee ; Edward Chao-Chun Kao ; Von-Wun Soo
Are Computer-Generated Emotions and Moods Plausible to Humans? / Patrick Gebhard ; Kerstin H. Kipp
Creating Adaptive and Individual Personalities in Many Characters Without Hand-Crafting Behaviors / Jennifer Sandercock ; Lin Padgham ; Fabio Zambetta
Cognition and Emotion II
Thespian: Modeling Socially Normative Behavior in a Decision-Theoretic Framework / Mei Si ; David V. Pynadath
Autobiographic Knowledge for Believable Virtual Characters / Wan Ching Ho ; Scott Watson
Teachable Characters: User Studies, Design Principles, and Learning Performance / Andrea L. Thomaz ; Cynthia Breazeal
Applications of IVAs
FearNot's Appearance: Reflecting Children's Expectations and Perspectives / Lynne Hall ; Marco Vala ; Marc Hall ; Marc Webster ; Sarah Woods ; Adrian Gordon
Populating Reconstructed Archaeological Sites with Autonomous Virtual Humans / Wei Shao ; Demetri Terzopoulos
Evaluating the Tangible Interface and Virtual Characters in the Interactive Cohibit Exhibit / Alassane Ndiaye
Invited Talks
Rule Systems and Video Games / Rod Humble
Facade: Architecture and Authorial Idioms for Believable Agents in Interactive Drama / Michael Mateas ; Andrew Stern
Social Effects of Emotion: Two Modes of Relation Alignment / Brian Parkinson
Posters
Computer Model of Emotional Agents / Dilyana Budakova ; Lyudmil Dakovski
Affective Robots as Mediators in Smart Environments / Gianni Cozzolongo ; Berardina De Carolis
Expression of Emotion in Body and Face / Elizabeth A. Crane ; M. Melissa Gross ; Barbara L. Fredrickson
Towards Primate-Like Synthetic Sociability / Pablo Lucas dos Anjos
Here Be Dragons: Integrating Agent Behaviors with Procedural Emergent Landscapes and Structures / Todd Furmanski
Virtual Pedagogical Agents: Naturalism vs. Stylization / Agneta Gulz ; Magnus Haake
The Role of Social Norm in User-Engagement and Appreciation of the Web Interface Agent Bonzi Buddy / Johan F. Room
Countering Adversarial Strategies in Multi-agent Virtual Scenarios / Yu-Cheng Hsu ; Paul Hsueh-Min Chang
Avatar's Gaze Control to Facilitate Conversational Turn-Taking in Virtual-Space Multi-user Voice Chat System / Ryo Ishii ; Toshimitsu Miyajima ; Kinya Fujita ; Yukiko Nakano
The Role of Discourse Structure and Response Time in Multimodal Communication / Patrick Jeuniaux ; Xiangen Hu
The PAC Cognitive Architecture / Andrew Rosoff ; James Eilbert
Control of Avatar's Facial Expression Using Fundamental Frequency in Multi-user Voice Chat System
Modeling Cognition with a Human Memory Inspired Advanced Neural Controller / David Panzoli ; Herve Luga ; Yves Duthen
Storytelling - The Difference Between Fantasy and Reality / Guilherme Raimundo ; Joao Cabral ; Celso Melo ; Luis C. Oliveira
A Plug-and-Play Framework for Theories of Social Group Dynamics / Matthias Rehm ; Birgit Endrass
Learning Classifier Systems and Behavioural Animation of Virtual Characters / Stephane Sanchez
Using Intelligent Agents to Facilitate Game Based Cultural Familiarization Training / Thomas Santarelli ; Charles Barba ; Floyd A. Glenn ; Daphne Bogert
Mind the Body: Filling the Gap Between Minds and Bodies in Synthetic Characters
CAB: A Tool for Interoperation Among Cognitive Architectures
Author Index
Social Impact of IVAs
Why Fat Interface Characters Are Better e-Health Advisors / Henriette C. van Vugt ; Elly A. Konijn ; Johan F. Hoorn ; Jolanda Veldhuis
Virtual Rapport / Jonathan Gratch ; Anna Okhmatovskaia ; Francois Lamothe ; Stacy C. Marsella ; Mathieu Morales ; Rick J. van der Werf ; Louis-Philippe Morency
8.

電子ブック

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…
9.

電子ブック

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

電子ブック

EB
Oscar Nierstrasz, David Harel, Takeo Kanade, Oscar Marius Nierstrasz, Gianna Reggio, Jon Whittle, Association for Computing Machinery-Digital Library.
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
目次情報: 続きを見る
A Software Modeling Odyssey: Designing Evolutionary Architecture-Centric Real-Time Systems and Product Lines / Hassan GomaaKeynote 1:
Evaluating UML
Uses and Abuses of the Stereotype Mechanism in UML 1.x and 2.0 / Brian Henderson-Sellers ; Cesar Gonzalez-Perez
An Experimental Investigation of UML Modeling Conventions / Christian F.J. Lange ; Bart Du Bois ; Michel R.V. Chaudron ; Serge Demeyer
Improving the Definition of UML / Greg O'Keefe
MDA in Software Development
Adopting Model Driven Software Development in Industry - A Case Study at Two Companies / Miroslaw Staron
Use Case Driven Iterative Development: Hurdles and Solutions / Santiago Ceria ; Juan Jose Cukier
Model-Driven Development with SDL - Process, Tools, and Experiences / Thomas Kuhn ; Reinhard Gotzhein ; Christian Webel
Concrete Syntax
Model-Driven Analysis and Synthesis of Concrete Syntax / Pierre-Alain Muller ; Franck Fleurey ; Frederic Fondement ; Michel Hassenforder ; Rend Schneckenburger ; Sebastien Gerard ; Jean-Marc Jezequel
Correctly Defined Concrete Syntax for Visual Modeling Languages / Thomas Baar
Applying UML to Interaction and Coordination
Compositional MDA / Louis van Gool ; Teade Punter ; Marc Hamilton ; Remco van Engelen
CUP 2.0: High-Level Modeling of Context-Sensitive Interactive Applications / Jan Van den Bergh ; Karin Coninx
Aspects
Domain Models Are NOT Aspect Free / Awais Rashid ; Ana Moreira
A Slice of MDE with AOP: Transforming High-Level Business Rules to Aspects / Maria Agustina Cibran ; Maja D'Hondt
Model Intergration
Package Merge in UML 2: Practice vs. Theory? / Alanna Zito ; Zinovy Diskin ; Juergen Dingel
Detecting and Resolving Model Inconsistencies Using Transformation Dependency Analysis / Tom Mens ; Ragnhild Van Der Straeten
Merging Models with the Epsilon Merging Language (EML) / Dimitrios S. Kolovos ; Richard F. Paige ; Fiona A.C. Polack
Formal Semantics of UML
Mappings, Maps and Tables: Towards Formal Semantics for Associations in UML2
Semantic Variations Among UML StateMachines / Ali Taleghani ; Joanne M. Atlee
Facilitating the Definition of General Constraints in UML / Dolors Costal ; Cristina Gomez ; Anna Queralt ; Ruth Raventos ; Ernest Teniente
Security
Towards a MOF/QVT-Based Domain Architecture for Model Driven Security / Michael Hafner ; Muhammad Alam ; Ruth Breu
MDA-Based Re-engineering with Object-Z / Jorn Guy Suss ; Tim McComb ; Soon-Kyeong Kim ; Luke Wildman ; Geoffrey Watson
A Model Transformation Semantics and Analysis Methodology for SecureUML / Achim D. Brucker ; Jurgen Doser ; Burkhart Wolff
Model Transformation Tools and Implementation
Incremental Model Transformation for the Evolution of Model-Driven Systems / David Hearnden ; Michael Lawley ; Kerry Raymond
A Plugin-Based Language to Experiment with Model Transformation / Jesus Sanchez Cuadrado ; Jesus Garcia Molina
SiTra: Simple Transformations in Java / David H. Akehurst ; Behzad Bordbar ; Michael J. Evans ; W. Gareth J. Howells ; Klaus D. McDonald-Maier
Analyzing Dynamic Models
Analysis and Visualization of Behavioral Dependencies Among Distributed Objects Based on UML Models / Vahid Garousi ; Lionel C. Briand ; Yuan Labiche
Model Extraction Using Context Information / Lucio Mauro Duarte ; Jeff Kramer ; Sebastian Uchitel
Dynamic and Generic Manipulation of Models: From Introspection to Scripting / Christophe Tombelle ; Gilles Vanwormhoudt
Specifying Transformations
Model Transformation by Example / Daniel Varro
Graphical Definition of In-Place Transformations in the Eclipse Modeling Framework / Enrico Biermann ; Karsten Ehrig ; Christian Kohler ; Gunter Kuhns ; Gabriele Taentzer ; Eduard Weiss
Model Transformations? Transformation Models! / Jean Bezivin ; Fabian Buttner ; Martin Gogolla ; Frederic Jouault ; Ivan Kurtev ; Arne Lindow
MOF
A Mapping Language from Models to DI Diagrams / Marcus Alanen ; Torbjorn Lundkvist ; Ivan Porres
Basic Operations over Models Containing Subset and Union Properties
A Metamodeling Approach to Pattern Specification / Maged Elaasar ; Yvan Labiche
Immune System Computation and the Immunological Homunculus / Irun R. CohenKeynote 2:
Bridging Models
Building Abstractions in Class Models: Formal Concept Analysis in a Model-Driven Approach / Gabriela Arevalo ; Jean-Remi Falleri ; Marianne Huchard ; Clementine Nebut
Lifting Metamodels to Ontologies: A Step to the Semantic Integration of Modeling Languages / Gerti Kappel ; Elisabeth Kapsammer ; Horst Kargl ; Gerhard Kramler ; Thomas Reiter ; Werner Retschitzegger ; Wieland Schwinger ; Manuel Wimmer
Incremental Model Synchronization with Triple Graph Grammars / Holger Giese ; Robert Wagner
Risk, Trust and Dependability
Model-Driven Assessment of Use Cases for Dependable Systems / Sadaf Mustafiz ; Ximeng Sun ; Jorg Kienzle ; Hans Vangheluwe
A Graphical Approach to Risk Identification, Motivated by Empirical Investigations / Ida Hogganvik ; Ketil Stolen
Reusable MDA Components: A Testing-for-Trust Approach / Jean-Marie Mottu ; Benoit Baudry ; Yves Le Traon
Tool Environments
Using Smalltalk as a Reflective Executable Meta-language / Stephane Ducasse ; Tudor Girba
UML Model Interchange in Heterogeneous Tool Environments: An Analysis of Adoptions of XMI 2 / Bjorn Lundell ; Brian Lings ; Anna Persson ; Anders Mattsson
Applying Model Fragment Copy-Restore to Build an Open and Distributed MDA Environment / Prawee Sriplakich ; Xavier Blanc ; Marie-Pierre Gervais
OCL
An OCL-Based Technique for Specifying and Verifying Refinement-Oriented Transformations in MDE / Claudia Pons ; Diego Garcia
An OCL Semantics Specified with QVT / Slavisa Markovic
Specification of Invariability in OCL / Piotr Kosiuczenko
Roundtrip Engineering
Framework-Specific Modeling Languages with Round-Trip Engineering / Michal Antkiewicz ; Krzysztof Czarnecki
A Visualization Framework for the Modeling and Formal Analysis of High Assurance Systems / Heather Goldsby ; Betty H. C. Cheng ; Sascha Konrad ; Stephane Kamdoum
Layered Class Diagrams: Supporting the Design Process / Scott Hendrickson ; Bryan Jett ; Andre van der Hoek
Real Time and Embedded Systems
Using UML Activities for System-on-Chip Design and Synthesis / Tim Schattkowsky ; Jan Hendrik Hausmann ; Gregor Engels
Modeling and Early Performance Estimation for Network Processor Applications / Antonia Bertolino ; Alvise Bonivento ; Guglielmo De Angelis ; Alberto Sangiovanni-Vincentelli
A Formal Semantics of UML-RT / Michael von der Beeck
Workshops, Tutorials and Panels
Workshops and Symposia at MoDELS 2006 / Thomas Kuhne
Tutorials at MoDELS 2006 / Egidio Astesiano
Panels at MoDELS 2006 / Douglas C. Schmidt
Author Index
A Software Modeling Odyssey: Designing Evolutionary Architecture-Centric Real-Time Systems and Product Lines / Hassan GomaaKeynote 1:
Evaluating UML
Uses and Abuses of the Stereotype Mechanism in UML 1.x and 2.0 / Brian Henderson-Sellers ; Cesar Gonzalez-Perez
11.

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

EB
Lu?s Miguel Pinho, Michael Gonzaalez Harbour, Michael Gonz?lez Harbour, Takeo Kanade, Luais Miguel Pinho, Association for Computing Machinery-Digital Library.
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2006
所蔵情報: loading…
15.

電子ブック

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

電子ブック

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…
17.

電子ブック

EB
Hang Li, Takeo Kanade, Ting Liu, Wei-Ying Ma, Tetsuya Sakai, Kam-Fai Wong, Guodong Zhou, Association for Computing Machinery-Digital Library.
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
18.

電子ブック

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…
19.

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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:
24.

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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…
38.

電子ブック

EB
Joint Conference on Digital Libraries, Lois M. L. Delcambre, Geneva Henry, Catherine C. Marshall, Association for Computing Machinery-Digital Library., IEEE Technical Committee on Digital Libraries.
出版情報: ACM Digital Library Proceedings , IEEE, 2003
所蔵情報: loading…
目次情報: 続きを見る
Preface
Program Committee
Conference Committee
Steering Committee
Panels
Opening Keynote / James BoyleSession 1:
Music and Digital Libraries: From Users to Algorithms / Session 2A:
An Ethnographic Study of Music Information Seeking: Implications for the Design of a Music Digital Library / S. Cunningham ; N. Reeves ; M. Britland
Content-Based Indexing of Musical Scores / R. Medina ; L. Smith ; D. Wagner
Structural Analysis of Musical Signals for Indexing and Thumbnailing / W. Chai ; B. Vercoe
Automatic Metadata Creation / Session 3A:
Automatic Document Metadata Extraction Using Support Vector Machines / H. Han ; C. Giles ; E. Manavoglu ; H. Zha ; Z. Zhang ; E. Fox
Bibliographic Attribute Extraction from Erroneous References Based on a Statistical Model / A. Takasu
Automated Semantic Annotation and Retrieval Based on Sharable Ontology and Case-Based Learning Techniques / V.-W. Soo ; C.-Y. Lee ; C.-C. Li ; S. Chen ; C.-C. Chen
Managing Resources and Services / Session 4A:
Towards a Cultural Heritage Digital Library / G. Crane ; C. Wulfman
The DSpace Institutional Digital Repository System: Current Functionality / R. Tansley ; M. Bass ; D. Stuve ; M. Branschofsky ; D. Chudnov ; G. McClellan ; M. Smith
Metis: Lightweight, Flexible, and Web-Based Workflow Services for Digital Libraries / K. Anderson ; A. Andersen ; N. Wadhwani ; L. Bartolo
Information Retrieval and Data Mining / Session 4B:
Protein Association Discovery in Biomedical Literature / Y. Fu ; J. Mostafa ; K. Seki
Genescene: Biomedical Text and Data Mining / G. Leroy ; H. Chen ; J. Martinez ; S. Eggers ; R. Falsey ; K. Kislin ; Z. Huang ; J. Li ; J. Xu ; D. McDonald ; G. Ng
Taxonomies for Automated Question Triage in Digital Reference / J. Pomerantz ; R. Lankes
Topic Detection and Interest Tracking in a Dynamic Online News Source / A. Kurtz
Methods for Precise Named Entity Matching in Digital Collections / P. Davis ; D. Elson ; J. Klavans
An Application of Multiple Viewpoints to Content-Based Image Retrieval / J. French ; A. Chapin ; W. Martin
Minute Madness: Poster/Demo Short Presentations / Session 5:
Knowledge and Representation / Session 6A:
Convergence of Knowledge Management and E-Learning: The GetSmart Experience / B. Marshall ; Y. Zhang ; A. Lally ; R. Shen ; L. Cassel
Acquisition, Representation, Query and Analysis of Spatial Data: A Demonstration 3D Digital Library / J. Rowe ; A. Razdan ; A. Simon
Leveraging a Common Representation for Personalized Search and Summarization in a Medical Digital Library / K. McKeown ; N. Elhadad ; V. Hatzivassiloglou
User Interaction / Session 6B:
Visualizing and Exploring Picasso's World / C. Monroy ; R. Furuta ; E. Mallen
Graded Access to Sensitive Materials at the Archive of the Indigenous Languages of Latin America / H. Johnson
Learning Digital Library Technology across Borders / S. Southwick ; R. Southwick
Personal Spaces in the Context of OAI / N. Reyes-Farfan ; J. Sanchez
PoPS: Mobile Access to Digital Library Resources / N. Castellanos
How to Turn the Page / Y.-C. Chu ; I. Witten ; R. Lobb ; D. Bainbridge
OAI in Action / Session 7A:
Repository Synchronization in the OAI Framework / X. Liu ; K. Maly ; M. Zubair ; M. Nelson
eBizSearch: An OAI-Compliant Digital Library for eBusiness / Y. Petinot ; P. Teregowda ; S. Lawrence ; A. Rangaswamy ; N. Pal
The OAI-PMH Static Repository and Static Repository Gateway / P. Hochstenbach ; H. Jerez ; H. Van de Sompel
Multimedia Issues in Digital Libraries / Session 8A:
How Fast Is Too Fast? Evaluating Fast Forward Surrogates for Digital Video / B. Wildemuth ; G. Marchionini ; M. Yang ; G. Geisler ; T. Wilkens ; A. Hughes ; R. Gruss
Event-Based Retrieval from a Digital Library Containing Medical Streams / M. Kholief ; S. Shen
Music Representation in a Digital Music Library / D. Byrd ; E. Isaacson
A Quantified Fidelity Criterion for Parameter-Embedded Watermarking of Audio Archives / A. Gurijala ; J. Deller, Jr.
Fourth-Phase Digital Libraries: Pacing, Linking, Annotating and Citing in Multimedia Collections / J. Arias
Designing and Accessing Scientific Digital Libraries / Session 8B:
On Querying Geospatial and Georeferenced Metadata Resources in Gportal / Z. Liu ; E.-P. Lim ; W.-K. Ng ; D. Goh
A Scientific Digital Library in Context: An Earth Radiation Budget Experiment Collection in the Atmospheric Sciences Data Center Digital Library / M. Ferebee ; G. Boeshaar ; K. Bush ; J. Hertz
Designing a Language for Creating Conceptual Browsing Interfaces for Digital Libraries / T. Sumner ; S. Bhushan ; F. Ahmad ; Q. Gu
Content Access Characterization in Digital Libraries / G. Janee ; J. Frew ; D. Valentine
Scens: A System for the Mediated Sharing of Sensitive Data / S. Ye ; F. Makedon ; T. Steinberg ; L. Shen ; J. Ford ; Y. Wang ; Y. Zhao ; S. Kapidakis
Digital Libraries in the Classroom / Session 9A:
Understanding Educator Perceptions of "Quality" in Digital Libraries / M. Khoo ; M. Recker ; M. Marlino
Integrating Digital Libraries into Learning Environments: The Leboned Approach / F. Oldenettel ; M. Malachinski ; D. Reil
The Interactive Shared Educational Environment: User Interface, System Architecture and Field Study / X. Mu ; A. Pattee
Standards, Mark-Up, and Metadata / Session 9B:
XML Semantics and Digital Libraries / A. Renear ; D. Dubin ; C. Sperberg-McQueen ; C. Huitfeldt
Utility of an OAI Service Provider Search Portal / S. Shreeves ; C. Kirkham ; J. Kaczmarek ; T. Cole
The Dienst-OAI Gateway / T. Harrison
The XML Log Standard for Digital Libraries: Analysis, Evolution, and Deployment / M. Goncalves ; G. Panchanathan ; U. Ravindranathan ; A. Krowne ; F. Jagodzinski
A Quantitative Analysis of Unqualified Dublin Core Metadata Element Set Usage within Data Providers Registered with the Open Archives Initiative / J. Ward
Extracting Geometry from Digital Models in a Cultural Heritage Digital Library / T. Milbank
Tools for Building Digital Libraries / Session 10A:
Assembling and Enriching Digital Library Collections / J. Thompson
A System for Building Expandable Digital Libraries / D. Castelli ; P. Pagano
The Web-DL Environment for Building Digital Libraries from the Web / P. Calado ; B. Ribeiro-Neto ; A. Laender ; A. da Silva ; D. Reis ; P. Roberto ; M. Vieira ; J. Lage
Correction and Analysis / Session 10B:
Distributed Proofreading / G. Newby ; C. Franks
Correcting Broken Characters in the Recognition of Historical Printed Documents / M. Droettboom
Correcting Common Distortions in Camera-Imaged Library Materials / M. Brown ; D. Tsoi
Link Attachment (Preferential and Otherwise) in Contributor-Run Digital Libraries / M. Efron ; D. Sizemore
Automatic Disambiguation of Latin Abbreviations in Early Modern Texts for Humanities Digital Libraries / J. Rydberg-Cox
Demonstrations
Educational Tools in Support of the Stanford MediaServer / D. Stevenson ; C.-C. Chao ; S. Srivastava ; J. Durack ; A. Ladd ; K. Montgomery ; J. Stringer ; P. Dev
Processing and Formatting System for Digital Collections / F. Webb
CMedPort: A Cross-Regional Chinese Medical Portal / Y. Zhou ; J. Qin ; W. Chung ; G. Wang
V2V: A Second Variation on Query-by-Humming / W. Birmingham ; K. O'Malley ; J. Dunn ; R. Scherle
A Digital Collections Management System Based on Open Source Software / A. Zhang ; D. Gourley
Object-Oriented Modeling, Import and Query Processing of Digital Documents / A. Zeitz ; I. Bruder
Stanford Encyclopedia of Philosophy: A Dynamic Reference Work / C. Allen ; U. Nodelman ; E. Zalta
Digital Library Service Integration / X. Chen ; D.-H. Kim ; N. Nnadi ; H. Shah ; P. Shrivastava ; M. Bieber ; I. Im ; Y.-F. Wu
5SGraph Demo: A Graphical Modeling Tool for Digital Libraries / Q. Zhu
ICON (Innovation Curriculum Online Network): The National Digital Library for Technological Literacy / Q. Briggs
NanoPort: An Example for Building Knowledge Portals for Scientific Domains / M. Chau ; C. Tseng ; A. Yip ; T. Ng ; F. Guo ; Z.-K. Chen
EconPort: A Digital Library for Microeconomics Education / D. Zeng ; R. Kalla ; J. Cox ; J. Swarthout
eBizPort and cBizPort: Collecting and Analyzing Business
Concept Mapping and Searching in an E-Learning Environment
Posters
Displaying Resources in Context: Using Digital Libraries to Support Changes in Undergraduate Education / C. Manduca ; S. Fox
A Proposal for Digital Library Protection / H. Sasaki ; Y. Kiyoki
Content-Based Summarization for Personal Image Library / J.-H. Lim ; P. Mulhelm ; Q. Tian
Modularization Framework for Digital Museum Exhibition / B.-H. Chen ; S.-H. Hung ; J.-S. Hong
Sustainability Issues and Activities for the NSDL / D. McArthur ; S. Giersch ; H. Burrows
Contribution and Collaboration Strategies for the National Science Digital Library (nsdl.org): Investigating Technological Solutions to Facilitate Social Evolution of a Collaborative Infrastructure / E. Cramer ; D. Krafft ; D. Hillmann ; J. Saylor ; C. Terrizzi
FLOW: Co-constructing Low Barrier Repository Infrastructure in Support of Heterogeneous Knowledge Collection(s) / K. Baker ; A. Gold ; F. Sudholt
MetaTest: Evaluation of Metadata from Generation to Use / E. Liddy ; E. Allen ; C. Finneran ; G. Gay ; H. Hembrooke ; L. Granka
Finding and Using Data in Educational Digital Libraries / R. Pandya ; B. Domenico
An XQuery Engine for Digital Library Systems / J.-H. Kang ; C.-S. Kim ; E.-J. Ko
NSDL Community Services Standing Committee and The / M. Mardis
CephSchool: A Pedagogic Portal for Teaching Biological Principles with Cephalopod Molluscs / J. Wood ; C. Shaw
The NSDL Policy Committee: Community and Action / E. Hoffman
VIVO - A Video Indexing and Visualization Organizer
The Roadies Take the Stage: On-Going Development and Maintenance of the Legacy Tobacco Documents Library at the University of California San Francisco / H. Schmidt
BioSci Education Network (BEN) Collaborative / L. Akli ; C. Collins ; J. Smith ; R. Butler ; A. Chang ; Y. George ; N. Gough ; M. Lowy ; M. Matyas ; B. Muramatsu ; S. Musante ; J. Taylor
Palau Community College-Belau National Museum Image Archives Digitization and Access Project / I. Mad
Steps towards Establishing Shared Evaluation Goals and Procedures in the National Science Digital Library / C. Jones
A Comparison of Two Educational Resource Discovery Systems / L. Davis
Collections and Access Policies of the Digital Material of Ten National Libraries / A. Koulouris
Designing a Language for Creating Conceptual Browsing Interfaces
A Scientific Digital Library in Context
GetSmart: Integrating Digital Library and Knowledge Management
Automatically Extracting Genetic Relations from Biomedical
Digital Library Analysis: Advantages of Using the XML
Closing Keynote / Tom MoritzSession 11:
Workshops
Cross-Cultural Usability for Digital Libraries
International Workshop on Information Visualization Interfaces for Retrieval and Analysis (IVIRA)
Preface
Program Committee
Conference Committee
39.

電子ブック

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

電子ブック

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…
41.

電子ブック

EB
Association for Computing Machinery-Digital Library.; ACM Special Interest Group on Microarchitectural Research and Processing., Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , IEEE, 2003
所蔵情報: loading…
目次情報: 続きを見る
Message from the General Chair
Message from the Program Chair
Committees
Reviewers
Keynote 1
Microarchitecture on the MOSFET Diet / Kerry Bernstein
Voltage Scaling and Transient Faults / Session 1:
Razor: A Low-Power Pipeline Based on Circuit-Level Timing Speculation / D. Ernst ; N. S. Kim ; S. Das ; S. Pant ; R. Rao ; T. Pham ; C. Ziesler ; D. Blaauw ; T. Austin ; K. Flautner ; T. Mudge
VSV: L2-Miss-Driven Variable Supply-Voltage Scaling for Low Power / H. Li ; C.-Y. Cher ; T. N. Vijaykumar ; K. Roy
A Systematic Methodology to Compute the Architectural Vulnerability Factors for a High-Performance Microprocessor / S. S. Mukherjee ; C. Weaver ; J. Emer ; S. K. Reinhardt
Cache Design / Session 2:
TLC: Transmission Line Caches / B. M. Beckmann ; D. A. Wood
Distance Associativity for High-Performance Energy-Efficient Non-Uniform Cache Architectures / Z. Chishti ; M. D. Powell
Near-Optimal Precharging in High-Performance Nanoscale CMOS Caches / S.-H. Yang ; B. Falsafi
Power and Energy Efficient Architectures / Session 3:
Single-ISA Heterogeneous Multi-Core Architectures: The Potential for Processor Power Reduction / R. Kumar ; K. I. Farkas ; N. P. Jouppi ; P. Ranganathan ; D. M. Tullsen
Runtime Power Monitoring in High-End Processors: Methodology and Empirical Data / C. Isci ; M. Martonosi
Power-Driven Design of Router Microarchitectures in On-Chip Networks / H. Wang ; L.-S. Peh ; S. Malik
Optimum Power/Performance Pipeline Depth / A. Hartstein ; T. R. Puzak
Application Specific Optimization and Analysis / Session 4:
Processor Acceleration through Automated Instruction Set Customization / N. Clark ; H. Zhong ; S. Mahlke
The Reconfigurable Streaming Vector Processor (RSVP) / S. Ciricescu ; R. Essick ; B. Lucas ; P. May ; K. Moat ; J. Norris ; M. Schuette ; A. Saidi
Scaling and Characterizing Database Workloads: Bridging the Gap between Research and Practice / R. Hankins ; T. Diep ; M. Annavaram ; B. Hirano ; H. Eri ; H. Nueckel ; J. P. Shen
Keynote 2
In Memory of Bob Rau / Michael Schlansker
Dynamic Optimization Systems / Session 5:
Generational Cache Management of Code Traces in Dynamic Optimization Systems / K. Hazelwood ; M. D. Smith
The Performance of Runtime Data Cache Prefetching in a Dynamic Optimization System / J. Lu ; H. Chen ; R. Fu ; W.-C. Hsu ; B. Othmer ; P.-C. Yew ; D.-Y. Chen
IA-32 Execution Layer: A Two-Phase Dynamic Translator Designed to Support IA-32 Applications on Itanium-Based Systems / L. Baraz ; T. Devor ; O. Etzion ; S. Goldenberg ; A. Skaletsky ; Y. Wang ; Y. Zemach
Dynamic Program Analysis and Optimization / Session 6:
LLVA: A Low-Level Virtual Instruction Set Architecture / V. Adve ; C. Lattner ; M. Brukman ; A. Shukla ; B. Gaeke
Comparing Program Phase Detection Techniques / A. S. Dhodapkar ; J. E. Smith
Using Interaction Costs for Microarchitectural Bottleneck Analysis / B. A. Fields ; R. Bodik ; M. D. Hill ; C. J. Newburn
Branch, Value and Scheduling Optimizations / Session 7:
Fast Path-Based Neural Branch Prediction / D. A. Jimenez
Hardware Support for Control Transfers in Code Caches / H.-S. Kim
Exploiting Value Locality in Physical Register Files / S. Balakrishnan ; G. S. Sohi
Macro-op Scheduling: Relaxing Scheduling Loop Constraints / I. Kim ; M. H. Lipasti
Dataflow, Data Parallel, and Clustered Architectures / Session 8:
WaveScalar / S. Swanson ; K. Michelson ; A. Schwerin ; M. Oskin
Universal Mechanisms for Data-Parallel Architectures / K. Sankaralingam ; S. W. Keckler ; W. R. Mark ; D. Burger
Flexible Compiler-Managed L0 Buffers for Clustered VLIW Processors / E. Gibert ; J. Sanchez ; A. Gonzalez
Instruction Replication for Clustered Microarchitectures / A. Aleta ; J. M. Codina ; D. Kaeli
Secure and Network Processors / Session 9:
Efficient Memory Integrity Verification and Encryption for Secure Processors / G. E. Suh ; D. Clarke ; B. Gassend ; M. van Dijk ; S. Devadas
Fast Secure Processor for Inhibiting Software Piracy and Tampering / J. Yang ; Y. Zhang ; L. Gao
IPStash: A Power-Efficient Memory Architecture for IP-Lookup / S. Kaxiras ; G. Keramidas
Design and Implementation of High-Performance Memory Systems for Future Packet Buffers / J. Garcia ; J. Corbal ; L. Cerda ; M. Valero
Scaling Design / Session 10:
Beating In-Order Stalls with "Flea-Flicker" Two-Pass Pipelining / R. D. Barnes ; E. M. Nystrom ; J. W. Sias ; S. J. Patel ; N. Navarro ; W. W. Hwu
Scalable Hardware Memory Disambiguation for High ILP Processors / S. Sethumadhavan ; R. Desikan ; C. R. Moore
Reducing Design Complexity of the Load/Store Queue / I. Park ; C. L. Ooi
Checkpoint Processing and Recovery: Towards Scalable Large Instruction Window Processors / H. Akkary ; R. Rajwar ; S. T. Srinivasan
Author Index
Message from the General Chair
Message from the Program Chair
Committees
42.

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

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

電子ブック

EB
Association for Computing Machinery-Digital Library.; ACM Special Interest Group on Microarchitectural Research and Processing.; ACM Special Interest Group on Programming Languages., Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , IEEE, 2004
所蔵情報: loading…
47.

電子ブック

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, 2004
所蔵情報: loading…
48.

電子ブック

EB
Johannes Luthi, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , IEEE, 2004
所蔵情報: loading…
目次情報: 続きを見る
Message from the General Chairs
Message from the Program Chairs
Organizing Committees
Reviewers
Call for Papers
Welcome and Keynote / Session 1:
Virtual Space / A. Ferscha
Network Simulation 1 / Session 2:
Simulation Validation Using Direct Execution of Wireless Ad-Hoc Routing Protocols / J. Liu ; Y. Yuan ; D. M. Nicol ; R. S. Gray ; C. C. Newport ; D. Kotz ; L. F. Perrone
Performance of a Mixed Shared/Distributed Memory Parallel Network Simulator / C. Kiddle ; R. Simmonds ; B. Unger
Detailed OFDM Modeling in Network Simulation of Mobile Ad Hoc Networks / G. Yeung ; M. Takai ; R. Bagrodia ; A. Mehrnia ; B. Daneshrad
Optimization / Session 3:
Event Reconstruction in Time Warp / L. Li ; C. Tropper
Just-In-Time Cloning / M. Hybinette
High-Speed, Scalable, Real-Time Simulation Using DSP Arrays / R. Crosbie ; J. Zenor ; R. Bednar ; D. Word ; N. Hingorani ; T. Ericsen
Optimistic Methods / Session 4:
Towards Grid-Aware Time Warp / K. A. Iskra ; G. D. van Albada ; P. M. A. Sloot
Time Warp--Connection Oriented / N. Kalantery
Batch Based Cancellation: A Rollback Optimal Cancellation Scheme in Time Warp Simulations / Y. Zeng ; W. Cai ; S. J. Turner
Simulation Theory / Session 5:
Formalization and Strictness of Simulation Event Orderings / Y. M. Teo ; B. S. S. Onggo
The Effect of Detail on Ethernet Simulation / A. Hussain ; A. Kapoor ; J. Heidemann
A Utility Model for Timely State Update in Distributed Wargame Simulations / S. Zhou ; H. Zhao ; X. Pang
Applications / Session 6:
A Component-Based Simulation Layer for James / J. Himmelspach ; A. M. Uhrmacher
Optimistic Synchronization in HLA Based Distributed Simulation / X. Wang ; M. Y. H. Low ; B. P. Gan
Hybrid Performability Analysis of Logistic Networks / F. Bause ; P. Buchholz ; M. Fischer ; P. Kemper
Keynote / Session 7:
Component-Based Distributed Simulations. The Way Forward? / A. Verbraeck
Work In Progress / Session 8:
Network Simulation II / Session 9:
Conservative Synchronization of Large-Scale Network Simulations / A. Park ; R. M. Fujimoto ; K. S. Perumalla
Optimizing Parallel Execution of Detailed Wireless Network Simulation / Z. Ji ; J. Zhou ; J. Martin
Space-Parallel Network Simulations Using Ghosts / G. F. Riley ; T. M. Jaafar ; M. H. Ammar
Emerging Methods / Session 10:
Space Uncertain Simulation Events: Some Concepts and an Application to Optimistic Synchronization / F. Quaglia ; R. Beraldi
Exploiting Symmetry for Partitioning Models in Parallel Discrete Event Simulation / J. Lemeire ; B. Smets ; P. Cara ; E. Dirkx
Time-Parallel Simulation with Approximative State Matching / T. Kiesling ; S. Pohl
Author Index
Message from the General Chairs
Message from the Program Chairs
Organizing Committees
49.

電子ブック

EB
Association for Computing Machinery-Digital Library.; ACM Special Interest Group on Microarchitectural Research and Processing., Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , IEEE, 2004
所蔵情報: loading…
50.

電子ブック

EB
International Symposium on Computer Architecture, Association for Computing Machinery-Digital Library., IEEE Computer Society.
出版情報: ACM Digital Library Proceedings , IEEE, 2004
所蔵情報: loading…
目次情報: 続きを見る
General Co-Chairs' Message
Program Chair's Message
Committees
Reviewers
Keynote 1
Computer Architecture: Challenges and Opportunities for the Next Decade / Tilak Agerwala
Architecture Evaluations / Session 1:
Evaluation of the Raw Microprocessor: An Exposed-Wire-Delay Architecture for ILP and Streams / M. Taylor ; W. Lee ; J. Miller ; D. Wentzlaff ; B. Greenwald ; V. Strumpen ; N. Shnidman ; I. Bratt ; H. Hoffmann ; P. Johnson ; J. Kim ; A. Saraf ; J. Psota ; M. Frank|cS. Amarasinghe ; A. Agarwal
Evaluating the Imagine Stream Architecture / J. Ahn ; W. Dally ; B. Khailany ; U. Kapasi ; A. Das
Field-testing IMPACT EPIC Research Results in Itanium 2 / J. Sias ; S. Ueng ; G. Kent ; I. Steiner ; E. Nystrom ; W. Hwu
Parallelism in Microarchitectures / Session 2A:
Wire Delay is Not a Problem for SMT (In the Near Future) / Z. Chishti ; T. Vijaykumar
The Vector-Thread Architecture / R. Krashinsky ; C. Batten ; S. Gerding ; M. Hampton ; B. Pharris ; J. Casper ; K. Asanovic
Single-ISA Heterogeneous Multi-Core Architectures for Multithreaded Workload Performance / R. Kumar ; D. Tullsen ; P. Ranganathan ; N. Jouppi ; K. Farkas
Microarchitecture Optimizations for Exploiting Memory-Level Parallelism / Y. Chou ; B. Fahs ; S. Abraham
Memory Consistency / Session 2B:
Memory Ordering: A Value-Based Approach / H. Cain ; M. Lipasti
Transactional Memory Coherence and Consistency / L. Hammond ; V. Wong ; M. Chen ; B. Hertzberg ; J. Davis ; B. Carlstrom ; M. Prabhu ; H. Wijaya ; C. Kozyrakis ; K. Olukotun
TSOtool: A Program for Verifying Memory Systems Using the Memory Consistency Model / S. Hangal ; D. Vahia ; C. Manovit ; J. Lu ; S. Narayanan
SMTp: An Architecture for Next-generation Scalable Multi-threading / M. Chaudhuri ; M. Heinrich
Panel: Supporting ILP in Tiled Architectures: Wasted Effort, or a Good Idea?
Keynote 2
High Performance Throughput Computing / Marc Tremblay ; Sun Microsystems
Power and Energy / Session 3:
A Formal Approach to Frequent Energy Adaptations for Multimedia Applications / C. Hughes ; S. Adve
Synchroscalar: A Multiple Clock Domain, Power-Aware, Tile-Based Embedded Processor / J. Oliver ; R. Rao ; P. Sultana ; J. Crandall ; E. Czernikowski ; L. Jones ; D. Franklin ; V. Akella ; F. Chong
Power Awareness through Selective Dynamically Optimized Traces / R. Rosner ; Y. Almog ; M. Moffie ; N. Schwartz ; A. Mendelson
Interconnect and I/O / Session 3B:
X-RAY: A Non-Invasive Exclusive Caching Mechanism for RAIDs / L. Bairavasundaram ; M. Sivathanu ; A. Arpaci-Dusseau ; R. Arpaci-Dusseau
Low-Latency Virtual-Channel Routers for On-Chip Networks / R. Mullins ; A. West ; S. Moore
Immunet: A Cheap and Robust Fault-Tolerant Packet Routing Mechanism / V. Puente ; J. Gregorio ; F. Vallejo ; R. Beivide
Compression and Debugging / Session 4A:
Adaptive Cache Compression for High-Performance Processors / A. Alameldeen ; D. Wood
iWatcher: Efficient Architectural Support for Software Debugging / P. Zhou ; F. Qin ; W. Liu ; Y. Zhou ; J. Torrellas
Superscalars / Session 4B:
From Sequences of Dependent Instructions to Functions: An Approach for Improving Performance without ILP or Speculation / S. Yehia ; O. Temam
Prophet/Critic Hybrid Branch Prediction / A. Falcon ; J. Stark ; A. Ramirez ; K. Lai ; M. Valero
Support for Reliability / Session 5A:
Techniques to Reduce the Soft Error Rate of a High-Performance Microprocessor / C. Weaver ; J. Emer ; S. Mukherjee ; S. Reinhardt
The Case for Lifetime Reliability-Aware Microprocessors / J. Srinivasan ; P. Bose ; J. Rivers
Exploiting Resonant Behavior to Reduce Inductive Noise / M. Powell
Register File / Session 5B:
Use-Based Register Caching with Decoupled Indexing / J. Butts ; G. Sohi
A Content Aware Integer File Organization / R. Gonzalez ; A. Cristal ; D. Ortega ; A. Veidenbaum
Physical Register Inlining / B. Mestan ; E. Gunadi
Performance Methodologies / Session 6A:
A First-Order Superscalar Processor Model / T. Karkhanis ; J. Smith
Control Flow Modeling in Statistical Simulation for Accurate and Efficient Processor Design Studies / L. Eckhout ; R. Bell ; B. Stougie ; K. De Bosschere ; L. John
Microarchitectural Concepts / Session 6B:
Extended Split-Issue: Enabling Flexibility in the Hardware Implementation of NUAL VLIW DSPs / B. Iyer ; S. Srinivasan ; B. Jacob
A Complexity-Effective Approach to ALU Bandwidth Enhancement for Instruction-Level Temporal Redundancy / A. Parashar ; S. Gurumurthi ; A. Sivasubramaniam
Author Index
General Co-Chairs' Message
Program Chair's Message
Committees
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼