3809 search results - page 632 / 762 » Associative language descriptions |
185
click to vote
CAISE
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. The European Space Agency (ESA) has created the Simulation Model Portability 2 (SMP2) standard with the purpose to provide a design solution for the project of Spacecraft...
192
click to vote
CAV
2008
Springer
15 years 9 months ago
2008
Springer
We consider an extension of integer linear arithmetic with a "star" operator takes closure under vector addition of the solution set of a linear arithmetic subformula. We...
179
click to vote
CC
2008
Springer
15 years 9 months ago
2008
Springer
Portable low-level C programs must often support multiple equivalent in-memory layouts of data, due to the byte or bit order of the compiler, architecture, or external data formats...
170
click to vote
DSVIS
2006
Springer
15 years 8 months ago
2006
Springer
Most existing graphical user interfaces are usually designed for a fixed context of use, thus making them rather difficult to modify for other contexts of use, such as for other us...
144
click to vote
AHS
2007
IEEE
15 years 8 months ago
2007
IEEE
This work describes an algebraic based design strategy targeting area optimization in reconfigurable computer technology (FPGA). Area optimization is a major issue as smaller comp...