Search results for " execution"
showing 10 items of 40 documents
Integrating Manufacturing Equipments Using a Shop Floor Control System
2006
A generic manufacturing system must interact with an environment characterized by a strong competition and by continuous technological changes. For this reason there is the necessity to make the system easily and economically modifiable in its hardware and software configuration. One of the main problems in making a manufacturing system re-configurable concerns its control system which has to be accordingly scalable and object oriented. This paper presents a methodology for making a manufacturing control system actually reconfigurable and adaptable to hardware changes in the manufacturing systems components. In particular, a PC-based shop-floor control system has been realized. Such system …
Distributed intelligent control of exceptions in reconfigurable manufacturing systems
2003
In order to react to the continuous and unpredictable changes in product demand, in product variety, and in process technologies, reconfigurable manufacturing systems allow quick adjustment of production capacity and functionality by rearranging or changing their modular components. In this kind of system, operation management issues, such as exception handling policies, become more complex since correct reconfiguration strategies have to be selected. This paper explores the potential of the reconfigurability feature to be a basis for the development of new strategies to handle out-of-the-ordinary events in the production process; in particular, maintaining production flow when machine brea…
Reconfigurable control of robotized manufacturing cells
2007
This paper investigates the field of manufacturing system control. The addressed subject is indeed very fascinating, due to the importance that it has reached in the last decades both at research and industrial level. On the other hand, it seems to the author that most of the complexity intrinsic to the subject itself relies on the different meanings or levels of abstraction that both the terms ''manufacturing system'' and ''control'' may symbolize. The presented research aims to face the topic in a concrete fashion, i.e., by developing a control software system for a specific, although easy to be generalized, robotized manufacturing cell. Two different development methodologies, from the c…
A user-friendly control system to easy reconfigure a manufacturing cell
2006
Generic manufacturing enterprises need to interact with an environment characterized by a strong competition. In order to react to the mutable requests of market, control systems should confer to the manufacturing system capabilities for easy modifiability, and this can be achieved by reducing the necessary time to reconfigure the existing system. Following this main requirement, this paper presents a user-friendly control system that pursues three operational goals: - Ability to easy re-program the sequence of operations of the manufacturing equipments of a manufacturing cell; - Reconfigurability of the system, by allowing to add/remove a new/existing component in/from the manufacturing ce…
Smuggling umanitario e scriminanti
2019
In questo articolo mi propongo di sottoporre a vaglio critico, da prospettiva penalistica, la retorica dello smuggling umanitario, utilizzata nei mesi scorsi da una parte dell’opinione pubblica per criminalizzare l’operato delle Ong attive nel Mar Mediterraneo nel salvataggio di migranti in distress. Più in particolare, cercherò di capire se regga, da un punto di vista giuridico-penale, la qualificazione di questo operato come « favoreggiamento dell’immigrazione clandestina » rilevante ai sensi dell’art. 12 Tuimm, o se non si diano invece le condizioni per considerarlo scriminato, o comunque penalmente lecito. Al termine del lavoro, indicherò quelle che, a mio avviso, costituiscono le ragio…
Exploiting selective instruction reuse and value prediction in a superscalar architecture
2009
In our previously published research we discovered some very difficult to predict branches, called unbiased branches. Since the overall performance of modern processors is seriously affected by misprediction recovery, especially these difficult branches represent a source of important performance penalties. Our statistics show that about 28% of branches are dependent on critical Load instructions. Moreover, 5.61% of branches are unbiased and depend on critical Loads, too. In the same way, about 21% of branches depend on MUL/DIV instructions whereas 3.76% are unbiased and depend on MUL/DIV instructions. These dependences involve high-penalty mispredictions becoming serious performance obstac…
CUDASW++ 3.0: accelerating Smith-Waterman protein database search by coupling CPU and GPU SIMD instructions
2013
Background The maximal sensitivity for local alignments makes the Smith-Waterman algorithm a popular choice for protein sequence database search based on pairwise alignment. However, the algorithm is compute-intensive due to a quadratic time complexity. Corresponding runtimes are further compounded by the rapid growth of sequence databases. Results We present CUDASW++ 3.0, a fast Smith-Waterman protein database search algorithm, which couples CPU and GPU SIMD instructions and carries out concurrent CPU and GPU computations. For the CPU computation, this algorithm employs SSE-based vector execution units as accelerators. For the GPU computation, we have investigated for the first time a GPU …
Formal Modeling and Discrete-Time Analysis of BPEL Web Services
2008
International audience; Web services are increasingly used for building enterprise information systems according to the Service Oriented Architecture (SOA) paradigm. We propose in this paper a tool-equipped methodology allowing the formal modeling and analysis of Web services described in the BPEL language. The discrete-time transition systems modeling the behavior of BPEL descriptions are obtained by an exhaustive simulation based on a formalization of BPEL semantics using the Algebra of Timed Processes (ATP). These models are then analyzed by model checking value-based temporal logic properties using the CADP toolbox. The approach is illustrated with the design of a Web service for GPS na…
Appunti sulla opposizione all'esecuzione per crediti tributari
2019
L’articolo esamina entro i quali limiti il contribuente può proporre opposizione all'esecuzione nel caso di esecuzione esattoriale. The article examines the limits within which the tax payer can challeng the execution over his assets.
Symbolic Worst Case Execution Times
2011
In immediate or hard real-time systems the correctness of an operation depends not only upon its logical correctness, but also on the time in which it is computed. In such systems, it is imperative that operations are performed within a given deadline because missing this deadline constitutes the failure of the complete system. Such systems include medical systems, flight control systems and other systems whose failure in responding punctually results in a high economical loss or even in the loss of human lives. These systems are usually analyzed in a sequence of steps in which first, a socalled control flow graph (CFG) is constructed that represents possible program flows. Furthermore, bou…