153 search results - page 17 / 31 » Symbolic Implementation of the Best Transformer |
VMCAI
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. We present a context-sensitive compositional analysis of information flow for full (mono-threaded) Java bytecode. Our idea consists in transforming the Java bytecode int...
ESA
2004
Springer
14 years 1 months ago
2004
Springer
Sample sort, a generalization of quicksort that partitions the input into many pieces, is known as the best practical comparison based sorting algorithm for distributed memory para...
INFOCOM
2009
IEEE
14 years 2 months ago
2009
IEEE
The erasure resilience of rateless codes, such as Luby-Transform (LT) codes, makes them particularly suitable to a wide variety of loss-prone wireless and sensor network applicati...
EACL
1989
ACL Anthology
13 years 8 months ago
1989
ACL Anthology
Koskenniemi's model of two-level morphology has been very influential in recent years, but definitions of the formalism have generally been phrased in terms of a compilation ...
IEEECIT
2010
IEEE
13 years 6 months ago
2010
IEEE
Reduction is a common component of many applications, but can often be the limiting factor for parallelization. Previous reduction work has focused on detecting reduction idioms a...