2255 search results - page 285 / 451 » High Assurance Software Systems |
221
click to vote
ICDE
2012
IEEE
13 years 9 months ago
2012
IEEE
—We demonstrate MXQuery/H, a modified version of MXQuery that uses hardware acceleration to speed up XML processing. The main goal of this demonstration is to give an interactiv...
184
click to vote
CASES
2005
ACM
15 years 8 months ago
2005
ACM
Interconnection networks have been deployed as the communication fabric in a wide range of parallel computer systems. With recent technological trends allowing growing quantities ...
173
click to vote
MICRO
2008
IEEE
16 years 27 days ago
2008
IEEE
Heavyweight security analysis systems, such as taint analysis and dynamic type checking, are powerful technologies used to detect security vulnerabilities and software bugs. Tradi...
167
click to vote
ASPLOS
2006
ACM
16 years 14 days ago
2006
ACM
This paper presents a software architecture for hardware fault tolerance based on loosely-synchronized, redundant virtual machines (LSRVM). LSRVM will provide high levels of relia...
165
click to vote
ISPDC
2005
IEEE
16 years 2 days ago
2005
IEEE
— Data-centric applications are still a challenging issue for Large Scale Distributed Computing Systems. The emergence of new protocols and softwares for collaborative content di...