801 search results - page 68 / 161 » Robust Nonproprietary Software |
127
click to vote
CSC
2006
15 years 4 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 ...
129
click to vote
ENTCS
2006
15 years 3 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...
122
click to vote
ICSM
2009
IEEE
15 years 10 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...
126
click to vote
IWPC
2009
IEEE
15 years 10 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...
136
Voted
CISIS
2008
IEEE
15 years 9 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...