4013 search results - page 392 / 803 » computing 2002 |
185
Voted
ISQED
2002
IEEE
16 years 13 days 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....
206
Voted
ISSRE
2002
IEEE
16 years 13 days 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...
189
Voted
TPHOL
2002
IEEE
16 years 12 days 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 ...
243
click to vote
VL
2002
IEEE
16 years 12 days 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...
276
click to vote
WETICE
2002
IEEE
16 years 12 days 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...