1714 search results - page 136 / 343 » Abstract Models of Memory Management |
245
click to vote
DEXA
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Previous works in change detection on XML focused on detecting changes to text file using ordered and unordered tree model. These approaches are not suitable for detecti...
121
Voted
TACAS
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. We present a tool for the formal verification of ANSI-C programs using Bounded Model Checking (BMC). The emphasis is on usability: the tool supports almost all ANSI-C la...
121
click to vote
DAIS
2006
15 years 4 months ago
2006
Abstract. This paper discusses a way of incorporating speculation techniques into Distributed Shared Memory (DSM) systems with checkpointing mechanism without creating unnecessary ...
COGSCI
2000
15 years 3 months ago
2000
entity, but an abstraction of unknown lower-level processes, the spreadingactivation model has predictive but not explanatory power. We provide one explanation of the fan effect by...
135
Voted
IPL
2000
15 years 3 months ago
2000
Abstract. The mutual exclusion protocol presented ensures that whatever perturbation the network undergo, it regains consistency in nite time: one and only one privilege token is p...