7820 search results - page 170 / 1564 » Formalization of Time and Space |
215
click to vote
TC
2010
15 years 5 months ago
2010
—Reliability analysis has become a tool of fundamental importance to virtually all electrical and computer engineers because of the extensive usage of hardware systems in safety ...
215
click to vote
JTRES
2010
ACM
15 years 7 months ago
2010
ACM
In order to guarantee that real-time systems meet their timing specification, static execution time bounds need to be calculated. Not considering execution time predictability led...
171
click to vote
ICIP
2004
IEEE
16 years 8 months ago
2004
IEEE
It is well-known that scale space theory and Tikhonov regularization are close-knit. In previous studies qualitative analogies and formal relations had already been found, but non...
148
click to vote
CEC
2007
IEEE
16 years 1 months ago
2007
IEEE
— Hyper-heuristics or “heuristics that coordinate heuristics” are fastly becoming popular for solving combinatorial optimisation problems. These methods do not search directl...
210
click to vote
DAC
2009
ACM
16 years 8 months ago
2009
ACM
Continuously shrinking feature sizes result in an increasing susceptibility of circuits to transient faults, e.g. due to environmental radiation. Approaches to implement fault tol...