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.
Conceptual modelling and its theoretical foundations [electronic resource] : essays dedicated to Bernhard Thalheim on the occasion of his 60th birthday / Antje Düsterhöft, Meike Klettke, Klaus-Dieter Schewe (eds.).
Conceptual modelling and its theoretical foundations [electronic resource] : essays dedicated to Bernhard Thalheim on the occasion of his 60th birthday / Antje Düsterhöft, Meike Klettke, Klaus-Dieter Schewe (eds.).
Estensione 1 online resource (viii, 328 p.) : ill
Disciplina 003/.3
Accesso persona Düsterhöft, Antje
Klettke, Meike
Schewe, Klaus-Dieter
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
Models and Principles
Artificial Intelligence (incl. Robotics)
Programming Languages, Compilers, Interpreters
ISBN 9783642282799 (electronic bk.)
3642282792 (electronic bk.)
9783642282782
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Dedication to a Theory of Modelling -- Bernhard Thalheim's Scientific Journey -- What about Constraints in RDF? -- Some Remarks on Relational Database Schemes Having Few Minimal Keys -- Random Databases with Correlated Data -- Statistical Inference for Rényi Entropy Functionals -- The Subject-Oriented Approach to Software Design and the Abstract State Machines Method -- BCNF via Attribute Splitting -- Foundations for a Fourth Normal Form over SQL-Like Databases -- Independent Update Reflections on Interdependent Database Views -- SOF: A Semantic Restriction over Second-Order Logic and Its Polynomial-Time Hierarchy -- Abstract State Machines for Data-Parallel Computing -- OSM-Logic: A Fact-Oriented, Time-Dependent Formalization of Object-oriented Systems Modeling -- Cloaking Data to Ease View Creation, Query Expression, and Query Execution -- On Models of Concepts and Data -- Model Transformation By-Example: A Survey of the First Wave -- On Computing the Importance of Associations in Large Conceptual Schemas -- Conceptual Modeling of Human Genome: Integration Challenges -- Transforming Geometrically Enhanced Conceptual Model Schemas to GML -- Extensional Logic of Hyperintensions -- Culture Sensitive Aspects in Software Engineering -- Cross-Cultural Multimedia Computing with Impression-Based Semantic Spaces.
Record Nr. UPENN-9960092203503681
Materiale a stampa
Lo trovi qui: University of Pennsylvania
Algebraic foundations in computer science [electronic resource] : essays dedicated to Symeon Bozapalidis on the occasion of his retirement / edited by Werner Kuich, George Rahonis
Algebraic foundations in computer science [electronic resource] : essays dedicated to Symeon Bozapalidis on the occasion of his retirement / edited by Werner Kuich, George Rahonis
Estensione 1 online resource (x, 362 p.) : ill., col. ports
Disciplina 004.01/51
Accesso persona Kuich, Werner, 1941-
Rachōnēs, Geōrgios, 1965-
Genere/Forma Electronic books
Soggetto non controllato Computer science
Software engineering
Logic design
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Programming Languages, Compilers, Interpreters
Symbolic and Algebraic Manipulation
ISBN 9783642248979 (electronic bk.)
3642248977 (electronic bk.)
9783642248962
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UPENN-9960089393503681
Materiale a stampa
Lo trovi qui: University of Pennsylvania
Languages and compilers for parallel computing [electronic resource] : 24th International Workshop, LCPC 2011, Fort Collins, CO, USA, September 8-10, 2011. Revised selected papers / Sanjay Rajopadhye, Michelle Mills Strout (eds.).
Languages and compilers for parallel computing [electronic resource] : 24th International Workshop, LCPC 2011, Fort Collins, CO, USA, September 8-10, 2011. Revised selected papers / Sanjay Rajopadhye, Michelle Mills Strout (eds.).
Creatore [LCPC (Workshop) (24th : 2011 : Fort Collins, Colo.)]
Estensione 1 online resource.
Disciplina 005.2/75
Accesso persona Rajopadhye, Sanjay Vishnu
Strout, Michelle Mills
Genere/Forma Electronic books
Soggetto non controllato Computer science
Computer Communication Networks
Data structures (Computer science)
Electronic data processing
Programming Languages, Compilers, Interpreters
Programming Techniques
Computing Methodologies
ISBN 9783642360367 (electronic bk.)
364236036X (electronic bk.)
3642360351 (print)
9783642360350 (print)
9783642360350
Classificazione 54.51
54.53
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Automatic Scaling of OpenMP Beyond Shared Memory / Okwan Kwon, Fahed Jubair, Seung-Jai Min -- A Methodology for Fine-Grained Parallelism in JavaScript Applications / Jeffrey Fifield, Dirk Grunwald -- Evaluation of Power Consumption at Execution of Multiple Automatically Parallelized and Power Controlled Media Applications on the RP2 Low-Power Multicore / Hiroki Mikami, Shumpei Kitaki -- Double Inspection for Run-Time Loop Parallelization / Michael Philippsen, Nikolai Tillmann -- A Hybrid Approach to Proving Memory Reference Monotonicity / Cosmin E. Oancea, Lawrence Rauchwerger -- OpenCL as a Programming Model for GPU Clusters / Jungwon Kim, Sangmin Seo, Jun Lee -- CellCilk: Extending Cilk for Heterogeneous Multicore Platforms / Tobias Werth, Silvia Schreier -- OPELL and PM: A Case Study on Porting Shared Memory Programming Models to Accelerators Architectures / Joseph B. Manzano, Ge Gan, Juergen Ributzka -- Optimizing the Concurrent Execution of Locks and Transactions / Justin E. Gottschlich, JaeWoong Chung -- A Study of the Usefulness of Producer/Consumer Synchronization / Hao Lin, Hansang Bae, Samuel P. Midkiff -- Lock-Free Resizeable Concurrent Tries / Aleksandar Prokopec, Phil Bagwell -- Fine-Grained Treatment to Synchronizations in GPU-to-CPU Translation / Ziyu Guo, Xipeng Shen -- A Mutable Hardware Abstraction to Replace Threads / Sean Halle, Albert Cohen -- Dynamic Task Parallelism with a GPU Work-Stealing Runtime System / Sanjay Chatterjee, Max Grossman -- A Code Merging Optimization Technique for GPU / Ryan Taylor, Xiaoming Li -- Static Compilation Analysis for Host-Accelerator Communication Optimization / Mehdi Amini, Fabien Coelho, François Irigoin -- Scheduling Support for Communicating Parallel Tasks / Jörg Dümmler, Thomas Rauber -- Polytasks: A Compressed Task Representation for HPC Runtimes / Daniel Orozco, Elkin Garcia, Robert Pavel -- Detecting False Sharing in OpenMP Applications Using the DARWIN Framework / Besar Wicaksono, Munara Tolubaeva.
Record Nr. UPENN-9960103833503681
[LCPC (Workshop) (24th : 2011 : Fort Collins, Colo.)]  
Materiale a stampa
Lo trovi qui: University of Pennsylvania
Construction and evolution of code generators [electronic resource] : a model-driven and service-oriented approach / Sven Jörges
Construction and evolution of code generators [electronic resource] : a model-driven and service-oriented approach / Sven Jörges
Creatore [Jörges, Sven]
Estensione 1 online resource.
Disciplina 005.4/5
Genere/Forma Electronic books
Soggetto non controllato Computer science
Software engineering
Information systems
Programming Languages, Compilers, Interpreters
Computer Appl. in Administrative Data Processing
ISBN 9783642361272 (electronic bk.)
3642361277 (electronic bk.)
3642361269 (print)
9783642361265 (print)
9783642361265
Classificazione 54.52
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Motivation and Fundamentals -- Introduction -- The State of the Art in Code Generation -- Extreme Model-Driven Development and jABC -- The Genesys Framework and Case Studies -- The Genesys Framework -- Case Studies: Code Generators for jABC -- Verification & Validation of Code Generators -- Case Study: Domain-Specific Code Generators for EMF -- Case Study: Service-Oriented Combination of Code Generation Frameworks -- Conclusions and Future Work -- Conclusions -- Future Work.
Record Nr. UPENN-9960103853503681
[Jörges, Sven]  
Materiale a stampa
Lo trovi qui: University of Pennsylvania
Data engineering and management [electronic resource] : second International Conference, ICDEM 2010, Tiruchirappalli, India, July 29-31, 2010. Revised selected papers / Rajkumar Kannan, Frederic Andres (eds.).
Data engineering and management [electronic resource] : second International Conference, ICDEM 2010, Tiruchirappalli, India, July 29-31, 2010. Revised selected papers / Rajkumar Kannan, Frederic Andres (eds.).
Creatore [ICDEM 2010 (2010 : Tiruchchirāppalli, India)]
Estensione 1 online resource (xi, 342 p.)
Disciplina 006.3/12
Accesso persona Kannan, Rajkumar
Andres, Frederic, 1962-
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
Mathematical Logic and Formal Languages
ISBN 9783642278723 (electronic bk.)
3642278728 (electronic bk.)
9783642278716
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UPENN-9960092763503681
[ICDEM 2010 (2010 : Tiruchchirāppalli, India)]  
Materiale a stampa
Lo trovi qui: University of Pennsylvania
Transactions on pattern languages of programming III [electronic resource] / James Noble...[et al.] (eds.).
Transactions on pattern languages of programming III [electronic resource] / James Noble...[et al.] (eds.).
Estensione 1 online resource.
Disciplina 005.1
Accesso persona Noble, James, 1967-
Genere/Forma Electronic books
Soggetto non controllato Computer science
Software engineering
Information Systems
Programming Languages, Compilers, Interpreters
Programming Techniques
Management of Computing and Information Systems
ISBN 9783642386763 (electronic bk.)
3642386768 (electronic bk.)
9783642386756
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Transform! Patterns for Data Migration / Andreas Rüping -- A Pattern Language for Teaching Design Patterns / Christian Köppe -- Pattern Language for the Internal Structure of Metadata-Based Frameworks / Eduardo Guerra, Jerffeson de Souza -- User Interface Patterns for Multimodal Interaction / Andreas Ratzka -- Using Pattern-Based Architecture Reviews to Detect Quality Attribute Issues - An Exploratory Study / Neil B. Harrison, Paris Avgeriou.
Record Nr. UPENN-9960107153503681
Materiale a stampa
Lo trovi qui: University of Pennsylvania
Automated technology for verification and analysis [electronic resource] : 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings / Supratik Chakraborty, Madhavan Mukund (eds.).
Automated technology for verification and analysis [electronic resource] : 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings / Supratik Chakraborty, Madhavan Mukund (eds.).
Creatore [ATVA (Symposium) (10th : 2012 : Trivandrum, India)]
Estensione 1 online resource.
Disciplina 511.3/6028563
Accesso persona Chakraborty, Supratik
Mukund, Madhavan
Genere/Forma Electronic books
Soggetto non controllato Computer science
Computer Communication Networks
Software engineering
Logic design
Programming Techniques
Logics and Meanings of Programs
Programming Languages, Compilers, Interpreters
Software Engineering/Programming and Operating Systems
ISBN 9783642333866 (electronic bk.)
3642333869 (electronic bk.)
9783642333859
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Verification of Computer Switching Networks: An Overview / Shuyuan Zhang, Sharad Malik and Rick McGeer -- Dynamic Bayesian Networks: A Factored Model of Probabilistic Dynamics / Sucheendra K. Palaniappan and P. S. Thiagarajan -- Interpolant Automata (Invited Talk) / Andreas Podelski -- Approximating Deterministic Lattice Automata / Shulamit Halamish and Orna Kupferman -- Tight Bounds for the Determinisation and Complementation of Generalised Büchi Automata / Sven Schewe and Thomas Varghese -- A Succinct Canonical Register Automaton Model for Data Domains with Binary Relations / Sofia Cassel, Bengt Jonsson, Falk Howar and Bernhard Steffen -- Rabinizer: Small Deterministic Automata for LTL(F,G) / Andreas Gaiser, Jan Křetínský and Javier Esparza -- The Unary Fragments of Metric Interval Temporal Logic: Bounded versus Lower Bound Constraints / Paritosh K. Pandya and Simoni S. Shah --
On Temporal Logic and Signal Processing / Alexandre Donzé, Oded Maler, Ezio Bartocci, Dejan Nickovic and Radu Grosu, et al. -- Improved Single Pass Algorithms for Resolution Proof Reduction / Ashutosh Gupta -- Model Checking Systems and Specifications with Parameterized Atomic Propositions / Orna Grumberg, Orna Kupferman and Sarai Sheinvald -- Reachability Analysis of Polynomial Systems Using Linear Programming Relaxations / Mohamed Amin Ben Sassi, Romain Testylier, Thao Dang and Antoine Girard -- Linear-Time Model-Checking for Multithreaded Programs under Scope-Bounding / Mohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar and Prakash Saivasan -- Accurate Invariant Checking for Programs Manipulating Lists and Arrays with Infinite Data / Ahmed Bouajjani, Cezara Drăgoi, Constantin Enea and Mihaela Sighireanu -- A Verifier for Functional Properties of Sequence-Manipulating Programs / Carlo A. Furia -- Accelerating Interpolants / Hossein Hojjat, Radu Iosif, Filip Konečný, Viktor Kuncak and Philipp Rümmer --
FunFrog: Bounded Model Checking with Interpolation-Based Function Summarization / Ondrej Sery, Grigory Fedyukovich and Natasha Sharygina -- Synthesis of Succinct Systems / John Fearnley, Doron Peled and Sven Schewe -- Controllers with Minimal Observation Power (Application to Timed Systems) / Peter Bulychev, Franck Cassez, Alexandre David, Kim Guldstrand Larsen and Jean-François Raskin, et al. -- Counterexample Guided Synthesis of Monitors for Realizability Enforcement / Matthias Güdemann, Gwen Salaün and Meriem Ouederni -- Parallel Assertions for Architectures with Weak Memory Models / Daniel Schwartz-Narbonne, Georg Weissenbacher and Sharad Malik -- Improved Multi-Core Nested Depth-First Search / Sami Evangelista, Alfons Laarman, Laure Petrucci and Jaco van de Pol -- An Experiment on Parallel Model Checking of a CTL Fragment / Rodrigo T. Saad, Silvano Dal Zilio and Bernard Berthomieu -- Variable Probabilistic Abstraction Refinement / Luis María Ferrer Fioriti, Ernst Moritz Hahn, Holger Hermanns and Björn Wachter --
Pareto Curves for Probabilistic Model Checking / Vojtěch Forejt, Marta Kwiatkowska and David Parker -- Verification of Partial-Information Probabilistic Systems Using Counterexample-Guided Refinements / Sergio Giro and Markus N. Rabe -- The COMICS Tool - Computing Minimal Counterexamples for DTMCs / Nils Jansen, Erika Ábrahám, Matthias Volk, Ralf Wimmer and Joost-Pieter Katoen, et al. -- Computing Minimal Separating DFAs and Regular Invariants Using SAT and SMT Solvers / Daniel Neider -- ALLQBF Solving by Computational Learning / Bernd Becker, Rüdiger Ehlers, Matthew Lewis and Paolo Marin -- Equivalence of Games with Probabilistic Uncertainty and Partial-Observation Games / Krishnendu Chatterjee, Martin Chmelík and Rupak Majumdar -- A Probabilistic Kleene Theorem / Benedikt Bollig, Paul Gastin, Benjamin Monmege and Marc Zeitoun -- Higher-Order Approximations for Verification of Stochastic Hybrid Systems / Sadegh Esmaeil Zadeh Soudjani and Alessandro Abate.
Record Nr. UPENN-9960100943503681
[ATVA (Symposium) (10th : 2012 : Trivandrum, India)]  
Materiale a stampa
Lo trovi qui: University of Pennsylvania
Testing software and systems [electronic resource] : 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011, proceedings / Burkhart Wolff, Fatiha Zaïdi (eds.).
Testing software and systems [electronic resource] : 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011, proceedings / Burkhart Wolff, Fatiha Zaïdi (eds.).
Creatore [ICTSS 2011 (2011 : Paris, France)]
Estensione 1 online resource (x, 224 p.)
Disciplina 005.1/4
Accesso persona Wolff, Burkhart, 1962-
Zaïdi, Fatiha
Genere/Forma Electronic books
Soggetto non controllato Computer science
Software engineering
Logic design
Programming Languages, Compilers, Interpreters
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Programming Techniques
Models and Principles
ISBN 9783642245800 (electronic bk.)
3642245803 (electronic bk.)
9783642245794
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UPENN-9960089323503681
[ICTSS 2011 (2011 : Paris, France)]  
Materiale a stampa
Lo trovi qui: University of Pennsylvania
Formal modeling [electronic resource] : actors, open systems, biological systems ; essays dedicated to Carolyn Talcott on the occasion of her 70th birthday / Gul Agha, Olivier Danvy, José Meseguer. (eds.).
Formal modeling [electronic resource] : actors, open systems, biological systems ; essays dedicated to Carolyn Talcott on the occasion of her 70th birthday / Gul Agha, Olivier Danvy, José Meseguer. (eds.).
Estensione 1 online resource (xx, 445 p.) : col. ports
Disciplina 004.01/51
Accesso persona Agha, Gul A.
Danvy, Olivier
Meseguer, José
Genere/Forma Electronic books
Soggetto non controllato Computer science
Computer Communication Networks
Software engineering
Logic design
Logics and Meanings of Programs
Programming Languages, Compilers, Interpreters
Programming Techniques
Mathematical Logic and Formal Languages
ISBN 9783642249334 (electronic bk.)
3642249337 (electronic bk.)
9783642249327
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UPENN-9960088893503681
Materiale a stampa
Lo trovi qui: University of Pennsylvania
Static analysis [electronic resource] : 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings / Francesco Logozzo, Manuel Fähndrich (eds.).
Static analysis [electronic resource] : 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings / Francesco Logozzo, Manuel Fähndrich (eds.).
Creatore [International Static Analysis Symposium (20th : 2013 : Seattle, Wash.)]
Estensione 1 online resource.
Disciplina 005.1
Accesso persona Logozzo, Francesco
Fähndrich, Manuel
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 9783642388569 (electronic bk.)
3642388566 (electronic bk.)
3642388558 (Print)
9783642388552 (Print)
9783642388552
Classificazione 54.51
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UPENN-9960107973503681
[International Static Analysis Symposium (20th : 2013 : Seattle, Wash.)]  
Materiale a stampa
Lo trovi qui: University of Pennsylvania