1145 search results - page 13 / 229 » The Correctness of an Optimized Code Generation |
91
Voted
COORDINATION
2005
Springer
15 years 5 months ago
2005
Springer
Architectural descriptions can provide support for a formal representation of the structure and the overall behavior of software systems, which is suitable for an early assessment ...
AINA
2004
IEEE
15 years 3 months ago
2004
IEEE
The aim of this work is to describe a tool (Spi2Java) that automatically generates Java code implementing cryptographic protocols described in the formal specification language sp...
148
click to vote
LCTRTS
2001
Springer
15 years 4 months ago
2001
Springer
Phase-decoupled methods for code generation are the state of the art in compilers for standard processors but generally produce code of poor quality for irregular target architect...
82
Voted
ACMSE
2005
ACM
15 years 5 months ago
2005
ACM
an extended abstract for a poster that presents a new approach that employs metaprogramming to generate optimized code for algorithms in Linear Algebra. Categories and Subject Des...
SCOPES
2004
Springer
15 years 5 months ago
2004
Springer
Digital signal processing applications are implemented in embedded systems with fixed-point arithmetic to minimize the cost and the power consumption. To reduce the application ti...