170 search results - page 19 / 34 » Constructing Small-Bias Sets from Algebraic-Geometric Codes |
70
Voted
ACSD
2005
IEEE
15 years 5 months ago
2005
IEEE
We describe a toolbox for the analysis of Systems-on-achip described in SystemC at the transactional level. The tools are able to extract information from SystemC code, and to bui...
MICRO
2010
IEEE
14 years 9 months ago
2010
IEEE
A particularly insidious type of concurrency bug is atomicity violations. While there has been substantial work on automatic detection of atomicity violations, each existing techn...
VISSOFT
2005
IEEE
15 years 5 months ago
2005
IEEE
Sequence diagrams are commonly used to represent object interactions in software systems. Reverse-engineered sequence diagrams, which are constructed from existing code, are becom...
ENTCS
2002
14 years 11 months ago
2002
Call-by-push-value is a "semantic machine code", providing a set of simple primitives from which both the call-by-value and call-by-name paradigms are built. We present i...
155
click to vote
POPL
2001
ACM
16 years 1 days ago
2001
ACM
We present a variant of Proof-Carrying Code (PCC) in which the trusted inference rules are represented as a higher-order logic program, the proof checker is replaced by a nondeter...