2255 search results - page 392 / 451 » High Assurance Software Systems |
124
Voted
PLDI
2010
ACM
15 years 5 months ago
2010
ACM
Multithreaded programs are notoriously prone to race conditions, a problem exacerbated by the widespread adoption of multi-core processors with complex memory models and cache coh...
110
Voted
CLUSTER
2007
IEEE
15 years 4 months ago
2007
IEEE
Abstract-- Multicore microprocessors have been largely motivated by the diminishing returns in performance and the increased power consumption of single-threaded ILP microprocessor...
ICSE
2000
IEEE-ACM
15 years 4 months ago
2000
IEEE-ACM
Little-JIL, a language for programming coordination in processes is an executable, high-level language with a formal (yet graphical) syntax and rigorously defined operational seTh...
121
Voted
RAID
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. In the ongoing arms race against malware, antivirus software is at the forefront, as one of the most important defense tools in our arsenal. Antivirus software is flexib...
103
Voted
VSTTE
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. Theorem-prover based modular checkers have the potential to perform scalable and precise checking of user-defined properties by combining pathsensitive intraprocedural re...