602 search results - page 78 / 121 » Program Calculation in Coq |
HICSS
2000
IEEE
14 years 1 months ago
2000
IEEE
With the recent trend towards deregulating power systems around the world, transfer capability computation emerges as the key issue to a smoothly running power market with multipl...
ISWC
1999
IEEE
14 years 1 months ago
1999
IEEE
Context awareness is an important functionality for wearable computers. In particular, the computer should know where the person is in the environment. This paper proposes an imag...
ECAL
1999
Springer
14 years 1 months ago
1999
Springer
In this paper, we present a possible implementation of arithmetic functions (notably, addition and multiplication) using self-replicating cellular automata. The operations are per...
ICCAD
1997
IEEE
14 years 1 months ago
1997
IEEE
Traditional minimum area retiming algorithms attempt to achieve their prescribed objective with no regard to maintaining the initial state of the system. This issue is important f...
MPC
1998
Springer
14 years 1 months ago
1998
Springer
A nested datatype, also known as a non-regular datatype, is a parametrised datatype whose declaration involves different instances of the accompanying type parameters. Nested datat...