1678 search results - page 117 / 336 » An ASM Specification of C |
166
click to vote
WSC
2008
15 years 8 months ago
2008
Proposed in this paper is the architecture of a PLC programming environment that enables a visual verification of PLC programs. The proposed architecture integrates a PLC program ...
178
click to vote
HIPEAC
2010
Springer
15 years 7 months ago
2010
Springer
This paper presents a program generator for fast software Viterbi decoders for arbitrary convolutional codes. The input to the generator is a specification of the code and a single...
163
click to vote
DOCENG
2008
ACM
15 years 7 months ago
2008
ACM
Digital Libraries are complex information systems that involve rich sets of digital objects and their respective metadata, along with multiple organizational structures and servic...
151
click to vote
AMW
2010
15 years 7 months ago
2010
Abstract. A large volume of data with complex structures is currently represented in GML (Geography Markup Language) for storing and exchanging geographic information. As the size ...
158
click to vote
DICTA
2007
15 years 7 months ago
2007
Apply is a Domain-Specific Language for image processing and low-level computer vision. Apply allows programmers to write kernel operations that focus on the computation for a sin...