850 search results - page 20 / 170 » Globalization and Offshoring of Software |
SIAMAM
2011
13 years 1 months ago
2011
New checkable criteria for persistence of chemical reaction networks are proposed, which extend and complement existing ones. The new results allow the consideration of reaction ra...
FSTTCS
2010
Springer
13 years 4 months ago
2010
Springer
In this paper, we address the verification problem of ordered multi-pushdown systems: A multistack extension of pushdown systems that comes with a constraint on stack operations s...
OPODIS
2008
13 years 8 months ago
2008
It has been widely suggested that memory transactions should behave as if they acquired and released a single global lock. Unfortunately, this behavior can be expensive to achieve...
ICGA
1997
13 years 8 months ago
1997
Molecular docking software makes computational predictions of the interaction of molecules. This can be useful, for example, in evaluating the binding of candidate drug molecules ...
ENVSOFT
2008
13 years 6 months ago
2008
ROMSTOOLS, a collection of global data sets and a series of Matlab programs collected in an integrated toolbox, generates the grid, surface forcing, initial condition, open bounda...