5599 search results - page 863 / 1120 » Abstract State Services |
148
click to vote
DAWAK
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. From the point of view of a data warehouse system its part of collecting and receiving information from other systems is crucial for all subsequent business intelligence ...
161
click to vote
ECMDAFA
2005
Springer
15 years 11 months ago
2005
Springer
Model-Integrated Computing (MIC) is an approach to Model-Driven Architecture (MDA), which has been developed primarily for embedded systems. MIC places strong emphasis on the use o...
171
click to vote
EUC
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Loop distribution and loop fusion are two effective loop transformation techniques to optimize the execution of the programs in DSP applications. In this paper, we propo...
177
click to vote
FASE
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Blast is an automatic verification tool for checking temporal safety properties of C programs. Given a C program and a temporal safety property, Blast statically proves ...
168
click to vote
HIPEAC
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Power efficiency has become a key design trade-off in embedded system designs. For system-on-a-chip embedded systems, an external bus interconnects embedded processor co...