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.
Inductive logic programming : 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 17-19, 2012 : revised selected papers / Fabrizio Riguzzi, Filip Železný (eds.).
Inductive logic programming : 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 17-19, 2012 : revised selected papers / Fabrizio Riguzzi, Filip Železný (eds.).
Creatore [ILP (Conference) (22nd : 2012 : Dubrovnik, Croatia)]
Estensione 1 online resource (x, 272 pages) : illustrations.
Disciplina 005.1/15
Accesso persona Riguzzi, Fabrizio
Železný, Filip
Genere/Forma Congresses
Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Logic design
Artificial intelligence
Mathematical Logic and Formal Languages
Programming Techniques
Logics and Meanings of Programs
Computation by Abstract Devices
ISBN 9783642388125
3642388124
9783642388118
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto A Relational Approach to Tool-Use Learning in Robots / Solly Brown, Claude Sammut -- A Refinement Operator for Inducing Threaded-Variable Clauses / Angelos Charalambidis, Stasinos Konstantopoulos -- Propositionalisation of Continuous Attributes beyond Simple Aggregation / Soufiane El Jelali, Agnès Braud, Nicolas Lachiche -- Topic Models with Relational Features for Drug Design / Tanveer A. Faruquie, Ashwin Srinivasan, Ross D. King -- Pairwise Markov Logic / Daan Fierens, Kristian Kersting, Jesse Davis, Jian Chen -- Evaluating Inference Algorithms for the Prolog Factor Language / Tiago Gomes, Vítor Santos Costa -- Polynomial Time Pattern Matching Algorithm for Ordered Graph Patterns / Takahiro Hino, Yusuke Suzuki, Tomoyuki Uchida, Yuko Itokawa -- Fast Parameter Learning for Markov Logic Networks Using Bayes Nets / Hassan Khosravi -- Bounded Least General Generalization / Ondřej Kuželka, Andrea Szabóová, Filip Železný -- Itemset-Based Variable Construction in Multi-relational Supervised Learning / Dhafer Lahbib, Marc Boullé, Dominique Laurent -- A Declarative Modeling Language for Concept Learning in Description Logics / Francesca Alessandra Lisi -- Identifying Driver's Cognitive Load Using Inductive Logic Programming / Fumio Mizoguchi, Hayato Ohwada, Hiroyuki Nishiyama -- Opening Doors: An Initial SRL Approach / Bogdan Moldovan, Laura Antanas, McElory Hoffmann -- Probing the Space of Optimal Markov Logic Networks for Sequence Labeling / Naveen Nair, Ajay Nagesh, Ganesh Ramakrishnan -- What Kinds of Relational Features Are Useful for Statistical Learning? / Amrita Saha, Ashwin Srinivasan, Ganesh Ramakrishnan -- Learning Dishonesty / Chiaki Sakama -- Heuristic Inverse Subsumption in Full-Clausal Theories / Yoshitaka Yamamoto, Katsumi Inoue, Koji Iwanuma -- Learning Unordered Tree Contraction Patterns in Polynomial Time / Yuta Yoshimura, Takayoshi Shoudai.
Record Nr. NYU-004402657
[ILP (Conference) (22nd : 2012 : Dubrovnik, Croatia)]  
Materiale a stampa
Lo trovi qui: New York University
Safe and secure software reuse : 13th International Conference on Software Reuse, ICSR 2013, Pisa, June 18-20. Proceedings / John Favaro, Maurizio Morisio (eds.).
Safe and secure software reuse : 13th International Conference on Software Reuse, ICSR 2013, Pisa, June 18-20. Proceedings / John Favaro, Maurizio Morisio (eds.).
Creatore [International Conference on Software Reuse (13th : 2013 : Pisa, Italy)]
Estensione 1 online resource (xiii, 362 pages) : illustrations.
Disciplina 005
Accesso persona Favaro, J. (John), editor.
Morisio, Maurizio, 1960-editor
Genere/Forma Congresses
Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Software engineering
Programming Techniques
Programming Languages, Compilers, Interpreters
Software Engineering/Programming and Operating Systems
Models and Principles
ISBN 9783642389771
3642389775
9783642389764
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Introduction / Karin Heinrichs, Fritz Oser, Terence Lovat -- Models of Moral Motivation / Fritz Oser -- Foundations of Moral Motivation. "Why be Moral?" a Philosophical Taxonomy of Moral Motivation / Thomas E. Wren -- Moral Motivation and the Four Component Model / Stephen J. Thoma, Muriel J. Bebeau -- Deontic and Responsibility Judgments / Gerhard Minnameier -- Motivation as the Readiness to Act on Moral Commitments / Theresa A. Thorkildsen -- Motivational Theory and Moral Motivation. Ultimate and Proximal (Attribution-Related) Motivational Determinants of Moral Behaviour / Bernard Weiner -- Moral Motivation from the Perspective of the Self-Determination Theory and the Person-Object Theory of Interest / Andreas Krapp -- How Different Motivational Aspects can Affect Moral Behaviour / Regina Vollmeyer, Konstanze Jenderek, Tahmine Tozman -- Justice as a Moral Motive / Anna Baumert, Tobias Rothmund, Nadine Thomas, Mario Gollwitzer, Manfred Schmitt -- Temporal Construal and Moral Motivation / Jens Agerström, Fredrik Björklund -- Moral Self, Identity and Moral Motivation. Moral Motivation through the Perspective of Exemplarity / Lawrence J. Walker -- Moral Motivation, Responsibility and the Development of the Moral Self / Tobias Krettenauer -- The Self and the Management of the Moral Life / Augusto Blasi -- Practical Mysticism, Self-Knowing and Moral Motivation / Terence Lovat -- Developmental Effects, Emotions and Moral Motivation. Moral Motivation and the Happy Victimizer Phenomenon / Gertrud Nunner-Winkler -- The Development of Moral Identity and Moral Motivation in Childhood and Adolescence / Bettina Doering -- Moral Emotion Attributions and Moral Motivation / Luciano Gasser, Eveline Gutzwiller-Helfenfinger, Brigitte Latzko, Tina Malti -- Neurobiology and Moral Mindset / Darcia Narvaez -- A Simile of Moral Motivation / Don Collins Reed -- Good and Bad Moral Motivation. Moral Value Evaluation / Marinus G.C.J. Beerthuizen, Daniel Brugman -- Juvenile Delinquency / Stefan Weyers -- Moral Motivation and Sports / Clark Power, Kristin K. Sheehan -- From Ethical Hostility toward Cooperative Ethics / Klaus-Jürgen Grün -- How Powerful are Moral Motivations in Environmental Protection? / Christian A. Klöckner -- Moral Motivation in Professions. Moral Motivation in Different Professions / Muriel J. Bebeau, Stephen J. Thoma -- Moral Motivation of Military Professionals / Freelance Philosopher and Author Edwin R. Micewski -- Ethical Intentions and the Moral Motivation of Teachers / Elizabeth Campbell -- Female Principals' Moral Motivation and the Moral Atmosphere of Schools / Chi-Ming Angela Lee -- Moral Motivation and Moral Education. Moral Reasoning, Moral Motivation and Informed Social Reflection / Janet Kwok, Robert L. Selman -- Character and Civic Education as a Source of Moral Motivation / Wolfgang Althof, Marvin W. Berkowitz -- Moral Motivation and the Role of the Internship in Professional Preparation / Sharon Nodie Oja, Patricia J. Craig -- Why Moral Education is Motivating by Nature / Francisco Esteban Bara, Maria Rosa Buxarrais Estrada -- Moral Motivation in the Light of Action Theory / Karin Heinrichs.
Record Nr. NYU-004402775
[International Conference on Software Reuse (13th : 2013 : Pisa, Italy)]  
Materiale a stampa
Lo trovi qui: New York University
Formal aspects of component software : 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised selected papers / edited by Corina S. Păsă̆reanu, Gwen Salaün
Formal aspects of component software : 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised selected papers / edited by Corina S. Păsă̆reanu, Gwen Salaün
Creatore [FACS (Symposium) (9th : 2012 : Mountain View, Calif.)]
Estensione 1 online resource.
Disciplina 004.01/51
Accesso persona Păsăreanu, Corina S.
Salaün, G. (Gwen)
Genere/Forma Congresses
Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Software engineering
Logic design
Information Systems
Mathematical Logic and Formal Languages
Logics and Meanings of Programs
Programming Languages, Compilers, Interpreters
Programming Techniques
ISBN 9783642358616
3642358616
3642358608
9783642358609
Classificazione 54.52
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Formal Patterns for Multi-rate Distributed Real-Time Systems / Kyungmin Bae, José Meseguer, Peter Csaba Ölveczky -- Component Interfaces with Contracts on Ports / Sebastian Bauer, Rolf Hennicker, Axel Legay -- Avoiding Diamonds in Desynchronization / Harsh Beohar, Pieter J.L. Cuijpers -- The Tale of SOLOIST: A Specification Language for Service Compositions Interactions / Domenico Bianculli, Carlo Ghezzi -- A Categorical Approach to Structuring and Promoting Z Specifications / Pablo F. Castro, Nazareno Aguirre -- Assume-Guarantee Reasoning for Safe Component Behaviours / Chris Chilton, Bengt Jonsson, Marta Kwiatkowska -- A Petri Net Based Analysis of Deadlocks for Active Objects and Futures / Frank S. de Boer, Mario Bravetti, Immo Grabe -- Run-Time Verification of Black-Box Components Using Behavioral Specifications: An Experience Report on Tool Development / Frank S. de Boer, Stijn de Gouw -- Symbolic Counterexample Generation for Discrete-Time Markov Chains / Nils Jansen, Erika Ábrahám, Barna Zajzon -- Xcd -- Modular, Realizable Software Architectures / Christos Kloukinas, Mert Ozkaya -- LOVER: Light-Weight fOrmal Verification of adaptivE Systems at Run Time / Amir Molzam Sharifloo, Paola Spoletini -- A Calculus for Quality / Hanne Riis Nielson, Flemming Nielson, Roberto Vigo -- Model Checking of Qualitative Sensitivity Preferences to Minimize Credential Disclosure / Zachary J. Oster, Ganesh Ram Santhanam, Samik Basu -- IBOS: A Correct-By-Construction Modular Browser / Ralf Sasse, Samuel T. King, José Meseguer -- Guided Search for Deadlocks in Actor-Based Models / Steinar Hugi Sigurdarson, Marjan Sirjani -- Assumption Generation for Asynchronous Systems by Abstraction Refinement / Qiusong Yang, Edmund M. Clarke, Anvesh Komuravelli.
Record Nr. NYU-004390112
[FACS (Symposium) (9th : 2012 : Mountain View, Calif.)]  
Materiale a stampa
Lo trovi qui: New York University
Software composition : 11th International Conference, SC 2012, Prague, Czech Republic, May 31-June 1, 2012. Proceedings / Thomas Gschwind [and others] (eds.).
Software composition : 11th International Conference, SC 2012, Prague, Czech Republic, May 31-June 1, 2012. Proceedings / Thomas Gschwind [and others] (eds.).
Creatore [SC (Conference : Software composition) (11th : 2012 : Prague, Czech Republic)]
Estensione 1 online resource.
Disciplina 005.1
Accesso persona Gschwind, Thomas
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Software engineering
Logic design
Programming Techniques
Logics and Meanings of Programs
Programming Languages, Compilers, Interpreters
Mathematical Logic and Formal Languages
ISBN 9783642305641
3642305644
9783642305634
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Modeling Dynamic Architectures Using Dy-BIP / Marius Bozga, Mohamad Jaber, Nikolaos Maris and Joseph Sifakis -- Defining Composition Operators for BPMN / Paul Istoan -- Relaxing B Sharing Restrictions within CSP[bar][bar]B / Arnaud Lanoix, Olga Kouchnarenko, Samuel Colin and Vincent Poirriez -- PaCE: A Data-Flow Coordination Language for Asynchronous Network-Based Applications / Mauro Caporuscio, Marco Funaro and Carlo Ghezzi -- Adaptation of Legacy Codes to Context-Aware Composition Using Aspect-Oriented Programming / Antonina Danylenko and Welf Löwe -- Challenges for Refinement and Composition of Instrumentations: Position Paper / Danilo Ansaloni, Walter Binder, Christoph Bockisch, Eric Bodden and Kardelen Hatun, et al. -- Constructing Customized Interpreters from Reusable Evaluators Using Game / Stijn Timbermont, Coen De Roover and Theo D'Hondt -- Revising and Extending the Uppaal Communication Mechanism / Abdeldjalil Boudjadar, Jean-Paul Bodeveix and Mamoun Filali -- On the Automated Modularisation of Java Programs Using Service Locators / Syed Muhammad Ali Shah, Jens Dietrich and Catherine McCartin -- Touching Factor: Software Development on Tablets / Marc Hesenius, Carlos Dario Orozco Medina and Dominikus Herzberg -- Domain-Specific Languages in Few Steps / The Neverlang Approach / Walter Cazzola -- Business Process Lines and Decision Tables Driving Flexibility by Selection / Nicola Boffoli, Danilo Caivano, Daniela Castelluccia and Giuseppe Visaggio.
Record Nr. NYU-004375426
[SC (Conference : Software composition) (11th : 2012 : Prague, Czech Republic)]  
Materiale a stampa
Lo trovi qui: New York University
Dependable networks and services : 6th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2012, Luxembourg, Luxembourg, June 4-8, 2012 : proceedings / edited by Ramin Sadre [and others]
Dependable networks and services : 6th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2012, Luxembourg, Luxembourg, June 4-8, 2012 : proceedings / edited by Ramin Sadre [and others]
Creatore [International Conference on Autonomous Infrastructure, Management and Security (6th : 2012 : Luxembourg, Luxembourg)]
Estensione 1 online resource (xiii, 160 pages) : illustrations.
Disciplina 004.6068
Accesso persona Sadre, Ramin
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Software engineering
Operating systems (Computers)
Computer software
Information Systems Applications (incl. Internet)
Algorithm Analysis and Problem Complexity
Operating Systems
Programming Techniques
ISBN 9783642306334
3642306330
9783642306327
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Challenges in Critical Infrastructure Security / Corrado Leita -- Ontology-Driven Dynamic Discovery and Distributed Coordination of a Robot Swarm / Niels Bouten, Anna Hristoskova, Femke Ongenae, Jelle Nelis and Filip De Turck -- Cooperative Database Caching within Cloud Environments / Andrei Vancea, Guilherme Sperb Machado, Laurent d'Orazio and Burkhard Stiller -- A Fuzzy Reinforcement Learning Approach for Pre-Congestion Notification Based Admission Control / Stylianos Georgoulas, Klaus Moessner, Alexis Mansour, Menelaos Pissarides and Panagiotis Spapis -- Bridging the Gap: Towards an Adaptive Video Streaming Approach Supporting Transitions / Julius Rückert and David Hausheer -- A Multiaccess Enabled Load Balancing in Cognitive Networks / Teemu Rautio and Jukka Mäkelä -- Hardware Acceleration for Measurements in 100 Gb/s Networks / Viktor Puš -- A Study of the RPL Repair Process Using ContikiRPL / Kevin Dominik Korte, Anuj Sehgal and Jürgen Schönwälder -- Traffic Measurement and Analysis of Building Automation and Control Networks / Radek Krejčí, Pavel Čeleda and Jakub Dobrovolný.
SPRT for SPIT: Using the Sequential Probability Ratio Test for Spam in VoIP Prevention / Tobias Jung, Sylvain Martin, Damien Ernst and Guy Leduc -- SSHCure: A Flow-Based SSH Intrusion Detection System / Laurens Hellemons, Luuk Hendriks, Rick Hofstede, Anna Sperotto and Ramin Sadre, et al. -- Instant Degradation of Anonymity in Low-Latency Anonymisation Systems / Thorsten Ries, Radu State and Thomas Engel -- Real-Time and Resilient Intrusion Detection: A Flow-Based Approach / Rick Hofstede and Aiko Pras -- Distributed Self-organized Collaboration of Autonomous IDS Sensors / Karel Bartos and Martin Rehak -- Network Anomaly Detection: Comparison and Real-Time Issues / Václav Bartoš and Martin Žádník -- Detecting Anomalies in Netflow Record Time Series by Using a Kernel Function / Cynthia Wagner and Thomas Engel -- How to Build an IT Spin-Off Company / Jiří Tobola -- Towards Bandwidth Estimation Using Flow-Level Measurements / Ricardo de O. Schmidt, Anna Sperotto, Ramin Sadre and Aiko Pras -- Flow-Based Identification of Failures Caused by IPv6 Transition Mechanisms / Vaibhav Bajpai, Nikolay Melnikov, Anuj Sehgal and Jürgen Schönwälder -- Large Scale DNS Analysis / Samuel Marchal and Thomas Engel -- Flow Information Storage Assessment Using IPFIXcol / Petr Velan and Radek Krejčí.
Record Nr. NYU-004375554
[International Conference on Autonomous Infrastructure, Management and Security (6th : 2012 : Luxembourg, Luxembourg)]  
Materiale a stampa
Lo trovi qui: New York University
Coordination models and languages : 14th International Conference, COORDINATION 2012, Stockholm, Sweden, June 14-15, 2012. Proceedings / Marjan Sirjani (ed.).
Coordination models and languages : 14th International Conference, COORDINATION 2012, Stockholm, Sweden, June 14-15, 2012. Proceedings / Marjan Sirjani (ed.).
Creatore [COORDINATION (Conference) (14th : 2012 : Stockholm, Sweden)]
Estensione 1 online resource.
Disciplina 004/.36
Accesso persona Sirjani, Marjan
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer Communication Networks
Software engineering
Programming Techniques
Software Engineering/Programming and Operating Systems
Information Systems Applications (incl. Internet)
ISBN 9783642308291
3642308295
3642308287
9783642308284
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Statelets: Coordination of Social Collaboration Processes / Vitaliy Liptchinsky, Roman Khazankin, Hong-Linh Truong and Schahram Dustdar -- A Social Software-Based Coordination Platform / Tool Paper / Davide Rossi -- Synchronization of Multiple Autonomic Control Loops: Application to Cloud Computing / Frederico Alvares de Oliveira Jr., Remi Sharrock and Thomas Ledoux -- Subobject Transactional Memory / Marko van Dooren and Dave Clarke -- Partial Connector Colouring / Dave Clarke and José Proença -- Using Coordinated Actors to Model Families of Distributed Systems / Ramtin Khosravi and Hamideh Sabouri -- Scoped Synchronization Constraints for Large Scale Actor Systems / Peter Dinges and Gul Agha -- First-Order Dynamic Logic for Compensable Processes / Roberto Bruni, Carla Ferreira and Anne Kersten Kauer -- Coordinating Parallel Mobile Ambients to Solve SAT Problem in Polynomial Number of Steps / Bogdan Aman and Gabriel Ciobanu -- Recursive Advice for Coordination / Michał Terepeta, Hanne Riis Nielson and Flemming Nielson -- Fluid Analysis of Foraging Ants / Mieke Massink and Diego Latella -- Real-Time Coordination Patterns for Advanced Mechatronic Systems / Stefan Dziwok, Christian Heinzemann and Matthias Tichy -- Group Orchestration in a Mobile Environment / Eline Philips, Jorge Vallejos, Ragnhild Van Der Straeten and Viviane Jonckers -- Node Coordination in Peer-to-Peer Networks / Luigia Petre, Petter Sandvik and Kaisa Sere -- Linda in Space-Time: An Adaptive Coordination Model for Mobile Ad-Hoc Environments / Mirko Viroli, Danilo Pianini and Jacob Beal -- A Space-Based Generic Pattern for Self-Initiative Load Clustering Agents / Eva Kühn, Alexander Marek, Thomas Scheller, Vesna Sesum-Cavic and Michael Vögler, et al. -- On the Realizability of Contracts in Dishonest Systems / Massimo Bartoletti, Emilio Tuosto and Roberto Zunino -- Types for Coordinating Secure Behavioural Variations / Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta and Gianluca Mezzetti.
Record Nr. NYU-004375614
[COORDINATION (Conference) (14th : 2012 : Stockholm, Sweden)]  
Materiale a stampa
Lo trovi qui: New York University
Guide to scientific computing in C++ / Joe Pitt-Francis, Jonathan Whiteley
Guide to scientific computing in C++ / Joe Pitt-Francis, Jonathan Whiteley
Creatore [Pitt-Francis, Joe.]
Estensione 1 online resource (xii, 250 pages).
Disciplina 005.13/3
Accesso persona Whiteley, Jonathan
Genere/Forma Electronic books
Soggetto non controllato Computer science
Software engineering
Electronic data processing
Computer simulation
Programming Techniques
Numeric Computing
Simulation and Modeling
Programming Languages, Compilers, Interpreters
Math Applications in Computer Science
ISBN 9781447127369
1447127366
1447127358
9781447127352
Classificazione 54.53
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Getting Started -- Flow of Control -- File Input and Output -- Pointers -- Blocks, Functions and Reference Variables -- An Introduction to Classes -- Inheritance and Derived Classes -- Templates -- Errors and Exceptions -- Developing Classes for Linear Algebra Calculations -- An Introduction to Parallel Programming Using MPI -- Designing Object-Oriented Numerical Libraries -- Linear Algebra -- Other Programming Constructs You Might Meet -- Solutions to Exercises -- Further Reading.
Record Nr. NYU-004621736
[Pitt-Francis, Joe.]  
Materiale a stampa
Lo trovi qui: New York University
Euro-Par 2011: Parallel processing workshops : CCPI, CGWS, HeteroPar, HiBB, HPCVirt, HPPC, HPSS, MDGS, ProPer, Resilience, UCHPC, VHPC, Bordeaux, France, August 29-September 2, 2011, Revised selected papers. Part II / Michael Alexander [and others] (eds.).
Euro-Par 2011: Parallel processing workshops : CCPI, CGWS, HeteroPar, HiBB, HPCVirt, HPPC, HPSS, MDGS, ProPer, Resilience, UCHPC, VHPC, Bordeaux, France, August 29-September 2, 2011, Revised selected papers. Part II / Michael Alexander [and others] (eds.).
Creatore [International EURO-PAR Conference (17th : 2011 : Bordeaux, France)]
Estensione 1 online resource (xxx, 480 pages).
Disciplina 004.6/185
Accesso persona Alexander, Michael, 1970 September 25-
Accesso convegno CCPI 2011 (2011 : Bordeaux, France)
CGWS 2011 (2011 : Bordeaux, France)
International Workshop on Algorithms, Models, and Tools for Parallel Computing on Heterogenous Networks (2011 : Bordeaux, France)
HiBB 2011 (2011 : Bordeaux, France)
HPCVirt 2011 (2011 : Bordeaux, France)
HPPC 2011 (2011 : Bordeaux, France)
HPSS 2011 (2011 : Bordeaux, France)
MDGS 2011 (2011 : Bordeaux, France)
ProPer 2011 (2011 : Bordeaux, France)
Resilience (Conference) (2011 : Bordeaux, France)
UCHPC 2011 (2011 : Bordeaux, France)
VHPC 2011 (2011 : Bordeaux, France)
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Computer Communication Networks
Software engineering
Computer system performance
Computer software
System Performance and Evaluation
Algorithm Analysis and Problem Complexity
Programming Techniques
Special Purpose and Application-Based Systems
ISBN 9783642297403
3642297404
3642297390
9783642297397
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto HiBB 2011: 2nd Workshop on High Performance Bioinformatics and Biomedicine / Mario Cannataro -- On Parallelizing On-Line Statistics for Stochastic Biological Simulations / Marco Aldinucci, Mario Coppo, Ferruccio Damiani, Maurizio Drocco and Eva Sciacca, et al. -- Scalable Sequence Similarity Search and Join in Main Memory on Multi-cores / Astrid Rheinländer and Ulf Leser -- Enabling Data and Compute Intensive Workflows in Bioinformatics / Gaurang Mehta, Ewa Deelman, James A. Knowles, Ting Chen and Ying Wang, et al. -- Homogenizing Access to Highly Time-Consuming Biomedical Applications through a Web-Based Interface / Luigi Grasso, Nuria Medina-Medina, Rosana Montes-Soldado and María M. Abad-Grau -- Distributed Management and Analysis of Omics Data / Mario Cannataro and Pietro Hiram Guzzi -- Managing and Delivering Grid Services (MDGS) / Thomas Schaaf, Adam S.Z. Belloum, Owen Appleton, Joan Serrat-Fernández and Tomasz Szepieniec -- Resource Allocation for the French National Grid Initiative / Gilles Mathieu and Hélène Cordier -- On Importance of Service Level Management in Grids / Tomasz Szepieniec, Joanna Kocot, Thomas Schaaf, Owen Appleton and Matti Heikkurinen, et al.
On-Line Monitoring of Service-Level Agreements in the Grid / Bartosz Balis, Renata Slota, Jacek Kitowski and Marian Bubak -- Challenges of Future e-Infrastructure Governance / Dana Petcu -- Influences between Performance Based Scheduling and Service Level Agreements / Antonella Galizia, Alfonso Quarati, Michael Schiffers and Mark Yampolskiy -- User Centric Service Level Management in mOSAIC Applications / Massimiliano Rak, Rocco Aversa, Salvatore Venticinque and Beniamino Di Martino -- Service Level Management for Executable Papers / Reginald Cushing, Spiros Koulouzis, Rudolf Strijkers, Adam S.Z. Belloum and Marian Bubak -- Change Management in e-Infrastructures to Support Service Level Agreements / Silvia Knittl, Thomas Schaaf and Ilya Saverchenko -- PROPER 2011: Fourth Workshop on Productivity and Performance Tools for HPC Application Development / Michael Gerndt -- Scout: A Source-to-Source Transformator for SIMD-Optimizations / Olaf Krzikalla, Kim Feldhoff, Ralph Müller-Pfefferkorn and Wolfgang E. Nagel -- Scalable Automatic Performance Analysis on IBM BlueGene/P Systems / Yury Oleynik and Michael Gerndt -- An Approach to Creating Performance Visualizations in a Parallel Profile Analysis Tool / Wyatt Spear, Allen D. Malony, Chee Wai Lee, Scott Biersdorff and Sameer Shende.
INAM -- A Scalable InfiniBand Network Analysis and Monitoring Tool / N. Dandapanthula, H. Subramoni, J. Vienne, K. Kandalla and S. Sur, et al. -- Auto-tuning for Energy Usage in Scientific Applications / Ananta Tiwari, Michael A. Laurenzano, Laura Carrington and Allan Snavely -- Automatic Source Code Transformation for GPUs Based on Program Comprehension / Pasquale Cantiello and Beniamino Di Martino -- Enhancing Brainware Productivity through a Performance Tuning Workflow / Christian Iwainsky, Ralph Altenfeld, Dieter an Mey and Christian Bischof -- Workshop on Resiliency in High Performance Computing (Resilience) in Clusters, Clouds, and Grids / Stephen L. Scott and Chokchai (Box) Leangsuksun -- The Malthusian Catastrophe Is Upon Us! Are the Largest HPC Machines Ever Up? / Patricia Kovatch, Matthew Ezell and Ryan Braby -- Simulating Application Resilience at Exascale / Rolf Riesen, Kurt B. Ferreira, Maria Ruiz Varela, Michela Taufer and Arun Rodrigues -- Framework for Enabling System Understanding / J. Brandt, F. Chen, A. Gentile, Chokchai (Box) Leangsuksun and J. Mayo, et al. -- Cooperative Application/OS DRAM Fault Recovery / Patrick G. Bridges, Mark Hoemmen, Kurt B. Ferreira, Michael A. Heroux and Philip Soltero, et al.
A Tunable, Software-Based DRAM Error Detection and Correction Library for HPC / David Fiala, Kurt B. Ferreira, Frank Mueller and Christian Engelmann -- Reducing the Impact of Soft Errors on Fabric-Based Collective Communications / José Carlos Sancho, Ana Jokanovic and Jesus Labarta -- Evaluating Application Vulnerability to Soft Errors in Multi-level Cache Hierarchy / Zhe Ma, Trevor Carlson, Wim Heirman and Lieven Eeckhout -- Experimental Framework for Injecting Logic Errors in a Virtual Machine to Profile Applications for Soft Error Resilience / Nathan DeBardeleben, Sean Blanchard, Qiang Guan, Ziming Zhang and Song Fu -- High Availability on Cloud with HA-OSCAR / Thanadech Thanakornworakij, Rajan Sharma, Blaine Scroggs, Chokchai (Box) Leangsuksun and Zeno Dixon Greenwood, et al. -- On the Viability of Checkpoint Compression for Extreme Scale Fault Tolerance / Dewan Ibtesham, Dorian Arnold, Kurt B. Ferreira and Patrick G. Bridges -- Can Checkpoint/Restart Mechanisms Benefit from Hierarchical Data Staging? / Raghunath Rajachandrasekar, Xiangyong Ouyang, Xavier Besseron, Vilobh Meshram and Dhabaleswar K. Panda -- Impact of Over-Decomposition on Coordinated Checkpoint/Rollback Protocol / Xavier Besseron and Thierry Gautier.
UCHPC 2011: Fourth Workshop on UnConventional High Performance Computing / Anders Hast, Josef Weidendorfer and Jan-Philipp Weiss -- PACUE: Processor Allocator Considering User Experience / Tetsuro Horikawa, Michio Honda, Jin Nakazawa, Kazunori Takashio and Hideyuki Tokuda -- Workload Balancing on Heterogeneous Systems: A Case Study of Sparse Grid Interpolation / Alin Muraraşu, Josef Weidendorfer and Arndt Bode -- Performance Evaluation of a Multi-GPU Enabled Finite Element Method for Computational Electromagnetics / Tristan Cabel, Joseph Charles and Stéphane Lanteri -- Study of Hierarchical N-Body Methods for Network-on-Chip Architectures / Thomas Canhao Xu, Pasi Liljeberg and Hannu Tenhunen -- Extending a Highly Parallel Data Mining Algorithm to the Intel ® Many Integrated Core Architecture / Alexander Heinecke, Michael Klemm, Dirk Pflüger, Arndt Bode and Hans-Joachim Bungartz -- VHPC 2011: 6th Workshop on Virtualization in High-Performance Cloud Computing / Michael Alexander and Gianluigi Zanetti -- Group-Based Memory Deduplication for Virtualized Clouds / Sangwook Kim, Hwanju Kim and Joonwon Lee.
A Smart HPC Interconnect for Clusters of Virtual Machines / Anastassios Nanos, Nikos Nikoleris, Stratos Psomadakis, Elisavet Kozyri and Nectarios Koziris -- Coexisting Scheduling Policies Boosting I/O Virtual Machines / Dimitris Aragiorgis, Anastassios Nanos and Nectarios Koziris -- PIGA-Virt: An Advanced Distributed MAC Protection of Virtual Systems / J. Briffaut, E. Lefebvre, J. Rouzaud-Cornabas and C. Toinard -- An Economic Approach for Application QoS Management in Clouds / Stefania Costache, Nikos Parlavantzas, Christine Morin and Samuel Kortas -- Evaluation of the HPC Challenge Benchmarks in Virtualized Environments / Piotr Luszczek, Eric Meek, Shirley Moore, Dan Terpstra and Vincent M. Weaver, et al. -- DISCOVERY, Beyond the Clouds / DIStributed and COoperative Framework to Manage Virtual EnviRonments autonomicallY: A Prospective Study / Adrien Lèbre, Paolo Anedda, Massimo Gaggero and Flavien Quesnel -- Cooperative Dynamic Scheduling of Virtual Machines in Distributed Systems / Flavien Quesnel and Adrien Lèbre -- Large-Scale DNA Sequence Analysis in the Cloud: A Stream-Based Approach / Romeo Kienzler, Rémy Bruggmann, Anand Ranganathan and Nesime Tatbul.
Record Nr. NYU-004622622
[International EURO-PAR Conference (17th : 2011 : Bordeaux, France)]  
Materiale a stampa
Lo trovi qui: New York University
Fundamentals of software engineering : 4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised selected papers / Farhad Arbab, Marjan Sirjani (eds.).
Fundamentals of software engineering : 4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised selected papers / Farhad Arbab, Marjan Sirjani (eds.).
Creatore [IPM International Conference on Fundamentals of Software Engineering (4th : 2011 : Tehran, Iran)]
Estensione 1 online resource (xii, 376 pages).
Disciplina 005.1
Accesso persona Arbab, F. (Farhad)
Sirjani, Marjan
Genere/Forma Electronic books
Conference papers and proceedings
Soggetto non controllato Computer science
Software engineering
Logic design
Software Engineering/Programming and Operating Systems
Logics and Meanings of Programs
Programming Techniques
Models and Principles
Programming Languages, Compilers, Interpreters
ISBN 9783642293207
3642293204
3642293190
9783642293191
Classificazione 54.52
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Compositional Reasoning for Markov Decision Processes / Yuxin Deng and Matthew Hennessy -- Safe Locking for Multi-threaded Java / Einar Broch Johnsen, Thi Mai Thuong Tran, Olaf Owe and Martin Steffen -- Analysing the Control Software of the Compact Muon Solenoid Experiment at the Large Hadron Collider / Yi-Ling Hwong, Vincent J.J. Kusters and Tim A.C. Willemse -- A Distributed Logic for Networked Cyber-Physical Systems / Minyoung Kim, Mark-Oliver Stehr and Carolyn Talcott -- Reachability Analysis of Non-linear Planar Autonomous Systems / Hallstein Asheim Hansen, Gerardo Schneider and Martin Steffen -- Attacking the Dimensionality Problem of Parameterized Systems via Bounded Reachability Graphs / Qiusong Yang, Bei Zhang, Jian Zhai and Mingshu Li -- Refinement-Based Modeling of 3D NoCs / Maryam Kamali, Luigia Petre, Kaisa Sere and Masoud Daneshtalab -- Towards Model-Based Testing of Electronic Funds Transfer Systems / Hamid Reza Asaadi, Ramtin Khosravi, MohammadReza Mousavi and Neda Noroozi.
Model Checking: One Can Do Much More Than You Think! / Joost-Pieter Katoen -- Proposition Algebra and Short-Circuit Logic / Jan A. Bergstra and Alban Ponse -- Decompositional Reasoning about the History of Parallel Processes / Luca Aceto, Arnar Birgisson, Anna Ingólfsdóttir and MohammadReza Mousavi -- A Model-Based Development Approach for Model Transformations / Shekoufeh Kolahdouz-Rahimi and Kevin Lano -- Analyzing Component-Based Systems on the Basis of Architectural Constraints / Christian Lambertz and Mila Majster-Cederbaum -- Constructive Development of Probabilistic Programs / Hassan Haghighi and Mohammad Mahdi Javanmard -- Composing Real-Time Concurrent Objects Refinement, Compatibility and Schedulability / Mohammad Mahdi Jaghoori -- Specification Guidelines to Avoid the State Space Explosion Problem / Jan Friso Groote, Tim W.D.M. Kouters and Ammar Osaiweran -- Strong Normalisation in λ-Calculi with References / Romain Demangeon, Daniel Hirschkoff and Davide Sangiorgi.
Relating Modal Refinements, Covariant-Contravariant Simulations and Partial Bisimulations / Luca Aceto, Ignacio Fábregas, David de Frutos Escrig, Anna Ingólfsdóttir and Miguel Palomino -- Decidability of Behavioral Equivalences in Process Calculi with Name Scoping / Chaodong He, Yuxi Fu and Hongfei Fu -- Rewriting Approximations for Properties Verification over CCS Specifications / Roméo Courbis -- Type Checking Cryptography Implementations / Manuel Barbosa, Andrew Moss, Dan Page, Nuno F. Rodrigues and Paulo F. Silva -- Intentional Automata: A Context-Dependent Model for Component Connectors / David Costa, Milad Niqui and Jan Rutten -- Nested Dynamic Condition Response Graphs / Thomas Hildebrandt, Raghava Rao Mukkamala and Tijs Slaats -- Efficient Verification of Evolving Software Product Lines / Hamideh Sabouri and Ramtin Khosravi -- Extending Interface Automata with Z Notation / Zining Cao and Hui Wang -- A Specification Language for Reo Connectors / Alexandra Silva.
Record Nr. NYU-004622633
[IPM International Conference on Fundamentals of Software Engineering (4th : 2011 : Tehran, Iran)]  
Materiale a stampa
Lo trovi qui: New York University
Pro Django [electronic resource] / by Marty Alchin
Pro Django [electronic resource] / by Marty Alchin
Creatore [Alchin, Marty]
Accesso ente SpringerLink (Online service)
Soggetto non controllato Programming Techniques
Computer Science
ISBN 9781430210481
Formato Software
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-7720176
[Alchin, Marty]  
Software
Lo trovi qui: University of Chicago