4074 search results - page 177 / 815 » Abstract Graph Transformation |
122
click to vote
PLDI
2003
ACM
15 years 7 months ago
2003
ACM
As more complex DSP algorithms are realized in practice, an increasing need for high-level stream abstractions that can be compiled without sacrificing efficiency. Toward this en...
143
click to vote
SIGSOFT
2003
ACM
16 years 2 months ago
2003
ACM
Automated finite-state verification techniques have matured considerably in the past several years, but state-space explosion remains an obstacle to their use. Theoretical lower b...
121
click to vote
ASAP
2003
IEEE
15 years 7 months ago
2003
IEEE
At the Leiden Embedded Research Center, we are developing a compiler called Compaan that automatically translates signal processing applications written in Matlab into Kahn Proces...
ISCAS
2005
IEEE
15 years 7 months ago
2005
IEEE
Abstract— The mixed-signal processor performs digital vectormatrix multiplication using internally analog fine-grain parallel computing. The three-transistor CID/DRAM unit cell ...
OTM
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Web services have become the predominant paradigm for the development of distributed software systems. Web services provide the means to modularize software in a way that...