1802 search results - page 186 / 361 » Complexity Theory for Operators in Analysis |
271
click to vote
TOPLAS
2008
15 years 6 months ago
2008
lem of inferring termination from such abstract information is not the halting problem for programs and may well be decidable. If this is the case, the decision algorithm forms a &...
131
click to vote
ETS
2006
IEEE
16 years 16 days ago
2006
IEEE
Spectral analysis represents a key component in signal processing. The on-chip implementation of classical spectral estimation techniques is generally not considered as a viable B...
151
click to vote
ICESS
2004
Springer
15 years 12 months ago
2004
Springer
Recent work showed that staging and abstract interpretation can be used to derive correct families of combinatorial circuits, and illustrated this technique with an in-depth analys...
179
click to vote
CHES
2003
Springer
15 years 11 months ago
2003
Springer
The recent developments of side channel attacks have lead implementers to use more and more sophisticated countermeasures in critical operations such as modular exponentiation, or ...
167
click to vote
VLDB
1990
ACM
15 years 10 months ago
1990
ACM
Therequirementsfor amain memorydatastoragemodel are both compactnessand efficient processing for all database operations. The DBGraph storage model, proposed in this paper, achiev...