2 search results - page 1 / 1 » Verifying Low-Level Implementations of High-Level Datatypes |
CAV
2010
Springer
13 years 9 months ago
2010
Springer
For efficiency and portability, network packet processing code is typically written in low-level languages and makes use of bit-level operations to compactly represent data. Althou...
WWW
2001
ACM
14 years 5 months ago
2001
ACM
The term "application profile" has recently become highly topical. Heery and Patel [1] define application profiles as metadata schemas which consist of metadata elements...