Paulino, Hervé, Paulo Cancela, and Tiago Franco. "
Orchestration of Middleware Services."
On the Move to Meaningful Internet Systems: OTM 2009 Workshops, Confederated International Workshops and Posters. Eds. Pilar Herrero Robert Meersman, and Tharam S. Dillon. Lecture Notes in Computer Science. Springer-Verlag, 2009. 1-3.
Abstractn/a
Martins, D., I. Catarino, U. Schroder, J. Ricardo, R. Patricio, L. Duband, and G. Bonfait. "
CUSTOMIZABLE GAS-GAP HEAT SWITCH."
CEC 20. Tucson, AZ, USA: Advances in Cryogenic Engineering, 55, pp. 1652-7 (2010), 2009.
Abstract
Afonso, J., I. Catarino, D. Martins, J. Ricardo, R. Patricio, L. Duband, and G. Bonfait. "
Energy Storage Unit: solid state demonstrators at 20 K and 6 K."
Space Cryogenics Workshop. Arcadia, CA, USA: Cryogenic Society of America, 2009.
Abstract
Ramos, Luís, Manuel L. Esquível, João T. Mexia, and João L. Silva. "
Some Asymptotic Expansions and Distribution Approximations outside a CLT Context."
Proceedings of 6th St. Petersburg Workshop on Simulation. 1. 2009. 444-448.
AbstractSome asymptotic expansions non necessarily related to the central limit theorem are discussed. After observing that the smoothing inequality of Esseen implies the proximity, in the Kolmogorov distance sense, of the distributions of the random variables of two random sequences satisfying a sort of general asymptotic relation, two instances of this observation are presented. A first example, partially motivated by the the statistical theory of high precision measurements, is given by a uniform asymptotic approximation to $(g(X+ μ_n))_{n ın \mathbbm{N}}$, where $g$ is some smooth function, $X$ is a random variable having a moment and a bounded density and $(μ_{n})_{n ın \mathbbm{N}}$ is a sequence going to infinity; the multivariate case as well as the proofs and a complete set of references will be published elsewhere. We next present a second class of examples given by a randomization of the interesting parameter in some classical asymptotic formulas, namely, a generic Laplace's type integral, by the sequence $(μ_n X)_{n ın \mathbbm{N}}$, $X$ being a Gamma distributed random variable. Finally, a simulation study of this last example is presented in order to stress the quality of asymptotic approximations proposed.
Lourenço, João M., Ricardo J. Dias, João Luís, Miguel Rebelo, and Vasco Pessanha. "
Understanding the Behavior of Transactional Memory Applications."
Proceedings of the 7th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging (PADTAD'09). {PADTAD}'09. New York, NY, USA: ACM, 2009. 31-39.
AbstractTransactional memory is a new trend in concurrency control that was boosted by the advent of multi-core processors and the near to come many-core processors. It promises the performance of finer grain with the simplicity of coarse grain threading. However, there is a clear absence of software development tools oriented to the transactional memory programming model, which is confirmed by the very small number of related scientific works published until now. This paper describes ongoing work. We propose a very low overhead monitoring framework, developed specifically for monitoring TM computations, that collects the transactional events into a single log file, sorted in a global order. This framework is then used by a visualization tool to display different types of charts from two categories: statistical charts and thread-time space diagrams. These last diagrams are interactive, allowing to identify conflicting transactions. We use the visualization tool to analyse the behavior of two different, but similar, testing applications, illustrating how it can be used to better understand the behavior of these transactional memory applications.