1690 search results - page 163 / 338 » Algorithmic Properties of Millstream Systems |
149
click to vote
EH
2002
IEEE
15 years 9 months ago
2002
IEEE
It is argued that natural evolution is, par excellence, an algorithm that exploits the physical properties of materials. Such an exploitation of the physical characteristics has a...
114
click to vote
IEEEPACT
2002
IEEE
15 years 9 months ago
2002
IEEE
A static memory reference exhibits a unique property when its dynamic memory addresses are congruent with respect to some non-trivial modulus. Extraction of this congruence inform...
138
click to vote
COSIT
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. The Double Cross calculus has been proposed for the purpose of navigation based on qualitative information about spatial configurations. Up until now, however, no result...
150
click to vote
TIT
1998
15 years 4 months ago
1998
Abstract— Properties of the ambiguity function and the uncertainty relation of Fourier transforms assert fundamental limitations on the ability of any single radar waveform of co...
140
click to vote
SIGSOFT
2010
ACM
15 years 2 months ago
2010
ACM
We present a novel technique for synthesising behaviour models that works for an expressive subset of liveness properties and conforms to the foundational requirements engineering...