7103 search results - page 1220 / 1421 » Program Generation and Components |
131
click to vote
RTCSA
2006
IEEE
15 years 9 months ago
2006
IEEE
In this paper, we present a model-driven approach to RTOS-based embedded software development and an automated tool that can produce RTOS-specific code. Our contributions are two ...
SCAM
2006
IEEE
15 years 9 months ago
2006
IEEE
An approach for factoring source-code differences is presented. A single large difference between two versions of a program is decomposed into factors (i.e., smaller changes). The...
135
click to vote
APLAS
2006
ACM
15 years 9 months ago
2006
ACM
The static determination of approximated values of string expressions has many potential applications. For instance, approximated string values may be used to check the validity an...
129
click to vote
CASES
2006
ACM
15 years 9 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 ...
142
click to vote
ISLPED
2006
ACM
15 years 9 months ago
2006
ACM
All existing methods for thermal-via allocation are based on a steady-state thermal analysis and may lead to excessive number of thermal vias. This paper develops an accurate and ...