4820 search results - page 289 / 964 » Implementing Signatures for C |
239
Voted
ICFP
2009
ACM
16 years 4 months ago
2009
ACM
We report on our experience using Haskell as an executable specification language in the formal verification of the seL4 microkernel. fication connects an abstract operational spe...
137
click to vote
VLSID
2004
IEEE
16 years 4 months ago
2004
IEEE
System-on-Chip (SoC) design methodologies rely heavily on reuse of intellectual property (IP) blocks. IP reuse is a labour intensive and time consuming process as IP blocks often ...
197
click to vote
SIGMOD
2008
ACM
16 years 4 months ago
2008
ACM
The emergence of database languages with side effects, notably for XML, raises significant challenges for database compilers and optimizers. In this paper, we extend an algebra fo...
126
click to vote
ASAP
2009
IEEE
15 years 10 months ago
2009
IEEE
—The Spectral Hash algorithm is one of the Round 1 candidates for the SHA-3 family, and is based on spectral arithmetic over a finite field, involving multidimensional discrete...
DATE
2009
IEEE
15 years 10 months ago
2009
IEEE
—We present an application tailored packed-based SoC communication system with one-hop communication between all entities, priority-based arbitration, broadcast and multicast sup...