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.
High performance computing systems : performance modeling, benchmarking and simulation : 4th International Workshop, PMBS 2013, Denver, CO, USA, November 18, 2013 : revised selected papers / Stephen Jarvis, Steven Wright, Simon Hammond (Eds.).
High performance computing systems : performance modeling, benchmarking and simulation : 4th International Workshop, PMBS 2013, Denver, CO, USA, November 18, 2013 : revised selected papers / Stephen Jarvis, Steven Wright, Simon Hammond (Eds.).
Creatore [PMBS (Workshop) (4th : 2013 : Denver, Colo.)]
Estensione 1 online resource (XII, 294 pages) : illustrations.
Disciplina 004.1/1
Accesso persona Jarvis, Stephen A., 1970-editor.
Wright, Steven A. (Research fellow), editor
Hammond, Simon (Simon David), editor
Genere/Forma Electronic books
Conference papers and proceedings
ISBN 9783319102146
3319102141
9783319102139
3319102133
Classificazione 54.80
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Section A: Performance Benchmarking and Analysis Quantifying Architectural Requirements of Contemporary Extreme-Scale Scientific Applications -- Performance Evaluation of the Intel Sandy Bridge Based NASA Pleiades Using Scientific and Engineering Applications -- Analysis of Cray XC30 Performance using Trinity- NERSC-8 benchmarks and comparison with Cray XE6 and IBM BG/Q -- Analysis of Data Reuse in Task-Parallel Runtimes -- Section B: Performance Modeling and Simulation -- Using Simulation to Evaluate the Performance of Resilience Strategies at Scale -- Characterizing the Impact of Prefetching on Scientific Application Performance -- Performance Modeling of Gyrokinetic Toroidal Simulations for a Many-tasking Runtime System -- Toward Better Simulation of MPI Applications on Ethernet/TCP Networks -- SESH framework: A Space Exploration Framework for GPU Application and Hardware Codesign -- Optimal Checkpointing Period: Time vs. Energy -- Section C: Performance Optimization -- Tuning HipGISAXS on Multi and Many Core Supercomputers -- Multi Objective Optimization of HPC Kernels for Performance, Power, and Energy -- Performance Tuning of Fock Matrix and Two-Electron Integral Calculations for NWChem on Leading HPC Platforms.-Performance analysis of the NWChem TCE for different communication patterns.
Record Nr. NYU-004450479
[PMBS (Workshop) (4th : 2013 : Denver, Colo.)]  
Materiale a stampa
Lo trovi qui: New York University
Algorithms and discrete applied mathematics : first international conference, CALDAM 2015, Kanpur, India, February 8-10, 2015. Proceedings / Sumit Ganguly, Ramesh Krishnamurti (eds.).
Algorithms and discrete applied mathematics : first international conference, CALDAM 2015, Kanpur, India, February 8-10, 2015. Proceedings / Sumit Ganguly, Ramesh Krishnamurti (eds.).
Creatore [CALDAM (Conference) (1st : 2015 : Kānpur, India)]
Estensione 1 online resource (xv, 297 pages) : illustrations.
Disciplina 004.01/51
Accesso persona Ganguly, Sumit, editor
Krishnamurti, Ramesh, editor
Genere/Forma Electronic books
Conference papers and proceedings
ISBN 9783319149745
3319149741
9783319149738
3319149733
Classificazione 54.00
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Obstruction Characterizations in Graphs and Digraphs -- Approximation Algorithms -- A PTAS for the Metric Case of the Minimum Sum-Requirement Communication Spanning Tree Problem -- Constant Approximation for Broadcasting in k-cycle Graph -- Computational Geometry -- Three paths to point placement -- Vertex Guarding in Weak Visibility Polygons -- On Collections of Polygons Cuttable with a Segment Saw -- Rectilinear path problems in the presences of rectangular obstacles -- Computational Complexity -- Parameterized Analogues of Probabilistic Computation -- Algebraic Expressions of Rhomboidal Graphs -- Solving Hamiltonian Cycle by an EPT Algorithm for a Non-sparse Parameter -- Graph Theory. New Polynomial Case for Efficient Domination in P 6-free Graphs -- Higher-Order Triangular-Distance Delaunay Graphs: Graph-Theoretical Properties -- Separator Theorems for Interval Graphs and Proper Interval Graphs -- Bounds for the b-Chromatic Number of Induced Subgraphs and G e -- New Characterizations Of Proper Interval Bigraphs and Proper Circular Arc Bigraphs -- On Spectra of Corona Graphs -- Axiomatic Characterization of the Median and Antimedian Functions on Cocktail-Party Graphs and Complete Graphs -- Tree Path Labeling of Hypergraphs A Generalization of the Consecutive Ones Property -- On a special class of boxicity 2 graph -- Algorithms -- Associativity for Binary Parallel Processes: a Quantitative Study -- A Tight Bound for Congestion of an Embedding.-Auction/Belief propagation algorithms for constrained assignment problem -- Domination in some subclasses of bipartite graphs -- Bi-directional Search for Skyline Probability -- Cumulative vehicle routing problem: a column generation approach -- Energy Efficient Sweep Coverage with Mobile and Static Sensors -- Generation of Random Digital Curves using Combinatorial Techniques.
Record Nr. NYU-004453356
[CALDAM (Conference) (1st : 2015 : Kānpur, India)]  
Materiale a stampa
Lo trovi qui: New York University
Functional and constraint logic programming : 18th international workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009 ; revised selected papers / Santiago Escobar (ed.).
Functional and constraint logic programming : 18th international workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009 ; revised selected papers / Santiago Escobar (ed.).
Creatore [WFLP 2009 (2009 : Brasília, Distrito Federal, Brazil)]
Estensione 1 online resource (vi, 178 pages) : illustrations.
Disciplina 005.1/15
Accesso persona Escobar, Santiago (Computer scientist)
Genere/Forma Electronic books
Conference papers and proceedings
Congresses
ISBN 9783642119996
3642119999
3642119980
9783642119989
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Programming with multiple paradigms in Lua / Roberto Ierusalimschy -- Constraint based strategies / Claude Kirchner, Florent Kirchner, and Hélène Kirchner -- Contributed papers. Integrating ILOG CP technology into TOY / Ignacio Castiñeiras and Fernando Sáenz-Pérez -- Termination of context-sensitive rewriting with built-in numbers and collection data structures / Stephan Falke and Deepak Kapur -- Semantic labelling for proving termination of combinatory reduction systems / Makoto Hamana -- A taxonomy of some right-to-left string-matching algorithms / Manuel Hernández -- Type checking and interface are equivalent in lambda calculi with existential types / Yuki Kato and Koji Nakazawa -- Fast and accurate strong termination analysis with an application to partial evaluation / Michael Leuschel, Salvador Tamarit, and Germán Vidal -- New results on type systems for functional logic programming / Francisco J. López-Fraguas, Enrique Martin-Martin, and Juan Rodríguez-Hortalá -- A simple region inference algorithm for a first-order functional language / Manuel Montenegro, Ricardo Peña, and Clara Segura -- A theoretical framework for the declarative debugging of functional logic programs with lambda abstractions / Rafael del Vado Vírseda and Ignacio Castiñeiras.
Record Nr. NYU-004615790
[WFLP 2009 (2009 : Brasília, Distrito Federal, Brazil)]  
Materiale a stampa
Lo trovi qui: New York University
Reachability problems : 3rd international workshop, RP 2009, Palaiseau, France, September 23-25, 2009 : proceedings / Olivier Bournez, Igor Potapov (eds.).
Reachability problems : 3rd international workshop, RP 2009, Palaiseau, France, September 23-25, 2009 : proceedings / Olivier Bournez, Igor Potapov (eds.).
Creatore [RP (Workshop) (3rd : 2009 : Palaiseau, France)]
Estensione 1 online resource (x, 232 pages) : illustrations.
Accesso persona Bournez, Olivier
Potapov, Igor
Genere/Forma Conference papers and proceedings
ISBN 9783642044205
3642044204
9783642044199
3642044190
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. NYU-004616367
[RP (Workshop) (3rd : 2009 : Palaiseau, France)]  
Materiale a stampa
Lo trovi qui: New York University
Reachability problems : 7th international workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013, proceedings / Parosh Aziz Abdulla, Igor Potapov (eds.).
Reachability problems : 7th international workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013, proceedings / Parosh Aziz Abdulla, Igor Potapov (eds.).
Creatore [RP (Workshop) (7th : 2013 : Uppsala, Sweden)]
Estensione 1 online resource (xii, 221 pages) : illustrations (some color).
Disciplina 004
Accesso persona Abdulla, Parosh Aziz, editor
Potapov, Igor, editor
Genere/Forma Electronic books
Conference papers and proceedings
Ebook
ISBN 9783642410369
3642410367
3642410359
9783642410352
Classificazione 53.89
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Robustness in Timed Automata / Patricia Bouyer, Nicolas Markey, Ocan Sankur -- Automated Verification of Concurrent Software / Daniel Kroening -- Provenance Verification / Rupak Majumdar, Roland Meyer, Zilong Wang -- Reachability Modulo Theories / Akash Lal, Shaz Qadeer -- The Dynamic Complexity of the Reachability Problem on Graphs / Thomas Schwentick -- Reachability Problems for Hierarchical Piecewise Constant Derivative Systems / Paul C. Bell, Shang Chen -- Parametric Interrupt Timed Automata / Beatrice Bérard, Serge Haddad, Aleksandra Jovanović, Didier Lime -- Deciding Continuous-Time Metric Temporal Logic with Counting Modalities / Marcello M. Bersani, Matteo Rossi, Pierluigi San Pietro -- MaRDiGraS: Simplified Building of Reachability Graphs on Large Clusters / Carlo Bellettini, Matteo Camilli, Lorenzo Capra, Mattia Monga -- Modular Synthesis with Open Components / Ilaria De Crescenzo, Salvatore La Torre -- Parameterized Verification of Broadcast Networks of Register Automata / Giorgio Delzanno, Arnaud Sangnier, Riccardo Traverso -- Monomial Strategies for Concurrent Reachability Games and Other Stochastic Games / Søren Kristoffer Stiil Frederiksen, Peter Bro Miltersen -- Stability Controllers for Sampled Switched Systems / Laurent Fribourg, Romain Soulat -- Formal Languages, Word Problems of Groups and Decidability / Sam A.M. Jones, Richard M. Thomas -- Verification of Reachability Properties for Time Petri Nets / Kais Klai, Naim Aber, Laure Petrucci -- Branching-Time Model Checking Gap-Order Constraint Systems / Richard Mayr, Patrick Totzke -- Constructing Minimal Coverability Sets / Artturi Piipponen, Antti Valmari -- On the Complexity of Counter Reachability Games / Julien Reichert -- Completeness Results for Generalized Communication-Free Petri Nets with Arbitrary Edge Multiplicities / Ernst W. Mayr, Jeremias Weihmann.
Record Nr. NYU-004661593
[RP (Workshop) (7th : 2013 : Uppsala, Sweden)]  
Materiale a stampa
Lo trovi qui: New York University
Trustworthy global computing : 7th International Symposium, TGC 2012, Newcastle upon Tyne, UK, September 7-8, 2012, Revised selected papers / Catuscia Palamidessi, Mark D. Ryan (eds.).
Trustworthy global computing : 7th International Symposium, TGC 2012, Newcastle upon Tyne, UK, September 7-8, 2012, Revised selected papers / Catuscia Palamidessi, Mark D. Ryan (eds.).
Creatore [TGC (Symposium) (7th : 2012 : Newcastle upon Tyne, England)]
Estensione 1 online resource (x, 213 pages) : illustrations.
Disciplina 005.82
Accesso persona Palamidessi, Catuscia, editor
Ryan, Mark, 1962-editor
Genere/Forma Electronic books
Conference papers and proceedings
Ebook
ISBN 9783642411571
3642411576
3642411568
9783642411564
Classificazione 54.32
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto From Rational Number Reconstruction to Set Reconciliation and File Synchronization / Antoine Amarilli [and others] -- Affine Refinement Types for Authentication and Authorization / Michele Bugliesi [and others] -- Seamless Distributed Computing from the Geometry of Interaction / Olle Fredriksson and Dan R. Ghica -- A Beginner's Guide to the DeadLock Analysis Model / Elena Giachino and Cosimo Laneve -- Formal Modeling and Reasoning about the Android Security Framework / Alessandro Armando, Gabriele Costa and Alessio Merlo -- A Type System for Flexible Role Assignment in Multiparty Communicating Systems / Pedro Baltazar [and others] -- A Multiparty Multi-session Logic / Laura Bocchi, Romain Demangeon and Nobuko Yoshida -- LTS Semantics for Compensation-Based Processes / Roberto Bruni and Anne Kersten Kauer -- Linking Unlinkability / Mayla Brusó [and others] -- Towards Quantitative Analysis of Opacity / Jeremy W. Bryans, Maciej Koutny and Chunyan Mu -- An Algebra for Symbolic Diffie-Hellman Protocol Analysis / Daniel J. Dougherty and Joshua D. Guttman -- Security Analysis in Probabilistic Distributed Protocols via Bounded Reachability / Silvia S. Pelozo and Pedro R. D'Argenio -- Modular Reasoning about Differential Privacy in a Probabilistic Process Calculus / Lili Xu.
Record Nr. NYU-004661694
[TGC (Symposium) (7th : 2012 : Newcastle upon Tyne, England)]  
Materiale a stampa
Lo trovi qui: New York University
Tools and algorithms for the construction and analysis of systems : 16th International Conference, TACAS 2010, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010 ; proceedings / Javier Esparza, Rupak Majumdar (eds.).
Tools and algorithms for the construction and analysis of systems : 16th International Conference, TACAS 2010, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010 ; proceedings / Javier Esparza, Rupak Majumdar (eds.).
Creatore [TACAS (Conference) (16th : 2010 : Paphos, Cyprus)]
Estensione 1 online resource (xvi, 468 pages) : illustrations.
Disciplina 004.2/1
Accesso persona Esparza, Javier
Majumdar, Rupak
Genere/Forma Electronic books
Conference papers and proceedings
Congresses
ISBN 9783642120022
3642120024
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. NYU-004616810
[TACAS (Conference) (16th : 2010 : Paphos, Cyprus)]  
Materiale a stampa
Lo trovi qui: New York University
Computational science and its applications : ICCSA 2010 : international conference, Fukuoka, Japan, March 23-26, 2010 : proceedings, part III / David Taniar [and others] (eds.).
Computational science and its applications : ICCSA 2010 : international conference, Fukuoka, Japan, March 23-26, 2010 : proceedings, part III / David Taniar [and others] (eds.).
Creatore [ICCSA 2010 (2010 : Fukuoka-shi, Japan)]
Estensione 1 online resource (xix, 570 pages) : illustrations.
Disciplina 004.6
Accesso persona Taniar, David
Genere/Forma Electronic books
Conference papers and proceedings
ISBN 9783642121791
3642121799
3642121780
9783642121784
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. NYU-004616825
[ICCSA 2010 (2010 : Fukuoka-shi, Japan)]  
Materiale a stampa
Lo trovi qui: New York University
Evolutionary computation in combinatorial optimization : 10th European conference, EvoCOP 2010, Istanbul, Turkey, April 7-9, 2010 : proceedings / Peter Cowling, Peter Merz (eds.).
Evolutionary computation in combinatorial optimization : 10th European conference, EvoCOP 2010, Istanbul, Turkey, April 7-9, 2010 : proceedings / Peter Cowling, Peter Merz (eds.).
Creatore [EvoCOP (Conference) (2010 : Istanbul, Turkey)]
Estensione 1 online resource (xv, 287 pages) : illustrations (some color).
Disciplina 005.1
Accesso persona Cowling, Peter I. (Peter Ivan)
Merz, Peter, Dr.-Ing.
Genere/Forma Electronic books
Conference papers and proceedings
Congresses
ISBN 9783642121395
364212139X
9783642121388
3642121381
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Dual sequence simulated annealing with round-robin approach for university course timetabling / Salwani Abdullah, Khalid Shaker, Barry McCollum, and Paul McMullan -- Heuristic and exact methods for the discrete (r / p)-centroid problem / Ekaterina Alekseeva, Nina Kochetova, Yury Kochetov, and Alexandr Plyasunov -- On the benefit of sub-optimality within the divide-and-evolve scheme / Jacques Bibai, Pierre Savéant, Marc Schoenauer, and Vincent Vidal -- A real-integer-discrete-coded differential evolution algorithm : a preliminary study / Dilip Datta and José Rui Figueira -- Fitness distance correlation and search space analysis for permutation based problems / Botond Draskoczy -- A genetic algorithm to minimize chromatic entropy / Greg Durrett, Muriel Médard, and Una-May O'Reilly -- Evolutionary approaches to the three-dimensional multi-pipe routing problem : a comparative study using direct encodings / Marcus Furuholmen, Kyrre Glette, Mats Hovin, and Jim Torresen -- A tabu search heuristic for point coverage, sink location, and data routing in wireless sensor networks / Evren Güney, İ. Kuban Altınel, Necati Aras, and Cem Ersoy -- Ant colony optimization for tree decompositions / Thomas Hammerl and Nysret Musliu -- Iterated local search with path relinking for solving parallel machines scheduling problem with resource-assignable sequence dependent setup times / Edmar Hell Kampke, José Elias Claudio Arroyo, and André Gustavo Santos -- Enhancing a tabu algorithm for approximate graph matching by using similarity measures / Segla Kpodjedo, Philippe Galinier, and Giulio Antoniol -- Characterizing fault-tolerance of genetic algorithms in desktop grid systems / Daniel Lombraña González, Juan Luís Jiménez Laredo, Francisco Fernández de Vega, and Juan Julián Merelo Guervós -- The office-space-allocation problem in strongly hierarchized organizations / Rui Lopes and Daniela Girimonte -- A study of memetic search with multi- parent combination for UBQP / Zhipeng Lü, Jin-Kao Hao, and Fred Glover -- Bicriteria scheduling problem on the two-machine flowshop using simulated annealing / Mohammad Mesgarpour, Nureddin Kirkavak, and Hakan Ozaktas -- A memetic algorithm for workforce distribution in dynamic multi-skill call centres / David Millán-Ruiz and J. Ignacio Hidalgo -- Geometric generalization of the Nelder-Mead algorithm / Alberto Moraglio and Colin G. Johnson -- Guided ejection search for the pickup and delivery problem with time windows / Yuichi Nagata and Shigenobu Kobayashi -- An evolutionary algorithm guided by preferences elicited according to the ELECTRE TRI method principles / Eunice Oliveira and Carlos Henggeler Antunes -- Multilevel variable neighborhood search for periodic routing problems / Sandro Pirkwieser and Günther R. Raidl -- Enhancing genetic algorithms by a trie-based complete solution archive / Günther R. Raidl and Bin Hu -- A new primal-dual genetic algorithm : case study for the winner determination problem / Madalina Raschip and Cornelius Croitoru -- Local search algorithms on graphics processing units : a case study : the permutation perceptron problem / Thé Van Luong, Nouredine Melab, and El-Ghazali Talbi -- Efficient cycle search for the minimum routing cost spanning tree problem / Steffen Wolf and Peter Merz
Record Nr. NYU-004616841
[EvoCOP (Conference) (2010 : Istanbul, Turkey)]  
Materiale a stampa
Lo trovi qui: New York University
Advances in neural networks--ISNN 2007 : 4th International Symposium on Neural Networks, ISNN 2007, Nanjing, China, June 3-7, 2007 : proceedings. Part II / Derong Liu [and others] (eds.).
Advances in neural networks--ISNN 2007 : 4th International Symposium on Neural Networks, ISNN 2007, Nanjing, China, June 3-7, 2007 : proceedings. Part II / Derong Liu [and others] (eds.).
Creatore [International Symposium on Neural Networks (4th : 2007 : Nanjing Shi, China)]
Estensione 1 online resource (xxvii, 1364 pages) : illustrations.
Disciplina 006.3
Accesso persona Liu, Derong, 1963-
Genere/Forma Electronic books
Conference papers and proceedings
ISBN 9783540723929
9783540723936
3540723927
3540723935
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Chaos and Synchronization -- Neural Fuzzy Systems -- Training and Learning Algorithms for Neural Networks -- Neural Networks Structures -- Neural Networks for Pattern Recognition -- SOMs, ICA/PCA -- Biomedical Applications.
Record Nr. NYU-004616939
[International Symposium on Neural Networks (4th : 2007 : Nanjing Shi, China)]  
Materiale a stampa
Lo trovi qui: New York University