4067 search results - page 250 / 814 » Programs for Applying Symmetries |
171
click to vote
FOSSACS
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. Separation logic is a recent extension of Hoare logic for reasoning about programs with references to shared mutable data structures. In this paper, we provide a new inte...
174
Voted
MEMBRANE
2007
Springer
16 years 25 days ago
2007
Springer
Some initial results on the study of conformon-P systems with negative values are reported. One model of these conformon-P systems is proved to be computationally universal while a...
171
click to vote
CSB
2005
IEEE
16 years 9 days ago
2005
IEEE
A linear programming algorithm is presented to constructively compute thermodynamically feasible fluxes and change in chemical potentials of reactions for a metabolic network. It...
177
click to vote
SAGA
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. In this paper, a Stochastic Dynamic Facility Location Problem (SDFLP) is formulated. In the first part, an exact solution method based on stochastic dynamic programming ...
192
click to vote
FOSSACS
2004
Springer
16 years 2 days ago
2004
Springer
We introduce a game model for an Algol-like programming language with primitives for parallel composition and synchronization on semaphores. The semantics is based on a simplifie...