3056 search results - page 337 / 612 » Compiling Embedded Languages |
117
click to vote
CASES
2006
ACM
15 years 8 months ago
2006
ACM
Dynamic binary instrumentation (DBI) is a powerful technique for analyzing the runtime behavior of software. While numerous DBI frameworks have been developed for general-purpose ...
121
click to vote
COMPSAC
2007
IEEE
15 years 6 months ago
2007
IEEE
Hardware/software co-verification is becoming an indispensable tool for building highly trustworthy embedded systems. A stumbling block to effective co-verification using model ch...
121
click to vote
PLDI
2005
ACM
15 years 8 months ago
2005
ACM
This paper introduces the concept of programming with sketches, an approach for the rapid development of high-performance applications. This approach allows a programmer to write ...
109
click to vote
ESWS
2005
Springer
15 years 7 months ago
2005
Springer
RDF uses the RFC3066 standard for language tags for literals in natural languages. The revision RFC3066bis includes productive use of language, country and script codes. These form...
118
click to vote
CGO
2008
IEEE
15 years 8 months ago
2008
IEEE
Liveness analysis is an important analysis in optimizing compilers. Liveness information is used in several optimizations and is mandatory during the code-generation phase. Two dr...