close
1.

図書

図書
Peter Widmayer ... [et al.] (eds.)
出版情報: Berlin : Springer, c2002  xxi, 1069 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2380
所蔵情報: loading…
目次情報: 続きを見る
Invited Talks
Molecular Assembly and Computation: From Theory to Experimental Demonstrations / John H. Reif
Towards a Predictive Computational Complexity Theory / Madhav V. Marathe
Equivariant Syntax and Semantics / Andrew M. Pitts
L(A) = L(B)? Decidability Results from Complete Formal Systems / Géraud Sénizergues (Gödel Prize 2002)
Discrete Tomography: Reconstruction under Periodicity Constraints / Alberto Del Lungo ; Andrea Frosini ; Maurice Nivat ; Laurent Vuillon
Local and Global Methods in Data Mining: Basic Techniques and Open Problems / Heikki Mannila
Program Debugging and Validation Using Semantic Approximations and Partial Specifications / M. Hermenegildo ; G. Puebla ; F. Bueno ; P. López García
Best Papers
Inapproximability Results for Equations over Finite Groups / Lars Engebretsen ; Jonas Holmerin ; Alexander Russell
A Faster All-Pairs Shortest Path Algorithm for Real-Weighted Sparse Graphs / Seth Pettie
On Families of Graphs Having a Decidable First Order Theory with Reachability / Thomas Colcombet
Contributions
Heuristically Optimized Trade-Offs: A New Paradigm for Power Laws in the Internet / Alex Fabrikant ; Elias Koutsoupias ; Christos H. Papadimitriou
The Structure and Complexity of Nash Equilibria for a Selfish Routing Game / Dimitris Fotakis ; Spyros Kontogiannis ; Marios Mavronicolas ; Paul Spirakis
Control Message Aggregation in Group Communication Protocols / Sanjeev Khanna ; Joseph (Seffi) Naor ; Dan Raz
Church-Rosser Languages vs. UCFL / Tomasz Jurdziński ; Krzysztof Loryś
Intersection of Regular Languages and Star Hierarchy / Sebastian Bala
On the Construction of Reversible Automata for Reversible Languages / Sylvain Lombardy
Priority Queues, Pairing, and Adaptive Sorting / Amr Elmasry
Exponential Structures for Efficient Cache-Oblivious Algorithms / Michael A. Bender ; Richard Cole ; Rajeev Raman
Bounded-Depth Frege Systems with Counting Axioms Polynomially Simulate Nullstellensatz Refutations / Russell Impagliazzo ; Nathan Segerlind
On the Complexity of Resolution with Bounded Conjunctions / Juan Luis Esteban ; Nicola Galesi ; Jochen Messner
Cryptographic Hardness Based on the Decoding of Reed-Solomon Codes / Aggelos Kiayias ; Moti Yung
Perfect Constant-Round Secure Computation via Perfect Randomizing Polynomials / Yuval Ishai ; Eyal Kushilevitz
Exponential Lower Bound for Static Semi-algebraic Proofs / Dima Grigoriev ; Edward A. Hirsch ; Dmitrii V. Pasechnik
Paths Problems in Symmetric Logarithmic Space / Andreas Jakoby ; Maciej Liśkiewicz
Scheduling Search Procedures / Peter Damaschke
Removable Online Knapsack Problems / Kazuo Iwama ; Shiro Taketomi
New Bounds for Variable-Sized and Resource Augmented Online Bin Packing / Leah Epstein ; Steve Seiden ; Rob van Stee
The Quest for Small Universal Cellular Automata / Nicolas Ollinger
Hyperbolic Recognition by Graph Automata / Christophe Papazian ; Eric Rémila
Quantum and Stochastic Branching Programs of Bounded Width / Farid Ablayev ; Cristopher Moore ; Christopher Pollett
Spanning Trees with Bounded Number of Branch Vertices / Luisa Gargano ; Pavol Hell ; Ladislav Stacho ; Ugo Vaccaro
Energy Optimal Routing in Radio Networks Using Geometric Data Structures / René Beier ; Peter Sanders ; Naveen Sivadasan
Gossiping with Bounded Size Messages in ad hoc Radio Networks / Malin Christersson ; Leszek G&acedil;sieniec ; Andrzej Lingas
The Kolmogorov-Loveland Stochastic Sequences Are Not Closed under Selecting Subsequences / Wolfgang Merkle
The Nondeterministic Constraint Logic Model of Computation: Reductions and Applications / Robert A. Hearn ; Erik D. Demaine
Constraint Satisfaction Problems in Non-deterministic Logarithmic Space / Víctor Dalmau
Cache Oblivious Distribution Sweeping / Gerth Stølting Brodal ; Rolf Fagerberg
One-Probe Search / Anna Östlin ; Rasmus Pagh
New Algorithms for Subset Query, Partial Match, Orthogonal Range Searching, and Related Problems / Moses Charikar ; Piotr Indyk ; Rina Panigrahy
Measuring the Probabilistic Powerdomain / Keye Martin ; Michael Mislove ; James Worrell
Games Characterizing Levy-Longo Trees / C.-H.L. Ong ; P. Di Gianantonio
Comparing Functional Paradigms for Exact Real-Number Computation / Andrej Bauer ; Martín Hötzel Escardó ; Alex Simpson
Random Sampling from Boltzmann Principles / Philippe Duchon ; Philippe Flajolet ; Guy Louchard ; Gilles Schaeffer
On the Average Performance of Orthogonal Range Search in Multidimensional Data Structures / Amalia Duch ; Conrado Martínez
Bialgebraic Modelling of Timed Processes / Marco Kick
Testing Labelled Markov Processes / Franck van Breugel ; Steven Shalit
Why Computational Complexity Requires Stricter Martingales / John M. Hitchcock ; Jack H. Lutz
Correspondence Principles for Effective Dimensions
A Total Approach to Partial Algebraic Specification / José Meseguer ; Grigore Roşu
Axiomatising Divergence / Markus Lohrey ; Pedro R. D'Argenio ; Holger Hermanns
A Spatial Logic for Querying Graphs / Luca Cardelli ; Philippa Gardner ; Giorgio Ghelli
Improving Time Bounds on Maximum Generalised Flow Computations by Contracting the Network / Tomasz Radzik
Approximation Hardness of Bounded Degree MIN-CSP and MIN-BISECTION / Piotr Berman ; Marek Karpinski
Improved Bounds and New Trade-Offs for Dynamic All Pairs Shortest Paths / Camil Demetrescu ; Giuseppe F. Italiano
Synthesis of Uninitialized Systems / Thomas A. Henzinger ; Sriram C. Krishnan ; Orna Kupferman ; Freddy Y.C. Mang
Infinite-State High-Level MSCs: Model-Checking and Realizability / Blaise Genest ; Anca Muscholl ; Helmut Seidl ; Marc Zeitoun
Universal Inherence of Cycle-Free Context-Free Ambiguity Functions / Klaus Wich
Histogramming Data Streams with Fast Per-Item Processing / Sudipto Guha ; S. Muthukrishnan ; Martin J. Strauss
Finding Frequent Items in Data Streams / Kevin Chen ; Martin Farach-Colton
Symbolic Strategy Synthesis for Games on Pushdown Graphs / Thierry Cachat
Strong Bisimilarity and Regularity of Basic Process Algebra Is PSPACE-Hard / Jiří Srba
Solving the String Statistics Problem in Time <$>{\cal O}<$>(n log n) / Rune B. Lyngsø ; Christian N.S. Pedersen
A PTAS for Distinguishing (Sub)string Selection / Xiaotie Deng ; Guojun Li ; Zimao Li ; Bin Ma ; Lusheng Wang
On the Theory of One-Step Rewriting in Trace Monoids / Dietrich Kuske
Navigating with a Browser / Michail Bielecki ; Jan Hidders ; Jan Paredaens ; Jerzy Tyszkiewicz ; Jan Van den Bussche
Improved Results for Stackelberg Scheduling Strategies / V.S. Anil Kumar
Call Control in Rings / Udo Adamy ; Christoph Ambuehl ; R. Sai Anand ; Thomas Erlebach
Preemptive Scheduling in Overloaded Systems / Marek Chrobak ; John Noga ; Jiří Sgall ; Tomáš Tichý ; Nodari Vakhania
The Equivalence Problem of Finite Substitutions on ab*c, with Applications / J. Karhumäki ; L.P. Lisovik
Deciding DPDA Equivalence Is Primitive Recursive / Colin Stirling
Two-Way Alternating Automata and Finite Models / Mikolaj Bojańczyk
Approximating Huffman Codes in Parallel / Yakov Nekrich
Seamless Integration of Parallelism and Memory Hierarchy / Carlo Fantozzi ; Andrea Pietracaprina ; Geppino Pucci
The Communication Complexity of Approximate Set Packing and Covering / Noam Nisan
Antirandomizing the Wrong Game / Benjamin Doerr
Fast Universalization of Investment Strategies with Provably Good Relative Returns / Karhan Akcoglu ; Petros Drineas ; Ming-Yang Kao
Randomized Pursuit-Evasion in Graphs / Micah Adler ; Harald Räcke ; Christian Sohler ; Berthold Vöcking
The Essence of Principal Typings / J. B. Wells
Complete and Tractable Local Linear Time Temporal Logics over Traces / Bharat Adsul ; Milind Sohoni
An Elementary Expressively Complete Temporal Logic for Mazurkiewicz Traces / Paul Gastin ; Madhavan Mukund
Random Numbers and an Incomplete Immune Recursive Set / Vasco Brattka
A Banach-Mazur Computable But Not Markov Computable Function on the Computable Real Numbers / Peter Hertling
Polynomial-Time Approximation Schemes for the Euclidean Survivable Network Design Problem / Artur Czumaj ; Hairong Zhao
Finding a Path of Superlogarithmic Length / Andreas Björklund ; Thore Husfeldt
Linear Time Algorithms on Chordal Bipartite and Strongly Chordal Graphs / Ryuhei Uehara
Improved Inapproximability Results for Vertex Cover on k-Uniform Hypergraphs
Efficient Testing of Hypergraphs / Yoshiharu Kohayakawa ; Brendan Nagle ; Vojtěch Rödl
Optimal Net Surface Problems with Applications / Xiaodong Wu ; Danny Z. Chen
Wagner's Theorem on Realizers / Nicolas Bonichon ; Bertrand Le Saëc ; Mohamed Mosbah
Circular Arrangements / Vincenzo Liberatore
Author Index
Invited Talks
Molecular Assembly and Computation: From Theory to Experimental Demonstrations / John H. Reif
Towards a Predictive Computational Complexity Theory / Madhav V. Marathe
2.

