2255 search results - page 115 / 451 » High Assurance Software Systems |
ICSE
2010
IEEE-ACM
15 years 8 months ago
2010
IEEE-ACM
In software with emergent properties, despite the best efforts to remove faults before execution, there is a high likelihood that faults will occur during runtime. These faults c...
121
click to vote
DEXAW
1998
IEEE
15 years 7 months ago
1998
IEEE
Huge size and high complexity of legacy software are the main sources of today's software evolution problems. While we can ease software evolution with re-engineering tools, ...
118
click to vote
CONCURRENCY
2010
15 years 3 months ago
2010
With the rapid replacement of closed, homogeneous, proprietary HPC systems by heterogeneous, Linux-MPI cluster systems, the state of performance monitoring and analysis tools has ...
112
click to vote
INFOCOM
2012
IEEE
13 years 5 months ago
2012
IEEE
—Software packet forwarding has been used for a long time in general purpose operating systems. While interesting for prototyping or on slow links, it is not considered a viable ...
127
click to vote
IJNSEC
2007
15 years 3 months ago
2007
Data-dependent (DD) permutations (DDP) are discussed as a cryptographic primitive for the design of fast hardware, firmware, and software encryption systems. DDP can be performed...