close
1.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Sustaining Informatics Education by Contests (Invited Talk) / Valentina, Dagienė
Impasse, Conflict, and Learning of CS Notions (Invited Talk) / David Ginat
K-12 Computer Science: Aspirations, Realities, and Challenges (Invited Talk) / Allen B. Tucker
Perspective on Computer Science Education (Invited Talk) / Amiram Yehudai
Didactics of Introduction to Computer Science in High School / Michal Armoni ; Tamar Benaya ; Ela Zur
Software Design Course for Leading CS In-Service Teachers / Ofra Brandes ; Tamar Vilner
The Effect of Tangible Artifacts, Gender and Subjective Technical Competence on Teaching Programming to Seventh Graders / Philipp Brauner ; Thiemo Leonhardt ; Martina Ziefle ; Ulrik Schroeder
The Difficulty of Programming Contests Increases / Michal Forišek
Didactic Games for Teaching Information Theory / Monika Steinová
Collaborative Initiatives for Promoting Computer Science in Secondary Schools / Irene Glendinning ; Margaret Low
Teaching Public-Key Cryptography in School / Lucia Keller ; Dennis Komm ; Giovanni Serafini ; Andreas Sprock ; Björn Steffen
Towards a Methodical Approach for an Empirically Proofed Competency Model / Johannes Magenheim ; Wolfgang Nelles ; Thomas Rhode ; Niclas Schaper
Having Fun with Computer Programming and Games: Teacher and Student Experiences / Clare McInerney
Showing Core-Concepts of Informatics to Kids and Their Teachers / Roland T. Mittermeir ; Ernestine Bischof ; Karin Hodnigg
Object-Oriented Modeling of Object-Oriented Concepts: A Case Study-in Structuring an Educational Domain / Michela Pedroni ; Bertrand Meyer
Programming Camps: Letting Children Discover the computer Science / Juliana Šišková
Mission to Mars - A Study on Naming and Referring / Michael Weigend
Long-Term Development of Software Projects - Students' Self-appreciation and Expectations / Cecile Yehezkel ; Bruria Haberman
Author Index
Sustaining Informatics Education by Contests (Invited Talk) / Valentina, Dagienė
Impasse, Conflict, and Learning of CS Notions (Invited Talk) / David Ginat
K-12 Computer Science: Aspirations, Realities, and Challenges (Invited Talk) / Allen B. Tucker
2.

電子ブック

EB
Barbara Caputo, James S. Duncan, David Hutchison, Jayashree Kalpathy-Cramer, Takeo Kanade, Henning M?ller, Tanveer Syeda-Mahmood, Fei Wang
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Medical Image Retrieval
Overview of the First Workshop on Medical Content–Based Retrieval for Clinical Decision Support at MICCAI 2009 / Henning Müller ; Jayashree Kalpathy–Cramer ; Barbara Caputo ; Tanveer Syeda-Mahmood ; Fei Wang
Introducing Space and Time in Local Feature-Based Endomicroscopic Image Retrieval / Barbara André ; Tom Vercauteren ; Aymeric Perchant ; Anna M. Buchner ; Michael B. Wallace ; Nicholas Ayache
A Query-by-Example Content-Based Image Retrieval System of Non-melanoma Skin Lesions / Lucia Ballerini ; Xiang Li ; Robert B. Fisher ; Jonathan Rees
3D Case–Based Retrieval for Interstitial Lung Diseases / Adrien Depeursinge ; Alejandro Vargas ; Alexandra Platon ; Antoine Geissbuhler ; Pierre–Alexandre Poletti
Image Retrieval for Alzheimer's Disease Detection / Mayank Agarwal ; Javed Mostafa
Clinical Decision Making
Statistical Analysis of Gait Data to Assist Clinical Decision Making / Nigar Şen Köktaş ; Robert P. W. Duin
Using BI-RADS Descriptors and Ensemble Learning for Classifying Masses in Mammograms / Yu Zhang ; Noriko Tomuro ; Jacob Furst ; Daniela Stan Raicu
Robust Learning-Based Annotation of Medical Radiographs / Yimo Tao ; Zhigang Peng ; Bing Jian ; Jianhua Xuan ; Arun Krishnan ; Xiang Sean Zhou
Multimodal Fusion
Knowledge-Based Discrimination in Alzheimer's Disease / Simon Duchesne ; Burt Crépeault ; Carol Hudon
Automatic Annotation of X-Ray Images: A Study on Attribute Selection / Devrim Unay ; Octavian Soldea ; Ahmet Ekin ; Mujdat Cetin ; Aytul Ercil
Multi-modal Query Expansion Based on Local Analysis for Medical Image Retrieval / Md. Mahmudur Rahman ; Sameer K. Antani ; Rodney L. Long ; Dina Demner-Fushman ; George R. Thoma
Author Index
Medical Image Retrieval
Overview of the First Workshop on Medical Content–Based Retrieval for Clinical Decision Support at MICCAI 2009 / Henning Müller ; Jayashree Kalpathy–Cramer ; Barbara Caputo ; Tanveer Syeda-Mahmood ; Fei Wang
Introducing Space and Time in Local Feature-Based Endomicroscopic Image Retrieval / Barbara André ; Tom Vercauteren ; Aymeric Perchant ; Anna M. Buchner ; Michael B. Wallace ; Nicholas Ayache
3.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Invited Presentations
P Automata: Concepts, Results, and New Aspects / Erzsébet Csuhaj-Varjú
Computational Nature of Processes Induced by Biochemical Reactions / Andrzej Ehrenfeucht ; Grzegorz Rozenberg
Transition and Halting Modes in (Tissue) P Systems / Rudolf Freund
Conformon P Systems and Topology of Information Flow / Pierluigi Frisco
Formal Verification and Testing Based on P Systems / Marian Gheorghe ; Florentin Ipate ; Ciprian Dragomir
A Look Back at Some Early Results in Membrane Computing / Oscar H. Ibarra
From P to MP Systems / Vincenzo Manca
The Biological Cell in Spectacle / Solomon Marcus
Energy-Based Models of P Systems / Giancarlo Mauri ; Alberto Leporati ; Claudio Zandron
A Computational Complexity Theory in Membrane Computing / Mario J. Pérez-Jiménez
Regular Presentations
Evolving by Maximizing the Number of Rules: Complexity Study / Oana Agrigoroaiei ; Gabriel Ciobanu ; Andreas Resios
On Reversibility and Determinism in P Systems / Artiom Alhazov ; Kenichi Morita
Typed Membrane Systems / Bogdan Aman
A P System Based Model of an Ecosystem of Some Scavenger Birds / Mónica Cardona ; Maria Angels Colomer ; Antoni Margalida ; Ignacio Pérez-Hurtado ; Delfí Sanuy
Metabolic P System Flux Regulation by Artificial Neural Networks / Alberto Castellini ; Yasuhiro Suzuki
A Novel Variant of P Systems for the Modelling and Simulation of Biochemical Systems / Paolo Cazzaniga ; Luciano Milanesi ; Ettore Mosca ; Dario Pescini
Implementing P Systems Parallelism by Means of GPUs / Jose M. Cecilia ; José M. García ; Ginés D. Guerrero ; Miguel A. Martínez-del-Amor
Regulation and Covering Problems in MP Systems / Giuditta Franco ; Roberto Pagliarini
(Tissue) P Systems with Hybrid Transition Modes / Marian Kogler
An Overview of P-Lingua 2.0 / Manuel García-Quismondo ; Rosa Gutiérrez-Escudero ; Agustín Riscos-Núñez
Characterizing Tractability by Tissue-Like P Systems / Miguel Rius-Font
Searching Previous Configurations in Membrane Computing / Miguel A. Gutiérrez-Naranjo
Modelling Signalling Networks with Incomplete Information about Protein Activation States: A P System Framework of the KaiABC Oscillator / Thomas Hinze ; Thorsten Lenser ; Gabi Escuela ; Ines Heiland ; Stefan Schuster
Solving NP-Complete Problems by Spiking Neural P Systems with Budding Rules / Tseren-Onolt Ishdorj ; Linqiang Pan ; Jun Wang
Tuning P Systems for Solving the Broadcasting Problem / Raluca Lefticaru ; Gexiang Zhang
An Improved Membrane Algorithm for Solving Time-Frequency Atom Decomposition / Chunxiu Liu ; Hongwen Liu
A Region-Oriented Hardware Implementation for Membrane Computing Applications / Van Nguyen ; David Kearney ; Gianpaolo Gioiosa
Discovering the Membrane Topology of Hyperdag P Systems / Radu Nicolescu ; Michael J. Dinneen ; Yun-Bum Kim
A Note on Small Universal Spiking Neural P Systems / Xiangxiang Zeng
On the Power of Computing with Proteins on Membranes / Petr Sosík ; Andrei Păun ; Alfonso Rodríguez-Patón ; David Pérez
An Efficient Simulation of Polynomial-Space Turing Machines by P Systems with Active Membranes / Andrea Valsecchi ; Antonio E. Porreca
Look-Ahead Evolution for P Systems / Sergey Verlan
Author Index
Invited Presentations
P Automata: Concepts, Results, and New Aspects / Erzsébet Csuhaj-Varjú
Computational Nature of Processes Induced by Biochemical Reactions / Andrzej Ehrenfeucht ; Grzegorz Rozenberg
4.

