Sciweavers

3056 search results - page 208 / 612
» Compiling Embedded Languages
Sort
View
SKG
2006
IEEE
15 years 8 months ago
Embedding the Semantic Knowledge in Convolution Kernels
Convolution kernels, such as tree kernel and subsequence kernel are useful for natural language processing tasks. However, most of them ignore the semantic knowledge. In order to ...
Kebin Liu, Fang Li, Ying Han, Lei Liu
POPL
2006
ACM
16 years 2 months ago
Certified assembly programming with embedded code pointers
Embedded code pointers (ECPs) are stored handles of functions and continuations commonly seen in low-level binaries as well as functional or higher-order programs. ECPs are known ...
Zhaozhong Ni, Zhong Shao
VLSID
2004
IEEE
125views VLSI» more  VLSID 2004»
16 years 2 months ago
Energy-Optimizing Source Code Transformations for OS-driven Embedded Software
The increasing software content of battery-powered embedded systems has fueled much interest in techniques for developing energyefficient embedded software. Source code transforma...
Yunsi Fei, Srivaths Ravi, Anand Raghunathan, Niraj...
FM
2006
Springer
172views Formal Methods» more  FM 2006»
15 years 6 months ago
The Embedded Systems Design Challenge
We summarize some current trends in embedded systems design and point out some of their characteristics, such as the chasm between analytical and computational models, and the gap ...
Thomas A. Henzinger, Joseph Sifakis
ENTCS
2006
139views more  ENTCS 2006»
15 years 2 months ago
Goto and Concurrency Introducing Safe Jumps in Esterel
Esterel is a design language for the specification of real time embedded systems. Based on the synchronous concurrency paradigm, its semantics describes execution
Olivier Tardieu