4013 search results - page 392 / 803 » computer 2002 |
171
click to vote
ISQED
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper presents a methodology for the statistical analysis of clock tree structures. It allows to accurately predict and analyze the impact of process variation on clock skew....
187
Voted
ISSRE
2002
IEEE
15 years 11 months ago
2002
IEEE
Improving the dependability of computer systems is increasingly important as more and more of our lives depend on the availability of such systems. Wrapping dynamic link libraries...
171
click to vote
TPHOL
2002
IEEE
15 years 11 months ago
2002
IEEE
Abstract. This paper describes a formalization of the weakest precondition, wp, for general recursive programs using the type-theoretical proof assistant Coq. The formalization is ...
215
click to vote
VL
2002
IEEE
15 years 11 months ago
2002
IEEE
Previous studies of program visualization have generally failed to provide convincing support for the benefits of algorithm animation in promoting the understanding of computatio...
247
Voted
WETICE
2002
IEEE
15 years 11 months ago
2002
IEEE
The MObile Teamwork Infrastructure for Organizations Networking (MOTION) 1 service platform that we have designed and implemented addresses an emerging requirement in the daily bu...