5241 search results - page 399 / 1049 » Embedded Programming with C |
216
click to vote
ICCS
2009
Springer
16 years 1 months ago
2009
Springer
We present a modular approach to realizing fine-grained adaptation of program behavior in a parallel environment. Using a compositional framework based on function call intercepti...
177
click to vote
KBSE
2007
IEEE
16 years 1 months ago
2007
IEEE
A number of researchers have proposed the use of Boolean satisfiability solvers for verifying C programs. They encode correctness checks as Boolean formulas using finitization: ...
168
click to vote
DRM
2007
Springer
16 years 1 months ago
2007
Springer
We introduce a data structure for program execution under a limited oblivious execution model. For fully oblivious execution along the lines of Goldreich and Ostrovsky [2], one tr...
225
click to vote
ISADS
2003
IEEE
16 years 17 days ago
2003
IEEE
An advanced high-level approach for programming of real-time distributed computing applications, the TMO (Time-triggered Message-triggered Object) programming and specification sc...
226
click to vote
OOPSLA
1999
Springer
15 years 11 months ago
1999
Springer
This paper presents a combined pointer and escape analysis algorithm for Java programs. The algorithm is based on the abstraction of points-to escape graphs, which characterize ho...