MANCOOSI - PDFSEARCH.IO - Document Search Engine

MANCOOSI
Results: 71

#	Item
31	Mancoosi tools for the quality assurance of distributions, part II Jaap Boender UFR Informatique Universit´ e Paris Diderot Add to Reading List Source URL: www.mancoosi.org Language: English - Date: 2012-12-16 04:54:55 Package manager Software distribution
32	Survey of the state of the art technologies for handling versioning, rollback and state snapshot in complex systems Deliverable 3.1 Nature : Deliverable Due date : Add to Reading List Source URL: www.mancoosi.org Language: English - Date: 2012-12-16 04:54:41 Software Computing System software Software distribution Component-based software engineering Transaction processing Conary Package manager NixOS Java Platform Enterprise Edition Rollback Component
33	UPDB infrastructure to collect traces of upgradeability problems in CUDF format Deliverable 5.3 Nature : Deliverable Due date : Start date of project : Add to Reading List Source URL: www.mancoosi.org Language: English - Date: 2012-12-16 04:54:41 Software Computer architecture System software Software distribution Linux distributions Software release Project management Package manager Deliverable MANCOOSI Debian Arch Linux
34	Université Paris Diderot — Paris 7 École doctorale de Sciences Mathématiques de Paris Centre T HÈSE pour obtenir le grade de D OCTEUR DE L’U NIVERSITÉ PARIS D IDEROT Add to Reading List Source URL: www.mancoosi.org Language: French - Date: 2012-12-16 04:54:55
35	JTL: a bidirectional and change propagating transformation language Antonio Cicchetti1 , Davide Di Ruscio2 , Romina Eramo2 , and Alfonso Pierantonio2 1 School of Innovation, Design and Engineering Add to Reading List Source URL: www.mancoosi.org Language: English - Date: 2012-12-16 04:54:55 Systems engineering Software engineering Unified Modeling Language Computing Systems science Bidirectional transformation Model transformation Metamodeling Transformation language MMT QVT Object Process Methodology
36	Sequential Encodings from Max-CSP into Partial Max-SAT⋆ Josep Argelich1 , Alba Cabiscol2 , Inˆes Lynce3 , and Felip Many`a4 1 2 Add to Reading List Source URL: www.mancoosi.org Language: English - Date: 2012-12-16 04:54:55 Theoretical computer science Logic in computer science Combinatorial optimization Maximum satisfiability problem Unit propagation Constraint programming Mathematics Mathematical logic
37	Final version of the optimizations algorithms and tools Deliverable 4.3 Nature : Deliverable Due date : Add to Reading List Source URL: www.mancoosi.org Language: English - Date: 2012-12-16 04:54:41 Software Numerical analysis Mathematical software Numerical software Mathematical optimization Solver Constraint programming Lis
38	Package Upgrades in FOSS Distributions: Details and Challenges ∗ Roberto Di Cosmo Stefano Zacchiroli Universit´e Paris Diderot, PPS, UMR 7126, France Add to Reading List Source URL: www.mancoosi.org Language: English - Date: 2012-12-16 04:54:55 Software System software Computer architecture Dpkg Ubuntu Debian Archive formats Linux distributions Package manager NixOS RPM Package Manager Advanced Packaging Tool
39	Counterexample Guided Abstraction Refinement Algorithm for Propositional Circumscription Mikol´ aˇs Janota1 , Radu Grigore2, and Joao Marques-Silva3 1 Add to Reading List Source URL: www.mancoosi.org Language: English - Date: 2012-12-16 04:54:55 Logic Mathematics Abstraction Mathematical logic Logical truth Propositional calculus Formal languages Automated theorem proving Substitution Constructible universe Well-formed formula Boolean satisfiability problem
40	Apt-pbo: Solving the Software Dependency Problem using Pseudo-Boolean Optimization Paulo Trezentos Inês Lynce Add to Reading List Source URL: www.mancoosi.org Language: English - Date: 2012-12-16 04:54:55 Software Computer architecture System software Dpkg Archive formats Ubuntu Debian Package manager Software distribution Advanced Packaging Tool Deb RPM Package Manager

UPDATE