2255 search results - page 115 / 451 » High Assurance Software Systems |
ICSE
2010
IEEE-ACM
14 years 2 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...
DEXAW
1998
IEEE
14 years 2 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, ...
CONCURRENCY
2010
13 years 10 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 ...
INFOCOM
2012
IEEE
12 years 14 days 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 ...
IJNSEC
2007
13 years 10 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...