PackUp: Tools for Package Upgradability Solving
نویسندگان
چکیده
This paper presents PackUp (PACKage UPgradability with Boolean formulations) a framework for solving the the software package upgradability problem. Earlier versions of the framework (cudf2msu, cudf2pbo) participated in the 3rd MISC-live, an international competition organized by the European project MANCOOSI. The framework encodes the problem as a weighted partial MaxSAT formula and invokes a dedicated solver to solve the formula. The framework supports two types of solvers: weighted partial MaxSAT solvers and optimization pseudo-Boolean (OPB) solvers. The paper discusses the design of the framework and the specifics of the problem encoding.
منابع مشابه
Tampereen Teknillinen Korkeakoulu Julkaisuja 183 Tampere University of Technology Publications 183 Hypermedia Learning Environment for Mathematics Preface
This thesis describes the design, implementation and use of a software package for hypermedia based learning on mathematical sciences. The software package integrates hypertext, computer-aided exercises, graphics, videos and sound into a hypermedia based learning environment (HMLE). The design and implementation problems of hypermedia based learning environments in mathematics are presentation,...
متن کاملDesigning a STEAM-based Educational Learning Package of Social Sciences Textbooks Based on the Thinking Design Model and Evaluating its Effectiveness on Problem-Solving Ability, Creativity, and Attitudes of Primary School Students
Purpose: STEAM is the term given to a growing field of research and practice that integrates arts and social sciences into traditional sciences, technology, engineering, and mathematics subjects. The purpose of this study is to develop a STEAM-based educational learning package of social sciences textbooks and investigate its effect on attitude, problem-solving ability, and creativity of sixth-...
متن کاملSolving Linux Upgradeability Problems Using Boolean Optimization
Managing the software complexity of package-based systems can be regarded as one of the main challenges in software architectures. Upgrades are required on a short time basis and systems are expected to be reliable and consistent after that. For each package in the system, a set of dependencies and a set of conflicts have to be taken into account. Although this problem is computationally hard t...
متن کاملSoftware Tools for the Analysis of Functional Magnetic Resonance Imaging
Functional magnetic resonance imaging (fMRI) has become the most popular method for imaging of brain functions. Currently, there is a large variety of software packages for the analysis of fMRI data, each providing many features for users. Since there is no single package that can provide all the necessary analyses for the fMRI data, it is helpful to know the features of each software package. ...
متن کاملA Review of Numerical Methods for Computing Point and Interval Estimates by S-PLUS Package
For computing different point estimates such as method of moment and maximum like-lihood estimates and different interval estimates (classical confidence interval, unbi-ased confidence interval, HPD interval), we may deal with the equations which need be solved numerically. In this paper, some numerical methods for solving these type of equations are reviewed in S-PLUS package. Various examples...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- JSAT
دوره 8 شماره
صفحات -
تاریخ انتشار 2012