7103 search results - page 345 / 1421 » Program Generation and Components |
191
Voted
ENTCS
2007
15 years 3 months ago
2007
Guaranteeing correctness of compilation is a vital precondition for correct software. Code generation can be one of the most error-prone tasks in a compiler. One way to achieve tr...
168
click to vote
ICMT
2009
Springer
15 years 10 months ago
2009
Springer
Testing model transformations requires input models which are graphs of inter-connected objects that must conform to a meta-model and meta-constraints from heterogeneous sources su...
156
Voted
HIPEAC
2010
Springer
15 years 5 months ago
2010
Springer
This paper presents a program generator for fast software Viterbi decoders for arbitrary convolutional codes. The input to the generator is a specification of the code and a single...
161
Voted
ENDM
2010
15 years 1 months ago
2010
In the past decade, significant progress has been achieved in developing generic primal heuristics that made their way into commercial mixed integer programming (MIP) solver. Exte...
124
Voted
ICNP
2007
IEEE
15 years 10 months ago
2007
IEEE
—It is crucial to detect zero-day polymorphic worms and to generate signatures at the edge network gateways or honeynets so that we can prevent the worms from propagating at thei...