1581 search results - page 156 / 317 » Mechanizing Inductive Reasoning |
154
click to vote
ISCC
2003
IEEE
15 years 12 months ago
2003
IEEE
In today’s Internet a user can be adversely affected by other users that overload the router. To address this problem, routers need to provide flow isolation. In this paper, we...
152
click to vote
SMI
2003
IEEE
15 years 12 months ago
2003
IEEE
Reverse engineering allows the geometric reconstruction of simple mechanical parts. However, the resulting models suffer from inaccuracies caused by errors in measurement and reco...
203
click to vote
RTCSA
1999
IEEE
15 years 11 months ago
1999
IEEE
Java's automatic memory management is the main reason that prevents Java from being used in hard realtime environments. We present the garbage collection mechanism that is us...
178
click to vote
ECOOP
1993
Springer
15 years 10 months ago
1993
Springer
Object-oriented programming promises to increase programmer productivity through better reuse of existing code. However, reuse is not yet pervasive in today’s object-oriented pro...
212
click to vote
ACL2
2006
ACM
15 years 10 months ago
2006
ACM
We investigate the logical issues behind axiomatizing equations that contain both recursive calls and quantifiers in ACL2. We identify a class of such equations, named extended ta...