1222 search results - page 52 / 245 » Verifying a File System Implementation |
108
click to vote
SIGSOFT
2003
ACM
16 years 3 months ago
2003
ACM
This paper describes a compositional proof strategy for verifying properties of requirements specifications. The proof strategy, which may be applied using either a model checker ...
125
click to vote
HPCA
2006
IEEE
16 years 2 months ago
2006
IEEE
An important means of validating the design of commercial-grade shared memory multiprocessors is to run a large number of pseudo-random test programs on them. However, when intent...
136
click to vote
TSMC
2008
15 years 2 months ago
2008
This paper proposes a type-2 self-organizing neural fuzzy system (T2SONFS) and its hardware implementation. The antecedent parts in each T2SONFS fuzzy rule are interval type-2 fuzz...
130
click to vote
ICECCS
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract—Transactional Memory (TM) is a promising technique that addresses the difficulty of parallel programming. Since TM takes responsibility for all concurrency control, TM ...
95
Voted
PCM
2001
Springer
15 years 6 months ago
2001
Springer
It is very common that a user likes to collect many multimedia files of their interests from the web or other sources for his/her daily use, such as in emails, presentations, and t...