電子ブック

EB
Bernadette Charron-Bost, David Hutchison, Takeo Kanade, Fernando Pedone, Andr? Schiper
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
5.

電子ブック

EB
Daniele Micciancio, David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Parallel Repetition
An Efficient Parallel Repetition Theorem / Johan Håstad ; Rafael Pass ; Douglas Wikström ; Krzysztof Pietrzak
Parallel Repetition Theorems for Interactive Arguments / Kai-Min Chung ; Feng-Hao Liu
Almost Optimal Bounds for Direct Product Threshold Theorem / Charanjit S. Jutla
Obfuscation
On Symmetric Encryption and Point Obfuscation / Ran Canetti ; Yael Tauman Kalai ; Mayank Varia ; Daniel Wichs
Obfuscation of Hyperplane Membership / Guy N. Rothblum
Invited Talk
Secure Computation and Its Diverse Applications / Yuval Ishai
Multiparty Computation
On Complete Primitives for Fairness / Dov Gordon ; Tal Moran ; Rafail Ostrovsky ; Amit Sahai
On the Necessary and Sufficient Assumptions for UC Computation / Ivan Damgård ; Jesper Buus Nielsen ; Claudio Orlandi
From Passive to Covert Security at Low Cost / Martin Geisler
CCA Security
A Twist on the Naor-Yung Paradigm and Its Application to Efficient CCA-Secure Encryption from Hard Search Problems / Ronald Cramer ; Dennis Hofheinz ; Eike Kiltz
Two Is a Crowd? A Black-Box Separation of One-Wayness and Security under Correlated Inputs / Yevgeniy Vahlis
Threshold Cryptography and Secret Sharing
Efficient, Robust and Constant-Round Distributed RSA Key Generation / Gert Læssøe Mikkelsen
Threshold Decryption and Zero-Knowledge Proofs for Lattice-Based Cryptosystems / Rikke Bendlin
Ideal Hierarchical Secret Sharing Schemes / Oriol Farràs ; Carles Padró
Symmetric Cryptography
A Hardcore Lemma for Computational Indistinguishability: Security Amplification for Arbitrarily Weak PRGs with Optimal Stretch / Ueli Maurer ; Stefano Tessaro
On Related-Secret Pseudorandomness / David Goldenberg ; Moses Liskov
A Domain Extender for the Ideal Cipher / Jean-Sébastian Coron ; Yevgeniy Dodis ; Avradip Mandal ; Yannick Seurin
Delayed-Key Message Authentication for Streams / Marc Fischlin ; Anja Lehmann
Key-Leakage and Tamper-Resistance
Founding Cryptography on Tamper-Proof Hardware Tokens / Vipul Goyal ; Ramarathnam Venkatesan ; Akshay Wadia
Truly Efficient String Oblivious Transfer Using Resettable Tamper-Proof Tokens / Vladimir Kolesnikov
Leakage-Resilient Signatures / Sebastian Faust
Public-Key Encryption Schemes with Auxiliary Inputs / Shafi Goldwasser ; Chris Peikert ; Vinod Vaikuntanathan
Public-Key Cryptographic Primitives Provably as Secure as Subset Sum / Vadim Lyubashevsky ; Adriana Palacio ; Gil Segev
Rationality and Privacy
Rationality in the Full-Information Model / Ronen Gradwohl
Efficient Rational Secret Sharing in Standard Communication Networks / Georg Fuchsbauer ; Jonathan Katz ; David Naccache
Bounds on the Sample Complexity for Private Learning and Private Data Release / Amos Beimel ; Shiva Prasad Kasiviswanathan ; Kobbi Nissim
Public-Key Encryption
New Techniques for Dual System Encryption and Fully Secure HIBE with Short Ciphertexts / Allison Lewko ; Brent Waters
Robust Encryption / Michel Abdalla ; Mihir Bellare ; Gregory Neven
Privacy-Enhancing Cryptography: From Theory into Practice / Jan Camenisch
Zero-Knowledge
Concise Mercurial Vector Commitments and Independent Zero-Knowledge Sets with Short Proofs / Benoît Libert ; Moti Yung
Eye for an Eye: Efficient Concurrent Zero-Knowledge in the Timing Model / Wei-Lung Dustin Tseng ; Muthuramakrishnan Venkitasubramaniam
Efficiency Preserving Transformations for Concurrent Non-malleable Zero Knowledge / Omkant Pandey ; Ivan Visconti
Efficiency Limitations for ?-Protocols for Group Homomorphisms / Endre Bangerter ; Stephan Krenn
Composition of Zero-Knowledge Proofs with Efficient Provers / Eleanor Birrell ; Salil Vadhan
Private Coins versus Public Coins in Zero-Knowledge Proof Systems
Author Index
Parallel Repetition
An Efficient Parallel Repetition Theorem / Johan Håstad ; Rafael Pass ; Douglas Wikström ; Krzysztof Pietrzak
Parallel Repetition Theorems for Interactive Arguments / Kai-Min Chung ; Feng-Hao Liu
6.