図書

図書
Akinori Yonezawa, Satoshi Matsuoka (eds.)
出版情報: Berlin : Springer, c2001  xi, 281 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2192
所蔵情報: loading…
3.

図書

図書
Samuel P. Midkiff ... [et al.] (eds.)
出版情報: Berlin : Springer, c2001  ix, 381 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2017
所蔵情報: loading…
4.

図書

図書
Fernando Orejas, Paul G. Spirakis, Jan van Leeuwen (eds.)
出版情報: Berlin : Springer, c2001  xiv, 1083 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2076
所蔵情報: loading…
5.

図書

図書
Patrick Cousot (ed.)
出版情報: Berlin : Springer, c2001  xi, 436 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2126
所蔵情報: loading…
目次情報: 続きを見る
Invited Paper
Analysis of Multithreaded Programs / Martin Rinard
Program Transformation
Communication and Parallelism Introduction and Elimination in Imperative Concurrent Programs / Miquel Bertran ; Francesc Babot ; August Climent ; Miquel Nicolau
Using Slicing to Identify Duplication in Source Code / Raghavan Komondoor ; Susan Horwitz
Soft Scheduling for Hardware / Richard Sharp ; Alan Mycroft
Strictness and Termination
Effective Strictness Analysis with HORN Constraints / Kevin Glynn ; Peter J. Stuckey ; Martin Sulzmann
Applying Static Analysis Techniques for Inferring Termination Conditions of Logic Programs / Fred Mesnard ; Ulrich Neumerkel
An Abstract Analysis of the Probabilistic Termination of Programs / David Monniaux
Semantics Abstraction
Watchpoint Semantics: A Tool for Compositional and Focussed Static Analyses / Fausto Spoto
Logic and Constraint Programming
Parameterizing a Groundness Analysis of Logic Programs / Lunjin Lu
Finite-Tree Analysis for Constraint Logic-Based Languages / Roberto Bagnara ; Roberta Gori ; Patricia M. Hill ; Enea Zaffanella
Applications of Extended Static Checking / K. Rustan M. Leino
Data Structures
Cleanness Checking of String Manipulations in C Programs via Integer Analysis / Nurit Dor ; Michael Rodeh ; Mooly Sagiv
Solving Regular Tree Grammar Based Constraints / Yanhong A. Liu ; Ning Li ; Scott D. Stoller
Static Analyses of the Precision of Floating-Point Operations / Eric Goubault
Pointer Analysis
Estimating the Impact of Scalable Pointer Analysis on Optimization / Manuvir Das ; Ben Liblit ; Manuel Fahndrich ; Jakob Rehof
Efficient Computation of Parameterized Pointer Information for Interprocedural Analyses / Donglin Liang ; Mary Jean Harrold
Model Checking
Parametric Optimization of Open Real-Time Systems / Farn Wang ; Hsu-Chun Yen
Embedding Chaos / Natalia Sidorova ; Martin Steffen
Abstract Model Checking
Analyzing Fair Parametric Extended Automata / Ahmed Bouajjani ; Aurore Collomb-Annichini ; Yassine Lakhnech ; Mihaela Sighireanu
Incompleteness, Counterexamples, and Refinements in Abstract Model-Checking / Roberto Giacobazzi ; Elisa Quintarelli
Invited Talk
Language-Based Security: WhatÆs Needed and Why (Abstract) / Fred Schneider
Mobility
A Behavioral Module System for the Pi-Calculus / Sriram K. Rajamani
An Abstract Interpretation Framework for Analysing Mobile Ambients / Francesca Levi ; Sergio Maffeis
Abstract Interpretation-Based Static Analysis of Mobile Ambients / Jerome Feret
Invited Session on Security
Static Analysis and Software Assurance (Abstract) / David Wagner
A Type and Effect Analysis of Security Protocols (Abstract) / Andrew D. Gordon ; Alan Jeffrey
Abstracting Cryptographic Protocols by Prolog Rules (Abstract) / Bruno Blanchet
Security-Typed Languages and Distributed Computation (Abstract) / Andrew Myers
Author Index
Invited Paper
Analysis of Multithreaded Programs / Martin Rinard
Program Transformation
6.

