In this paper, we proposed a formal representation of certificate validation in Pretty Good Privacy (PGP) and X.509 systems. This representation uses new logical assertions to support public-key based certification systems and different trust levels. Although the meanings of some of those assertions are different in PGP and X.509 cases, the certificate validation can be expressed using the same...

In this paper, we proposed a formal representation of certificate validation in Pretty Good Privacy (PGP) and X.509 systems. This representation uses new logical assertions to support public-key based certification systems and different trust levels. Although the meanings of some of those assertions are different in PGP and X.509 cases, the certificate validation can be expressed using the same...

Scientific and engineering problems are solved with large parallel systems In some cases those systems are NUMA A large number of cores Share a hierarchically organized memory Kernel of the computation for those problems: BLAS o similar Efficient use of kernels a faster solution of a large range of scientific problems Auto Auto-tuned nested parallelism: a way to reduce the execution time of sci...

The textit{QIF}  (Quadrant Interlocking Factorization) method of Evans and Hatzopoulos solves linear equation systems using textit{WZ}  factorization. The  WZ factorization can be faster than the textit{LU} factorization  because,  it performs the simultaneous evaluation of two columns or two rows. Here, we present a  method for computing the real and integer textit{WZ} and  textit{ZW} factoriz...

In this paper, we first define the correlated table of an SQL query without nested subqueries which extends the result set of an SQL query to a set of result sets, one for each distinct binding tuple. We then present an algorithm to convert any SQL query with nested subqueries to a correlated query without nested subqueries. The proposed algorithm provides a simple but very effective method unn...

E cient retrieval of nested objects is an important issue in advanced database systems. So far, many indexing methods for nested objects are proposed. However, they do not consider retrieval of nested objects based on the set comparison operators such as and . In this paper, we propose four set access facilities for nested objects and compare their performance in terms of retrieval cost, storag...

The photonic Bose-Einstein condensate is a recently observed collective ground state of coupled light-matter system. We describe this quantum based on macroscopic electrodynamics in dispersing and absorbing environments. To model the photon-dye dynamics, we derive master equation using nested-open-quantum-systems approach yielding all parameters essential to condensation process. This allows us...