1938 search results - page 291 / 388 » Dependable Software |
132
click to vote
CC
2006
Springer
15 years 6 months ago
2006
Springer
The polyhedral model is known to be a powerful framework to reason about high level loop transformations. Recent developments in optimizing compilers broke some generally accepted ...
125
click to vote
TAPSOFT
1995
Springer
15 years 6 months ago
1995
Springer
The Pentium computer chip’s division algorithm relies on a table from which five entries were inadvertently omitted, with the result that 1738 single precision dividenddivisor ...
149
click to vote
WCRE
1995
IEEE
15 years 6 months ago
1995
IEEE
A legacy system is an operational, large-scale software system that is maintained beyond its first generation of programmers. It typically represents a massive economic investmen...
156
click to vote
PEPM
2010
ACM
15 years 4 months ago
2010
ACM
Software engineering, automated reasoning, rule-based programming or specifications often use rewriting systems for which termination, among other properties, may have to be ensur...
117
click to vote
AVI
2006
15 years 3 months ago
2006
The ASPICE project aims at the development of a system which allows the neuromotor disabled persons to improve or recover their mobility (directly or by emulation) and communicati...