図書

図書
Gavin Bierman, Christoph Koch (eds.)
出版情報: Berlin : Springer, c2005  x, 294 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3774
所蔵情報: loading…
7.

図書

図書
Josep Díaz ... [et al.] (eds.)
出版情報: Berlin ; Tokyo : Springer, c2004  xix, 1253 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3142
所蔵情報: loading…
8.

図書

図書
Giorgio Levi (ed.)
出版情報: Berlin ; New York : Springer, c1998  ix, 380 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1503
所蔵情報: loading…
目次情報: 続きを見る
Data-Flow Analysis
Bidirectional Data Flow Analysis in Code Motion: Myth and Reality / Oliver Rüthing
On a New Method for Dataflow Analysis of Java Virtual Machine Subroutines / Masami Hagiya ; Akihiko Tozawa
Enabling Sparse Constant Propagation of Array Elements via Array SSA Form / Kathleen Knobe ; Vivek Sarkar
Assessing the Effects of Flow-Sensitivity on Pointer Alias Analyses / Michael Hind ; Anthony Pioli
Logic Programming
Analysis of Normal Logic Programs / François Fages ; Roberta Gori
The Correctness of Set-Sharing / Patricia M. Hill ; Roberto Bagnara ; Enea Zaffanella
Deriving Analysers by Folding/Unfolding of Natural Semantics and a Case Study: Slicing / Valérie Gouranton
Concurrency
A Symbolic Semantics for Abstract Model Checking / Francesca Levi
Automatic Determination of Communication Topologies in Mobile Systems / Arnaud Venet
Constructing Specific SOS Semantics for Concurrency via Abstract Interpretation / Chiara Bodei ; Pierpaolo Degano ; Corrado Priami
Abstract Domains
A First-Order Language for Expressing Aliasing and Type Properties of Logic Programs / Paolo Volpe
Refining Static Analyses by Trace-Based Partinioning Using Control Flow / Maria Handjieva ; Stanislav Tzolovski
Building Complete Abstract Interpretations in a Linear Logic-Based Setting / Roberto Giacobazzi ; Francesco Ranzato ; Francesca Scozzari
Partial Evaluation
On the Power of Homeomorphic Embedding for Online Termination / Michael Leuschel
Analysis of Imperative Programs through Analysis of Constraint Logic Programs / Julio C. Peralta ; John P. Gallagher ; Huseyin SaGlam
Improving Control in Functional Logic Program Specialization / E. Albert ; M. Alpuente ; M. Falaschi ; P. Julián ; G. Vidal
Type Inference
Directional Type Inference for Logic Programs / Witold Charatonik ; Andreas Podelski
Finite Subtype Inference with Explicit Polymorphism / Dominic Duggan
Optimization
Sparse Jacobian Computation in Automatic Differentiation by Static Program Analysis / M. Tadjouddine ; F. Eyssette ; C. Faure
A New Solution to the Hidden Copy Problem / Deepak Goyal ; Robert Paige
Tutorials
A Tutorial on Domain Theory in Abstract Interpretation
Program Analysis as Model Checking of Abstract Interpretations / David Schmidt ; Bernhard Steffen
Invited Talks
Certifying, Optimizing Compilation / Peter Lee
Author Index
Data-Flow Analysis
Bidirectional Data Flow Analysis in Code Motion: Myth and Reality / Oliver Rüthing
On a New Method for Dataflow Analysis of Java Virtual Machine Subroutines / Masami Hagiya ; Akihiko Tozawa
9.

