1580 search results - page 50 / 316 » Non-Interference Through Determinism |
64
Voted
DATE
2002
IEEE
15 years 4 months ago
2002
IEEE
The minimization of cost, power consumption and timeto-market of DSP applications requires the development of methodologies for the automatic implementation of floating-point alg...
DNIS
2005
Springer
15 years 1 months ago
2005
Springer
It is well known that context plays an important role in the meaning of a work of art. This paper addresses the dynamic context of a collection of linked multimedia documents, of ...
BMVC
1998
15 years 14 days ago
1998
A new technique is presented for determining the positions where a range sensor should be located to acquire the surfaces of a complex scene. The algorithm consists of two stages....
CADE
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Basically, the connection of two many-sorted theories is obtained by taking their disjoint union, and then connecting the two parts through connection functions that must...
ICDCN
2009
Springer
15 years 5 months ago
2009
Springer
We develop an analytical model of information dissemination for a gossip protocol. With this model we analyse how fast an item is replicated through a network. We also determine th...