Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Abstracting
4
Source codes
4
Behaviour models
3
Codes (symbols)
3
Image compression
3
Static analysis
3
Wavelet transforms
3
Alloy
2
Code analysis
2
Code understanding
2
Computer software
2
DynAlloy
2
Embedded systems
2
Emergent behaviours
2
Finite-state abstraction
2
Global representation
2
Global view
2
Image analysis
2
Image coding
2
Image quality
2
Infinite state
2
Level of abstraction
2
Modular reasoning
2
SAT-based code analysis
2
Software testing
2
Specifications
2
Symmetry-breaking
2
Synthesis techniques
2
Wavelet coefficients
2
behaviour models
2
-
1
-
2
-
3por Rosner, N., Galeotti, J., Bermúdez, S., Blas, G.M., De Rosso, S.P., Pizzagalli, L., Zemín, L., Frias, M.F.Materias: “...SAT-based code analysis...”
CONF -
4Materias: “...Image coding...”
CONF -
5Materias: “...source code validation...”
CONF -
6
-
7Materias: “...Linear-force-free field code...”
CONF -
8Materias: “...SAT-based code analysis...”
CONF -
9Materias: “...Client code...”
CONF -
10por Presso, M., Scafati, D., Marone, J., Todorovich, E., Brengi D., Lipovetzky J., Lutenberg A., De Micco L., Garcia Inza M., Maximiliano A.Materias: “...Codes (symbols)...”
CONF -
11Materias: “...Ocis codes...”
CONF -
12Materias: “...Image coding...”
CONF -
13Materias: “...Source codes...”
CONF -
14Materias: “...Codes (symbols)...”
CONF -
15A co-design methodology for processor-centric embedded systems with hardware acceleration using FPGAMaterias: “...Code line...”
CONF