図書

図書
Catuscia Palamidessi, Hugh Glaser, Karl Meinke (eds.)
出版情報: Berlin ; Tokyo : Springer, c1998  xi, 497 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1490
所蔵情報: loading…
目次情報: 続きを見る
Verification: Invited Paper
Logic Programming and Model Checking / Baoqiu Cui ; Yifei Dong ; Xiaoqun Du ; K. Narayan Kumar ; C. R. Ramakrishnan ; I. V. Ramakrishnan ; Abhik Roychoudhury ; Scott A. Smolka ; David S. Warren
Logic Programming I
CAT: The Copying Approach to Tabling / Bart Demoen ; Konstantinos Sagonas
SICStus MT - A Multithreaded Execution Environment for SICStus Prolog / Jesper Eskilson ; Mats Carlsson
A Framework for Bottom Up Specialisation of Logic Programs / Wim Vanhoof ; Danny De Schreye ; Bern Martens
Termination of Logic Programs with block Declarations Running in Several Modes / Jan-Georg Smaus ; Pat Hill ; Andy King
Static Analysis
The Boolean Logic of Set Sharing Analysis / Michael Codish ; Harald Søndergaard
Derivation of Proof Methods by Abstract Interpretation / Giorgio Levi ; Paolo Volpe
Detecting Unsolvable Queries for Definite Logic Programs / Maurice Bruynooghe ; Henk Vandecasteele ; D. Andre de Waal ; Marc Denecker
Staging Static Analyses Using Abstraction-Based Program Specialization / John Hatcliff ; Matthew Dwyer ; Shawn Laubach
An Experiment in Domain Refinement: Type Domains and Type Representations for Logic Programs / Fausto Spoto
Software Methodologies: Invited Paper Architecturing Software Using: A Methodology for Language Development / Charles Consel ; Renaud Marlet
Object Oriented Programming
Explicit Substitutions for Objects and Functions / Delia Kesner ; Pablo E. Mart'inez Lopez
The Complexity of Late-Binding in Dynamic Object-Oriented Languages / Enrico Pontelli ; Desh Ranjan ; Gopal Gupta
Term Rewriting
A Compiler for Rewrite Programs in Associative-Commutative Theories / Pierre-Etienne Moreau ; Héléne Kirchner
Solution to the Problem of Zantema on a Persistent Property of Term Rewriting Systems / Takahito Aoto
A General Framework for R-Unification Problems / Sebastien Limet ; Frédéric Saubion
Semantics: Tutorial
Operational Versus Denotational Methods in the Semantics of Higher Order Languages / Andrew M. Pitts
Functional Programming
Functional Implementations of Continuous Modeled Animation / Conal Elliott
Compiling Erlang to Scheme / Marc Feeley ; Martin Larose
From (Sequential) Haskell to (Parallel) Eden: An Implementation Point of View / Silvia Breitinger ; Ulrike Klusik ; Rita Loogen
Mobile Haskell: Compiling Lazy Functional Programs for the Java Virtual Machine / David Wakeling
Metaprogramming: Tutorial
Program Analysis in ?Prolog / John Hannan
Logic Programming II
A Game Semantics Foundation for Logic Programming / Roberto Di Cosmo ; Jean-Vincent Loddo ; Stephane Nicolet
Controlling Search in Declarative Programs / Michael Hanus ; Frank Steiner
Encapsulating Data in Logic Programming via Categorical Constraints / James Lipton ; Robert McGrail
Constructive Negation Using Typed Existence Properties / John G. Cleary ; Lunjin Lu
Optimal Evaluation: Tutorial
Optimal Reduction of Functional Expressions / Andrea Asperti
Integration
Embedding Multiset Constraints into a Lazy Functional Logic Language / P. Arenas-Sánchez ; F.J. López-Fraguas ; M. Rodr'iguez-Artalejo
A Hidden Herbrand Theorem / Joseph Goguen ; Grant Malcolm ; Tom Kemp
Constraint Solving
Integrating Constraint Propagation in Complete Solving of Linear
Diophantine Systems / Farid Ajili ; Hendrik C.R. Lock
Approaches to the Incremental Detection of Implicit Equalities with the Revised Simplex Method / Philippe Refalo
Author Index
Verification: Invited Paper
Logic Programming and Model Checking / Baoqiu Cui ; Yifei Dong ; Xiaoqun Du ; K. Narayan Kumar ; C. R. Ramakrishnan ; I. V. Ramakrishnan ; Abhik Roychoudhury ; Scott A. Smolka ; David S. Warren
Logic Programming I
10.

