15253 search results - page 263 / 3051 » Integer-Programming Software Systems |
125
click to vote
CODES
1997
IEEE
15 years 11 months ago
1997
IEEE
Abstract Felice Balarin Massimiliano Chiodoy Attila Jurecskaz Luciano Lavagno Bassam Tabbarax Alberto Sangiovanni-Vincentelli April 28, 1997
195
click to vote
ADAEUROPE
2005
Springer
16 years 7 days ago
2005
Springer
Distributed Real-Time (DRE) systems require the verification of their properties to ensure both reliability and conformance to initial requirements. Architecture description langu...
161
click to vote
APAQS
2000
IEEE
15 years 11 months ago
2000
IEEE
In the manufacturing domain, few new distributed systems are built ground-up; most contain wrapped legacy components. While the legacy components themselves are already well-teste...
175
Voted
ICSE
2000
IEEE-ACM
15 years 10 months ago
2000
IEEE-ACM
When the general press refers to `software' in its headlines, then this is often not to relate a success story, but to expand on yet another `software-risk-turned-problem-sto...
163
click to vote
ANSS
2000
IEEE
15 years 11 months ago
2000
IEEE
Software systems are known to suffer from outages due to transient errors. Recently, the phenomenon of “software aging”, one in which the state of the software system degrades...