217 search results - page 44 / 44 » A Logic for Approximate First-Order Reasoning |
OOPSLA
2007
Springer
14 years 3 days ago
2007
Springer
Java bug finders perform static analysis to find implementation mistakes that can lead to exploits and failures; Java compilers perform static analysis for optimization. If Java...
ISCC
2000
IEEE
13 years 10 months ago
2000
IEEE
-- In a WAN established infrastructure, one of the main problems ATM network planners and users face, when greater than T1/E1 bandwidth is required, is the high cost associated to ...