図書

図書
David O'Hallaron (ed.)
出版情報: Berlin ; Tokyo : Springer, c1998  ix, 412 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1511
所蔵情報: loading…
目次情報: 続きを見る
Expressing Irregular Computations in Modern Fortran Dialects / Jan F. Prins ; Siddhartha Chatterjee ; Martin Simons
Memory System Support for Irregular Applications / John Carter ; Wilson Hsieh ; Mark Swanson ; Lixin Zhang ; Erik Brunvand ; Al Davis ; Chen-Chi Kuo ; Ravindra Kuramkote ; Michael Parker ; Lambert Schaelicke ; Leigh Stoller ; Terry Tateyama
MENHIR: An Environment for High Performance Matlab / Stephane Chauveau ; Francois Bodin
On the Automatic Parallelization of Sparse and Irregular Fortran Programs / Yuan Lin ; David Padua
Loop Transformations for Hierarchical Parallelism and Locality / Vivek Sarkar
Dataflow Analysis Driven Dynamic Data Partitioning / Jodi Tims ; Rajiv Gupta ; Mary Lou Soffa
A Case for Combining Compile-Time and Run-Time Parallelization / Sungdo Moon ; Byoungro So ; Mary W. Hall ; Brian Murphy
Compiler and Run-Time Support for Adaptive Load Balancing in Software Distributed Shared Memory Systems / Sotiris Ioannidis ; Sandhya Dwarkadas
Efficient Interprocedural Data Placement Optimisation in a Parallel Library / Olav Beckmann ; Paul H. J. Kelly
A Framework for Specializing Threads in Concurrent Run-Time Systems / Gregory D. Benson ; Ronald A. Olsson
Load Balancing with Migrant Lightweight Threads / David Cronk ; Piyush Mehrotra
Integrated Task and Data Parallel Support for Dynamic Applications / James M. Rehg ; Kathleen Knobe ; Umakishore Ramachandran ; Rishiyur S. Nikhil ; Arun Chauhan
Supporting Self-Adaptivity for SPMD Message-Passing Applications / M. Cermele ; M. Colajanni ; S. Tucci
Evaluating the Effectiveness of a Parallelizing Compiler / Dixie Hisley ; Gagan Agrawal ; Lori Pollock
Comparing Reference Counting and Global Mark-and-Sweep on Parallel Computers / Hirotaka Yamamoto ; Kenjiro Taura ; Akinori Yonezawa
Design of the GODIVA Performance Measurement System / Terrence W. Pratt
Instrumentation Database for Performance Analysis of Parallel Scientific Applications / Jeffrey Nesheiwat ; Boleslaw K. Szymanski
A Performance Prediction Framework for Data Intensive Applications on Large Scale Parallel Machines / Mustafa Uysal ; Tahsin M. Kurc ; Alan Sussman ; Joel Saltz
MARS: A Distributed Memory Approach to Shared Memory Compilatio / M.F.P. O'Boyle
More on Scheduling Block-Cyclic Array Redistribution / Frédéric Desprez ; Stéphane Domas ; Jack Dongarra ; Antoine Petitet ; Cyril Randriamaro ; Yves Robert
Flexible and Optimized IDL Compilation for Distributed Applications / Eric Eide ; Jay Lepreau ; James L. Simister
QoS Aspect Languages and Their Runtime Integration / Joseph P. Loyall ; David E. Bakken ; Richard E. Schantz ; John A. Zinky ; David A. Karr ; Rodrigo Vanegas ; Kenneth R. Anderson
Statistical Properties of Host Load / Peter A. Dinda
Locality Enhancement for Large-Scale Shared-Memory Multiprocessors / Tarik Abdelrahman ; Naraig Manjikian ; Gary Liu ; S. Tandri
Language and Compiler Support for Out-of-Core Irregular Applications on Distributed-Memory Multiprocessors / Peter Brezany ; Alok Choudhary ; Minh Dang
Detection of Races and Control-Flow Nondeterminism / Mindong Feng ; Chung Kwong Yuen
Improving Locality in Out-of-Core Computations Using Data Layout Transformations / M. Kandemir ; A. Choudhary ; J. Ramanujam
Optimizing Computational and Spatial Overheads in Complex Transformed Loops / Dattatraya Kulkarni ; Michael Stumm
Building a Conservative Parallel Simulation with Existing Component Libraries / Chu-Cheow Lim ; Yoke-Hean Low
A Coordination Layer for Exploiting Task Parallelism with HPF / Salvatore Orlando ; Raffaele Perego
InterAct: Virtual Sharing for Interactive Client-Server Applications / Srinivasan Parthasarathy
Standard Templates Adaptive Parallel Library (STAPL) / Lawrence Rauchwerger ; Francisco Arzu ; Koji Ouchi
Author Index
Expressing Irregular Computations in Modern Fortran Dialects / Jan F. Prins ; Siddhartha Chatterjee ; Martin Simons
Memory System Support for Irregular Applications / John Carter ; Wilson Hsieh ; Mark Swanson ; Lixin Zhang ; Erik Brunvand ; Al Davis ; Chen-Chi Kuo ; Ravindra Kuramkote ; Michael Parker ; Lambert Schaelicke ; Leigh Stoller ; Terry Tateyama
MENHIR: An Environment for High Performance Matlab / Stephane Chauveau ; Francois Bodin
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