1058 search results - page 91 / 212 » MEMOPS: Data modelling and automatic code generation. |
200
Voted
VL
2010
IEEE
15 years 1 months ago
2010
IEEE
Many errors in spreadsheet formulas can be avoided if spreadsheets are built automatically from higher-level models that can encode and enforce consistency constraints. However, d...
131
click to vote
ICST
2008
IEEE
15 years 10 months ago
2008
IEEE
The Java Modeling Language (JML) is a behavioral interface specification language (BISL) designed for Java. It was developed with the aim of improving the functional software cor...
133
Voted
CLEF
2010
Springer
15 years 4 months ago
2010
Springer
In the intellectual property field two tasks are of high relevance: prior art searching and patent classification. Prior art search is fundamental for many strategic issues such as...
170
Voted
CASES
2008
ACM
15 years 5 months ago
2008
ACM
Automatic vectorization of programs for partitioned-ALU SIMD (Single Instruction Multiple Data) processors has been difficult because of not only data dependency issues but also n...
144
Voted
DSN
2008
IEEE
15 years 5 months ago
2008
IEEE
XOR-based erasure codes are a computationallyefficient means of generating redundancy in storage systems. Some such erasure codes provide irregular fault tolerance: some subsets o...