1812 search results - page 179 / 363 » Signal Processing in Large Systems: a New Paradigm |
CAV
1999
Springer
14 years 15 days ago
1999
Springer
The theory of latency insensitive design is presented as the foundation of a new correct by construction methodology to design very large digital systems by assembling blocks of In...
POPL
2001
ACM
14 years 8 months ago
2001
ACM
We propose a general, powerful framework of type systems for the -calculus, and show that we can obtain as its instances a variety of type systems guaranteeing non-trivial propert...
IH
1999
Springer
14 years 15 days ago
1999
Springer
The new watermarking technique1 presented in this paper is an example of an asymmetric public detection scheme. The detection process does not need the original picture nor the sec...
ATAL
2010
Springer
13 years 8 months ago
2010
Springer
Hybrid systems such as those that combine 3D virtual worlds and organization based multiagent systems add new visual and communication features for multi-user applications. The des...
SBRN
1998
IEEE
14 years 14 days ago
1998
IEEE
As the demand for higher performance computers for the processing of remote sensing science algorithms increases, the need to investigate new computing paradigms is justified. Fie...