801 search results - page 68 / 161 » Robust Nonproprietary Software |
CSC
2006
14 years 11 months ago
2006
- Symmetric level-index arithmetic was introduced to overcome the problems of overflow and underflow in scientific computations. A hybrid SLI-FLP number system, together with some ...
ENTCS
2006
14 years 9 months ago
2006
Effective formal verification tools require that robust implementations of automatic procedures for first-order logic and satisfiability modulo theories be integrated into express...
ICSM
2009
IEEE
15 years 4 months ago
2009
IEEE
Back in 2001, the MIT announced aspect-oriented programming as a key technology in the next 10 years. Nowadays, 8 years later, AOP is not widely adopted. Several reasons can expla...
IWPC
2009
IEEE
15 years 4 months ago
2009
IEEE
We present a novel approach to extract structural information from source code using state-of-the-art parser technologies for natural languages. The parser technology is robust in...
CISIS
2008
IEEE
15 years 4 months ago
2008
IEEE
Since the appearance in 1993, first approaching the Shannon limit, the Turbo Codes gave a new direction for the channel encoding field, especially since they were adopted for mult...