1579 search results - page 166 / 316 » On the Constructions of Constant-Weight Codes |
153
click to vote
ENTCS
2002
15 years 6 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...
162
click to vote
PLDI
2006
ACM
16 years 11 days ago
2006
ACM
Procedures have long been the basic units of compilation in conventional optimization frameworks. However, procedures are typically formed to serve software engineering rather tha...
175
click to vote
PLDI
2005
ACM
15 years 12 months ago
2005
ACM
This paper introduces the concept of programming with sketches, an approach for the rapid development of high-performance applications. This approach allows a programmer to write ...
167
click to vote
RAID
2005
Springer
15 years 12 months ago
2005
Springer
Intrusion detection systems are fundamentally passive and fail–open. Because their primary task is classification, they do nothing to prevent an attack from succeeding. An intru...
214
click to vote
POPL
1998
ACM
15 years 10 months ago
1998
ACM
Java is typically compiled into an intermediate language, JVML, that is interpreted by the Java Virtual Machine. Because mobile JVML code is not always trusted, a bytecode verifi...