602 search results - page 58 / 121 » Program Calculation in Coq |
CORR
2010
Springer
13 years 9 months ago
2010
Springer
In this paper we present an equilibrium value based framework for solving SDPs via the multiplicative weight update method which is different from the one in Kale's thesis [K...
IISWC
2008
IEEE
14 years 3 months ago
2008
IEEE
Heterogeneous multi-core processors are attractive for power efficient computing because of their ability to meet varied resource requirements of diverse applications in a workloa...
IAT
2007
IEEE
14 years 3 months ago
2007
IEEE
To share resources in open distributed systems we have developed autonomous mobile programs, which periodically use a cost model to decide where to execute in a network. In additi...
ICLP
2001
Springer
14 years 1 months ago
2001
Springer
We formally characterize alternating fixed points of boolean equation systems as models of (propositional) normal logic programs. To this end, we introduce the notion of a preferr...
CSC
2006
13 years 10 months ago
2006
-- A computer program has been developed to simulate the helium atom scattering from stepped surface for both up hill and down hill scattering with diffraction kinematics chosen to...