top

  Info

  • Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.

Biblioteca

MARC Lista (tabellare) Raggruppa
Languages and compilers for parallel computing : 25th International Workshop, LCPC 2012, Tokyo, Japan, September 11-13, 2012 : revised selected papers / Hironori Kasahara, Keiji Kimura (eds.).
Languages and compilers for parallel computing : 25th International Workshop, LCPC 2012, Tokyo, Japan, September 11-13, 2012 : revised selected papers / Hironori Kasahara, Keiji Kimura (eds.).
Creatore [LCPC (Workshop) (25th : 2012 : Tokyo, Japan)]
Estensione 1 online resource (xi, 276 pages) : illustrations.
Disciplina 004.6/18
Accesso persona Kasahara, Hironori
Kimura, Keiji
Genere/Forma Congresses
Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Software engineering
Operating systems (Computers)
Computer vision
Programming Languages, Compilers, Interpreters
Programming Techniques
Operating Systems
Computer Imaging, Vision, Pattern Recognition and Graphics
ISBN 9783642376580
3642376584
9783642376573
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Invited Talk. Just in Time Load Balancing / Rosario Cammarota, Alexandru Nicolau, Alexander V. Veidenbaum -- Workshop Papers. AlphaZ: A System for Design Space Exploration in the Polyhedral Model / Tomofumi Yuki [and others] -- Compiler Optimizations: Machine Learning versus O3 / Yuriy Kashnikov, Jean Christophe Beyler, William Jalby -- The STAPL Parallel Graph Library / Harshvardhan [and others] -- Set and Relation Manipulation for the Sparse Polyhedral Framework / Michelle Mills Strout, Geri Georg, Catherine Olschanowsky -- Parallel Clustered Low-Rank Approximation of Graphs and Its Application to Link Prediction / Xin Sui [and others] -- OmpSs-OpenCL Programming Model for Heterogeneous Systems / Vinoth Krishnan Elangovan, Rosa. M. Badia, Eduard Ayguade Parra -- Compiler Optimizations for Industrial Unstructured Mesh CFD Applications on GPUs / C. Bertolli [and others] -- UCIFF: Unified Cluster Assignment Instruction Scheduling and Fast Frequency Selection for Heterogeneous Clustered VLIW Cores / Vasileios Porpodas, Marcelo Cintra -- A Study on the Impact of Compiler Optimizations on High-Level Synthesis / Jason Cong [and others] -- FlowPools: A Lock-Free Deterministic Concurrent Dataflow Abstraction / Aleksandar Prokopec [and others].
Task Parallelism and Data Distribution: An Overview of Explicit Parallel Programming Languages / Dounia Khaldi [and others] -- A Fast Parallel Graph Partitioner for Shared-Memory Inspector/Executor Strategies / Christopher D. Krieger, Michelle Mills Strout -- A Software-Based Method-Level Speculation Framework for the Java Platform / Ivo Anjo, João Cachopo -- Ant: A Debugging Framework for MPI Parallel Programs / Jae-Woo Lee [and others] -- Compiler Automatic Discovery of OmpSs Task Dependencies / Sara Royuela, Alejandro Duran, Xavier Martorell -- Beyond Do Loops: Data Transfer Generation with Convex Array Regions / Serge Guelton, Mehdi Amini, Béatrice Creusillet -- Workshop Posters. Finish Accumulators: An Efficient Reduction Construct for Dynamic Task Parallelism / Jun Shirako [and others] -- FlashbackSTM: Improving STM Performance by Remembering the Past / Hugo Rito, João Cachopo -- Kaira: Generating Parallel Libraries and Their Usage with Octave / Stanislav Böhm, Marek Běhálek, Ondřej Meca -- Language and Architecture Independent Software Thread-Level Speculation / Zhen Cao, Clark Verbrugge -- Abstractions for Defining Semi-Regular Grids Orthogonally from Stencils / Andrew Stone, Michelle Mills Strout.
Record Nr. NYU-004391535
[LCPC (Workshop) (25th : 2012 : Tokyo, Japan)]  
Materiale a stampa
Lo trovi qui: New York University
NASA formal methods : 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings / Alwyn E. Goodloe, Suzette Person (eds.).
NASA formal methods : 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings / Alwyn E. Goodloe, Suzette Person (eds.).
Creatore [NFM 2012 (2012 : Norfolk, Va.)]
Estensione 1 online resource (xii, 466 pages).
Disciplina 005.13/1
Accesso persona Goodloe, Alwyn E.
Person, Suzette
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Software engineering
Operating systems (Computers)
Logic design
Programming Languages, Compilers, Interpreters
Operating Systems
Logics and Meanings of Programs
Software Engineering/Programming and Operating Systems
Programming Techniques
ISBN 9783642288913
364228891X
9783642288906
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto SMT-Based Model Checking / Cesare Tinelli -- Verified Software Toolchain / Andrew W. Appel -- Formal Verification by Abstract Interpretation / Patrick Cousot -- Quantitative Timed Analysis of Interactive Markov Chains / Dennis Guck, Tingting Han, Joost-Pieter Katoen and Martin R. Neuhäußer -- Lessons Learnt from the Adoption of Formal Model-Based Development / Alessio Ferrari, Alessandro Fantechi and Stefania Gnesi -- Symbolic Execution of Communicating and Hierarchically Composed UML-RT State Machines / Karolina Zurowska and Juergen Dingel -- Inferring Definite Counterexamples through Under-Approximation / Jörg Brauer and Axel Simon -- Modifying Test Suite Composition to Enable Effective Predicate-Level Statistical Debugging / Ross Gore and Paul F. Reynolds -- Rigorous Polynomial Approximation Using Taylor Models in Coq / Nicolas Brisebarre, Mioara Joldeş, Érik Martin-Dorel, Micaela Mayero and Jean-Michel Muller, et al. -- Enhancing the Inverse Method with State Merging / Étienne André, Laurent Fribourg and Romain Soulat -- Class-Modular, Class-Escape and Points-to Analysis for Object-Oriented Languages / Alexander Herz and Kalmer Apinis -- Testing Static Analyzers with Randomly Generated Programs / Pascal Cuoq, Benjamin Monate, Anne Pacalet, Virgile Prevosto and John Regehr, et al. -- Compositional Verification of Architectural Models / Darren Cofer, Andrew Gacek, Steven Miller, Michael W. Whalen and Brian LaValley, et al. -- A Safety Case Pattern for Model-Based Development Approach / Anaheed Ayoub, BaekGyu Kim, Insup Lee and Oleg Sokolsky.
PVS Linear Algebra Libraries for Verification of Control Software Algorithms in C/ACSL / Heber Herencia-Zapana, Romain Jobredeaux, Sam Owre, Pierre-Loïc Garoche and Eric Feron, et al. -- Temporal Action Language (TAL): A Controlled Language for Consistency Checking of Natural Language Temporal Requirements / (Preliminary Results) / Wenbin Li, Jane Huffman Hayes and Mirosław Truszczyński -- Some Steps into Verification of Exact Real Arithmetic / Norbert Th. Müller and Christian Uhrhan -- Runtime Verification Meets Android Security / Andreas Bauer, Jan-Christoph Küster and Gil Vegliach -- Specification in PDL with Recursion / Xinxin Liu and Bingtian Xue -- Automatically Proving Thousands of Verification Conditions Using an SMT Solver: An Empirical Study / Aditi Tagore, Diego Zaccai and Bruce W. Weide -- Sound Formal Verification of Linux's USB BP Keyboard Driver / Willem Penninckx, Jan Tobias Mühlberg, Jan Smans, Bart Jacobs and Frank Piessens -- Learning Markov Models for Stationary System Behaviors / Yingke Chen, Hua Mao, Manfred Jaeger, Thomas Dyhre Nielsen and Kim Guldstrand Larsen, et al. -- The Use of Rippling to Automate Event-B Invariant Preservation Proofs / Yuhui Lin, Alan Bundy and Gudmund Grov -- Thread-Modular Model Checking with Iterative Refinement / Wenrui Meng, Fei He, Bow-Yaw Wang and Qiang Liu -- Towards LTL Model Checking of Unmodified Thread-Based C & C++ Programs / Jiři Barnat, Luboš Brim and Petr Ročkai -- Integrating Statechart Components in Polyglot / Daniel Balasubramanian, Corina S. Păsăreanu, Jason Biatek, Thomas Pressburger and Gabor Karsai, et al.
Using PVS to Investigate Incidents through the Lens of Distributed Cognition / Paolo Masci, Huayi Huang, Paul Curzon and Michael D. Harrison -- Automated Analysis of Parametric Timing-Based Mutual Exclusion Algorithms / Roberto Bruttomesso, Alessandro Carioni, Silvio Ghilardi and Silvio Ranise -- Efficient Symbolic Execution of Value-Based Data Structures for Critical Systems / Jason Belt, Robby, Patrice Chalin, John Hatcliff and Xianghua Deng -- Generating Verifiable Java Code from Verified PVS Specifications / Leonard Lensink, Sjaak Smetsers and Marko van Eekelen -- Belief Bisimulation for Hidden Markov Models / Logical Characterisation and Decision Algorithm / David N. Jansen, Flemming Nielson and Lijun Zhang -- Abstract Model Repair / George Chatzieleftheriou, Borzoo Bonakdarpour, Scott A. Smolka and Panagiotis Katsaros -- CLSE: Closed-Loop Symbolic Execution / Rupak Majumdar, Indranil Saha, K.C. Shashidhar and Zilong Wang -- On the Development and Formalization of an Extensible Code Generator for Real Life Security Protocols / Michael Backes, Alex Busenius and Cătălin Hrițcu -- Incremental Verification with Mode Variable Invariants in State Machines / Temesghen Kahsai, Pierre-Loïc Garoche, Cesare Tinelli and Mike Whalen -- A Semantic Analysis of Wireless Network Security Protocols / Damiano Macedonio and Massimo Merro -- Runtime Verification with Predictive Semantics / Xian Zhang, Martin Leucker and Wei Dong -- A Case Study in Verification of Embedded Network Software / Kalyan C. Regula, Hampton Smith, Heather Harton Keown, Jason O. Hallstrom and Nigamanth Sridhar, et al. -- Checking and Distributing Statistical Model Checking / Peter Bulychev, Alexandre David, Kim Guldstrand Larsen, Axel Legay and Marius Mikučionis, et al.
Record Nr. NYU-004622307
[NFM 2012 (2012 : Norfolk, Va.)]  
Materiale a stampa
Lo trovi qui: New York University
Requirements engineering and management for software development projects / Murali Chemuturi ; foreword by Tom Gilb
Requirements engineering and management for software development projects / Murali Chemuturi ; foreword by Tom Gilb
Creatore [Chemuturi, Murali, 1950-]
Estensione 1 online resource
Disciplina 005.1068
Genere/Forma Electronic books
Soggetto non controllato Computer science
Operating systems (Computers)
Computer system performance
Software engineering
Engineering
System Performance and Evaluation
Performance and Reliability
Operating Systems
Programming Techniques
ISBN 9781461453772
1461453771
9781461453765
1461453763
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Introduction to requirements engineering and management -- Understanding requirements -- Elicitation and gathering of requirements -- Requirements analysis -- Establishment of requirements -- Quality assurance in requirements management -- Planning for requirements management -- Requirements change management -- Requirements tracing, tracking and reporting -- Measurement and metrics -- Roles and responsibilities in REM -- Requirements management through SDLC -- Tools and techniques for requirements engineering and management -- Pitfalls and best practices in requirements engineering and management -- REM in agile projects.
Record Nr. NYU-004624914
[Chemuturi, Murali, 1950-]  
Materiale a stampa
Lo trovi qui: New York University
Multicore software engineering, performance, and tools : International Conference, MSEPT 2012, Prague, Czech Republic, May 31-June 1, 2012. Proceedings / Victor Pankratius, Michael Philippsen
Multicore software engineering, performance, and tools : International Conference, MSEPT 2012, Prague, Czech Republic, May 31-June 1, 2012. Proceedings / Victor Pankratius, Michael Philippsen
Creatore [MSEPT (Conference) (2012 : Prague, Czech Republic)]
Estensione 1 online resource.
Disciplina 005.1
Accesso persona Pankratius, Victor
Philippsen, Michael
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Software engineering
Computer system performance
Operating systems (Computers)
Special Purpose and Application-Based Systems
System Performance and Evaluation
Programming Languages, Compilers, Interpreters
Operating Systems
Programming Techniques
ISBN 9783642312021
3642312020
9783642312014
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Processors and Their Collection / Bertrand Meyer, Alexander Kogtenkov and Anton Akhi -- Tackling the Testing and Verification of Multicore and Concurrent Software as a Search Problem / Lionel C. Briand -- Oversubscription of Computational Resources on Multicore Desktop Systems / Constantin Christmann, Erik Hebisch and Anette Weisbecker -- Capturing Transactional Memory Application's Behavior -- The Prerequisite for Performance Analysis / Martin Schindewolf and Wolfgang Karl -- A Comparison of the Influence of Different Multi-core Processors on the Runtime Overhead for Application-Level Monitoring / Jan Waller and Wilhelm Hasselbring -- Analysis of Event Processing Design Patterns and Their Performance Dependency on I/O Notification Mechanisms / Ronald Strebelow and Christian Prehofer -- Non-intrusive Coscheduling for General Purpose Operating Systems / Jan H. Schönherr, Bianca Lutz and Jan Richling -- Automatic Parallelization Using AutoFutures / Korbinian Molitorisz, Jochen Schimmel and Frank Otto -- Invasive Computing: An Application Assisted Resource Management Approach / Andreas Hollmann and Michael Gerndt -- Parallel Graph Transformations on Multicore Systems / Gábor Imre and Gergely Mezei -- Reduction of Electronic Control Units in Electric Vehicles Using Multicore Technology / Georg Gut, Christian Allmann, Markus Schurius and Karsten Schmidt.
Record Nr. NYU-004623039
[MSEPT (Conference) (2012 : Prague, Czech Republic)]  
Materiale a stampa
Lo trovi qui: New York University
Euro-Par 2012 parallel processing : 18th International Conference, Euro-Par 2012, Rhodes Island, Greece, August 27-31, 2012. Proceedings / Christos Kaklamanis, Theodore Papatheodorou, Paul G. Spirakis (eds.).
Euro-Par 2012 parallel processing : 18th International Conference, Euro-Par 2012, Rhodes Island, Greece, August 27-31, 2012. Proceedings / Christos Kaklamanis, Theodore Papatheodorou, Paul G. Spirakis (eds.).
Creatore [International EURO-PAR Conference (18th : 2012 : Rhodes (Island), Greece)]
Estensione 1 online resource.
Disciplina 004.6/185
Accesso persona Kaklamanis, Christos
Papatheodorou, T. S. (Theodore S.)
Spirakis, P. G. (Paul G.), 1955-
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Software engineering
Computer system performance
Operating systems (Computers)
Electronic data processing
Programming Languages, Compilers, Interpreters
Operating Systems
System Performance and Evaluation
ISBN 9783642328206
3642328202
3642328199
9783642328190
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Selfish Distributed Optimization / Burkhard Monien and Christian Scheideler. Topic 1: Support Tools and Environments / Omer Rana, Marios Dikaiakos, Daniel S. Katz and Christine Morin -- Tulipse: A Visualization Framework for User-Guided Parallelization / Yi Wen Wong, Tomasz Dubrownik, Wai Teng Tang, Wen Jun Tan and Rubing Duan, et al. -- Enabling Cloud Interoperability with COMPSs / Fabrizio Marozzo, Francesc Lordan, Roger Rafanell, Daniele Lezzi and Domenico Talia, et al. -- Pattern-Independent Detection of Manual Collectives in MPI Programs / Alexandru Calotoiu, Christian Siebert and Felix Wolf -- A Type-Based Approach to Separating Protocol from Application Logic: A Case Study in Hybrid Computer Programming / Geoffrey C. Hulette, Matthew J. Sottile and Allen D. Malony.
Topic 2: Performance Prediction and Evaluation / Allen D. Malony, Helen Karatza, William Knottenbelt and Sally McKee -- Energy Consumption Modeling for Hybrid Computing / Ami Marowka -- HPC File Systems in Wide Area Networks: Understanding the Performance of Lustre over WAN / Alvaro Aguilera, Michael Kluge, Thomas William and Wolfgang E. Nagel -- Understanding I/O Performance Using I/O Skeletal Applications / Jeremy Logan, Scott Klasky, Hasan Abbasi, Qing Liu and George Ostrouchov, et al. -- ASK: Adaptive Sampling Kit for Performance Characterization / Pablo de Oliveira Castro, Eric Petit, Jean Christophe Beyler and William Jalby -- CRAW/P: A Workload Partition Method for the Efficient Parallel Simulation of Manycores / Shuai Jiao, Paolo Ienne, Xiaochun Ye, Da Wang and Dongrui Fan, et al.
Topic 3: Scheduling and Load Balancing / Denis Trystram, Ioannis Milis, Zhihui Du and Uwe Schwiegelshohn -- Job Scheduling Using Successive Linear Programming Approximations of a Sparse Model / Stephane Chretien, Jean-Marc Nicod, Laurent Philippe, Veronika Rehn-Sonigo and Lamiel Toch -- Speed Scaling on Parallel Processors with Migration / Eric Angel, Evripidis Bampis, Fadi Kacem and Dimitrios Letsios -- Dynamic Distributed Scheduling Algorithm for State Space Search / Ankur Narang, Abhinav Srivastava, Ramnik Jain and R.K. Shyamasundar -- Using Load Information in Work-Stealing on Distributed Systems with Non-uniform Communication Latencies / Vladimir Janjic and Kevin Hammond -- Energy Efficient Frequency Scaling and Scheduling for Malleable Tasks / Peter Sanders and Jochen Speck -- Scheduling MapReduce Jobs in HPC Clusters / Marcelo Veiga Neves, Tiago Ferreto and César De Rose -- A Job Scheduling Approach for Multi-core Clusters Based on Virtual Malleability / Gladys Utrera, Siham Tabik, Julita Corbalan and Jesús Labarta.
Topic 4: High-Performance Architecture and Compilers / Alex Veidenbaum, Nectarios Koziris, Toshinori Sato and Avi Mendelson -- Dynamic Last-Level Cache Allocation to Reduce Area and Power Overhead in Directory Coherence Protocols / Mario Lodde, Jose Flich and Manuel E. Acacio -- A Practical Approach to DOACROSS Parallelization / Priya Unnikrishnan, Jun Shirako, Kit Barton, Sanjay Chatterjee and Raul Silvera, et al. -- Exploiting Semantics of Virtual Memory to Improve the Efficiency of the On-Chip Memory System / Bin Li, Zhen Fang, Li Zhao, Xiaowei Jiang and Lin Li, et al. -- From Serial Loops to Parallel Execution on Distributed Systems / George Bosilca, Aurelien Bouteiller, Anthony Danalis, Thomas Herault and Jack Dongarra.
Topic 5: Parallel and Distributed Data Management / Domenico Talia, Alex Delis, Haimonti Dutta and Arkady Zaslavsky -- DS-Means: Distributed Data Stream Clustering / Alessio Guerrieri and Alberto Montresor -- 3D Inverted Index with Cache Sharing for Web Search Engines / Esteban Feuerstein, Veronica Gil-Costa, Mauricio Marin, Gabriel Tolosa and Ricardo Baeza-Yates -- Quality-of-Service for Consistency of Data Geo-replication in Cloud Computing / Sérgio Esteves, João Silva and Luís Veiga -- A Fault-Tolerant Cache Service for Web Search Engines: RADIC Evaluation / Carlos Gómez-Pantoja, Dolores Rexachs, Mauricio Marin and Emilio Luque.
Topic 6: Grid, Cluster and Cloud Computing / Erik Elmroth, Paraskevi Fragopoulou, Artur Andrzejak, Ivona Brandic and Karim Djemame, et al. -- Scalable Reed-Solomon-Based Reliable Local Storage for HPC Applications on IaaS Clouds / Leonardo Bautista Gomez, Bogdan Nicolae, Naoya Maruyama, Franck Cappello and Satoshi Matsuoka -- Caching VM Instances for Fast VM Provisioning: A Comparative Evaluation / Pradipta De, Manish Gupta, Manoj Soni and Aditya Thatte -- Improving Scheduling Performance Using a Q-Learning-Based Leasing Policy for Clouds / Alexander Fölling and Matthias Hofmann -- Impact of Variable Priced Cloud Resources on Scientific Workflow Scheduling / Simon Ostermann and Radu Prodan.
Topic 7: Peer to Peer Computing / Alberto Montresor, Evaggelia Pitoura, Anwitaman Datta and Spyros Voulgaris -- ID-Replication for Structured Peer-to-Peer Systems / Tallat M. Shafaat, Bilal Ahmad and Seif Haridi -- Changing the Unchoking Policy for an Enhanced Bittorrent / Vaggelis Atlidakis, Mema Roussopoulos and Alex Delis -- Peer-to-Peer Multi-class Boosting / István Hegedűs, Róbert Busa-Fekete, Róbert Ormándi, Márk Jelasity and Balázs Kégl.
Topic 8: Distributed Systems and Algorithms / Andrzej Goscinski, Marios Mavronicolas, Weisong Shi and Teo Yong Meng -- Towards Load Balanced Distributed Transactional Memory / Gokarna Sharma and Costas Busch -- CUDA-For-Clusters: A System for Efficient Execution of CUDA Kernels on Multi-core Clusters / Raghu Prabhakar, R. Govindarajan and Matthew J. Thazhuthaveetil -- From a Store-Collect Object and [Omega] to Efficient Asynchronous Consensus / Michel Raynal and Julien Stainer -- An Investigation into the Performance of Reduction Algorithms under Load Imbalance / Petar Marendić, Jan Lemeire, Tom Haber, Dean Vučinić and Peter Schelkens -- Achieving Reliability in Master-Worker Computing via Evolutionary Dynamics / Evgenia Christoforou, Antonio Fernández Anta, Chryssis Georgiou, Miguel A. Mosteiro and Angel (Anxo) Sánchez.
Topic 9: Parallel and Distributed Programming / Sergei Gorlatch, Rizos Sakellariou, Marco Danelutto and Thilo Kielmann -- Dynamic Thread Mapping Based on Machine Learning for Transactional Memory Applications / Márcio Castro, Luís Fabrício Wanderley Góes, Luiz Gustavo Fernandes and Jean-François Méhaut -- A Checkpoint-on-Failure Protocol for Algorithm-Based Recovery in Standard MPI / Wesley Bland, Peng Du, Aurelien Bouteiller, Thomas Herault and George Bosilca, et al. -- Hierarchical Partitioning Algorithm for Scientific Computing on Highly Heterogeneous CPU + GPU Clusters / David Clarke, Aleksandar Ilic, Alexey Lastovetsky and Leonel Sousa -- Encapsulated Synchronization and Load-Balance in Heterogeneous Programming / Yuri Torres, Arturo Gonzalez-Escribano and Diego Llanos -- Transactional Access to Shared Memory in StarSs, a Task Based Programming Model / Rahulkumar Gayatri, Rosa M. Badia, Eduard Ayguade, Mikel Luján and Ian Watson -- On-the-Fly Task Execution for Speeding Up Pipelined MapReduce / Diana Moise, Gabriel Antoniu and Luc Bougé -- Assessing the Performance and Scalability of a Novel Multilevel K-Nomial Allgather on CORE-Direct Systems / Joshua S. Ladd, Manjunath Gorentla Venkata, Richard Graham and Pavel Shamis.
Topic 10: Parallel Numerical Algorithms / Iain Duff, Efstratios Gallopoulos, Daniela di Serafino and Bora Ucar -- Avoiding Communication through a Multilevel LU Factorization / Simplice Donfack, Laura Grigori and Amal Khabou -- Locality Improvement of Data-Parallel Adams-Bashforth Methods through Block-Based Pipelining of Time Steps / Matthias Korch -- Parallel SOR for Solving the Convection Diffusion Equation Using GPUs with CUDA / Yiannis Cotronis, Elias Konstantinidis, Maria A. Louka and Nikolaos M. Missirlis.
Topic 11: Multicore and Manycore Programming / Eduard Ayguade, Dionisios Pnevmatikatos, Rudolf Eigenmann, Mikel Luján and Sabri Pllana -- Efficient Support for In-Place Metadata in Transactional Memory / Ricardo J. Dias, Tiago M. Vale and João M. Lourenço -- Folding of Tagged Single Assignment Values for Memory-Efficient Parallelism / Dragoş Sbîrlea, Kathleen Knobe and Vivek Sarkar -- High-Level Support for Pipeline Parallelism on Many-Core Architectures / Siegfried Benkner, Enes Bajrovic, Erich Marth, Martin Sandrieser and Raymond Namyst, et al. -- Node. Scala: Implicit Parallel Programming for High-Performance Web Services / Daniele Bonetta, Danilo Ansaloni, Achille Peternier, Cesare Pautasso and Walter Binder -- Task-Parallel Programming on NUMA Architectures / Christian Terboven, Dirk Schmidl, Tim Cramer and Dieter an Mey -- Speeding Up OpenMP Tasking / Spiros N. Agathos, Nikolaos D. Kallimanis and Vassilios V. Dimakopoulos -- An Efficient Unbounded Lock-Free Queue for Multi-core Systems / Marco Aldinucci, Marco Danelutto, Peter Kilpatrick, Massimiliano Meneghin and Massimo Torquati.
Topic 12: Theory and Algorithms for Parallel Computation / Geppino Pucci, Christos Zaroliagis, Kieran T. Herley and Henning Meyerhenke -- A Lower Bound Technique for Communication on BSP with Application to the FFT / Gianfranco Bilardi, Michele Scquizzato and Francesco Silvestri -- A Fast Parallel Algorithm for Minimum-Cost Small Integral Flows / Andrzej Lingas and Mia Persson.
Topic 13: High Performance Network and Communication / Chris Develder, Emmanouel Varvarigos, Admela Jukan and Dimitra Simeonidou -- Topology Configuration in Hybrid EPS/OCS Interconnects / Konstantinos Christodoulopoulos, Marco Ruffini, Donal O'Mahony and Kostas Katrinis -- Towards an Efficient Fat-Tree like Topology / D. Bermúdez Garzón, C. Gómez, M.E. Gómez, P. López and J. Duato -- An Adaptive, Scalable, and Portable Technique for Speeding Up MPI-Based Applications / Rosa Filgueira, Malcolm Atkinson, Alberto Nuñez and Javier Fernández -- Cost-Effective Contention Avoidance in a CMP with Shared Memory Controllers / Samuel Rodrigo, Frank Olaf Sem-Jacobsen, Hervé Tatenguem, Tor Skeie and Davide Bertozzi.
Topic 14: Mobile and Ubiquitous Computing / Paolo Santi, Sotiris Nikoletseas, Cecilia Mascolo and Thiemo Voigt -- Watershed-Based Clustering for Energy Efficient Data Gathering in Wireless Sensor Networks with Mobile Collector / Charalampos Konstantopoulos, Basilis Mamalis, Grammati Pantziou and Vasileios Thanasias -- Distribution of Liveness Property Connectivity Interval in Selected Mobility Models of Wireless Ad Hoc Networks / Jerzy Brzeziński, Michał Kalewski, Marcin Kosiba and Marek Libuda.
Topic 15: High Performance and Scientific Applications / Thomas Ludwig, Costas Bekas, Alice Koniges and Kengo Nakajima -- Memory-Access Optimization of Parallel Molecular Dynamics Simulation via Dynamic Data Reordering / Manaschai Kunaseth, Ken-ichi Nomura, Hikmet Dursun, Rajiv K. Kalia and Aiichiro Nakano, et al. -- On Analyzing Quality of Data Influences on Performance of Finite Elements Driven Computational Simulations / Michael Reiter, Hong-Linh Truong, Schahram Dustdar, Dimka Karastoyanova and Robert Krause, et al. -- Performance Evaluation and Optimization of Nested High Resolution Weather Simulations / Preeti Malakar, Vaibhav Saxena, Thomas George, Rashmi Mittal and Sameer Kumar, et al. -- Optimized Hybrid Parallel Lattice Boltzmann Fluid Flow Simulations on Complex Geometries / Jonas Fietz, Mathias J. Krause, Christian Schulz, Peter Sanders and Vincent Heuveline -- Topology-Aware Mappings for Large-Scale Eigenvalue Problems / Hasan Metin Aktulga, Chao Yang, Esmond G. Ng, Pieter Maris and James P. Vary -- Fast and Effective Lossy Compression Algorithms for Scientific Datasets / Jeremy Iverson, Chandrika Kamath and George Karypis.
Topic 16: GPU and Accelerators Computing / Alex Ramirez, Dimitrios S. Nikolopoulos, David Kaeli and Satoshi Matsuoka -- OpenACC -- First Experiences with Real-World Applications / Sandra Wienke, Paul Springer, Christian Terboven and Dieter an Mey -- accULL: An OpenACC Implementation with CUDA and OpenCL Support / Ruymán Reyes, Iván López-Rodríguez, Juan J. Fumero and Francisco de Sande -- Understanding the Performance of Concurrent Data Structures on Graphics Processors / Daniel Cederman, Bapi Chatterjee and Philippas Tsigas -- A New Programming Paradigm for GPGPU / Julio Toss and Thierry Gautier -- GPU-Accelerated Asynchronous Error Correction for Mixed Precision Iterative Refinement / Hartwig Anzt, Piotr Luszczek, Jack Dongarra and Vincent Heuveline -- GPURoofline: A Model for Guiding Performance Optimizations on GPUs / Haipeng Jia, Yunquan Zhang, Guoping Long, Jianliang Xu and Shengen Yan, et al. -- Building a Collision for 75-Round Reduced SHA-1 Using GPU Clusters / Andrew V. Adinetz and Evgeny A. Grechnikov -- GPU-Vote: A Framework for Accelerating Voting Algorithms on GPU / Gert-Jan van den Braak, Cedric Nugteren, Bart Mesman and Henk Corporaal.
Record Nr. NYU-004624384
[International EURO-PAR Conference (18th : 2012 : Rhodes (Island), Greece)]  
Materiale a stampa
Lo trovi qui: New York University
Distributed Algorithms [electronic resource] : 8th International Workshop, WDAG 1994, Terschelling, The Netherlands, September 29 - October 1, 1994. Proceedings / by Gerard Tel, Paul Vitanyi
Distributed Algorithms [electronic resource] : 8th International Workshop, WDAG 1994, Terschelling, The Netherlands, September 29 - October 1, 1994. Proceedings / by Gerard Tel, Paul Vitanyi
Creatore [Tel, Gerard]
Accesso persona Vitanyi, Paul
Accesso ente SpringerLink (Online service)
Soggetto non controllato Computer Science
Algorithm Analysis and Problem Complexity
Computation by Abstract Devices
Computer Communication Networks
Operating Systems
Programming Techniques
Special Purpose and Application-Based Systems
ISBN 9783540584490
Formato Software
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-7355270
[Tel, Gerard]  
Software
Lo trovi qui: University of Chicago
Ada in Europe [electronic resource] : Second International Eurospace-Ada-Europe Symposium, Frankfurt, Germany, October 2-6, 1995 / by Marcel Toussaint
Ada in Europe [electronic resource] : Second International Eurospace-Ada-Europe Symposium, Frankfurt, Germany, October 2-6, 1995 / by Marcel Toussaint
Creatore [Toussaint, Marcel]
Accesso ente SpringerLink (Online service)
Soggetto non controllato Computer Science
Operating Systems
Programming Languages, Compilers, Interpreters
Programming Techniques
Software Engineering
Special Purpose and Application-Based Systems
ISBN 9783540607571
Formato Software
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-7355440
[Toussaint, Marcel]  
Software
Lo trovi qui: University of Chicago
Mobile Agents [electronic resource] : First International Workshop, MA '97, Berlin, Germany, April, 7-8, 1997, Proceedings / by Kurt Rothermel, Radu Popescu-Zeletin
Mobile Agents [electronic resource] : First International Workshop, MA '97, Berlin, Germany, April, 7-8, 1997, Proceedings / by Kurt Rothermel, Radu Popescu-Zeletin
Creatore [Rothermel, Kurt]
Accesso persona Popescu-Zeletin, R.
Accesso ente SpringerLink (Online service)
Soggetto non controllato Computer Science
Computer Communication Networks
Operating Systems
Programming Techniques
Software Engineering
ISBN 9783540628033
Formato Software
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-7355625
[Rothermel, Kurt]  
Software
Lo trovi qui: University of Chicago
Financial Cryptography [electronic resource] : First International Conference, FC '97, Anguilla, British West Indies, February 24-28, 1997. Proceedings / by Rafael Hirschfeld
Financial Cryptography [electronic resource] : First International Conference, FC '97, Anguilla, British West Indies, February 24-28, 1997. Proceedings / by Rafael Hirschfeld
Creatore [Hirschfeld, Rafael]
Accesso ente SpringerLink (Online service)
Soggetto non controllato Computer Science
Business Information Systems
Computer Communication Networks
Data Encryption
Operating Systems
ISBN 9783540635949
Formato Software
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-7355728
[Hirschfeld, Rafael]  
Software
Lo trovi qui: University of Chicago
Computer Security - ESORICS 98 [electronic resource] : 5th European Symposium on Research in Computer Security, Louvain-la-Neuve, Belgium, September 16-18, 1998, Proceedings / by Jean-Jacques Quisquater, Yves Deswarte, Catherine Meadows
Computer Security - ESORICS 98 [electronic resource] : 5th European Symposium on Research in Computer Security, Louvain-la-Neuve, Belgium, September 16-18, 1998, Proceedings / by Jean-Jacques Quisquater, Yves Deswarte, Catherine Meadows
Creatore [Quisquater, Jean-Jacques]
Accesso persona Deswarte, Y. (Yves)
Gollmann, Dieter
Meadows, Catherine
Accesso ente SpringerLink (Online service)
Soggetto non controllato Computer Science
Computer Communication Networks
Data Encryption
Management of Computing and Information Systems
Operating Systems
ISBN 9783540650041
Formato Software
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-7355874
[Quisquater, Jean-Jacques]  
Software
Lo trovi qui: University of Chicago