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.
Software engineering and formal methods [electronic resource] : 9th international conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011 : proceedings / Gilles Barthe, Alberto Pardo, Gerardo Schneider (eds.).
Software engineering and formal methods [electronic resource] : 9th international conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011 : proceedings / Gilles Barthe, Alberto Pardo, Gerardo Schneider (eds.).
Creatore [International Conference on Software Engineering and Formal Methods (9th : 2011 : Montevideo, Uruguay)]
Estensione 1 online resource (xiv, 504 p.) : ill. (some col.
Disciplina 005.3
Accesso persona Barthe, Gilles
Pardo, Alberto
Schneider, Gerardo
Genere/Forma Electronic books
Soggetto non controllato Computer science
Computer Communication Networks
Software engineering
Logic design
Artificial intelligence
Logics and Meanings of Programs
Programming Languages, Compilers, Interpreters
Programming Techniques
Artificial Intelligence (incl. Robotics)
ISBN 9783642246906 (electronic bk.)
3642246907 (electronic bk.)
9783642246890
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UPENN-9960088593503681
[International Conference on Software Engineering and Formal Methods (9th : 2011 : Montevideo, Uruguay)]  
Materiale a stampa
Lo trovi qui: University of Pennsylvania
Implementation and application of functional languages [electronic resource] : 22nd International Symposium, IFL 2010, Alphen aan den Rijn, The Netherlands, September 1-3, 2010 : revised selected papers / Jurriaan Hage, Marco T. Morazán (eds)
Implementation and application of functional languages [electronic resource] : 22nd International Symposium, IFL 2010, Alphen aan den Rijn, The Netherlands, September 1-3, 2010 : revised selected papers / Jurriaan Hage, Marco T. Morazán (eds)
Creatore [International Symposium on Implementation and Application of Functional Languages (22nd : 2010 : Alphen aan den Rijn, Netherlands)]
Estensione 1 online resource (x, 216 p.) : ill
Disciplina 005.13
Accesso persona Hage, Jurriaan
Morazán, Marco T.
Genere/Forma Electronic books
Soggetto non controllato Computer science
Software engineering
Logic design
Logics and Meanings of Programs
Programming Languages, Compilers, Interpreters
Mathematical Logic and Formal Languages
Programming Techniques
ISBN 9783642242762 (electronic bk.)
3642242766 (electronic bk.)
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UPENN-9960088123503681
[International Symposium on Implementation and Application of Functional Languages (22nd : 2010 : Alphen aan den Rijn, Netherlands)]  
Materiale a stampa
Lo trovi qui: University of Pennsylvania
Fundamental approaches to software engineering [electronic resource] : 15th International Conference, FASE 2012, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24-April 1, 2012. Proceedings / Juan de Lara, Andrea Zisman (eds.).
Fundamental approaches to software engineering [electronic resource] : 15th International Conference, FASE 2012, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24-April 1, 2012. Proceedings / Juan de Lara, Andrea Zisman (eds.).
Creatore [FASE 2012 (2012 : Tallinn, Estonia)]
Estensione 1 online resource (xvi, 518 p.)
Disciplina 005.1
Accesso persona Lara, Juan de (Lara Jaramillo)
Zisman, Andrea
Accesso convegno ETAPS (Conference) (2012 : Tallinn, Estonia)
Genere/Forma Electronic books
Soggetto non controllato Computer science
Software engineering
Logic design
Information Systems
Logics and Meanings of Programs
Programming Languages, Compilers, Interpreters
Programming Techniques
ISBN 9783642288722 (electronic bk.)
3642288723 (electronic bk.)
3642288715
9783642288715
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Distributed Process Discovery and Conformance Checking / Wil M. P. van der Aalst -- Model-Driven Techniques to Enhance Architectural Languages Interoperability / Davide Di Ruscio, Ivano Malavolta, Henry Muccini, Patrizio Pelliccione and Alfonso Pierantonio -- Moving from Specifications to Contracts in Component-Based Design / Sebastian S. Bauer, Alexandre David, Rolf Hennicker, Kim Guldstrand Larsen and Axel Legay, et al. -- The SynchAADL2Maude Tool / Kyungmin Bae, Peter Csaba Ölveczky, José Meseguer and Abdullah Al-Nayeem -- Consistency of Service Composition / José Luiz Fiadeiro and Antónia Lopes -- Stable Availability under Denial of Service Attacks through Formal Patterns / Jonas Eckhardt, Tobias Mühlbauer, Musab AlTurki, José Meseguer and Martin Wirsing -- Loose Programming with PROPHETS / Stefan Naujokat, Anna-Lena Lamprecht and Bernhard Steffen -- Schedule Insensitivity Reduction / Vineet Kahlon -- Adaptive Task Automata: A Framework for Verifying Adaptive Embedded Systems / Leo Hatvani, Paul Pettersson and Cristina Seceleanu -- Verified Resource Guarantees for Heap Manipulating Programs / Elvira Albert, Richard Bubel, Samir Genaim, Reiner Hähnle and Guillermo Román-Díez -- An Operational Decision Support Framework for Monitoring Business Constraints / Fabrizio Maria Maggi, Marco Montali and Wil M. P. van der Aalst.
Intermodeling, Queries, and Kleisli Categories / Zinovy Diskin, Tom Maibaum and Krzysztof Czarnecki -- Concurrent Model Synchronization with Conflict Resolution Based on Triple Graph Grammars / Frank Hermann, Hartmut Ehrig, Claudia Ermel and Fernando Orejas -- Recursive Checkonly QVT-R Transformations with General when and where Clauses via the Modal Mu Calculus / Julian Bradfield and Perdita Stevens -- Graph Transforming Java Data / Maarten de Mol, Arend Rensink and James J. Hunt -- Language Independent Refinement Using Partial Modeling / Rick Salay, Michalis Famelis and Marsha Chechik -- A Conceptual Framework for Adaptation / Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch Lafuente and Andrea Vandin -- Applying Design by Contract to Feature-Oriented Programming / Thomas Thüm, Ina Schaefer, Martin Kuhlemann, Sven Apel and Gunter Saake -- Integration Testing of Software Product Lines Using Compositional Symbolic Execution / Jiangfan Shi, Myra B. Cohen and Matthew B. Dwyer -- Combining Related Products into Product Lines / Julia Rubin and Marsha Chechik -- Tracing Your Maintenance Work - A Cross-Project Validation of an Automated Classification Dictionary for Commit Messages / Andreas Mauczka, Markus Huber, Christian Schanes, Wolfgang Schramm and Mario Bernhart, et al. -- Cohesive and Isolated Development with Branches / Earl T. Barr, Christian Bird, Peter C. Rigby, Abram Hindle and Daniel M. German, et al.
Making Software Integration Really Continuous / Mário Luís Guimarães and António Rito Silva -- Extracting Widget Descriptions from GUIs / Giovanni Becce, Leonardo Mariani, Oliviero Riganelli and Mauro Santoro -- Language-Theoretic Abstraction Refinement / Zhenyue Long, Georgel Calin, Rupak Majumdar and Roland Meyer -- Learning from Vacuously Satisfiable Scenario-Based Specifications / Dalal Alrajeh, Jeff Kramer, Alessandra Russo and Sebastian Uchitel -- Explanations for Regular Expressions / Martin Erwig and Rahul Gopinath -- On the Danger of Coverage Directed Test Case Generation / Matt Staats, Gregory Gay, Michael Whalen and Mats Heimdahl -- Reduction of Test Suites Using Mutation / Macario Polo Usaola, Pedro Reales Mateo and Beatriz Pérez Lamancha -- Model-Based Filtering of Combinatorial Test Suites / Taha Triki, Yves Ledru, Lydie du Bousquet, Frédéric Dadeau and Julien Botella -- A New Design Defects Classification: Marrying Detection and Correction / Rim Mahouachi, Marouane Kessentini and Khaled Ghedira -- Fine Slicing / Theory and Applications for Computation Extraction / Aharon Abadi, Ran Ettinger and Yishai A. Feldman -- System Dependence Graphs in Sequential Erlang / Josep Silva, Salvador Tamarit and César Tomás -- A Domain-Specific Language for Scripting Refactorings in Erlang / Huiqing Li and Simon Thompson.
Record Nr. UPENN-9960093323503681
[FASE 2012 (2012 : Tallinn, Estonia)]  
Materiale a stampa
Lo trovi qui: University of Pennsylvania
Runtime verification [electronic resource] : third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised selected papers / Shaz Qadeer, Serdar Tasiran (eds.).
Runtime verification [electronic resource] : third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised selected papers / Shaz Qadeer, Serdar Tasiran (eds.).
Creatore [RV (Conference) (3rd : 2012 : Istanbul, Turkey)]
Estensione 1 online resource.
Disciplina 005.1/4
Accesso persona Qadeer, Shaz
Tasiran, Serdar
Genere/Forma Electronic books
Soggetto non controllato Computer science
Software engineering
Computer software
Algorithm Analysis and Problem Complexity
Logics and Meanings of Programs
Programming Languages, Compilers, Interpreters
Mathematical Logic and Formal Languages
ISBN 9783642356322 (electronic bk.)
364235632X (electronic bk.)
3642356311 (print)
9783642356315 (print)
9783642356315
Classificazione 54.52
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Dynamic Analyses for Data-Race Detection / John Erickson, Stephen Freund, Madanlal Musuvathi -- Symbolic Execution / Cristian Cadar, Koushik Sen -- Dynamic Livelock Analysis of Multi-threaded Programs / Malay K. Ganai -- Scalable Dynamic Partial Order Reduction / Jiri Simsa, Randy Bryant, Garth Gibson, Jason Hickey -- ANaConDA: A Framework for Analysing Multi-threaded C/C++ Programs on the Binary Level / Jan Fiedor, Tomáš Vojnar -- PaRV: Parallelizing Runtime Detection and Prevention of Concurrency Errors / Ismail Kuru, Hassan Salehe Matar, Adrián Cristal, Gokcen Kestor -- It's the End of the World as We Know It (And I Feel Fine) / Jim R. Larus -- Detecting Unread Memory Using Dynamic Binary Translation / Jon Eyolfson, Patrick Lam -- Sparse Coding for Specification Mining and Error Localization / Wenchao Li, Sanjit A. Seshia -- Sliding between Model Checking and Runtime Verification / Martin Leucker.
Runtime Verification and Enforcement for Android Applications with RV-Droid / Yliès Falcone, Sebastian Currea, Mohamad Jaber -- Temporal Monitors for TinyOS / Doina Bucur -- Real-Time Runtime Verification on Chip / Thomas Reinbacher, Matthias Függer, Jörg Brauer -- BabelTrace: A Collection of Transducers for Trace Validation / Aouatef Mrad, Samatar Ahmed, Sylvain Hallé, Éric Beaudet -- Quantitative Trace Analysis Using Extended Timing Diagrams / Andreas Richter, Klaus Kabitzsch -- Maximal Causal Models for Sequentially Consistent Systems / Traian Florin Şerbănuţă, Feng Chen, Grigore Roşu -- Monitoring Compliance Policies over Incomplete and Disagreeing Logs / David Basin, Felix Klaedtke, Srdjan Marinovic, Eugen Zălinescu -- Adaptive Runtime Verification / Ezio Bartocci, Radu Grosu, Atul Karmarkar, Scott A. Smolka -- Malware Riding Badware: Challenges in Analyzing (Malicious/Benign) Web Applications / Giovanni Vigna -- MapReduce for Parallel Trace Validation of LTL Properties / Benjamin Barre, Mathieu Klein, Maxime Soucy-Boivin.
Path-Aware Time-Triggered Runtime Verification / Samaneh Navabpour, Borzoo Bonakdarpour, Sebastian Fischmeister -- Fast-Forward Runtime Monitoring -- An Industrial Case Study / Christian Colombo, Gordon J. Pace -- Runtime Enforcement of Timed Properties / Srinivas Pinisetty, Yliès Falcone, Thierry Jéron, Hervé Marchand -- Monitoring Dense-Time, Continuous-Semantics, Metric Temporal Logic / Kevin Baldor, Jianwei Niu -- Rewrite-Based Statistical Model Checking of WMTL / Peter Bulychev, Alexandre David, Kim G. Larsen, Axel Legay -- From Runtime Verification to Runtime Intervention and Adaptation / Martin Rinard -- Certifying Solutions for Numerical Constraints / Eva Darulova, Viktor Kuncak -- Profiling Field Initialisation in Java / Stephen Nelson, David J. Pearce, James Noble -- Defense against Stack-Based Attacks Using Speculative Stack Layout Transformation / Benjamin D. Rodes, Anh Nguyen-Tuong, Jason D. Hiser, John C. Knight -- Incremental Runtime Verification of Probabilistic Systems / Vojtěch Forejt, Marta Kwiatkowska, David Parker, Hongyang Qu.
Record Nr. UPENN-9960103703503681
[RV (Conference) (3rd : 2012 : Istanbul, Turkey)]  
Materiale a stampa
Lo trovi qui: University of Pennsylvania
Integrated formal methods [electronic resource] : 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings / Einar Broch Johnsen, Luigia Petre (eds.).
Integrated formal methods [electronic resource] : 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings / Einar Broch Johnsen, Luigia Petre (eds.).
Creatore [International Conference on Integrated Formal Methods (10th : 2013 : Turku, Finland)]
Estensione 1 online resource.
Disciplina 004.01/51
Accesso persona Johnsen, Einar Broch
Petre, Luigia, 1974-
Genere/Forma Electronic books
Soggetto non controllato Computer science
Software engineering
Logic design
Logics and Meanings of Programs
Programming Languages, Compilers, Interpreters
Mathematical Logic and Formal Languages
ISBN 9783642386138 (electronic bk.)
364238613X (electronic bk.)
3642386121 (Print)
9783642386121 (Print)
9783642386121
Classificazione 54.50
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Invited Paper 1: From Z to B and then Event-B: Assigning Proofs to Meaningful Programs / Jean-Raymond Abrial -- Refinement, Integration, Translation. Systems Design Guided by Progress Concerns / Simon Hudon, Thai Son Hoang -- Assume-Guarantee Specifications of State Transition Diagrams for Behavioral Refinement / Christian Prehofer -- Translating VDM to Alloy / Kenneth Lausdahl -- Verification of EB3 Specifications Using CADP / Dimitris Vekris ... [et al.] --
Invited Paper 2: Knowledge for the Distributed Implementation of Constrained Systems / Susanne Graf, Sophie Quinton -- Verification. Automated Anonymity Verification of the ThreeBallot Voting System / Murat Moran, James Heather, Steve Schneider -- Compositional Verification of Software Product Lines / Jean-Vivien Millo ... [et al.] -- Deductive Verification of State-Space Algorithms / Frédéric Gava, Jean Fortin, Michael Guedj -- Inductive Verification of Hybrid Automata with Strongest Postcondition Calculus / Daisuke Ishii, Guillaume Melquiond, Shin Nakajima --
Invited Paper 3: Priced Timed Automata and Statistical Model Checking / Kim Guldstrand Larsen -- Reachability and Model Checking. Improved Reachability Analysis in DTMC via Divide and Conquer / Songzheng Song ... [et al.] -- Solving Games Using Incremental Induction / Andreas Morgenstern, Manuel Gesell, Klaus Schneider -- Model-Checking Software Library API Usage Rules / Fu Song, Tayssir Touili -- Formal Modelling and Verification of Population Protocols / Dominique Méry, Michael Poppleton -- Usability and Testing. Detecting Vulnerabilities in Java-Card Bytecode Verifiers Using Model-Based Testing / Aymerick Savary, Marc Frappier, Jean-Louis Lanet -- Integrating Formal Predictions of Interactive System Behaviour with User Evaluation / Rimvydas Rukšėnas, Paul Curzon, Michael D. Harrison -- Automatic Inference of Erlang Module Behaviour / Ramsay Taylor, Kirill Bogdanov, John Derrick -- Distributed Systems. Integrating Proved State-Based Models for Constructing Correct Distributed Algorithms / Manamiary Bruno Andriamiarina, Dominique Méry, Neeraj Kumar Singh -- Quantified Abstractions of Distributed Systems / Elvira Albert ... [et al.] --
Invited Paper 4 An Algebraic Theory for Web Service Contracts / Cosimo Laneve, Luca Padovani -- Semantics. A Compositional Automata-Based Semantics for Property Patterns / Kalou Cabrera Castillos ... [et al.] -- A Formal Semantics for Complete UML State Machines with Communications / Shuang Liu ... [et al.] -- From Small-Step Semantics to Big-Step Semantics, Automatically / Ştefan Ciobâcă -- Program Equivalence by Circular Reasoning / Dorel Lucanu, Vlad Rusu -- System-Level Analysis. Structural Transformations for Data-Enriched Real-Time Systems / Ernst-Rüdiger Olderog, Mani Swaminathan -- Deadlock Analysis of Concurrent Objects: Theory and Practice / Elena Giachino ... [et al.] -- Broadcast, Denial-of-Service, and Secure Communication / Roberto Vigo, Flemming Nielson, Hanne Riis Nielson -- Characterizing Fault-Tolerant Systems by Means of Simulation Relations / Ramiro Demasi ... [et al.]
Record Nr. UPENN-9960106713503681
[International Conference on Integrated Formal Methods (10th : 2013 : Turku, Finland)]  
Materiale a stampa
Lo trovi qui: University of Pennsylvania
Principles and practice of constraint programming [electronic resource] : 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012. Proceedings / Michela Milano (ed.).
Principles and practice of constraint programming [electronic resource] : 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012. Proceedings / Michela Milano (ed.).
Creatore [CP (Conference) (18th : 2012 : Québec, Québec)]
Estensione 1 online resource.
Disciplina 005.1/16
Accesso persona Milano, Michela
Genere/Forma Electronic books
Soggetto non controllato Computer science
Computer software
Logic design
Electronic data processing
Computational complexity
Mathematical Logic and Formal Languages
Numeric Computing
Algorithm Analysis and Problem Complexity
Logics and Meanings of Programs
Discrete Mathematics in Computer Science
Programming Languages, Compilers, Interpreters
ISBN 9783642335587 (electronic bk.)
3642335586 (electronic bk.)
9783642335570
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Constraint Programming and a Usability Quest / Laurent D. Michel -- Optimization Challenges in Smart Grid Operations / Miguel F. Anjos -- Where Are the Interesting Problems? / Barry O'Sullivan -- A Generic Method for Identifying and Exploiting Dominance Relations / Geoffrey Chu and Peter J. Stuckey -- Scheduling Scientific Experiments on the Rosetta/Philae Mission / Gilles Simonin, Christian Artigues, Emmanuel Hebrard and Pierre Lopez -- Max-Sur-CSP on Two Elements / Hannes Uppman -- An Optimal Arc Consistency Algorithm for a Chain of Atmost Constraints with Cardinality / Mohamed Siala, Emmanuel Hebrard and Marie-José Huguet -- Conflict Directed Lazy Decomposition / Ignasi Abío and Peter J. Stuckey -- Improving SAT-Based Weighted MaxSAT Solvers / Carlos Ansótegui, Maria Luisa Bonet, Joel Gabàs and Jordi Levy -- Distributed Tree Decomposition with Privacy / Vincent Armant, Laurent Simon and Philippe Dague -- Refining Restarts Strategies for SAT and UNSAT / Gilles Audemard and Laurent Simon -- Boosting Local Consistency Algorithms over Floating-Point Numbers / Mohammed Said Belaid, Claude Michel and Michel Rueher --
A Model Seeker: Extracting Global Constraint Models from Positive Examples / Nicolas Beldiceanu and Helmut Simonis -- On Computing Minimal Equivalent Subformulas / Anton Belov, Mikoláš Janota, Inês Lynce and Joao Marques-Silva -- Including Soft Global Constraints in DCOPs / Christian Bessiere, Patricia Gutierrez and Pedro Meseguer -- The Weighted Average Constraint / Alessio Bonfietti and Michele Lombardi -- Weibull-Based Benchmarks for Bin Packing / Ignacio Castiñeiras, Milan De Cauwer and Barry O'Sullivan -- Space-Time Tradeoffs for the Regular Constraint / Kenil C. K. Cheng, Wei Xia and Roland H. C. Yap -- Inter-instance Nogood Learning in Constraint Programming / Geoffrey Chu and Peter J. Stuckey -- Solving Temporal Problems Using SMT: Strong Controllability / Alessandro Cimatti, Andrea Micheli and Marco Roveri -- A Characterisation of the Complexity of Forbidding Subproblems in Binary Max-CSP / Martin C. Cooper, Guillaume Escamocher and Stanislav Živný -- Optimisation Modelling for Software Developers / Kathryn Francis, Sebastian Brand and Peter J. Stuckey -- Adaptive Bisection of Numerical CSPs / Laurent Granvilliers --
Resource Constrained Shortest Paths with a Super Additive Objective Function / Stefano Gualandi and Federico Malucelli -- Relating Proof Complexity Measures and Practical Hardness of SAT / Matti Järvisalo, Arie Matsliah, Jakob Nordström and Stanislav Živný -- The SeqBin Constraint Revisited / George Katsirelos, Nina Narodytska and Toby Walsh -- Eigenvector Centrality in Industrial SAT Instances / George Katsirelos and Laurent Simon -- Classifying and Propagating Parity Constraints / Tero Laitinen, Tommi Junttila and Ilkka Niemelä -- Consistencies for Ultra-Weak Solutions in Minimax Weighted CSPs Using the Duality Principle / Arnaud Lallouet, Jimmy H. M. Lee and Terrence W. K. Mak -- Propagating Soft Table Constraints / Christophe Lecoutre, Nicolas Paris, Olivier Roussel and Sébastien Tabary -- WCSP Integration of Soft Neighborhood Substitutability / Christophe Lecoutre, Olivier Roussel and Djamel E. Dehani -- Increasing Symmetry Breaking by Preserving Target Symmetries / Jimmy H. M. Lee and Jingying Li -- A Scalable Sweep Algorithm for the cumulative Constraint / Arnaud Letort, Nicolas Beldiceanu and Mats Carlsson --
A New Encoding from MinSAT into MaxSAT / Zhu Zhu, Chu-Min Li, Felip Manyà and Josep Argelich -- Solving Minimal Constraint Networks in Qualitative Spatial and Temporal Reasoning / Weiming Liu and Sanjiang Li -- Containment, Equivalence and Coreness from CSP to QCSP and Beyond / Florent Madelaine and Barnaby Martin -- An Optimal Filtering Algorithm for Table Constraints / Jean-Baptiste Mairy, Pascal Van Hentenryck and Yves Deville -- Parallel SAT Solver Selection and Scheduling / Yuri Malitsky, Ashish Sabharwal, Horst Samulowitz and Meinolf Sellmann -- Constraint Satisfaction over Bit-Vectors / Laurent D. Michel and Pascal Van Hentenryck -- Towards Solver-Independent Propagators / Jean-Noël Monette, Pierre Flener and Justin Pearson -- Interactive Algorithm for Multi-Objective Constraint Optimization / Tenda Okimoto, Yongjoon Joe, Atsushi Iwasaki, Toshihiro Matsui and Katsutoshi Hirayama, et al. -- Focus : A Constraint for Concentrating High Costs / Thierry Petit -- Refining Abstract Interpretation Based Value Analysis with Constraint Programming Techniques / Olivier Ponsini, Claude Michel and Michel Rueher -- Time-Dependent Simple Temporal Networks / Cédric Pralet and Gérard Verfaillie --
Improved Bounded Max-Sum for Distributed Constraint Optimization / Emma Rollon and Javier Larrosa -- A Hybrid MIP/CP Approach for Multi-activity Shift Scheduling / Domenico Salvagnin and Toby Walsh -- Contributions to the Theory of Practical Quantified Boolean Formula Solving / Allen Van Gelder -- Breaking Variable Symmetry in Almost Injective Problems / Philippe Vismara and Remi Coletta -- Understanding, Improving and Parallelizing MUS Finding Using Model Rotation / Siert Wieringa -- Revisiting Neighborhood Inverse Consistency on Binary CSPs / Robert J. Woodward, Shant Karakashian, Berthe Y. Choueiry and Christian Bessiere -- Syntactically Characterizing Local-to-Global Consistency in ORD-Horn / Michał Wrona -- A Hybrid Paradigm for Adaptive Parallel Search / Xi Yun and Susan L. Epstein -- A Constraint Programming Approach for the Traveling Purchaser Problem / Hadrien Cambazard and Bernard Penz -- Constraint-Based Register Allocation and Instruction Scheduling / Roberto Castañeda Lozano, Mats Carlsson, Frej Drejhammar and Christian Schulte -- Maximising the Net Present Value of Large Resource-Constrained Projects / Hanyu Gu, Peter J. Stuckey and Mark G. Wallace --
Comparing Solution Methods for the Machine Reassignment Problem / Deepak Mehta, Barry O'Sullivan and Helmut Simonis -- A Boolean Model for Enumerating Minimal Siphons and Traps in Petri Nets / Faten Nabli, François Fages, Thierry Martinez and Sylvain Soliman -- Cardinality Reasoning for Bin-Packing Constraint: Application to a Tank Allocation Problem / Pierre Schaus, Jean-Charles Régin, Rowan Van Schaeren, Wout Dullaert and Birger Raa -- The Offshore Resources Scheduling Problem: Detailing a Constraint Programming Approach / Thiago Serra, Gilberto Nishioka and Fernando J. M. Marcellino -- Computational Protein Design as a Cost Function Network Optimization Problem / David Allouche, Seydou Traoré, Isabelle André, Simon de Givry and George Katsirelos, et al. -- A Filtering Technique for Fragment Assembly- Based Proteins Loop Modeling with Constraints / Federico Campeotto, Alessandro Dal Palù, Agostino Dovier, Ferdinando Fioretto and Enrico Pontelli -- A Branch and Prune Algorithm for the Computation of Generalized Aspects of Parallel Robots / Stéphane Caro, Damien Chablat, Alexandre Goldsztejn, Daisuke Ishii and Christophe Jermann --
The Semigroups of Order 10 / Andreas Distler, Chris Jefferson, Tom Kelsey and Lars Kotthoff -- Exploring Chemistry Using SMT / Rolf Fagerberg, Christoph Flamm, Daniel Merkle and Philipp Peters -- A Pseudo-Boolean Set Covering Machine / Pascal Germain, Sébastien Giguère, Jean-Francis Roy, Brice Zirakiza and François Laviolette, et al. -- Finding a Nash Equilibrium by Asynchronous Backtracking / Alon Grubshtein and Amnon Meisels -- Reasoning over Biological Networks Using Maximum Satisfiability / João Guerra and Inês Lynce -- Properties of Energy-Price Forecasts for Scheduling / Georgiana Ifrim, Barry O'Sullivan and Helmut Simonis -- Aggregating Conditionally Lexicographic Preferences on Multi-issue Domains / Jérôme Lang, Jérôme Mengin and Lirong Xia -- Constraint Programming for Path Planning with Uncertainty / Solving the Optimal Search Path Problem / Michael Morin, Anika-Pascale Papillon, Irène Abi-Zeid, François Laviolette and Claude-Guy Quimper -- Feature Term Subsumption Using Constraint Programming with Basic Variable Symmetry / Santiago Ontañón and Pedro Meseguer.
Record Nr. UPENN-9960101343503681
[CP (Conference) (18th : 2012 : Québec, Québec)]  
Materiale a stampa
Lo trovi qui: University of Pennsylvania
Compiler construction [electronic resource] : 21st International Conference, CC 2012, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24-April 1, 2012. Proceedings / Michael O'Boyle (ed.).
Compiler construction [electronic resource] : 21st International Conference, CC 2012, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24-April 1, 2012. Proceedings / Michael O'Boyle (ed.).
Creatore [CC (Conference) (21st : 2012 : Tallinn, Estonia)]
Estensione 1 online resource (xvi, 243 p.)
Disciplina 005.4/53
Accesso persona O'Boyle, M. (Michael)
Accesso convegno ETAPS (Conference) (2012 : Tallinn, Estonia)
Genere/Forma Electronic books
Soggetto non controllato Computer science
Computer Communication Networks
Software engineering
Computer software
Programming Languages, Compilers, Interpreters
Programming Techniques
Mathematical Logic and Formal Languages
Algorithm Analysis and Problem Complexity
ISBN 9783642286520 (electronic bk.)
3642286526 (electronic bk.)
3642286518
9783642286513
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Improving Performance of OpenCL on CPUs / Ralf Karrenberg and Sebastian Hack -- Automatic Restructuring of GPU Kernels for Exploiting Inter-thread Data Locality / Swapneela Unkule, Christopher Shaltz and Apan Qasem -- Programming Paradigm Driven Heap Analysis / Mark Marron, Ondřej Lhoták and Anindya Banerjee -- Parallel Replication-Based Points-To Analysis / Sandeep Putta and Rupesh Nasre -- A New Method for Program Inversion / Cong Hou, George Vulov, Daniel Quinlan, David Jefferson and Richard Fujimoto, et al. -- Analytical Bounds for Optimal Tile Size Selection / Jun Shirako, Kamal Sharma, Naznin Fauzia, Louis-Noël Pouchet and J. Ramanujam, et al. -- Static Detection of Unsafe Component Loadings / Taeho Kwon and Zhendong Su -- Object Model Construction for Inheritance in C++ and Its Applications to Program Analysis / Jing Yang, Gogul Balakrishnan, Naoto Maeda, Franjo Ivančić and Aarti Gupta, et al. -- GC-Safe Interprocedural Unboxing / Leaf Petersen and Neal Glew -- Compiler Support for Value-Based Indirect Branch Prediction / Muhammad Umar Farooq, Lei Chen and Lizy Kurian John -- Compiler Support for Fine-Grain Software-Only Checkpointing / Chuck (Chengyan) Zhao, J. Gregory Steffan, Cristiana Amza and Allan Kielstra -- VMAD: An Advanced Dynamic Program Analysis and Instrumentation Framework / Alexandra Jimborean, Luis Mastrangelo, Vincent Loechner and Philippe Clauss -- Sambamba: A Runtime System for Online Adaptive Parallelization / Kevin Streit, Clemens Hammacher, Andreas Zeller and Sebastian Hack.
Record Nr. UPENN-9960093353503681
[CC (Conference) (21st : 2012 : Tallinn, Estonia)]  
Materiale a stampa
Lo trovi qui: University of Pennsylvania
Certified programs and proofs [electronic resource] : first International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings / Jean-Pierre Jouannaud, Zhong Shao (eds.).
Certified programs and proofs [electronic resource] : first International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings / Jean-Pierre Jouannaud, Zhong Shao (eds.).
Creatore [CPP (Conference) (1st : 2011 : Kʻen-ting, Taiwan)]
Estensione 1 online resource (xv, 399 p.)
Disciplina 004.01/51
Accesso persona Jouannaud, Jean-Pierre
Shao, Zhong, 1968-
Genere/Forma Electronic books
Soggetto non controllato Computer science
Software engineering
Logic design
Artificial intelligence
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Programming Languages, Compilers, Interpreters
Symbolic and Algebraic Manipulation
Artificial Intelligence (incl. Robotics)
ISBN 9783642253799 (electronic bk.)
3642253792 (electronic bk.)
9783642253782
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UPENN-9960089713503681
[CPP (Conference) (1st : 2011 : Kʻen-ting, Taiwan)]  
Materiale a stampa
Lo trovi qui: University of Pennsylvania
Java kompakt [electronic resource] : Eine Einführung in die Software-Entwicklung mit Java / von Matthias Hölzl, Allaithy Raed, Martin Wirsing
Java kompakt [electronic resource] : Eine Einführung in die Software-Entwicklung mit Java / von Matthias Hölzl, Allaithy Raed, Martin Wirsing
Creatore [Hölzl, Matthias]
Estensione 1 online resource
Disciplina 005.11
Accesso persona Raed, Allaithy.author.
Wirsing, M. (Martin)author.
Soggetto non controllato Programming Techniques
Software Engineering
Programming Languages, Compilers, Interpreters
Computer Science
ISBN 9783642285042
Formato Risorse elettroniche
Livello bibliografico Monografia
Lingua di pubblicazione ger
Nota di contenuto Die Java Umgebung -- Ein Schnelleinstieg in Java -- Klassen und Objekte -- Methoden in Java -- Primitive Datentypen -- Komplexe Datentypen -- Kontrollfluss -- Vererbung und Polymorphie -- Innere Klassen, abstrakte Klassen und Interfaces -- Einführung in Datenstrukturen -- Ausnahmebehandlung und Debugging -- Einführung in die objektorientierte Softwareenwicklung.
Record Nr. UCHICAGO-9283858
[Hölzl, Matthias]  
Risorse elettroniche
Lo trovi qui: University of Chicago
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.
Accesso persona Favaro, J. (John), editor.
Morisio, Maurizio, 1960-editor
Genere/Forma Electronic books
Conference papers and proceedings
Ebook
Congresses
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. UCHICAGO-11078964
[International Conference on Software Reuse (13th : 2013 : Pisa, Italy)]  
Materiale a stampa
Lo trovi qui: University of Chicago