ICPP
2006
IEEE
14 years 8 months ago
2006
IEEE
Often, parallel and distributed computing systems must operate in an environment replete with uncertainty. Determining a resource allocation that accounts for this uncertainty in ...
CMSB
2007
Springer
14 years 8 months ago
2007
Springer
We give a description of a Petri net-based framework for modelling and analysing biochemical pathways, which unifies the qualitative, stochastic and continuous paradigms. Each per...
AB
2007
Springer
14 years 8 months ago
2007
Springer
We present SpiCO, a new modeling and simulation language for systems biology. SpiCO is based on the stochastic π-calculus. It supports higher level modeling via multi-profile con...
CIBCB
2007
IEEE
14 years 8 months ago
2007
IEEE
Abstract— This paper presents a parametric model to estimate the DNA-protein binding time using the DNA and protein structures and details of the binding site. To understand the ...
CDC
2008
IEEE
14 years 8 months ago
2008
IEEE
— This paper introduces stochastic port-Hamiltonian systems and clarifies some of their properties. Stochastic portHamiltonian systems are extension of port-Hamiltonian systems ...
ISAAC
2009
Springer
14 years 8 months ago
2009
Springer
We consider some well-known families of two-player zero-sum perfect-information stochastic games played on finite directed graphs. Generalizing and unifying results of Liggett and...
DNA
2009
Springer
14 years 8 months ago
2009
Springer
Process algebras are widely used for defining the formal semantics of concurrent communicating processes. In process algebra, concurrent processes can be specified to execute di...
ICEIS
2009
IEEE
14 years 9 months ago
2009
IEEE
Proposed and developed is a service composition framework for decision-making under uncertainty, which is applicable to stochastic optimization of supply chains. Also developed is ...
DAC
2009
ACM
14 years 9 months ago
2009
ACM
It is unknown how to include stochastic process variation into fast-multipole-method (FMM) for a full chip capacitance extraction. This paper presents a parallel FMM extraction us...