31387 search results - page 6203 / 6278 » Abstracts |
151
Voted
IPPS
2010
IEEE
15 years 19 days ago
2010
IEEE
Abstract--Clusters featuring the InfiniBand interconnect are continuing to scale. As an example, the "Ranger" system at the Texas Advanced Computing Center (TACC) include...
157
Voted
IPPS
2010
IEEE
15 years 19 days ago
2010
IEEE
Abstract--Ensuring the correctness of complex implementations of software transactional memory (STM) is a daunting task. Attempts have been made to formally verify STMs, but these ...
125
click to vote
BIRTHDAY
2010
Springer
15 years 3 days ago
2010
Springer
Abstract. Classical formalizations of systems and properties are boolean: given a system and a property, the property is either true or false of the system. The classical view part...
166
click to vote
CORR
2010
Springer
15 years 2 days ago
2010
Springer
Abstract--Intentional interference constitutes a major threat for communication networks operating over a shared medium where availability is imperative. Jamming attacks are often ...
151
Voted
DBSEC
2010
15 years 2 days ago
2010
Abstract. This paper describes how to preserve integrity and confidentiality of a directed acyclic graph (DAG) model of provenance database. We show a method to preserve integrity ...