1222 search results - page 49 / 245 » Verifying a File System Implementation |
102
click to vote
ICCAD
2008
IEEE
15 years 11 months ago
2008
IEEE
—The microprocessor verification challenge becomes higher in the on-chip bus (OCB) than in the unit-level. Especially for the external interrupts, since they interface with othe...
119
click to vote
SC
2003
ACM
15 years 7 months ago
2003
ACM
Many applications of parallel I/O perform non-contiguous file accesses: instead of accessing a single (large) block of data in a file, a number of (smaller) blocks of data scatt...
116
click to vote
CC
2010
Springer
15 years 9 months ago
2010
Springer
The problem of locally transforming or translating programs without altering their semantics is central to the construction of correct compilers. For concurrent shared-memory progr...
105
click to vote
SIGSOFT
2004
ACM
15 years 7 months ago
2004
ACM
Aspect-oriented programming has become an increasingly important means of expressing cross-cutting program abstractions. Despite this, aspects lack support for computeraided veri...
122
click to vote
CLIMA
2004
15 years 3 months ago
2004
Communication plays a fundamental role in multi-agents systems. One of the main issues in the design of agent interaction protocols is the verification that a given protocol implem...