نتایج جستجو برای: compiling experiences
تعداد نتایج: 140301 فیلتر نتایج به سال:
The Survey Research Data Archive (SRDA) is the largest data archive in Taiwan and in Asia. It collects not only survey data in social sciences but also raw data of major government statistics. These archived data have made significant contributions to research. Data and remote access service are provided without charge. In addition, an English website along with the English version of the data ...
Compiling irregular applications written in a data parallel, HPF-like language presents a challenging problem of growing importance. A project addressing this problem is the extension of the Fortran D compiler at Rice University to handle such codes. Generality and robustness have been major design objectives throughout this extension, allowing for arbitrary control ow and irregular accesses to...
This paper introduces an encoding of Model Based Diagnosis (MBD) to Boolean Satisfaction (SAT) focusing on minimal cardinality diagnosis. The is based a combination sophisticated MBD preprocessing algorithms and SAT compilation techniques which together provide concise CNF formula. Experimental evidence indicates that our approach superior all published for MBD. In particular, we can determine,...
In this paper we describe the design and the implementation of the GNU Prolog system. This system draws on our previous experience of compiling Prolog to C in the wamcc system and of compiling finite domain constraints in the clp(FD) system. The compilation scheme has however been redesigned in order to overcome the drawbacks of compiling to C. In particular, GNU-Prolog is based on a low-level ...
The paper presents a new torque-controlled lightweight robot for medical procedures developed at the Institute of Robotics and Mechatronics of the German Aerospace Center. Based on the experiences in lightweight robotics and anthropomorphic robotic hands, a small robot arm with 7 axis and torque-controlled joints tailored to surgical procedures has been designed. With an optimized anthropomorph...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید