On-the-Fly Maintenance of Series-Parallel Relationships in Fork-Join Multithreaded Programs

A key capability of data-race detectors is to determine whether one thread executes logically in parallel with another or whether the threads must operate in series. This paper provides two algorithms, one serial and one parallel, to maintain series-parallel (SP) relationships "on the fly" for fork-join multithreaded programs. The serial SP-order algorithm runs in O(1) amortized time per operation. In contrast, the previously best algorithm requires a time per operation that is proportional to Tarjan’s functional inverse of Ackermann’s function. SP-order employs an order-maintenance data structure that allows us to implement a more efficient "English-Hebrew" labeling scheme than was used in earlier race detectors, which immediately yields an improved determinacy-race detector. In particular, any fork-join program running in T₁ time on a single processor can be checked on the fly for determinacy races in O(T₁) time. Corresponding improved bounds can also be obtained for more sophisticated data-race detectors, for example, those that use locks. By combining SP-order with Feng and Leiserson’s serial SP-bags algorithm, we obtain a parallel SP-maintenance algorithm, called SP-hybrid. Suppose that a fork-join program has n threads, T₁ work, and a critical-path length of T[subscript ∞]. When executed on P processors, we prove that SP-hybrid runs in O((T₁/P + PT[subscript ∞]) lg n) expected time. To understand this bound, consider that the original program obtains linear speed-up over a 1-processor execution when P = O(T₁/T[subscript ∞]). In contrast, SP-hybrid obtains linear speed-up when P = O(√T₁/T[subscript ∞]), but the work is increased by a factor of O(lg n).

Design and Development of 3-DOF Modular Micro Parallel Kinematic Manipulator

This paper presents the research and development of a 3-legged micro Parallel Kinematic Manipulator (PKM) for positioning in micro-machining and assembly operations. The structural characteristics associated with parallel manipulators are evaluated and the PKMs with translational and rotational movements are identified. Based on these identifications, a hybrid 3-UPU (Universal Joint-Prismatic Joint-Universal Joint) parallel manipulator is designed and fabricated. The principles of the operation and modeling of this micro PKM is largely similar to a normal size Stewart Platform (SP). A modular design methodology is introduced for the construction of this micro PKM. Calibration results of this hybrid 3-UPU PKM are discussed in this paper.

Optimal Methodology for Synchronized Scheduling of Parallel Station Assembly with Air Transportation

We present an optimal methodology for synchronized scheduling of production assembly with air transportation to achieve accurate delivery with minimized cost in consumer electronics supply chain (CESC). This problem was motivated by a major PC manufacturer in consumer electronics industry, where it is required to schedule the delivery requirements to meet the customer needs in different parts of South East Asia. The overall problem is decomposed into two sub-problems which consist of an air transportation allocation problem and an assembly scheduling problem. The air transportation allocation problem is formulated as a Linear Programming Problem with earliness tardiness penalties for job orders. For the assembly scheduling problem, it is basically required to sequence the job orders on the assembly stations to minimize their waiting times before they are shipped by flights to their destinations. Hence the second sub-problem is modelled as a scheduling problem with earliness penalties. The earliness penalties are assumed to be independent of the job orders.

"Aquí es redacten i s'esculpeixen inscripcions" : aproximació al corpus epigràfic de la ciutat de Girona

La idea primera d'aquest projecte d’investigació, sobre les escriptures exposades del Claustre de la Catedral de Santa Maria de Girona, va sorgir d'un senzill treball de classe de doctorat. Es tractava de fer un estudi que tractés sobre el món de la mort: el ritual, la cerimònia, l'enterrament, el dol, etc. Tot el que envolta els primers dies de la mort d'un individu i com el seu record pretén ser etern. Si bé l'època històrica que tractaven era l'antiguitat, el treball que jo pretenia dur a terme era d'una època diferent la qual cosa ja presentava una sèrie de reptes com el fet de tractar-se d'un estudi inèdit degut al plantejament que pretenia portar a la pràctica. Es tractava, doncs, de l'anàlisi de l'actitud socio-cultural de la dona i l'home davant la mort a partir dels testimonis escrits en les seves tombes. Amb la qual cosa es podia veure l'evolució del pensament humà en vers un dels temes que més va preocupar i preocupa i interessa al llarg de tots els temps històrics

'Aquí es redacten i s'esculpeixen inscripcions': aproximació al corpus epigràfic de la ciutat de Girona

El text que es presenta a continuació: ‘Aquí s'esculpeixen inscripcions’. Aproximació al Corpus epigràfic de la ciutat de Girona, forma part d'un projecte d'investigació i anàlisi molt més ampli del que aquí es pot mostrar. Aquest té com a objectiu principal l'estudi dels signes i símbols escrits de la ciutat de Girona. És a dir, l'estudi de l'ús públic que es fa de l'escriptura, entenent l'escriptura com una eina que fa perdurable un determinat missatge i que pretén arribar a un gran nombre de persones

Proposal of a parallel architecture for a motion detection algorithm

This paper proposes a parallel architecture for estimation of the motion of an underwater robot. It is well known that image processing requires a huge amount of computation, mainly at low-level processing where the algorithms are dealing with a great number of data. In a motion estimation algorithm, correspondences between two images have to be solved at the low level. In the underwater imaging, normalised correlation can be a solution in the presence of non-uniform illumination. Due to its regular processing scheme, parallel implementation of the correspondence problem can be an adequate approach to reduce the computation time. Taking into consideration the complexity of the normalised correlation criteria, a new approach using parallel organisation of every processor from the architecture is proposed

Incipit expositio seu explanatio sancti Ambrosii episcopi in corpus evangelii sancti Lucae evangeliste (sic)

Explicaciones, interpretaciones y comentarios varios sobre el Evangelio de San Lucas, organizados por San Ambrosio en diez libros. Sermones y tratados breves sobre temas diversos, a partir del texto evangélico de Lucas

Análisis jurídico a la ley estatutaria 1095 de 2006 de Habeas Corpus

--

The parallel diplomacy and the International Relations of the regions

The inclusion of subnational entities in international politics, breaks with the exclusive privilege of handling external relations by the States. Regions and municipalities have developed international policies that strengthen local affairs in cultural, economic, politic, security and strategic cooperation aspects, through the so-called parallel diplomacy activities. The influence of regional institutions in global affairs is growing; however paradiplomacy practice is not institutionalized and received little attention in international relation studies.

Analisis constitucional del principio de Habeas Corpus en el actual codigo de procedimiento penal

El Hábeas Corpus como aquel principio que nuestra Carta consagra como fundamental para la preservación de garantías tan mínimas como la libertad y en la cual se prevén a la vez derechos que la misma constitución protege

Fraseologia, lingüística de corpus i ensenyament de la gramàtica. 'Fraseología, lingüística de corpus y enseñanza de la gramática'.

Resumen del autor. Este artículo forma parte de la monografía 'Fraseologia i educació discursiva'

Modelling official and parallel exchange rates in Colombia under alternative regimes: a non-linear approach

We examine the long-run relationship between the parallel and the official exchange rate in Colombia over two regimes; a crawling peg period and a more flexible crawling band one. The short-run adjustment process of the parallel rate is examined both in a linear and a nonlinear context. We find that the change from the crawling peg to the crawling band regime did not affect the long-run relationship between the official and parallel exchange rates, but altered the short-run dynamics. Non-linear adjustment seems appropriate for the first period, mainly due to strict foreign controls that cause distortions in the transition back to equilibrium once disequilibrium occurs