4820 search results - page 157 / 964 » Implementing Signatures for C |
132
click to vote
DATE
2006
IEEE
15 years 9 months ago
2006
IEEE
In this paper the concept of a reconfigurable hardware macro to be used as a generic building block in lowpower, low-cost SoC for multioperable GNSS positioning is described, feat...
151
click to vote
ACL2
2006
ACM
15 years 9 months ago
2006
ACM
One of ACL2’s most interesting features is that it is executable, so users can run the programs that they verify, and debug them during verification. In fact, the ACL2 implemen...
114
click to vote
FPGA
2001
ACM
15 years 7 months ago
2001
ACM
Matching and searching computations play an important role in the indexing of data. These computations are typically encoded in very tight loops with a single index variable and a...
117
click to vote
CC
2000
Springer
15 years 7 months ago
2000
Springer
Mode-Automata have been proposed in [11]. They introduce, in the domain-specific data-flow language Lustre for reactive systems, a new construct devoted to the expression of runn...
137
click to vote
AC
1999
Springer
15 years 7 months ago
1999
Springer
A widely used computational model for constructing fault-tolerant distributed applications employs atomic transactions for controlling operations on persistent objects. There has ...