2255 search results - page 307 / 451 » High Assurance Software Systems |
187
click to vote
FGCS
1992
15 years 7 months ago
1992
: There have been no major control problems during the first three years of the new Tokaido-Sanyo Shinkansen (bullet train) Programmed Route Control (PRC) computer system. Prior to...
147
click to vote
CGO
2007
IEEE
16 years 24 days ago
2007
IEEE
Modern memory systems play a critical role in the performance of applications, but a detailed understanding of the application behavior in the memory system is not trivial to atta...
201
click to vote
EMSOFT
2011
Springer
14 years 6 months ago
2011
Springer
As system integration becomes an increasingly important challenge for complex real-time systems, there has been a significant demand for supporting real-time systems in virtualiz...
166
click to vote
IPPS
2007
IEEE
16 years 23 days ago
2007
IEEE
With the rapid growth of computer networks and network infrastructures and increased dependency on the internet to carry out day-to-day activities, it is imperative that the compo...
154
click to vote
JSS
2000
15 years 6 months ago
2000
The upstream activities of software development projects are often viewed as both the most important, the least understood, and hence the most problematic. This is particularly no...