電子ブック

EB
Jorge S? Silva, Fernando Boavida, David Hutchison, Takeo Kanade, Bhaskar Krishnamachari
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Localization, Synchronization and Compression
Radio Interferometric Angle of Arrival Estimation / Isaac Amundson ; Janos Sallai ; Xenofon Koutsoukos ; Akos Ledeczi
Phoenix: An Epidemic Approach to Time Reconstruction / Jayant Gupchup ; Douglas Carlson ; Razvan Musaloiu-E ; Alex Szalay ; Andreas Terzis
Trimming the Tree: Tailoring Adaptive Huffman Coding to Wireless Sensor Networks / Andreas Reinhardt ; Delphine Christin ; Matthias Hollick ; Johannes Schmitt ; Parag S. Mogre ; Ralf Steinmetz
Networking - I
Querying Dynamic Wireless Sensor Networks with Non-revisiting Random Walks / Marco Zuniga ; Chen Avin ; Manfred Hauswirth
TARF: A Trust-Aware Routing Framework for Wireless Sensor Networks / Guoxing Zhan ; Weisong Shi ; Julia Deng
Low-Overhead Dynamic Multi-channel MAC for Wireless Sensor Networks / Joris Borms ; Kris Steenhaut ; Bart Lemmens
Exploiting Overlapping Channels for Minimum Power Configuration in Real-Time Sensor Networks / Xiaodong Wang ; Xiaorui Wang ; Guoliang Xing ; Yanjun Yao
New Directions
Privacy-Preserving Reconstruction of Multidimensional Data Maps in Vehicular Participatory Sensing / Nam Pham ; Raghu K. Ganti ; Yusuf S. Uddin ; Suman Nath ; Tarek Abdelzaher
Gathering Sensor Data in Home Networks with IPFIX / Thomas Kothmayr ; Corinna Schmitt ; Lothar Braun ; Georg Carle
Sensing for Stride Information of Sprinters / Lawrence Cheng ; Huiling Tan ; Gregor Kuntze ; Kyle Roskilly ; John Lowe ; Ian N. Bezodis ; Stephen Hailes ; Alan Wilson ; David G. Kerwin
Programming & Architecture
Wiselib: A Generic Algorithm Library for Heterogeneous Sensor Networks / Tobias Baumgartner ; Ioannis Chatzigiannakis ; Sándor Fekete ; Christos Koninis ; Alexander Kröller ; Apostolos Pyrgelis
Selective Reprogramming of Mobile Sensor Networks through Social Community Detection / Bence Pásztor ; Luca Mottola ; Cecilia Mascolo ; Gian Pietro Picco ; Stephen Ellwood ; David Macdonald
Improving Sensornet Performance by Separating System Configuration from System Logic / Niclas Finne ; Joakim Eriksson ; Nicolas Tsiftes ; Adam Dunkels ; Thiemo Voigt
Virtualising Testbeds to Support Large-Scale Reconfigurable Experimental Facilities / Maick Danckwardt ; Georgios Mylonas ; Dennis Pfisterer ; Barry Porter
Link Reliability
Mitigating the Effects of RF Interference through RSSI-Based Error Recovery / Jan-Hinrich Hauer ; Andreas Willig ; Adam Wolisz
F-LQE: A Fuzzy Link Quality Estimator for Wireless Sensor Networks / Nouha Baccour ; Anis Koubâa ; Habib Youssef ; Maissa Ben Jamâa ; Denis do Rosário ; Mário Alves ; Leandro B. Becker
On the Mechanisms and Effects of Calibrating RSSI Measurements for 802.15.4 Radios / Yin Chen
Making Sensornet MAC Protocols Robust against Interference / Carlo Alberto Boano ; Kay Römer ; Marco Antonio Zúñiga
Networking - II
MaxMAC: A Maximally Traffic-Adaptive MAC Protocol for Wireless Sensor Networks / Philipp Hurni ; Torsten Braun
Energy-Aware Sparse Approximation Technique (EAST) for Rechargeable Wireless Sensor Networks / Rajib Rana ; Wen Hu ; Chun Tung Chou
An Adaptive Strategy for Energy-Efficient Data Collection in Sparse Wireless Sensor Networks / Mario Di Francesco ; Kunal Shah ; Mohan Kumar ; Giuseppe Anastasi
Author Index
Localization, Synchronization and Compression
Radio Interferometric Angle of Arrival Estimation / Isaac Amundson ; Janos Sallai ; Xenofon Koutsoukos ; Akos Ledeczi
Phoenix: An Epidemic Approach to Time Reconstruction / Jayant Gupchup ; Douglas Carlson ; Razvan Musaloiu-E ; Alex Szalay ; Andreas Terzis
7.

