5241 search results - page 388 / 1049 » Embedded Programming with C |
149
click to vote
SIAMJO
2000
15 years 3 months ago
2000
Mathematical programs with nonlinear complementarity constraints are reformulated using better-posed but nonsmooth constraints. We introduce a class of functions, parameterized by...
142
click to vote
ICSE
2004
IEEE-ACM
16 years 3 months ago
2004
IEEE-ACM
This paper proposes a technique for identifying program properties that indicate errors. The technique generates machine learning models of program properties known to result from...
119
Voted
ICFP
2006
ACM
16 years 3 months ago
2006
ACM
Generic libraries, such as the C++ Standard Template Library (STL), provide flexible, high-performance algorithms and data types, along with functional specifications and performa...
134
click to vote
PPDP
2007
Springer
15 years 10 months ago
2007
Springer
Static analyses provide the semantic foundation for tools ranging from optimizing compilers to refactoring browsers and advanced debuggers. Unfortunately, developing new analysis ...
150
Voted
ITICSE
2005
ACM
15 years 9 months ago
2005
ACM
The complexity of languages like Java and C++ can make introductory programming classes in these languages extremely challenging for many students. Part of the complexity comes fr...