Search results for "execution"
showing 10 items of 74 documents
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.
The death penalty in Valencia (1450-1500), numbers, urban spaces and funeral ritualities from the Brotherhood of Innocents and Helpless
2021
Mediante una combinación de fuentes documentales de origen y procedencia diversa, se han computado fehacientemente 737 ejecuciones en Valencia entre los años 1450 y 1500. El artículo analiza este aspecto de la realidad social, judicial y política de la Valencia del Renacimiento a la luz de los recientes planteamientos historiográficos sobre la materia. Se destaca el impacto del Santo Oficio (a partir de 1482) dentro del contexto penal de la ciudad, se analiza el papel restaurador y reconciliador de la Cofradía de Inocentes y Desamparados, y se aborda la contribución de esta singular hermandad a la re-significación de los espacios urbanos y periurbanos. Through a combination of documentary s…
A theory for long-memory in supply and demand
2004
Recent empirical studies have demonstrated long-memory in the signs of orders to buy or sell in financial markets [2, 19]. We show how this can be caused by delays in market clearing. Under the common practice of order splitting, large orders are broken up into pieces and executed incrementally. If the size of such large orders is power law distributed, this gives rise to power law decaying autocorrelations in the signs of executed orders. More specifically, we show that if the cumulative distribution of large orders of volume v is proportional to v to the power -alpha and the size of executed orders is constant, the autocorrelation of order signs as a function of the lag tau is asymptotica…
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…
MANUFACTURING E-MARKETPLACES: INNOVATIVE TOOLS FOR THE EXTENDED ENTERPRISE
2005
This Chapter introduces the research carried out under the research program titled “Distributed process and production planning in manufacturing enterprise networks” and funded by the Italian Ministry of Education, University and Research (MIUR) under the program PRIN2001. The research program aimed at developing an innovative concept of neutral linear e-marketplace able to support manufacturing enterprises networks in transactional, information sharing and exchange and collaborative relationship. The Chapter discusses the needs of innovative tools for supporting the new paradigm of the “extended enterprise” showing how the e-marketplace concept, when specific added value services are desig…
Business Process Models and Information System Usability
2015
Abstract The paper describes the use of business process models for effective managing of information system execution processes and transparent representation of execution statuses. Contrary to traditional approaches where business process models are used only in the initial stages of information system development, the proposed approach suggests direct utilization of business process models during the use of information systems. Information system usability can be improved by using new means of representation, and business process models can serve as an efficient way to visualize execution processes in information systems.
From Buildings' End of Life to Aggregate Recycling under a Circular Economic Perspective: A Comparative Life Cycle Assessment Case Study
2021
The demolition of buildings, apart from being energy intensive and disruptive, inevitably produces construction and demolition waste (C&Dw). Unfortunately, even today, the majority of this waste ends up underexploited and not considered as valuable resources to be re-circulated into a closed/open loop process under the umbrella of circular economy (CE). Considering the amount of virgin aggregates needed in civil engineering applications, C&Dw can act as sustainable catalyst towards the preservation of natural resources and the shift towards a CE. This study completes current research by presenting a life cycle inventory compilation and life cycle assessment case study of two buildin…
Testing of Execution of Concurrent Processes
2020
Authors propose an algorithm for analysis of business processes to detect potentially incorrect results of concurrent processes execution. Our novel approach is to conclude necessary database isolation level from business process description. If traditional languages with loops and arithmetic operations (two-way counters) are used for business process descriptions, the problem of detecting incorrect execution of concurrent processes cannot be algorithmically solved. This paper introduces a simplified business processes description language CPL-1, a transaction mechanism and an algorithm that supports detection of incorrect results during the concurrent execution of business processes. Busin…