Sciweavers

5898 search results - page 584 / 1180
» Parallel Computing Environments and Methods
Sort
View
GCC
2003
Springer
16 years 3 days ago
Secure Grid-Based Mobile Agent Platform by Instance-Oriented Delegation
An instance-oriented security mechanism is proposed to deal with security threats in building a general-purpose mobile agent middleware in Grid environment. The proposed solution i...
Tianchi Ma, Shanping Li
CPHYSICS
2007
98views more  CPHYSICS 2007»
15 years 6 months ago
A generic model for lipid monolayers, bilayers, and membranes
We describe a simple coarse-grained model which is suited to study lipid layers and their phase transitions. Lipids are modeled by short semiflexible chains of beads with a solvo...
Friederike Schmid, Dominik Düchs, Olaf Lenz, ...
193
Voted
ENTCS
2006
117views more  ENTCS 2006»
15 years 6 months ago
A Formalization of Credit and Responsibility Within the GNDC Schema
We formally define a notion of credit and responsibility within the Generalized Non Deducibility on Compositions framework. We investigate the validity of our definitions through ...
Roberto Gorrieri, Fabio Martinelli, Marinella Petr...
FM
1999
Springer
161views Formal Methods» more  FM 1999»
15 years 11 months ago
Combining Theorem Proving and Continuous Models in Synchronous Design
Support for system speci cation in terms of modelling and simulation environments has become a common practice in safety-critical applications. Also, a current trend is the automat...
Simin Nadjm-Tehrani, Ove Åkerlund
PPOPP
1993
ACM
15 years 11 months ago
Experience with Fine-Grain Synchronization in MIMD Machines for Preconditioned Conjugate Gradient
This paper discusses our experience with fine-grain synchronization for a variant of the preconditioned conjugate gradient method. This algorithm represents a large class of algo...
Donald Yeung, Anant Agarwal