Sciweavers

39039 search results - page 14 / 7808
» Implementation of the
Sort
View
IMSCCS
2006
IEEE
14 years 1 months ago
Implementations of Grid-Based Distributed Parallel Computing
Grid computing provides new solutions for numerous complex problems. It is an inevitable trend to implement the distributed parallel computing of large-scale problems with the gri...
Weiwei Lin, Changgeng Guo, Deyu Qi, Yuehong Chen, ...
CAV
2010
Springer
239views Hardware» more  CAV 2010»
13 years 11 months ago
Model Checking of Linearizability of Concurrent List Implementations
Abstract. Concurrent data structures with fine-grained synchronization are notoriously difficult to implement correctly. The difficulty of reasoning about these implementations do...
Pavol Cerný, Arjun Radhakrishna, Damien Zuf...
ASWEC
2004
IEEE
13 years 11 months ago
ASPIRE: Automated Systematic Protocol Implementation Robustness Evaluation
Network protocol implementations are susceptible to problems caused by their lack of ability to handle invalid inputs. We present ASPIRE: Automated Systematic Protocol Implementat...
Arunchandar Vasan, Atif M. Memon
CCS
2008
ACM
13 years 9 months ago
Verified implementations of the information card federated identity-management protocol
We describe reference implementations for selected configurations of the user authentication protocol defined by the Information Card
Karthikeyan Bhargavan, Cédric Fournet, Andr...
NSDI
2004
13 years 9 months ago
Model Checking Large Network Protocol Implementations
Network protocols must work. The effects of protocol specification or implementation errors range from reduced performance, to security breaches, to bringing down entire networks....
Madanlal Musuvathi, Dawson R. Engler