4305 search results - page 250 / 861 » Analysing Protocol Implementations |
BMCBI
2006
13 years 9 months ago
2006
Background: Despite recent algorithmic and conceptual progress, the stoichiometric network analysis of large metabolic models remains a computationally challenging problem. Result...
VMCAI
2009
Springer
14 years 4 months ago
2009
Springer
This paper presents a case study in modelling and verifying the Linux Virtual File System (VFS). Our work is set in the context of Hoare’s verification grand challenge and, in p...
RE
2005
Springer
14 years 3 months ago
2005
Springer
A framework for requirements analysis is proposed that accounts for individual and personal goals, and the effect of time and context on personal requirements. The implications of...
CASES
2000
ACM
14 years 2 months ago
2000
ACM
Fragmentation can cause serious loss of memory in systems that are using dynamic memory management. Any useful memory management system must therefore provide means to limit fragm...
RV
2010
Springer
13 years 7 months ago
2010
Springer
Software transactional memories (STMs) promise simple and efficient concurrent programming. Several correctness properties have been proposed for STMs. Based on a bounded conflict ...