電子ブック

EB
David Hutchison, Takeo Kanade, Association for Computing Machinery-Digital Library.
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Code Roots / Doug LeaKeynote 1:
Programming Environments and Tools
Detecting Missing Methods Calls in Object-Oriented Software / Martin Monperrus ; Marcel Bruch ; Mira Mezini
Debugging Model-Transformation Failures Using Dynamic Tainting / Pankaj Dhoolia ; Senthil Mani ; Vibha Singhal Sinha ; Saurabh Sinha
Automatically Extracting Class Diagrams from Spreadsheets / Felienne Hermans ; Martin Pinzger ; Arie van Deursen
Theoretical Foundations of Programming Languages
Adding Dynamic Types to C# / Gavin Bierman ; Erik Meijer ; Mads Torgersen
Essential AOP: The A Calculus / Bruno De Fraine ; Erik Ernst ; Mario Südholt
The Essence of JavaScript / Arjun Guha ; Claudiu Saftoiu ; Shriram Krishnamurthi
Formal Methods
Verifying Executable Object-Oriented Specifications with Separation Logic / Stephan van Staden ; Cristiano Calcagno ; Bertrand Meyer
Verifying Generics and Delegates / Kasper Svendsen ; Lars Birkedal ; Matthew Parkinson
Recency Types for Analyzing Scripting Languages / Philip Heidegger ; Peter Thiemann
Concurrency Models in Java
Correct Refactoring of Concurrent Java Code / Max Schäfer ; Julian Dolby ; Manu Sridharan ; Emina Torlak ; Frank Tip
Programming Coordinated Behavior in Java / David Harel ; Assaf Marron ; Gera Weiss
JCoBox: Generalizing Active Objects to Concurrent Components / Jan Schäfer ; Arnd Poetzsch-Heffter
Special Session: Empirical Methods
Doubts about the Positive Impact of Static Type Systems on Programming Tasks in Single Developer Projects - An Empirical Study / Stefan Hanenberg
Types Systems
A Type System for Data-Centric Synchronization / Mandana Vaziri ; Christian Hammer ; Jan Vitek
Type-Safe Eventful Sessions in Java / Raymond Hu ; Dimitrios Kouzapas ; Olivier Pernet ; Nobuko Yoshida ; Kohei Honda
Capabilities for Uniqueness and Borrowing / Philipp Haller ; Martin Odersky
Secret Valley / Erik ErnestKeynote 2:
Language Design and Implementation
Embedding Languages without Breaking Tools / Lukas Renggli ; Tudor Gîrba ; Oscar Nierstrasz
Modules as Objects in Newspeak / Gilad Bracha ; Peter von der Ahé ; Vassili Bykov ; Yaron Kashai ; William Maddox ; Eliot Miranda
Inline Caching Meets Quickening / Stefan Brunthaler
Concurrency Abstrations
Self-Replicating Objects for Multicore Platforms / Krzysztof Ostrowski ; Chuck Sakoda ; Ken Birman
Reasoning about the Implementation of Concurrency Abstractions on x86-TSO / Scott Owens
Concurrent Abstract Predicates / Thomas Dinsdale-Young ; Mike Dodds ; Philippa Gardner ; Matthew J. Parkinson ; Viktor Vafeiadis
Experiences
The Use of Overloading in Java Programs / Joseph (Yossi) Gil ; Keren Lenz
Falling Back on Executable Specifications / Hesam Samimi ; Ei Darli Aung ; Todd Millstein
Contract-Based Data Structure Repair Using Alloy / Razieh Nokhbeh Zaeem ; Sarfraz Khurshid
Author Index
Code Roots / Doug LeaKeynote 1:
Programming Environments and Tools
Detecting Missing Methods Calls in Object-Oriented Software / Martin Monperrus ; Marcel Bruch ; Mira Mezini
8.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
New Developments in Quantum Algorithms (Invited Talk) / Andris Ambainis
Persistent Homology under Non-uniform Error (Invited Talk) / Paul Bendich ; Herbert Edelsbrunner ; Michael Kerber ; Amit Patel
Information Complexity of Online Problems (Invited Talk) / Juraj Hromkovic ; Rastislav Královic ; Richard Královic
Algorithmic Lower Bounds for Problems on Decomposable Graphs (Abstract of Invited Talk) / Daniel Lokshtanov
Do We Really Understand the Crossing Numbers? (Invited Talk) / Bojan Mohar
Balanced Queries: Divide and Conquer / Dmitri Akatov ; Georg Gottlob
Slowly Synchronizing Automata and Digraphs / Dmitry Ananichev ; Vladimir Gusev ; Mikhail Volkov
Weights of Exact Threshold Functions / László Babai ; Kristoffer Arnsfelt Hansen ; Vladimir V. Podolskii ; Xiaoming Sun
Proof Systems and Transformation Games / Yoram Bachrach ; Michael Zuckerman ; Michael Wooldridge ; Jeffrey S. Rosenschein
Scheduling Real-Time Mixed-Criticality Jobs / Sanjoy K. Baruah ; Vincenzo Bonifaci ; Gianlorenzo D'Angelo ; Haohan Li ; Alberto Marchetti-Spaccamela ; Nicole Megow ; Leen Stougie
A DEXPTIME-Complete Dolev-Yao Theory with Distributive Encryption / A. Baskar ; R. Ramanujam ; S.P. Suresh
On Problem Kernels for Possible Winner Determination under the k-Approval Protocol / Nadja Betzler
Counting Minimum (s, t)-Cuts in Weighted Planar Graphs in Polynomial Time / Ivona Bezáková ; Adam J. Friedlander
Finding Best Swap Edges Minimizing the Routing Cost of a Spanning Tree / Davide Biló ; Luciano Gualà ; Guido Proietti
Improved Approximability and Non-approximability Results for Graph Diameter Decreasing Problems / Davide Bilò
Distance Constraint Satisfaction Problems / Manuel Bodirsky ; Victor Dalmau ; Barnaby Martin ; Michael Pinsker
Faster Algorithms on Branch and Clique Decompositions / Hans L. Bodlaender ; Erik Jan van Leeuwen ; Johan M.M. van Rooij ; Martin Vatshelle
Exponential Space Complexity for Symbolic Maximum Flow Algorithms in 0-1 Networks / Beate Bollig
Robust Computations with Dynamical Systems / Olivier Bournez ; Daniel S. Graça ; Emmanuel Hainry
On Factor University in Symbolic Spaces / Laurent Boyer ; Guillaume Theyssier
Toward a Deterministic Polynomial Time Algorithm with Optimal Additive Query Complexity / Nader H. Bshouty ; Hanna Mazzawi
Resource Combinatory Algebras / Alberto Carraro ; Thomas Ehrhard ; Antonino Salibra
Randomness for Free / Krishnendu Chatterjee ; Laurent Doyen ; Hugo Gimbert ; Thomas A. Henzinger
Qualitative Analysis of Partially-Observable Markov Decision Processes
Online Clustering with Variable Sized Clusters / Ioannis Chatzigiannakis ; Othon Michail ; Stavros Nikolaou ; Andreas Pavlogiannis ; Paul G. Spirakis ; János Csirik ; Leah Epstein ; Csanád Imreh ; Asaf Levin
Deterministic Rendezvous of Asynchronous Bounded-Memory Agents in Polygonal Terrains / Jurek Czyzowicz ; Adrian Kosowski ; Andrzej Pelc
The Average Complexity of Moore's State Minimization Algorithm Is O (n log log n) / Samir Datta ; Meena Mahajan ; B.V. Raghavendra Rao ; Michael Thomas ; Heribert Vollmer ; Julien David
Connected Searching of Weighted Trees / Dariusz Dereniowski
Iterated Regret Minimization in Game Graphs / Emmanuel Filiot ; Tristan Le Gall ; Jean-François Raskin
Properties of Visibly Pushdown Transducers / Pierre-Alain Reynier ; Frédéric Servais ; Jean-Marc Talbot
Second-Order Algebraic Theories (Extended Abstract) / Marcelo Fiore ; Ola Mahmoud
Frame Definability for Classes of Trees in the ?-calculus / Gaëlle Fontaine ; Thomas Place
Evaluating Non-square Sparse Bilinear Forms on Multiple Vector Pairs in the I/O-Model / Gero Greiner ; Riko Jacob
Finding and Counting Vertex-Colored Subtrees / Sylvain Guillemot ; Florian Sikora
Limiting Negations in Bounded Treewidth and Upward Planar Circuits / Jing He ; Hongyu Liang ; Jayalal M. N. Sarma
On the Topological Complexity of MSO+U and Related Automata Models / Szczepan Hummel ; Michal Skrzypczak ; Szymon Torunczyk
Least and Greatest Solutions of Equations over Sets of Integers / Artur Jez ; Alexander Okhotin
Improved Simulation of Nondeterministic Turing Machines / Subrahmanyam Kalyanasundaram ; Richard J. Lipton ; Kenneth W. Regan ; Farbod Shokrieh
The Prize-Collecting Edge Dominating Set Problem in Trees / Naoyuki Kamiyama
The Multivariate Resultant Is NP-hard in Any Characteristic / Bruno Grenet ; Pascal Koiran ; Natacha Portier
Parameterized Complexity and Kernelizability of Max Ones and Exact Ones Problems / Stefan Kratsch ; Dániel Marx ; Magnus Wahlström
Meta-Envy-Free Cake-Cutting Protocols / Yoshifumi Manabe ; Tatsuaki Okamoto
Two Variables and Two Successors / Amaldev Manuel
Describing Average- and Longtime-Behavior by Weighted MSO Logics / Giulio Manzonetto ; Paolo Tranquilli ; Manfred Droste ; Ingmar Meinecke
Solving MINONES-2-SAT as Fast as VERTEX COVER / Neeldhara Misra ; N.S. Narayanaswamy ; Venkatesh Raman ; Bal Sri Shankar
Unambiguous Finite Automata over a Unary Alphabet
The Complexity of Finding Reset Words in Finite Automata / Jörg Olschewski ; Michael Ummels
Does Treewidth Help in Modal Satisfiability? (Extended Abstract) / M. Praveen
Asynchronous Omega-Regular Games with Partial Information / Bernd Puchala
Parity Games with Partial Information Played on Graphs of Bounded Complexity / Roman Rabinovich
Revisiting Ackermann-Hardness for Lossy Counter Machines and Reset Petri Nets / Philippe Schnoebelen
Enumeration of the Monomials of a Polynomial and Related Complexity Classes / Yann Strozecki
Faster Approximation Schemes and Parameterized Algorithms on H-Minor-Free and Odd-Minor-Free Graphs / Siamak Tazari
Semi-linear Parikh Images of Regular Expressions via Reduction / Bahareh Badban ; Mohammad Torabi Dashti
Breaking the Rectangle Bound Barrier against Formula Size Lower Bounds / Kenya Ueno
Mesh Deformation of Dynamic Smooth Manifolds with Surface Correspondences / Ho-Lun Cheng ; Ke Yan
Counting Dependent and Independent Strings / Marius Zimand
Impossibility of Independence Amplification in Kolmogorov Complexity Theory
Author Index
New Developments in Quantum Algorithms (Invited Talk) / Andris Ambainis
Persistent Homology under Non-uniform Error (Invited Talk) / Paul Bendich ; Herbert Edelsbrunner ; Michael Kerber ; Amit Patel
Information Complexity of Online Problems (Invited Talk) / Juraj Hromkovic ; Rastislav Královic ; Richard Královic
9.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Support Tools and Environments / Topic 1:
Introduction / Omer Rana ; Giandomenico Spezzano ; Michael Gerndt ; Daniel S. Katz
Starsscheck: A Tool to Find Errors in Task-Based Parallel Programs / Paul M. Carpenter ; Alex Ramirez ; Eduard Ayguade
Automated Tuning in Parallel Sorting on Multi-Core Architectures / Haibo Lin ; Chao Li ; Qian Wang ; Yi Zhao ; Ninghe Pan ; Xiaotong Zhuang ; Ling Shao
Estimating and Exploiting Potential Parallelism by Source-Level Dependence Profiling / Jonathan Mak ; Karl-Filip Faxén ; Sverker Janson ; Alan Mycroft
Source-to-Source Optimization of CUDA C for GPU Accelerated Cardiac Cell Modeling / Fred V. Lionetti ; Andrew D. McCulloch ; Scott B. Baden
Efficient Graph Partitioning Algorithms for Collaborative Grid Workflow Developer Environments / Gergely Sipos ; Péter Kacsuk
Profile-Driven Selective Program Loading / Tugrul Ince ; Jeffrey K. Hollingsworth
Characterizing the Impact of Using Spare-Cores on Application Performance / José Carlos Sancho ; Darren J. Kerbyson ; Michael Lang
Performance Prediction and Evaluation / Topic 2:
A Model for Space-Correlated Failures in Large-Scale Distributed Systems / Stephen Jarvis ; Massimo Coppola ; Junwei Cao ; Darren Kerbyson ; Matthieu Gallet ; Nezih Yigitbasi ; Bahman Javadi ; Derrick Kondo ; Alexandru Iosup ; Dick Epema
Architecture Exploration for Efficient Data Transfer and Storage in Data-Parallel Applications / Rosilde Corvino ; Abdoulaye Gamatié ; Pierre Boulet
jitSim: A Simulator for Predicting Scalability of Parallel Applications in Presence of OS Jitter / Pradipta De ; Vijay Mann
pCFS vs. PVPS: Comparing a Highly-Available Symmetrical Parallel Cluster File System with an Asymmetrical Parallel File System / Paulo A. Lopes ; Pedro D. Medeiros
Comparing Scalability Prediction Strategies on an SMP of CMPs / Karan Singh ; Matthew Curtis-Maury ; Sally A. McKee ; Filip Blagojevic ; Dimitrios S. Nikolopoulos ; Bronis R. de Supinski ; Martin Schulz
Scheduling and Load-Balancing / Topic 3:
A Fast 5/2-Approximation Algorithm for Hierarchical Scheduling / Ramin Yahyapour ; Raffaele Perego ; Frédéric Desprez ; Leah Epstein ; Francesc Guim Bernat ; Marin Bougeret ; Pierre-François Dutot ; Klaus Jansen ; Christina Otte ; Denis Trystram
Non-clairvoyant Scheduling of Multiple Bag-of-Tasks Applications / Henri Casanova ; Frédéric Vivien
Extremal Optimization Approach Applied to Initial Mapping of Distributed Java Programs / Ivanoe De Falco ; Eryk Laskowski ; Richard Olejnik ; Umberto Scafuri ; Ernesto Tarantino ; Marek Tudruj
A Delay-Based Dynamic Load Balancing Method and Its Stability Analysis and Simulation / Qingyang Meng ; Jianzhong Qiao ; Shukuan Lin ; Enze Wang ; Peng Han
Code Scheduling for Optimizing Parallelism and Data Locality / Taylan Yemliha ; Mahmut Kandemir ; Ozcan Ozturk ; Emre Kultursay ; Sai Prashanth Muralidhara
Hierarchical Work-Stealing / Jean-Noël Quintin ; Frédéric Wagner
Optimum Diffusion for Load Balancing in Mesh Networks / George S. Markomanolis ; Nikolaos M. Missirlis
A Dynamic, Distributed, Hierarchical Load Balancing for HLA-Based Simulations on Large-Scale Environments / Robson Eduardo De Grande ; Azzedine Boukerche
High Performance Architectures and Compilers / Topic 4:
Power-Efficient Spilling Techniques for Chip Multiprocessors / Pedro C. Diniz ; Marco Danelutto ; Denis Barthou ; Marc Gonzales ; Michael Hübner ; Enric Herrero ; José González ; Ramon Canal
Scalable Object-Aware Hardware Transactional Memory / Behram Khan ; Matthew Horsnell ; Mikel Lujan ; Ian Watson
Efficient Address Mapping of Shared Cache for On-Chip Many-Core Architecture / Fenglong Song ; Dongrui Fan ; Zhiyong Liu ; Junchao Zhang ; Lei Yu ; Weizhi Xu
Thread Owned Block Cache: Managing Latency in Many-Core Aiehitecture / Hao Zhang ; Shibin Tang
Extending the Cell SPE with Energy Efficient Branch Prediction / Martijn Briejer ; Cor Meenderinck ; Ben Juurlink
Parallel and Distributed Data Management / Topic 5:
Federated Enactment of Workflow Patterns / Rizos Sakellariou ; Salvatore Orlando ; Josep Lluis Larriba-Pey ; Srinivasan Parthasarathy ; Demetrios Zeinalipour-Yazti ; Gagarine Yaikhom ; Chee Sun Liew ; Liangxiu Han ; Jano van Hemert ; Malcolm Atkinson ; Amy Krause
A Distributed Approach to Detect Outliers in Very Large Data Sets / Fabrizio Angiulli ; Stefano Basta ; Stefano Lodi ; Claudio Sartori
Grid, Cluster and Cloud Computing / Topic 6:
Deployment of a Hierarchical Middleware / K. Keahey ; D. Laforenza ; A. Reinefeld ; P. Ritrovato ; D. Thain ; N. Wilkins-Diehr ; Eddy Caron ; Benjamin Depardon
Toward Real-Time, Many-Task Applications on Large Distributed Systems / Sangho Yi ; David P. Anderson
Scheduling Scientific Workflows to Meet Soft Deadlines in the Absence of Failure Models / Kassian Plankensteiner ; Radu Prodan ; Thomas Fahringer
A GPGPU Transparent Virtualization Component for High Performance Computing Clouds / Giulio Giunta ; Raffaele Montella ; Giuseppe Agrillo ; Giuseppe Goviello
What Is the Price of Simplicity? A Cross-Platform Evaluation of the SAGA API / Mathijs den Burger ; Ceriel Jacobs ; Thilo Kielmann ; Andre Merzky ; Ole Weidner ; Hartmut Kaiser
User-Centric, Heuristic Optimization of Service Composition in Clouds / Kevin Kofler ; Irfan ul Hag ; Erich Schikuta
A Distributed Market Framework for Large-Scale Resource Sharing / Marian Mihailescu ; Yong Meng Teo
Using Network Information to Perform Meta-Scheduling in Advance in Grids / Luis Tomás ; Agustín Caminero ; Blanca Caminero ; Carmen Carrión
Peer to Peer Computing / Topic 7:
Overlay Management for Fully Distributed User-Based Collaborative Filtering / Adriana Iamnitchi ; Paolo Trunfio ; Jonathan Ledlie ; Florian Schintke ; Róbert Ormándi ; István Hegedus ; Márk Jelasity
Dynamic Publish/Subscribe to Meet Subscriber-Defined Delay and Bandwidth Constraints / Muhammad Adnan Tariq ; Gerald G. Koch ; Boris Koldehofe ; Imran Khan ; Kurt Rothermel
Combining Hilbert SFC and Bruijn Graphs for Searching Computing Markets in a P2P System / Damia Castellà ; Hector Blanco ; Francesc Giné ; Francesc Solsona
Sampling Bias in BitTorrent Measurements / Boxun Zhang ; Johan Pouwelse ; Henk Sips
A Formal Credit-Based Incentive Model for Sharing Computer Resources / Josep Rius ; Ignasi Barri ; Fernando Cores
Distributed Systems and Algorithms / Topic 8:
Improving Message Logging Protocols Scalability through Distributed Event Logging / Pascal Felber ; Ricardo Jimenez-Peris ; Giovanni Schmid ; Pierre Sens ; Thomas Ropars ; Christine Morin
Value-Based Sequential Consistency for Set Objects in Dynamic Distributed Systems / Roberto Baldoni ; Silvia Bonomi ; Michel Raynal
Robust Self-stabilizing Construction of Bounded Size Weight-Based Clusters / Colette Johnen ; Fouzi Mekhaldi
Adaptive Conflict Unit Size for Distributed Optimistic Synchronization / Kim-Thomas Rehmann ; Marc-Florian Müller ; Michael Schöttner
Frame Allocation Algorithms for Multi-threaded Network Cameras / José Miguel Piquer ; Javier Bustos- Jiménez
Scalable Distributed Simulation of Large Dense Crowds Using the Real-Time Framework (RTF) / Ole Scharf ; Sergei Gorlatch ; Felix Blanke ; Christoph Hemker ; Sebastian Westerheide ; Tobias Priebs ; Christoph Bartenhagen ; Alexander Ploss ; Frank Glinka ; Dominik Meilaender
The x-Wait-Freedom Progress Condition / Damien Imbs
Author Index
Support Tools and Environments / Topic 1:
Introduction / Omer Rana ; Giandomenico Spezzano ; Michael Gerndt ; Daniel S. Katz
Starsscheck: A Tool to Find Errors in Task-Based Parallel Programs / Paul M. Carpenter ; Alex Ramirez ; Eduard Ayguade
10.

