15253 search results - page 316 / 3051 » Integer-Programming Software Systems |
199
click to vote
IJSEKE
2000
15 years 6 months ago
2000
Software architectures are often claimed to be robust. However, there is no explicit and concrete definition of software architecture robustness. This paper gives a definition of ...
173
Voted
PPOPP
2010
ACM
16 years 4 months ago
2010
ACM
Adaptive, or self-aware, computing has been proposed to help application programmers confront the growing complexity of multicore software development. However, existing approache...
184
click to vote
ACMSE
2004
ACM
16 years 5 days ago
2004
ACM
Real-time embedded systems are time-critical systems that are hard to implement as compared to traditional commercial software, due to the large number of conflicting requirements...
178
click to vote
SP
2003
IEEE
16 years 17 hour ago
2003
IEEE
We specify a hardware architecture that supports tamper-resistant software by identifying an “idealized” hich gives the abstracted actions available to a single user program. ...
178
click to vote
BELL
2000
15 years 6 months ago
2000
A significant part of the call processing software for Lucent's new PathStar access server [FSW98] was checked with automated formal verification techniques. The verification...