7103 search results - page 517 / 1421 » Program Generation and Components |
176
Voted
AADEBUG
2005
Springer
15 years 7 months ago
2005
Springer
In a C compiler, function calls are difficult to implement correctly because they must respect a platform-specific calling convention. But they are governed by a simple invariant...
136
click to vote
DATE
1999
IEEE
15 years 9 months ago
1999
IEEE
Software programming languages, such as C/C++, have been used as means for specifying hardware for quite a while. Different design methodologies have exploited the advantages of f...
142
click to vote
ESOP
2010
Springer
16 years 2 months ago
2010
Springer
Abstract. A verified compiler is an integral part of every security infrastructure. Previous work has come up with formal semantics for sequential and concurrent variants of Java a...
128
click to vote
UM
2009
Springer
15 years 11 months ago
2009
Springer
Adaptive course generation becomes more appropriate for realistic usage scenarios and more flexible if it includes mechanisms deciding just-in-time which content, which exercises,...
124
click to vote
DATE
2006
IEEE
15 years 11 months ago
2006
IEEE
Software-based self-test (SBST) of processors offers many benefits, such as dispense with expensive test equipments, test execution during maintenance and in the field or initiali...