1222 search results - page 170 / 245 » Verifying a File System Implementation |
133
click to vote
ACTA
2005
15 years 2 months ago
2005
Extending the pi calculus with the session types proposed by Honda et al. allows high-level specifications of structured patterns of communication, such as client-server protocols,...
113
click to vote
CCE
2007
15 years 2 months ago
2007
This study focuses on performance assessment of industrial controllers. A methodology based on the concept of the predictability of controller errors is proposed for performance m...
IPAW
2010
15 years 11 days ago
2010
Provenance has become an increasingly important part of documenting, verifying, and reproducing scientific research, but as users seek to extend or share results, it may be imprac...
117
click to vote
PIMRC
2010
IEEE
15 years 10 days ago
2010
IEEE
The first stage of the signal processing chain in a Global Positioning System (GPS) receiver is the acquisition, which provides for a desired satellite coarse code phase and Dopple...
140
click to vote
AMAST
2010
Springer
14 years 9 months ago
2010
Springer
mu-term is a tool which can be used to verify a number of termination properties of (variants of) Term Rewriting Systems (TRSs): termination of rewriting, termination of innermost ...