共 50 条
- [22] Scalability Features of the WNaN Routing Protocol 2011 - MILCOM 2011 MILITARY COMMUNICATIONS CONFERENCE, 2011, : 861 - 865
- [24] Handling floating-point exceptions in numeric programs ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1996, 18 (02): : 139 - 174
- [25] 'Mutual validation of three programs for numeric antenna computations' Appl Comput Electromagn Soc J, 2 (96):
- [26] Automatic Numeric Abstractions for Heap-Manipulating Programs POPL'10: PROCEEDINGS OF THE 37TH ANNUAL ACM SIGPLAN-SIGACT SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES, 2010, : 211 - 222
- [29] Salient Features of the Inductive Effect of a Magnetic Field Source on a Measuring Winding Measurement Techniques, 2002, 45 : 79 - 83
- [30] A Preliminary Study on the Relaxation of Numeric Features in Planning ARTIFICIAL INTELLIGENCE RESEARCH AND DEVELOPMENT, 2005, 131 : 355 - 362