6201 search results - page 108 / 1241 » Implementation of Axiomatic Language |
191
Voted
AOSD
2012
ACM
13 years 12 months ago
2012
ACM
Emerging languages are often source-to-source compiled to mainstream ones, which offer standardized, fine-tuned implementations of non-functional concerns (NFCs)—including pers...
107
click to vote
PASTE
2004
ACM
15 years 9 months ago
2004
ACM
This paper presents FIT, a Flexible open-source binary code Instrumentation Toolkit. Unlike existing tools, FIT is truly portable, with existing backends for the Alpha, x86 and AR...
147
Voted
FPL
2006
Springer
15 years 7 months ago
2006
Springer
This work shows a modular architecture based on FPGA's to solve the eigenvalue problem according to the Jacobi method. This method is able to solve the eigenvalues and eigenv...
108
click to vote
COLING
1994
15 years 5 months ago
1994
DBMT is researched here in the context of future systems for the general public, where a monolingual author wants to translate into several languages. We have produced a complete ...
146
click to vote
KBSE
2010
IEEE
15 years 2 months ago
2010
IEEE
To realise variability at the code level, product line methods classically advocate usage of inheritance, components, frameworks, aspects or generative techniques. However, these ...