電子ブック

EB
David Hutchison, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Parallel and Distributed Programming / Topic 9:
Introduction / Thilo Kielmann ; Andrea Clematis ; Sergei Gorlatch ; Alexey Lastovetsky
Transactional Mutex Locks / Luke Dalessandro ; Dave Dice ; Michael Scott ; Nir Shavit ; Michael Spear
Exceptions for Algorithmic Skeletons / Mario Leyton ; Ludovic Henrio ; José M. Piquer
Generators-of-Generators Library with Optimization Capabilities in Fortress / Kento Emoto ; Zhenjiang Hu ; Kazuhiko Kakehi ; Kiminori Matsuzaki ; Masato Takeichi
User Transparent Task Parallel Multimedia Content Analysis / Timo van Kessel ; Niels Drost ; Frank J. Seinstra
Parallel Simulation for Parameter Estimation of Optical Tissue Properties / Mihai Duta ; Jeyarajan Thiyagalingam ; Anne Trefethen ; Ayush Goyal ; Vicente Grau ; Nic Smith
Parallel Numerical Algorithms / Topic 10:
Scalability and Locality of Extrapolation Methods for Distributed-Memory Architectures / Patrick Amestoy ; Daniela di Serafino ; Rob Bisseling ; Enrique S. Quintana-Ortí ; Marian Vajteršicx ; Matthias Korch ; Thomas Rauber ; Carsten Scholtes
CFD Parallel Simulation Using Getfem++ and Mumps / Michel Fournié ; Nicolas Renon ; Yves Renard ; Daniel Ruiz
Aggregation AMG for Distributed Systems Suffering from Large Message Numbers / Maximilian Emans
A Parallel Implementation of the Jacobi-Davidson Eigensolver and Its Application in a Plasma Turbulence Code / Eloy Romero ; Jose E. Roman
Scheduling Parallel Eigenvalue Computations in a Quantum Chemistry Code / Martin Roderus ; Anca Berariu ; Hans-Joachim Bungartz ; Sven Krüger ; Alexei Matveev ; Notker Rösch
Scalable Parallelization Strategies to Accelerate NuFFT Data Translation on Multicores / Yuanrui Zhang ; Jun Liu ; Emre Kultursay ; Mahmut Kandemir ; Nikos Pitsianis ; Xiaobai Sun
Multicore and Manycore Programming / Topic 11:
JavaSymphony: A Programming and Execution Environment for Parallel and Distributed Many-Core Architectures / Beniamino Di Martino ; Fabrizio Petrini ; Siegfried Benkner ; Kirk Cameron ; Dieter Kranzlmüller ; Jakub Kurzak ; Davide Pasetto ; Jesper Larsson Träff ; Muhammad Aleem ; Radu Prodan ; Thomas Fahringer
Scalable Producer-Consumer Pools Based on Elimination-Diffraction Trees / Yehuda Afek ; Guy Korland ; Maria Natanzon
Productivity and Performance: Improving Consumabitity of Hardware Transactional Memory through a Real-World Case Study / Huayong Wang ; Yi Ge ; Yanqi Wang ; Yao Zou
Exploiting Fine-Grained Parallelism on Cell Processors / Ralf Hoffmann ; Andreas Prell
Optimized on-Chip-Pipelined Mergesort on the Cell/B.E / Rikard Hultén ; Christoph W. Kessler ; Jörg Keller
Near-Optimal Placement of MPI Processes on Hierarchical NUMA Architectures / Emmanuel Jeannot ; Guillaume Mercier
Parallel Enumeration of Shortest Lattice Vectors / Özgür Dagdelen ; Michael Schneider
A Parallel GPU Algorithm for Mutual Information Based 3D Nonrigid Image Registration / Vaibhav Saxena ; Jonathan Rohrer ; Leiguang Gong
Multi-GPU and Multi-CPU Parallelization for Interactive Physics: Simulations / Everton Hermann ; Bruno Raffin ; François Faure ; Thierry Gautier ; Jérémie Allard
Long DNA Sequence Comparison on Multicore Architectures / Friman Sánchez ; Felipe Cabarcas ; Alex Ramirez ; Mateo Valero
Adaptive Fault Tolerance for Many-Core Based Space-Borne Computing / Mark James ; Paul Springer ; Hans Zima
Maestro: Data Orchestration and Tuning for OpenCL Devices / Kyle Spafford ; Jeremy Meredith ; Jeffrey Vetter
Multithreaded Geant4: Semi-automatic Transformation into Scalable Thread-Parallel Software / Xin Dong ; Gene Cooperman ; John Apostolakis
Parallel Exact Time Series Motif Discovery / Ankur Narang ; Souvik Bhattacherjee
Optimized Dense Matrix Multiplication on a Many-Core Architecture / Elkin Garcia ; Ioannis E. Venetis ; Rishi Khan ; Guang R. Gao
A Language-Based Tuning Mechanism for Task and Pipeline Parallelism / Frank Otto ; Christoph A. Schaefer ; Matthias Dempe ; Walter F. Tichy
A Study of a Software Cache Implementation of the OpenMP Memory Model for Multicore and Manycore Architectures / Chen Chen ; Joseph B. Manzano ; Ge Gan ; Vivek Sarkar
Programming CUDA-Based GPUs to Simulate Two-Layer Shallow Water Flows / Marc de la Asunción ; José M. Mantas ; Manuel J. Castro
Theory and Algorithms for Parallel Computation / Topic 12:
Analysis of Multi-Organization Scheduling Algorithms / Christoph Kessler ; Yves Robert ; Vittorio Scarano ; Johanne Cohen ; Daniel Cordeiro ; Denis Trystram ; Frédéric Wagner
Area-Maximizing Schedules for Series-Parallel DAGs / Gennaro Cordasco ; Arnold L. Rosenberg
Parallel Selection by Regular Sampling / Alexander Tiskin
Ants in Parking Lots
High Performance Networks / Topic 13:
An Efficient Strategy for Reducing Head-of-Line Blocking in Fat-Trees / José Flich ; Alfonso Urso ; Ulrich Bruening ; Giuseppe Di Fatta ; Jesus Bscudero-Sakuquillo ; Pedro Javier Garcia ; Francisco J. Quiles ; Jose Duato
A First Approach to King Topologies for On-Chip Networks / Esteban Stafford ; Jose L. Bosque ; Carmen Martínez ; Fernando Vallejo ; Ramon Beivide ; Cristobal Camarero
Optimizing Matrix Transpose on Torus Interconnects / Venkatesan T. Chakaravarthy ; Nikhil Jain ; Yogish Sabharwal
Mobile and Ubiquitous Computing / Topic 14:
cTrust: Trust Aggregation in Cyclic Mobile Ad Hoc Networks / Gregor Schiele ; Giuseppe De Pietro ; Jalal Al-Muhtadi ; Zhiwen Yu ; Huanyu Zhao ; Xin Yang ; Xiaolin Li
Maximizing Growth Codes Utility in Large-Scale Wireless Sensor Networks / Yao Zhao ; Xin Wang ; Jin Zhao ; Xiangyang Xue
@Flood: Auto-Tunable Flooding for Wireless Ad Hoc Networks / José Mocito ; Luís Rodrigues ; Hugo Miranda
On Deploying Tree Structured Agent Applied in Networked Embedded Systems / Nikos Tziritas ; Thanasis Loukopoulos ; Spyros Lalis ; Petros Lampsas
Meaningful Metrics for Evaluating Eventual Consistency / Joao Barreto ; Paulo Ferreira
Caching Dynamic Information in Vehicular Ad Hoc Networks / Nicholas Loulloudes ; George Pallis ; Marios D. Dikaiakos
Collaborative Cellular-Based Location System / David Navalho ; Nuno Preguiça
Author Index
Parallel and Distributed Programming / Topic 9:
Introduction / Thilo Kielmann ; Andrea Clematis ; Sergei Gorlatch ; Alexey Lastovetsky
Transactional Mutex Locks / Luke Dalessandro ; Dave Dice ; Michael Scott ; Nir Shavit ; Michael Spear
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