still not enough to satisfy all the LTCs and therefore serialized operations are folded if the total execution delay of the operations controlled by the places is smaller than the lower bound for the clock period. The only two places that can be folded together, given these criteria, are P 5 and P 6. Folding these two places decreases the length of all the LTCs and gives the control part in Fig...

We have implemented a software package for constructing and solving the sparse coefficient matrix linear systems arising from solving partial differential equations based on unstructured grids. The sparse symmetric complex linear system can be solved by either a precondi-tioned bi-conjugate gradient solver, or by a two-stage Cholesky factorization solver, or by a hybrid solver combining both. T...

Notice: This document has been provided by the contributing authors as a means to ensure timely dissemination of scholarity and technical work on a noncommercial basis. Copyright and all rights therein are maintained by the authors or by other copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying this information wil...

At interaction point c, the environment can provide the number of a new instance of the station process. The next behavior expression consists in the new instance interleaved with the installer itself. We have presented a style of LOTOS specification based on synchronization between processes to exchange status information. This style takes full advantage of the capabilities of the control part...

Although the incremental approach with spatiotemporal correlation provide roughly the same gain in accuracy as the global one, the running time is clearly much shorter. The ratio of running times when neglecting one or both of the spatial or temporal correlations is different for the global vs. incremental approach: for the global one, it is more expensive to consider temporal correlations, whi...

We have investigated a new methodology for studying recognition problems | rst we construct a realistic generative model, then we empirically study the resulting distributions to estimate tradeoos between computational requirements and the probability of error. Our experiments show that such simulations can provide a rich source of statistics to guide designers of classiiers, providing worst-ca...

[Ull89] Ullman, J.D. "Principles of database and knowledge-base systems", volumes 1 and 2. [Urp93] Urpí, T "El mètode dels esdeveniments interns per al càlcul de canvis en bases de dades deductives", Ph.D. thesis, Universitat Politècnica de Catalunya, Barcelona, 1993, (in catalan). implication mentioned before δProduct(p,n) → δAux2(p) and δAux2(p) → ¬ ∃s Supplier n (s,p) and, thus, Supplier n (...

be able to obtain a gain in performance, essentially for free, by performing the post-processing step suggested in Claim 1. What we have proposed can therefore be added as the final step in existing schedulers. Of course, an exhaustive search procedure like the one proposed in [11] will certainly find the schedule directly. For an ordered transaction strategy, we use the transaction ordering su...

In this work we implemented a parallel Radiosity rendering algorithm on a loosely-coupled cluster of PCs. The initial naive algorithm did not perform well, and in fact the computation time increased with the number of machines. We then applied a handful of tunings and optimization techniques which eventually made the algorithm execute eeciently, achieving speedups close to optimal. Previous rel...

The primary conclusions from the initial QARCC-1 experiment were: • QARCC-1 can help users, developers, customers, and other stakeholders to identify conflicts among their software quality requirements, and to identify additional potentially important quality requirements. In the experiment, QARCC-1 found both of the quality conflicts previously identified, plus five others considered significa...