Search results for "execution"
showing 10 items of 74 documents
Automatic construction of test sets: Practical approach
2005
The problem of symbolic execution and test generation is considered both for sequential and concurrent programs. Practical methods for test construction for the given program path are presented.
Computational Offloading in Mobile Edge with Comprehensive and Energy Efficient Cost Function: A Deep Learning Approach
2021
In mobile edge computing (MEC), partial computational offloading can be intelligently investigated to reduce the energy consumption and service delay of user equipment (UE) by dividing a single task into different components. Some of the components execute locally on the UE while the remaining are offloaded to a mobile edge server (MES). In this paper, we investigate the partial offloading technique in MEC using a supervised deep learning approach. The proposed technique, comprehensive and energy efficient deep learning-based offloading technique (CEDOT), intelligently selects the partial offloading policy and also the size of each component of a task to reduce the service delay and energy …
A Formal Semantics and a Client Synthesis for a BPEL Service
2008
A complex Web service described with languages like BPEL4WS, consists of an executable process and its observable behaviour (called an abstract process) based on the messages exchanged with the client. The abstract process behaviour is non deterministic due to the internal choices during the service execution. Furthermore the specification often includes timing constraints which must be taken into account by the client. Thus given a service specification, we identify the synthesis of a client as a key issue for the development of Web services. To this end, we propose an approach based on (dense) timed automata to first describe the observable service behaviour and then to build correct inte…
Las doctrinas militares : la represión política en Tucumán, Argentina (1975-1983)
2019
La represión política que tuvo lugar en la década del 70 en Tucumán, en la región Norte de Argentina, se inicia “legalmente” en febrero de 1975 con el operativo militar decretado por el Poder Ejecutivo Nacional conocido como “Operativo Independencia”. Distintos jefes militares, como parte del Comando de la V Brigada de Infantería, estuvieron a cargo del plan represivo. Cada uno de estos militares fue formado bajo distintas doctrinas militares impartidas al ejército argentino. A través de la identificación y diferenciación de las estrategias militares ejecutadas ?en tanto inteligencia, ocupación del territorio, instalación de centros clandestinos de detención y espacios de inhumación identif…
Use of Supercomputing towards the Generation of a Process Execution Plan in Distributed Real-Time Systems
2010
This work consider the scheduling of periodic tasks or processes with real-time constraints in a distributed environment. Each task must be executed meeting deadlines, precedence relationships and resources constraints. The problem of scheduling tasks on a distributed environment can be viewed as a problem of assigning processes to the processors but keeping the schedulability in local environments. Thus, the problem can be divided in two phases: the first phase is assigning processes to processors and the second is to schedule assigned processes in each processor in the distributed environment. This paper focuses in the first phase. It introduces a heuristic mechanism for assigning process…
Virtual/Digital and Internet-based Machining
2008
This chapter provides comprehensive knowledge regarding the application of various virtual digital and information techniques to machining processes and machine tools, and their simulation and visualization. A number of manufacturing concepts used in modern industry, such as Internet-based manufacturing, digital manufacturing, virtual manufacturing and telemanufacturing, are characterized. In particular, architectures of digital manufacturing and virtual manufacturing, along with their practical applications, are presented. The architecture of the virtual machine tool and numerous examples of simulations of machining process performing on multi-axis/multitasking are visualized. Moreover, vi…
On the impact of within-die process variation in GALS-Based NoC Performance
2012
[EN] Current integration scales allow designing chip multiprocessors (CMP), where cores are interconnected by means of a network-on-chip (NoC). Unfortunately, the small feature size of current integration scales causes some unpredictability in manufactured devices because of process variation. In NoCs, variability may affect links and routers causing them not to match the parameters established at design time. In this paper, we first analyze the way that manufacturing deviations affect the components of a NoC by applying a new comprehensive and detailed within-die variability model to 200 instances of an 8¿8 mesh NoC synthesized using 45 nm technology. Later, we show that GALS-based NoCs pr…
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…